エルミート行列

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

正方行列 テンプレート:Mvar の随伴を テンプレート:Math と書くとき、複素正方行列がエルミートであるということは、

$A=A^{†}$

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

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

が成り立つことと同値ゆえ、その成分は任意の添字 テンプレート:Math2 について テンプレート:Math2成分は テンプレート:Math2成分の複素共役と等しい。

随伴行列 テンプレート:Math は テンプレート:Math と書かれるほうが普通だが、テンプレート:Math を複素共軛（本項では テンプレート:Math と書いた）の意味で使う文献も多く紛らわしい。

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

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

性質

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

関連項目

• 歪エルミート行列
• テンプレート:仮リンク
• エルミート形式
• 自己随伴作用素
• ユニタリ行列

外部リンク

• テンプレート:高校数学の美しい物語
• テンプレート:MathWorld
• テンプレート:PlanetMath
• テンプレート:SpringerEOM
• Visualizing Hermitian Matrix as An Ellipse with Dr. Geo, by Chao-Kuei Hung from Shu-Te University, gives a more geometric explanation.
• テンプレート:MathPages