Нормальная матрица

Нормальная матрица — комплексная квадратная матрица $A$, коммутирующая со своей эрмитово-сопряжённой матрицей:

$A^{*}A=A{A}^{*}$.

Для вещественной матрицы $A$ имеет место $A^{*}=A^T$, и поэтому она нормальна, если $A^{T}A=A{A}^T$.

Нормальность является удобным тестом приводимости к диагональной форме — матрица нормальна тогда и только тогда, когда она унитарно подобна диагональной матрице, а потому любая матрица $A$, удовлетворяющая уравнению $A^{*}A=A{A}^{*}$, допускает приведение к диагональной форме. (Две матрицы $A$ и $B$ называются унитарно подобными, если существует унитарная матрица $S$, для которой $A=S^{-1}BS$.)

Понятие нормальной матрицы можно распространить на нормальные операторы в бесконечномерных гильбертовых пространствах и нормальные элементы в C*-алгебрах.

Среди комплексных матриц все унитарные, эрмитовы и косоэрмитовы матрицы нормальны. Среди вещественных матриц все ортогональные, симметричные и кососимметричные матрицы нормальны. Однако неверно, что все нормальные матрицы либо унитарны, либо эрмитовы, либо косоэрмитовы. Например:

$A=\left(\begin{array}{ccc}1& 1& 0\\ 0& 1& 1\\ 1& 0& 1\end{array}\right)$

не является ни унитарной, ни эрмитовой, ни косоэрмитовой, хотя и нормальна, поскольку:

$A{A}^{*}=\left(\begin{array}{ccc}2& 1& 1\\ 1& 2& 1\\ 1& 1& 2\end{array}\right)=A^{*}A$.

Эквивалентные определения

Существует большой набор эквивалентных определений нормальной матрицы, в частности, следующие высказывания эквивалентны:

• $A$ нормальна;
• $A$ является Шаблон:Не переведено 5 с помощью унитарной матрицы;
• все точки пространства можно получить как линейные комбинации некоторого набора ортонормальных собственных векторов матрицы $A$;
• $\Vert Ax\Vert =\Vert A^{*}x\Vert$ для любого $x$.
• норму Фробениуса матрицы $A$ можно вычислить по собственным значениям матрицы $A$: $\mathrm{tr}(A^{*}A)=\sum _j|{\lambda }_j{|}^2$;
• эрмитова часть $(A+A^{*})/2$ и косоэрмитова часть $(A-A^{*})/2$ матрицы $A$ коммутируют;
• $A^{*}$ является многочленом (степени менее $n$ — размера матрицы) от $A$;
• $A^{*}=AU$ для некоторой унитарной матрицы $U$.
• $U$ и $P$ коммутируют, где $U$ и $P$ представляют полярное разложение $A=UP$ на унитарную матрицу $U$ и некую положительно определённую матрицу $P$;
• $A$ коммутирует с некоторой нормальной матрицей $N$, имеющей различные собственные значения;
• ${\sigma }_i=\left|{\lambda }_i\right|$ для всех $1⩽i⩽n$, где $A$ имеет сингулярные числа ${\sigma }_1⩾\dots ⩾{\sigma }_n$ и собственные значения $\left|{\lambda }_1\right|⩾\dots ⩾\left|{\lambda }_n\right|$
• операторная норма нормальной матрицы $A$ равна Шаблон:Не переведено 5 и спектральному радиусу матрицы $A$; это означает:

  $\underset{\Vert x\Vert =1}{\sup }\Vert Ax\Vert =\underset{\Vert x\Vert =1}{\sup }|⟨Ax,x⟩|=\max \{|\lambda |:\lambda \in \sigma (A)\}$.

Многие из этих определений можно обобщить до нормальных операторов в бесконечномерных гильбертовых пространствах, но не все, например, ограниченный оператор, удовлетворяющий условию коммутируемости компонент полярного разложения, является в общем случае лишь Шаблон:Не переведено 5.

Свойства

Нормальная треугольная матрица диагональна.

В общем случае сумма или произведение двух нормальных матриц не обязательно будет нормальной матрицей; однако если $A$ и $B$ нормальны и выполнено $AB=BA$, то и $AB$, и $A+B$ также нормальны. Более того, существует унитарная матрица $U$, такая, что $UA{U}^{*}$ и $UB{U}^{*}$ диагональны. Другими словами, $A$ и $B$ Шаблон:Не переведено 5.

В этом частном случае столбцы матрицы $U^{*}$ являются собственными векторами, как $A$, так и $B$, и образуют ортонормальный базис в ${ℂ}^n$. Утверждение следует из теорем, что над алгебраически замкнутым полем коммутирующие матрицы Шаблон:Не переведено 5 и что нормальная матрица приводима к диагональной, в последнем случае с дополнением, что это можно сделать одновременно.

Связь со спектральной теоремой

Понятие нормальности важно, поскольку нормальные матрицы — это в точности те, которых касается спектральная теорема: матрица $A$ нормальна тогда и только тогда, когда существует диагональная матрица $\mathrm{\Lambda }$ и унитарная матрица $U$, такие что $A=U\mathrm{\Lambda }{U}^{*}$. Диагональные элементы матрицы $\mathrm{\Lambda }$ являются собственными числами, а столбцы $U$ — собственными векторами матрицы $A$. (Собственные значения в $\mathrm{\Lambda }$ идут в том же порядке, что и соответствующие им собственные вектора в $U$).

Другим способом высказать утверждение спектральной теоремы является утверждение, что нормальные матрицы — это в точности те матрицы, которые можно представить в виде диагональной матрицы путём выбора подходящего ортонормального базиса пространства ${ℂ}^n$. Также можно утверждать, что матрица нормальна тогда и только тогда, когда её собственное пространство совпадает с ${ℂ}^n$ и собственные вектора ортогональны по стандартному скалярному произведению в ${ℂ}^n$.

Спектральная теорема для нормальных матриц является специальным случаем более общего разложения Шура, которое выполняется для всех квадратных матриц. Пусть $A$ — квадратная матрица. Тогда, согласно разложению Шура, она унитарно подобна верхней треугольной матрице, скажем, $B$. Если $A$ нормальна, то и $B$ нормальна тоже. Но тогда $B$ должна быть диагональной по причине, изложенной выше.

Спектральная теорема позволяет классифицировать нормальные матрицы в терминах спектра, например:

• нормальная матрица унитарна тогда и только тогда, когда её спектр лежит на единичном круге комплексной плоскости;
• нормальная матрица является самосопряжённой тогда и только тогда, когда её спектр содержится в $ℝ$.

Аналогии

Можно рассматривать связи различных видов нормальных матриц как аналоги различных видов комплексных чисел:

• обратимые матрицы являются аналогом ненулевых комплексных чисел;
• эрмитово-сопряжённая матрица является аналогом сопряжённого числа;
• Унитарные матрицы является аналогом комплексных чисел с абсолютной величиной $1$;
• эрмитовы матрицы являются аналогами вещественных чисел;
• эрмитовы положительно определённые матрицы являются аналогами положительных вещественных чисел;
• антиэрмитовы матрицы являются аналогами чисто мнимых чисел.

Можно комплексные числа вложить в нормальные вещественные матрицы размера $2\times 2$ путём отображения:

$a+bi\mapsto \left(\begin{array}{cc}a& b\\ -b& a\end{array}\right)$,

и при этом вложении сохраняются сложение и умножение и все соответствующие аналогии между видами нормальных матриц и видами комплексных чисел.

Ссылки

• Шаблон:Citation.