対角化

対角化（たいかくか、diagonalization）とは、正方行列を適当な線形変換によりもとの行列と相似な対角行列に変形することを言う。あるいは、ベクトル空間の線形写像に対し、空間の基底を取り替え、その作用が常にある方向（固有空間）へのスカラー倍（固有値）として現れるようにすること。対角化により変換において本質的には無駄な計算を省くことで計算量を大幅に減らすことができる。
概要.
"n" 次正方行列 "A" に対して、"n" 次対角行列 "D" と "n" 次正則行列 "P" が存在して、
とできるとき、行列 "A" は（）であるという。
対角化可能であるための必要十分条件.
定義式を成分で表示すると、
両辺に左から "P" を掛けると:
ここで、"P" を列ベクトル formula_4 を並べて表記すると
上式は、次のように書き直せる：
つまり、"P" の構成する各列ベクトルは "A"の固有ベクトルであり、対応する対角成分はその固有ベクトルに対応する固有値になっている。行列 "P" が正則であることは、これらの固有ベクトルが線形独立である（= "n"次元ベクトル空間の基底になっている）ことを意味する。
ここまでの議論は完全に逆向きにたどることができる。つまり、行列"A"の固有ベクトルだけで "n" 次元ベクトル空間の基底が構成できるならば、それら縦ベクトルを横に並べた行列 "P" は正則行列となり、
が成り立ち、"D" の対角成分には "A" の固有値が並ぶ。
以上が行列が対角化できるための必要十分条件である。またこれは、実際に対角化を行うための手順にもなっている。
他にも同値な条件がいくつか知られている。
"A" が実対称行列のとき、"A" は常に対角化可能であり、"P" として直交行列を取ることができる。また "A" がユニタリー行列 "U" を用いて対角化できるためには、"A" が正規行列であることが必要十分である。正規行列の中で応用上重要なクラスとして、対称行列とエルミート行列がある。
例.
次の 2 次実正方行列 "A" は固有値 "a" − "bi" と "a" + "bi" をもち、たとえば以下の正則行列 "P" で対角化される。
一方、次の行列 "B" は対角化可能ではない。
3次正方行列について、具体的な数値で計算を行ってみる。
次の行列は対角化可能かどうか判断し、可能な場合は対角化せよ：
固有値と固有ベクトルを計算すると、
固有ベクトルを並べた
の行列式は0でないため、これを使って対角化できる。