対角化
出典: フリー百科事典『ウィキペディア（Wikipedia）』
対角化（たいかくか、diagonalization[1]）とは、正方行列を適当な線形変換によりもとの行列と相似な対角行列に変形することを言う。あるいは、ベクトル空間の線形写像に対し、空間の基底を取り替え、その作用が常にある方向（固有空間）へのスカラー倍（固有値）として現れるようにすること。対角化により変換において本質的には無駄な計算を省くことで計算量を大幅に減らすことが出来る。
概要
n 次正方行列 A に対して、 n 次対角行列 D と正則な n 次正方行列 U が存在して、
- <math> U^{-1} A U = D </math>
とできるとき、行列 A は対角化可能であるという。このとき、<math> AU = UD </math> であるから、 D の対角成分には A の固有値がならび、その他の非対角成分はすべて 0 となる。
A の固有値を重複を許さず、<math>\lambda_{i}, i=1,\cdots,r, </math> とするとき、A が対角化可能であるための必要十分条件は、
- <math> \sum_{i=1}^{r}\dim\ker(\lambda_{i}I_{n} - A) = n, </math>
かつ、各項が各固有値の重複度と等しいことである。ここで、<math>I_{n}</math> は n 次単位行列を表す。<math>\ker(\lambda_{i}I_{n}-A)</math> は固有値 <math>\lambda_{i}</math> の固有空間であるから、この条件はベクトル空間の基底として A の固有ベクトルが取れることを意味している。
A が実対称行列のとき、A は常に対角化可能であり、U として直交行列を取ることができる。また A がユニタリー行列 U を用いて対角化できるためには、 A が正規行列であることが必要十分である。正規行列の中で応用上重要なクラスとして、対称行列とエルミート行列がある。
