Эрмитова матрица

Эрми́това (или самосопряжённая) ма́трица — квадратная матрица, элементы которой являются комплексными числами, и которая, будучи транспонирована, равна комплексно сопряжённой: $A^T=\stackrel{¯<!--\; ¯\; -->}{A}$$A^{T}=\overline {A}$. То есть для любого столбца $i$$i$ и строки $j$$j$ справедливо равенство

$a_{i,j}=\stackrel{¯<!--\; ¯\; -->}{a_{j,i}},$$a_{{i,\;j}}=\overline {a_{{j,\;i}}},$ где $\stackrel{¯<!--\; ¯\; -->}{a}$${\overline {a}}$ - комплексно сопряжённое число к $a$$a$,

или

$A=(\stackrel{¯<!--\; ¯\; -->}{A}{)}^T=A^{\ast <!--\; \ast \; -->}=A^{†<!--\; †\; -->},$$A=({\overline {A}})^{T}=A^{*}=A^{\dagger },$

где ${}^{\ast <!--\; \ast \; -->}$${}^{*}$ — эрмитово сопряжение

${}^{†<!--\; †\; -->}$${}^{\dagger }$ — оператор эрмитова сопряжения (обозначение в квантовой механике).

Например, матрица

${\begin{bmatrix}5&2+i\\2-i&7\end{bmatrix}}$

является эрмитовой.

Соответственно, антиэрмитовой матрицей называют квадратную матрицу, элементы которой удовлетворяют равенству $a_{i,j}=-<!--\; -\; -->\stackrel{¯<!--\; ¯\; -->}{a_{j,i}}$$a_{{i,\;j}}=-\overline {a_{{j,\;i}}}$, или $A=-<!--\; -\; -->A^{\ast <!--\; \ast \; -->}$$A=-A^{*}$.

Эрмитова матрица получила своё название после того, как Шарль Эрмит в 1855 году показал, что матрицы этой формы, также как и симметричные матрицы, имеют вещественные собственные значения.

Основные свойстваПравить

• Эрмитова матрица является нормальной.

• Диагональные элементы эрмитовой матрицы вещественны.

• Вещественная эрмитова матрица (то есть та, все элементы которой — вещественные числа) является симметричной:

• Аналогично, чисто мнимая эрмитова матрица (с элементами без вещественных составляющих) является кососимметричной.

• Определитель эрмитовой матрицы — вещественное число.

• Сумма двух эрмитовых матриц является эрмитовой.

• Обратная к эрмитовой матрица также эрмитова, если существует.

• Произведение двух эрмитовых матриц является эрмитовым тогда и только тогда, когда они коммутируют друг с другом, то есть если $AB=BA$$AB=BA$ .

• У эрмитовой матрицы все собственные значения вещественны, а собственные векторы могут быть собраны в ортонормированную систему.

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

• Жорданова форма эрмитовой матрицы диагональна.

Дополнительные свойстваПравить

• Сумма любой квадратной матрицы $B$$B$  и её эрмитово сопряженной $B^{\ast <!--\; \ast \; -->}$$B^{*}$ , $(B+B^{\ast <!--\; \ast \; -->})$$(B+B^{*})$  является эрмитовой.
• Разность любой квадратной матрицы $B$$B$  и матрицы $B^{\ast <!--\; \ast \; -->}$$B^{*}$ , эрмитово сопряжённой ей, $(B-<!--\; -\; -->B^{\ast <!--\; \ast \; -->})$$(B-B^{*})$  является антиэрмитовой, то есть $B-<!--\; -\; -->B^{\ast <!--\; \ast \; -->}=-<!--\; -\; -->(B-<!--\; -\; -->B^{\ast <!--\; \ast \; -->}{)}^{\ast <!--\; \ast \; -->}$$B-B^{*}=-(B-B^{*})^{*}$ .
• Любую квадратную матрицу C можно представить как сумму эрмитовой и антиэрмитовой матриц :

$C=A+B$$C=A+B$ , причём эти слагаемые определяются однозначно: $A=(C+C^{\ast <!--\; \ast \; -->})/2$$A=(C+C^{*})/2$ , $B=(C-<!--\; -\; -->C^{\ast <!--\; \ast \; -->})/2$$B=(C-C^{*})/2$ . Их эрмитовость и антиэрмитовость следуют из двух предыдущих утверждений соответственно.

См. такжеПравить

• Эрмитов оператор
• Унитарная матрица
• Антиэрмитова матрица

СсылкиПравить

• Hermitian Matrices / Mathpages (англ.)
• 2.9 Эрмитовы матрицы (недоступная ссылка) / П.Ланкастер ТЕОРИЯ МАТРИЦ, Издательство" Наукa", Главная редакция физико-математической литературы, 1973, стр 75-79