対角化

対角化（たいかくか、Diagonalization）は、正方行列を適当な線形変換によりもとの行列と同値な対角行列に帰着させること。あるいは、ベクトル空間の線形写像にたいし、空間の基底を取り替え、その作用が常にある方向（固有空間）へのスカラー倍（固有値）として現れるようにすること。

n 次正方行列 A に対して、 n 次対角行列 D と正則な n 次正方行列 U が存在して

$U^{-1}AU=D$

とできるとき、行列 A は対角化可能であるという。 このとき、$AU=UD$であるから、 D の対角成分には A の固有値がならび、その他の非対角成分はすべて0となる。

A の固有値を重複を許さず$\lambda _{i},i=1,\cdots ,r,$とするとき、 A が対角化可能であるための必要十分条件は、

$\sum _{i=1}^{r}\dim \ker(\lambda _{i}I_{n}-A)=n,$

である。ここで、$I_{n}$は n 次単位行列を表す。 $\ker(\lambda _{i}I_{n}-A)$は固有値$\lambda _{i}$の固有空間であるから、 この条件はベクトル空間の基底として A の固有ベクトルが取れることを意味している。

A が対称行列のとき、 A は常に対角化可能であり、 U として直交行列を取ることができる。 また A がユニタリー行列 U を用いて対角化できるためには、 A が正規行列であることが必要十分である。 正規行列の中で応用上重要なクラスとして、対称行列とエルミート行列がある。

（数値的対角化手法）
まだ空白。

関連項目

• 固有値問題
• ジョルダン標準形