エルミート行列

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

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

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

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

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

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

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

性質任意のエルミート行列の主対角成分は、それが自身の複素共軛と一致することから、実数でなければならない。全ての成分が実数であるような行列がエルミートであるのは、それが対称行列（主対角線に関して全ての成分が対称）となるときであり、かつそのときに限る。実対称行列はエルミート行列の特別の場合である。任意のエルミート行列は正規行列である。従って対角化可能。有限次元のスペクトル定理によれば、任意のエルミート行列はユニタリ行列で対角化して、得られた対角行列の成分がすべて実数となるようにすることができる。これにより、エルミート行列の全ての固有値が実数であり、が個の線型独立な固有ベクトルを持つことがわかる。さらにはの個の固有ベクトルからなるの正規直交基底をとることができる。二つのエルミート行列の和は再びエルミートであり、エルミート行列の逆行列も存在すれば同様にエルミートになる。しかし、二つのエルミート行列に対してそれらの積がエルミートとなるための必要十分条件はとなることである。従って、任意の整数に対して冪はがエルミートならばエルミートである。次複素エルミート行列の全体は、複素数体上のベクトル空間を成さない（例えば単位行列はエルミートだがそのスカラー倍であるはエルミートでない）。しかし複素エルミート行列の全体は実数体上のベクトル空間にはなる。次複素行列の全体は上で次元のベクトル空間であり、その中で複素エルミート行列の全体は次元の部分空間を成す。その基底は、行列単位（成分がでそれ以外の成分は全てである次正方行列）を用いれば、で与えられ、これらの形の基底ベクトルはそれぞれ個ずつ存在するから、次元はであることが分かる。ただし、は虚数単位である。エルミート行列の個の正規直交固有ベクトルを選び、それを列ベクトルとする行列をと書けば、のが成り立って、対角行列の主対角線上に並ぶ固有値をとしてと書くことができる。任意の正方行列とその共軛転置との和はエルミートである。任意の正方行列とその共軛転置との差は歪エルミートである。したがってまた、二つのエルミート共軛の交換子積は歪エルミートになる。任意の正方行列はエルミート行列と歪エルミート行列との和に一意的に分解される。エルミート行列の行列式は実数である。これは行列式は固有値の積であり、エルミート行列の固有値が実数であることから従う。あるいは直接計算で確かめるならば、転置行列の行列式がもとの行列のそれと等しいこと、および複素共軛行列の行列式がもとの行列の行列式の複素共軛であることからを得る。

エルミート行列

Źródło i licencja