エルミート行列

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動: 案内検索

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

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

 A = A^\dagger

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

A^{\top} = (a_{ji}) = (\bar{a}_{ij}) =\bar{A}

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

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

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

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

性質[編集]

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

関連項目[編集]

参考文献[編集]

外部リンク[編集]