Коммутирующие матрицы

16.12.2020


Говорят, что две матрицы A {displaystyle A} и B {displaystyle B} коммутируют (или перестановочны), если A B = B A {displaystyle AB=BA} или, эквивалентно, их коммутатор [ A , B ] = A B − B A {displaystyle [A,B]=AB-BA} равен нулю. Говорят, что набор матриц A 1 , … , A k {displaystyle A_{1},ldots ,A_{k}} коммутирует, если они перестановочны попарно, что означает, что любая пара матриц коммутирует.

Описание и свойства

  • Коммутирующие матрицы сохраняют собственные подпространства друг друга. Как следствие, коммутирующие матрицы над алгебраически замкнутым полем одновременно триангуляризуемы, то есть, существуют базисы, над которыми матрицы становятся верхними треугольными. Другими словами, если A 1 , … , A k {displaystyle A_{1},ldots ,A_{k}} перестановочны, существует матрица подобия P {displaystyle P} , такая что P − 1 A i P {displaystyle P^{-1}A_{i}P} является верхней треугольной для всех i ∈ { 1 , … , k } {displaystyle iin {1,ldots ,k}} . Обратное не всегда верно как показывает следующий контрпример:

[ 1 2 0 3 ] [ 1 1 0 1 ] = [ 1 3 0 3 ] ≠ [ 1 5 0 3 ] = [ 1 1 0 1 ] [ 1 2 0 3 ] {displaystyle {egin{bmatrix}1&2&3end{bmatrix}}{egin{bmatrix}1&1&1end{bmatrix}}={egin{bmatrix}1&3&3end{bmatrix}} eq {egin{bmatrix}1&5&3end{bmatrix}}={egin{bmatrix}1&1&1end{bmatrix}}{egin{bmatrix}1&2&3end{bmatrix}}}

Однако, если квадрат коммутатора двух матриц равен нулю, то есть [ A , B ] 2 = 0 {displaystyle [A,B]^{2}=0} , то обратное верно
  • Если матрицы A {displaystyle A} и B {displaystyle B} одновременно диагонализируемы, то есть существует матрица подобия P {displaystyle P} , такая что P − 1 A P {displaystyle P^{-1}AP} и P − 1 B P {displaystyle P^{-1}BP} обе диагональны, то A {displaystyle A} и B {displaystyle B} перестановочны. Обратное не обязательно верно, поскольку одна из матриц может не быть диагонализируема, например

[ 0 1 0 0 ] [ 1 0 0 1 ] = [ 1 0 0 1 ] [ 0 1 0 0 ] {displaystyle {egin{bmatrix}0&1&0end{bmatrix}}{egin{bmatrix}1&0&1end{bmatrix}}={egin{bmatrix}1&0&1end{bmatrix}}{egin{bmatrix}0&1&0end{bmatrix}}} , но [ 0 1 0 0 ] {displaystyle {egin{bmatrix}0&1&0end{bmatrix}}} не диагонализируема

Если, однако, обе матрицы диагонализируемы, то они могут быть диагонализируемы одновременно.
  • Если одна из матриц обладает свойством, что её минимальный многочлен совпадает с характеристическим многочленом (то есть он имеет максимальную степень), что случается в частности, когда характеристический многочлен имеет только простые корни, то вторая матрица может быть записана в виде полинома от первой матрицы.
  • Как прямое следствие одновременной триангуляризации, собственные значения двух перестановочных комплексных матриц A и B с их алгебраическими кратными (мультимножествами корней их характеристических многочленов) можно сопоставить α i ↔ β i {displaystyle alpha _{i}leftrightarrow eta _{i}} так, что множества собственных значений любого многочлена P ( A , B ) {displaystyle P(A,B)} двух матриц является мультимножеством значений P ( α i , β i ) {displaystyle P(alpha _{i},eta _{i})} . Эта теорема принадлежит Фробениусу.
  • Две эрмитовы матрицы коммутируют, если их собственные подпространства совпадают. В частности, две эрмитовы матрицы без кратных собственных значений коммутируют, если их множества собственных векторов совпадают. Это следует из рассмотрения собственных значений обоих матриц. Пусть A {displaystyle A} и B {displaystyle B} будут двумя эрмитовыми матрицами. A {displaystyle A} и B {displaystyle B} имеют общие собственные подпространства, если они могут быть записаны как A = U Λ 1 U † {displaystyle A=ULambda _{1}U^{dagger }} и B = U Λ 2 U † {displaystyle B=ULambda _{2}U^{dagger }} . Следует также
A B = U Λ 1 U † U Λ 2 U † = U Λ 1 Λ 2 U † = U Λ 2 Λ 1 U † = U Λ 2 U † U Λ 1 U † = B A . {displaystyle AB=ULambda _{1}U^{dagger }ULambda _{2}U^{dagger }=ULambda _{1}Lambda _{2}U^{dagger }=ULambda _{2}Lambda _{1}U^{dagger }=ULambda _{2}U^{dagger }ULambda _{1}U^{dagger }=BA.}
  • Свойство двух матриц быть перестановочными не транзитивно — матрица A {displaystyle A} может коммутировать как с B {displaystyle B} , так и с C {displaystyle C} , но матрицы B {displaystyle B} и C {displaystyle C} друг с другом не коммутируют. Как пример, единичная матрица коммутирует со всеми остальными матрицами, которые не всегда коммутируют между собой. Если множество рассматриваемых матриц ограничено эрмитовыми матрицами без кратных собственных значений, то коммутативность транзитивна, как следствие характеризации в терминах собственных векторов.
  • Теорема Ли, которая показывает, что любое представление разрешимой алгебры Ли одновременно триангуляризуемо к верхней треугольной, можно рассматривать как обобщение.
  • Матрица A {displaystyle A} коммутирует с любой другой матрицей тогда и только тогда, когда она является скалярной матрицей, то есть матрицей вида λ ⋅ E {displaystyle lambda cdot E} , где E {displaystyle E} представляет единичную матрицу, а λ {displaystyle lambda } является скаляром.

Примеры

  • Единичная матрица коммутирует со всеми матрицами.
  • Любая диагональная матрица коммутирует с любой другой диагональной матрицей.
  • Жордановы клетки коммутируют с верхнетреугольными матрицами, которые имеют те же значения на диагоналях.
  • Если произведение двух симметричных матриц является симметричной матрицей, то эти матрицы коммутируют.

История

Понятие коммутирования (перестановки) матриц ввёл Кэли в своих мемуарах по теории матриц, в которых была приведена также аксиоматизация матриц. Первым существенным доказанным результатом по коммутированию был представленный выше результат Фробениуса (1878).