「対角化」の版間の差分
削除された内容 追加された内容
m ボット: 言語間リンク 15 件をウィキデータ上の d:q1767080 に転記 |
編集の要約なし |
||
8行目: | 8行目: | ||
|isbn = 4-563-02195-4 |
|isbn = 4-563-02195-4 |
||
|page = |
|page = |
||
}}</ref>)は、[[正方行列]]を適当な[[線形変換]]によりもとの[[行列]]と[[行列の相似|同値]]な[[対角行列]]に帰着させること。あるいは、[[ベクトル空間]]の[[線形写像]]に対し、[[空間]]の[[基底]]を取り替え、その作用が常にある方向([[固有値|固有空間]])への[[スカラー]]倍([[固有値]])として現れるようにすること。 |
}}</ref>)は、[[正方行列]]を適当な[[線形変換]]によりもとの[[行列]]と[[行列の相似|同値]]な[[対角行列]]に帰着させること。あるいは、[[ベクトル空間]]の[[線形写像]]に対し、[[空間]]の[[基底]]を取り替え、その作用が常にある方向([[固有値|固有空間]])への[[スカラー]]倍([[固有値]])として現れるようにすること。対角化により変換において本質的には無駄な計算を省くことで計算量を大幅に減らすことが出来る。 |
||
== 概要 == |
== 概要 == |
2013年8月1日 (木) 14:20時点における版
対角化(たいかくか、英: diagonalization[1])は、正方行列を適当な線形変換によりもとの行列と同値な対角行列に帰着させること。あるいは、ベクトル空間の線形写像に対し、空間の基底を取り替え、その作用が常にある方向(固有空間)へのスカラー倍(固有値)として現れるようにすること。対角化により変換において本質的には無駄な計算を省くことで計算量を大幅に減らすことが出来る。
概要
n 次正方行列 A に対して、 n 次対角行列 D と正則な n 次正方行列 U が存在して、
とできるとき、行列 A は対角化可能であるという。このとき、 であるから、 D の対角成分には A の固有値がならび、その他の非対角成分はすべて 0 となる。
A の固有値を重複を許さず、 とするとき、A が対角化可能であるための必要十分条件は、
かつ、各項が各固有値の重複度と等しいことである。ここで、 は n 次単位行列を表す。 は固有値 の固有空間であるから、この条件はベクトル空間の基底として A の固有ベクトルが取れることを意味している。
A が実対称行列のとき、A は常に対角化可能であり、U として直交行列を取ることができる。また A がユニタリー行列 U を用いて対角化できるためには、 A が正規行列であることが必要十分である。正規行列の中で応用上重要なクラスとして、対称行列とエルミート行列がある。
脚注
参考文献
この節の加筆が望まれています。 |
関連項目
外部リンク
この節の加筆が望まれています。 |