「対角化」の版間の差分
I.hidekazu (会話 | 投稿記録) |
I.hidekazu (会話 | 投稿記録) 冒頭の説明を整理。 |
||
1行目: | 1行目: | ||
'''対角化'''(たいかくか、 |
'''対角化'''(たいかくか、diagonalization<ref>{{Cite book|和書 |
||
|author = [[文部省]] |
|author = [[文部省]] |
||
|coauthors = [[日本物理学会]]編 |
|coauthors = [[日本物理学会]]編 |
||
8行目: | 8行目: | ||
|isbn = 4-563-02195-4 |
|isbn = 4-563-02195-4 |
||
|page = |
|page = |
||
}}</ref>)は、[[正方行列]]を適当な[[線形変換]]によりもとの[[行列]]と[[行列の相似| |
}}</ref>)とは、[[正方行列]]を適当な[[線形変換]]によりもとの[[行列]]と[[行列の相似|相似]]な[[対角行列]]に変形することを言う。あるいは、[[ベクトル空間]]の[[線形写像]]に対し、[[空間]]の[[基底]]を取り替え、その作用が常にある方向([[固有値|固有空間]])への[[スカラー]]倍([[固有値]])として現れるようにすること。対角化により変換において本質的には無駄な計算を省くことで計算量を大幅に減らすことが出来る。 |
||
== 概要 == |
== 概要 == |
2013年10月12日 (土) 20:36時点における版
対角化(たいかくか、diagonalization[1])とは、正方行列を適当な線形変換によりもとの行列と相似な対角行列に変形することを言う。あるいは、ベクトル空間の線形写像に対し、空間の基底を取り替え、その作用が常にある方向(固有空間)へのスカラー倍(固有値)として現れるようにすること。対角化により変換において本質的には無駄な計算を省くことで計算量を大幅に減らすことが出来る。
概要
n 次正方行列 A に対して、 n 次対角行列 D と正則な n 次正方行列 U が存在して、
とできるとき、行列 A は対角化可能であるという。このとき、 であるから、 D の対角成分には A の固有値がならび、その他の非対角成分はすべて 0 となる。
A の固有値を重複を許さず、 とするとき、A が対角化可能であるための必要十分条件は、
かつ、各項が各固有値の重複度と等しいことである。ここで、 は n 次単位行列を表す。 は固有値 の固有空間であるから、この条件はベクトル空間の基底として A の固有ベクトルが取れることを意味している。
A が実対称行列のとき、A は常に対角化可能であり、U として直交行列を取ることができる。また A がユニタリー行列 U を用いて対角化できるためには、 A が正規行列であることが必要十分である。正規行列の中で応用上重要なクラスとして、対称行列とエルミート行列がある。
正方行列の対角化可能条件
自己共役行列は対角化可能
対角化可能行列とは正規行列である
テープリッツの定理(Toeplitz theorem) 正方行列 N が対角化可能 ⇔ N は正規行列(N*N = NN*)
- (証明)
N が対角化可能であれば正規行列であることは明らか。N が正規行列であれば N は対角化可能であることを示す。
と正方行列 R と J を定める。このとき R , J は自己共役行列となることから対角化可能。
であることから、R , J が同時対角化可能であることを示せば良い。
より
- すなわち、
したがって、R と J は同時対角化可能であり、N は対角化可能■
脚注
参考文献
- 佐武 一郎『線型代数学』裳華房、1974年。
- 新井 朝雄『ヒルベルト空間と量子力学』共立出版〈共立講座21世紀の数学〉、1997年。
関連項目
外部リンク
この節の加筆が望まれています。 |