「対角化」の版間の差分
削除された内容 追加された内容
編集の要約なし |
対角化条件の一部訂正 |
||
9行目: | 9行目: | ||
''A'' が対角化可能であるための必要十分条件は、 |
''A'' が対角化可能であるための必要十分条件は、 |
||
:<math> \sum_{i=1}^{r}\dim\ker(\lambda_{i}I_{n} - A) = n, </math> |
:<math> \sum_{i=1}^{r}\dim\ker(\lambda_{i}I_{n} - A) = n, </math> |
||
かつ、各項が各固有値の重複度と等しいこと |
|||
である。ここで、<math>I_{n}</math>は ''n'' 次単位行列を表す。 |
である。ここで、<math>I_{n}</math>は ''n'' 次単位行列を表す。 |
||
<math> \ker(\lambda_{i}I_{n}-A)</math>は固有値<math>\lambda_{i}</math>の固有空間であるから、 |
<math> \ker(\lambda_{i}I_{n}-A)</math>は固有値<math>\lambda_{i}</math>の固有空間であるから、 |
2010年9月11日 (土) 10:36時点における版
対角化(たいかくか、Diagonalization)は、正方行列を適当な線形変換によりもとの行列と同値な対角行列に帰着させること。あるいは、ベクトル空間の線形写像にたいし、空間の基底を取り替え、その作用が常にある方向(固有空間)へのスカラー倍(固有値)として現れるようにすること。
n 次正方行列 A に対して、 n 次対角行列 D と正則な n 次正方行列 U が存在して
とできるとき、行列 A は対角化可能であるという。 このとき、であるから、 D の対角成分には A の固有値がならび、その他の非対角成分はすべて0となる。
A の固有値を重複を許さずとするとき、 A が対角化可能であるための必要十分条件は、
かつ、各項が各固有値の重複度と等しいこと である。ここで、は n 次単位行列を表す。 は固有値の固有空間であるから、 この条件はベクトル空間の基底として A の固有ベクトルが取れることを意味している。
A が対称行列のとき、 A は常に対角化可能であり、 U として直交行列を取ることができる。 また A がユニタリー行列 U を用いて対角化できるためには、 A が正規行列であることが必要十分である。 正規行列の中で応用上重要なクラスとして、対称行列とエルミート行列がある。
関連項目