対角化

対角化（たいかくか、diagonalization）とは、正方行列を適当な線形変換によりもとの行列と相似な対角行列に変形することを言う。あるいは、ベクトル空間の線形写像に対し、空間の基底を取り替え、その作用が常にある方向（固有空間）へのスカラー倍（固有値）として現れるようにすること。対角化により変換において本質的には無駄な計算を省くことで計算量を大幅に減らすことができる。

概要 
n 次正方行列 A に対して、n 次対角行列 D と n 次正則行列 P が存在して、
 
とできるとき、行列 A は対角化可能（）であるという。

対角化可能であるための必要十分条件 
定義式を成分で表示すると、
 

両辺に左から P を掛けると:
 
ここで、P を列ベクトル  を並べて表記すると

上式は、次のように書き直せる：

つまり、P の構成する各列ベクトルは Aの固有ベクトルであり、対応する対角成分はその固有ベクトルに対応する固有値になっている。行列 P が正則であることは、これらの固有ベクトルが線形独立である（= n次元ベクトル空間の基底になっている）ことを意味する。

ここまでの議論は完全に逆向きにたどることができる。つまり、行列Aの固有ベクトルだけで n 次元ベクトル空間の基底が構成できるならば、それら縦ベクトルを横に並べた行列 P は正則行列となり、

が成り立ち、D の対角成分には A の固有値が並ぶ。

以上が行列が対角化できるための必要十分条件である。またこれは、実際に対角化を行うための手順にもなっている。

他にも同値な条件がいくつか知られている。
 
A の固有値を  とするとき、A が対角化可能であるための必要十分条件は、次の等式が成り立つことである：
 
ここで、 は n 次単位行列を表す。 は固有値  の固有空間であるから、この条件はベクトル空間の基底として A の固有ベクトルが取れることを意味している。
 上の条件は、 の各項が  の重複度と一致する、とも言い換えられる。一致しない場合はその固有空間の次元は  を下回り、総計が n には成り得ないからである。詳しくは固有空間の次元を参照。
 行列 A の最小多項式が重根をもたないことも対角化可能であるための必要十分条件である。

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

例 
次の 2 次実正方行列 A は固有値 a − bi と a + bi をもち、たとえば以下の正則行列 P で対角化される。
  
一方、次の行列 B は対角化可能ではない。

3次正方行列について、具体的な数値で計算を行ってみる。

次の行列は対角化可能かどうか判断し、可能な場合は対角化せよ：

固有値と固有ベクトルを計算すると、

固有ベクトルを並べた

の行列式は0でないため、これを使って対角化できる。

脚注

参考文献

和書

洋書 
 Strang, G. (2003). Introduction to linear algebra. Cambridge (MA): Wellesley-Cambridge Press.
 Franklin, Joel N. (1968). Matrix Theory. :en:Dover Publications. ISBN 978-0-486-41179-8.
 Golub, Gene H.; Van Loan, Charles F. (1996), Matrix Computations (3rd ed.), Baltimore: Johns Hopkins University Press, ISBN 978-0-8018-5414-9
 Horn, Roger A.; Johnson, Charles R. (1985). Matrix Analysis. :en:Cambridge University Press. ISBN 978-0-521-38632-6.
 Horn, Roger A.; Johnson, Charles R. (1991). Topics in Matrix Analysis. :en:Cambridge University Press. ISBN 978-0-521-46713-1.
 Nering, Evar D. (1970), Linear Algebra and Matrix Theory (2nd ed.), New York: Wiley, LCCN 76091646

関連項目 

 線型写像
 対角行列
 固有値
 ジョルダン標準形
 ランチョス法

外部リンク 
 

線型代数学
数値線形代数
数学に関する記事
行列