エルミート行列

線型代数学におけるエルミート行列（エルミートぎょうれつ、英: Hermitian matrix）または自己随伴行列（じこずいはんぎょうれつ、英: self-adjoint matrix）とは、複素数を成分とする正方行列で自身の随伴行列（共軛転置）と一致するものを言う。エルミート行列は、実対称行列の複素数に対する拡張版の概念として理解することができる。

正方行列 A の随伴を A^† と書くとき、複素正方行列がエルミートであるということは、

${\displaystyle A=A^{\dagger }}$

が成り立つということであり、これはまた

${\displaystyle A^{\top }=[a_{j,i}]=[{\bar {a}}_{i,j}]={\bar {A}}}$

が成り立つことと同値ゆえ、その成分は任意の添字 i, j について (i, j)成分は (j, i)成分の複素共役と等しい。

随伴行列 A^† は A^∗ と書かれるほうが普通だが、A^∗ を複素共軛（本項では A と書いた）の意味で使う文献も多く紛らわしい。

エルミート行列の名はシャルル・エルミートに因む。エルミートは1855年、この種の行列の固有値が常に実数となるという実対称行列と同じ性質を持つことを示した。

よく知られたパウリ行列、ゲルマン行列および一般化されたそれらはエルミートである。理論物理学においてそれらのエルミート行列には、しばしば虚数の係数が掛かって^[1]歪エルミート行列となる。

性質

• 任意のエルミート行列の主対角成分は、それが自身の複素共軛と一致することから、実数でなければならない。全ての成分が実数であるような行列がエルミートであるのは、それが対称行列（主対角線に関して全ての成分が対称）となるときであり、かつそのときに限る。実対称行列はエルミート行列の特別の場合である。
• 任意のエルミート行列は正規行列である。従って対角化可能。
• 有限次元のスペクトル定理によれば、任意のエルミート行列はユニタリ行列で対角化して、得られた対角行列の成分がすべて実数となるようにすることができる。これにより、エルミート行列 A の全ての固有値が実数であり、A が n 個の線型独立な固有ベクトルを持つことがわかる。さらには A の n個の固有ベクトルからなる Cⁿ の正規直交基底をとることができる。
• 二つのエルミート行列の和は再びエルミートであり、エルミート行列の逆行列も存在すれば同様にエルミートになる。しかし、二つのエルミート行列 A, B に対してそれらの積 AB がエルミートとなるための必要十分条件は AB = BA となることである。従って、任意の整数 n に対して冪 Aⁿ は A がエルミートならばエルミートである。
• n次複素エルミート行列の全体は、複素数体 C 上のベクトル空間を成さない（例えば単位行列 I_n はエルミートだがそのスカラー i倍である i I_n はエルミートでない）。しかし複素エルミート行列の全体は実数体 R 上のベクトル空間にはなる。n次複素行列の全体は R 上で 2n²次元のベクトル空間であり、その中で複素エルミート行列の全体は n²次元の部分空間を成す。その基底は、行列単位 E_j,k（(j,k)成分が 1 でそれ以外の成分は全て 0 である n次正方行列）を用いれば、
  ${\displaystyle {\begin{cases}E_{j,j}&(1\leq j\leq n)\\E_{j,k}+E_{k,j},\,i(E_{j,k}-E_{k,j})&(1\leq j<k\leq n)\end{cases}}}$
  で与えられ、これらの形の基底ベクトルはそれぞれ n, n² − n/2, n² − n/2 個ずつ存在するから、次元は n + n² − n/2 + n² − n/2 = n² であることが分かる。ただし、i は虚数単位である。
• エルミート行列 A の n 個の正規直交固有ベクトル ${\displaystyle u_{1},\ldots ,u_{n}}$ を選び、それを列ベクトルとする行列を U と書けば、A の固有分解
  ${\displaystyle A=U\Lambda U^{\dagger }\qquad (UU^{\dagger }=I=U^{\dagger }U)}$
  が成り立って、対角行列 Λ の主対角線上に並ぶ固有値を λ_j として
  ${\displaystyle A=\textstyle \sum \limits _{j}\lambda _{j}u_{j}u_{j}^{\dagger }}$
  と書くことができる。
• 任意の正方行列とその共軛転置との和 ${\displaystyle (C+C^{\dagger })}$ はエルミートである。
• 任意の正方行列とその共軛転置との差 ${\displaystyle (C-C^{\dagger })}$ は歪エルミートである。したがってまた、二つのエルミート共軛の交換子積は歪エルミートになる。
• 任意の正方行列 C はエルミート行列 A と歪エルミート行列 B との和
  ${\displaystyle C=A+B\quad {\mbox{with}}\quad A={\frac {1}{2}}(C+C^{\dagger })\quad {\mbox{and}}\quad B={\frac {1}{2}}(C-C^{\dagger })}$
  に一意的に分解される。
• エルミート行列の行列式は実数である。これは行列式は固有値の積であり、エルミート行列の固有値が実数であることから従う。あるいは直接計算で確かめるならば、転置行列の行列式がもとの行列のそれと等しいこと、および複素共軛行列の行列式がもとの行列の行列式の複素共軛であること
  ${\displaystyle \det(A)=\det(A^{\top }),\quad \det({\bar {A}})={\overline {\det(A)}}}$
  から
  ${\displaystyle A=A^{\dagger }\implies \det(A)={\overline {\det(A)}}}$
  を得る。

関連項目

• 歪エルミート行列
• ヘインズワースの慣性加法公式（英語版）
• エルミート形式
• 自己随伴作用素
• ユニタリ行列

参照

外部リンク

• 『エルミート行列とその性質，ユニタリ対角化の証明』 - 高校数学の美しい物語
• Weisstein, Eric W. "Hermitian Matrix". mathworld.wolfram.com (英語).
• Hermitian matrix - PlanetMath.（英語）
• Hazewinkel, Michiel, ed. (2001), “Hermitian matrix”, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=Hermitian_matrix 
• Visualizing Hermitian Matrix as An Ellipse with Dr. Geo, by Chao-Kuei Hung from Shu-Te University, gives a more geometric explanation.
• "Hermitian Matrices". MathPages.com.

表 話 編 歴 線型代数学・行列解析
連立一次方程式	ガウスの消去法 クラメルの公式 ガウス＝ザイデル法 ヤコビ法
ベクトル	線型独立 線型結合 基底 双対基底
ベクトル空間	双対空間 核空間 固有空間 広義固有空間 線型包 行空間 列空間 次元
計量ベクトル空間	ドット積 コーシー＝シュワルツの不等式 直交 正規直交系 正規直交基底 グラム・シュミットの正規直交化法 直交補空間
行列・線型写像	演算・操作 乗法 転置 逆行列 サラスの方法 基本変形 対角化 分解 LU QR コレスキー シューア 特異値 固有値 不変量 行列式 跡 階数 固有値と固有ベクトル 固有多項式 最小多項式 単因子 階数標準形 スミス標準形 ジョルダン標準形 有理標準形 小行列式 クラス 正則 基本 対称 エルミート 正規 直交 回転 ユニタリ 冪零 射影 正定値 ユニモジュラー 置換 区分
行列式	余因子展開 余因子行列 ヴァンデルモンドの行列式 終結式 コーシー・ビネの公式
多重線型代数	外積 外積代数 対称代数 テンソル代数
数値線形代数	基本的な概念 浮動小数点 数値的安定性 疎行列 Z-行列 M行列 条件数 ゲルシュゴリンの定理 クリロフ部分空間 ソフトウェア MATLAB 数値解析ソフトの比較/一覧 ライブラリ Armadillo Basic Linear Algebra Subprograms (BLAS) INTLAB Intel oneAPI Math Kernel Library LAPACK NumPy OpenBLAS 線型代数学ライブラリの比較 反復法・技法 SOR法 共役勾配法 GMRES法 固有値問題の数値解法 ランチョス法 QR法 べき乗法 逆べき乗法 ヤコビ法 (固有値問題) シュトラッセンのアルゴリズム ハウスホルダー変換 ギブンス回転 人物 ジェームズ・H・ウィルキンソン クリーブ・モラー ニコラス・ハイアム ジーン・ゴラブ リチャード・バルガ
行列値関数	行列指数関数 行列の対数 行列の平方根
その他	スカラー ケイリー・ハミルトンの定理 ペロン＝フロベニウスの定理 シューア補行列 シルヴェスターの慣性法則
カテゴリ