エルミート行列の固有値対角化:スペクトル理論の証明
📂行列代数エルミート行列の固有値対角化:スペクトル理論の証明
定理
可逆行列 A∈Cm×m の 固有値 λk で構成した 対角行列を Λ:=diag(λ1,⋯,λm)、その固有値に対応する正規直交固有ベクトル qk で構成した 直交行列を Q とする。
[1] スペクトル理論
A が 正規行列であるための必要十分条件は A が ユニタリ対角化可能であることである。
AA∗=A∗A⟺A=QΛQ∗
[2] エルミート行列の場合
もし A が エルミート行列であれば、ユニタリ対角化可能である:
A=A∗⟹A=QΛQ∗
さらに、Λ の対角成分はすべて実数である。
- A∗=(A)T は A に 複素共役を取った行列の 転置行列であり エルミート行列と呼ばれる。
説明
可逆行列を分解できるということ自体は 固有値対角化の過程で確認された。スペクトル理論はその逆が成立する条件を提示しており、非常に重要であるといえる。すぐに応用できる分野としては 統計学 では、 主成分分析の理論的基盤となる。
一方、スペクトル理論でいう A=QΛQ∗ を次のように 固有対 {(λk,ek)}k=1m の級数形で表したものを スペクトル分解spectral decompositionという。
A=k=1∑mλkekek∗
証明
正方行列 A は シュア分解可能なので、次を満たす ユニタリ行列 Q と 上三角行列 T が存在する。
A=QTQ∗
以下の証明でこのノーテーションを共有する。O は 零行列を表す。
[1]
A が正規行列であることは、T が正規行列であることと同値である:
⟺⟺⟺⟺AA∗=A∗AQTQ∗(QTQ∗)∗=(QTQ∗)∗QTQ∗QTT∗Q∗=Q∗T∗TQQ[TT∗−T∗T]Q∗=OTT∗=T∗T
三角正規行列の同値条件: T が正方行列であるとする。 三角行列 T が正規行列であることの必要十分条件は、T が 対角行列であることである:
TT∗=T∗T⟺(T)ij=0,∀i=j
一方、上三角行列 T が正規行列であることは、T が対角行列であることと同値であり、これは次のように要約できる。
⟺⟺AA∗=A∗ATT∗=T∗TA=QTQ∗
これで、T=Λ:=diag(λ1,⋯,λm) が A の固有値で構成された対角行列であることを示せばよい。A=QΛQ∗ の両辺の右に Q を掛けると
AQ=QΛ
となり、ここで Q:=[q1⋯qm] は ユニタリ行列なので k=1,⋯,m に対し Aqk=λkqk である。したがって λk は A の固有値となる。
[2]
A∗=QT∗Q∗ であり A∗=A なので QTQ∗=QT∗Q∗、即ち T=T∗ である。これを満たす上三角行列は 対角行列であり、上述の方法により T=Λ が A の固有値で構成された対角行列であることを示すことができる。特にこの場合、A は エルミート行列なのでその固有値はすべて実数である。
■