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

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

$a_{i,\;j}=\overline{a_{j,\;i}},$

или

$\! A=(\overline{A})^T=A^*=A^\dagger,$

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

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

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

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

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

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

Основные свойства

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

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

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

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

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

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

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

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

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

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

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

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

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

См. также

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