В математике инволютивная матрица — это квадратная матрица , обратная самой себе . То есть умножение на матрицу является инволюцией тогда и только тогда , когда , где – единичная матрица . Все инволютивные матрицы представляют собой квадратные корни единичной матрицы. Это следствие того, что любая обратимая матрица , умноженная на обратную, является тождественной. [1]
Действительная матрица является инволютивной при условии, что [ 2]
Матрицы Паули в M(2, C ) инволютивны:
Один из трех классов элементарных матриц является инволютивным, а именно элементарная матрица с перестановкой строк. Частный случай другого класса элементарных матриц, который представляет собой умножение строки или столбца на -1, также является инволютивным; на самом деле это тривиальный пример сигнатурной матрицы , все из которых являются инволютивными.
Ниже показаны несколько простых примеров инволютивных матриц.
Любые блочно-диагональные матрицы , построенные из инволютивных матриц, также будут инволютивными вследствие линейной независимости блоков.
Инволютивная матрица, которая также является симметричной , является ортогональной матрицей и, таким образом, представляет собой изометрию ( линейное преобразование , сохраняющее евклидово расстояние ). И наоборот, каждая ортогональная инволютивная матрица симметрична. [3] В качестве частного случая каждая матрица отражения и поворота на 180° является инволютивной.
Инволюция недефектна , и каждое собственное значение равно , поэтому инволюция диагонализируется до сигнатурной матрицы.
Нормальная инволюция бывает эрмитовой (комплексной) или симметричной (действительной), а также унитарной (комплексной) или ортогональной (действительной).
Определитель инволютивной матрицы над любым полем равен ±1. [4]
Если A — матрица размера n × n , то A инволютивна тогда и только тогда, когда P + = ( I + A )/2 идемпотентно . Это соотношение дает биекцию между инволютивными и идемпотентными матрицами. [4] Аналогично, A является инволютивным тогда и только тогда, когда P − = ( I − A )/2 идемпотентно . Эти два оператора образуют симметричную и антисимметричную проекции вектора относительно инволюции A в том смысле, что , или . Та же конструкция применима к любой инволютивной функции , такой как комплексно-сопряженная (действительная и мнимая части), транспонированная (симметричные и антисимметричные матрицы) и эрмитова сопряженная ( эрмитова и косоэрмитова матрицы).
Если A — инволютивная матрица в M( n , R ), которая является матричной алгеброй над действительными числами , и A не является скалярным кратным I , то подалгебра { x I + y A : x , y ∈ R } порожденный A , изоморфен расщепленным комплексным числам .
Если A и B — две инволютивные матрицы, которые коммутируют друг с другом (т. е. AB = BA ), то AB также инволютивна.
Если A — инволютивная матрица, то каждая целая степень A инволютивна . Фактически, An будет равно A , если n нечетное , и I , если n четное .