「対角化」の版間の差分
削除された内容 追加された内容
編集の要約なし |
ARAKI Satoru (会話 | 投稿記録) 最小多項式による特徴づけ・例・参考文献の追加 |
||
11行目: | 11行目: | ||
== 概要 == |
== 概要 == |
||
''n'' 次正方行列 ''A'' に対して、 ''n'' 次対角行列 ''D'' と |
''n'' 次正方行列 ''A'' に対して、 ''n'' 次対角行列 ''D'' と ''n'' 次[[正則行列]] ''P'' が存在して、 |
||
: <math> |
: <math> P^{-1} A P = D </math> |
||
とできるとき、行列 ''A'' は'''対角化可能'''であるという。このとき、<math> |
とできるとき、行列 ''A'' は'''対角化可能'''であるという。このとき、<math> AP = PD </math> であるから、 ''D'' の対角成分には ''A'' の固有値がならび、その他の非対角成分はすべて 0 となる。 |
||
''A'' の固有値を重複を許さず、<math>\lambda_{i}, i=1,\cdots,r, </math> とするとき、''A'' が対角化可能であるための必要十分条件は、 |
''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> \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'' の固有ベクトルが取れることを意味している。 |
かつ、各項が各固有値の重複度と等しいことである。ここで、<math>I_{n}</math> は ''n'' 次単位行列を表す。<math>\ker(\lambda_{i}I_{n}-A)</math> は固有値 <math>\lambda_{i}</math> の固有空間であるから、この条件はベクトル空間の基底として ''A'' の固有ベクトルが取れることを意味している。 |
||
また行列 ''A'' が対角化可能であるための他の必要十分条件には、その[[最小多項式]]が重根をもたないことがある{{sfn|斎藤|1996|loc=系3.4}}。 |
|||
''A'' が実[[対称行列]]のとき、''A'' は常に対角化可能であり、'' |
''A'' が実[[対称行列]]のとき、''A'' は常に対角化可能であり、''P'' として[[直交行列]]を取ることができる。また ''A'' が[[ユニタリー行列]] ''U'' を用いて対角化できるためには、 ''A'' が[[正規行列]]であることが[[同値|必要十分]]である。正規行列の中で応用上重要なクラスとして、対称行列と[[エルミート行列]]がある。 |
||
<!-- |
<!-- |
||
(数値的対角化手法) |
(数値的対角化手法) |
||
--> |
--> |
||
== 例 == |
|||
次の 2 次実正方行列 ''A'' は固有値 ''a'' − ''bi'' と ''a'' + ''bi'' をもち、たとえば以下の正則行列 ''P'' で対角化される。 |
|||
: <math> A = |
|||
\begin{bmatrix} |
|||
a & -b \\ |
|||
b & a |
|||
\end{bmatrix}, |
|||
\quad |
|||
P = |
|||
\begin{bmatrix} |
|||
i & 1 \\ |
|||
-i & 1 |
|||
\end{bmatrix}, |
|||
\quad |
|||
P^{-1}AP = |
|||
\begin{bmatrix} |
|||
a - bi & \\ |
|||
& a + bi |
|||
\end{bmatrix}. |
|||
</math> |
|||
一方、次の行列 ''B'' は対角化可能ではない。 |
|||
:<math> |
|||
B = |
|||
\begin{bmatrix} |
|||
\lambda & 1 \\ |
|||
& \lambda |
|||
\end{bmatrix} |
|||
</math> |
|||
== 脚注 == |
== 脚注 == |
||
{{脚注ヘルプ}} |
{{脚注ヘルプ}} |
||
{{Reflist}} |
{{Reflist}} |
||
== 参考文献 == |
== 参考文献 == |
||
* {{cite book |
|||
|和書 |
|||
|last1 = 斎藤 |
|||
|first1 = 正彦 |
|||
|year = 1966 |
|||
|title = 線型代数入門 |
|||
|url = http://www.utp.or.jp/bd/4-13-062001-0.html |
|||
|edition = 初版 |
|||
|publisher = 東京大学出版会 |
|||
|isbn = 978-4-13-062001-7 |
|||
|ref = harv |
|||
}} |
|||
* {{Cite book|和書|author=佐武 一郎|year=1974|title=線型代数学|publisher=裳華房}} |
* {{Cite book|和書|author=佐武 一郎|year=1974|title=線型代数学|publisher=裳華房}} |
||
* {{cite book | 和書 | title=ヒルベルト空間と量子力学 | author=新井 朝雄| year=1997 | series=共立講座21世紀の数学 | publisher=共立出版 }} |
* {{cite book | 和書 | title=ヒルベルト空間と量子力学 | author=新井 朝雄| year=1997 | series=共立講座21世紀の数学 | publisher=共立出版 }} |
||
36行目: | 78行目: | ||
* [[固有値]] |
* [[固有値]] |
||
* [[ジョルダン標準形]] |
* [[ジョルダン標準形]] |
||
== 外部リンク == <!-- {{Cite web}} --> |
|||
{{節stub}} |
|||
{{Math-stub}} |
{{Math-stub}} |
2015年3月17日 (火) 07:23時点における版
対角化(たいかくか、diagonalization[1])とは、正方行列を適当な線形変換によりもとの行列と相似な対角行列に変形することを言う。あるいは、ベクトル空間の線形写像に対し、空間の基底を取り替え、その作用が常にある方向(固有空間)へのスカラー倍(固有値)として現れるようにすること。対角化により変換において本質的には無駄な計算を省くことで計算量を大幅に減らすことが出来る。
概要
n 次正方行列 A に対して、 n 次対角行列 D と n 次正則行列 P が存在して、
とできるとき、行列 A は対角化可能であるという。このとき、 であるから、 D の対角成分には A の固有値がならび、その他の非対角成分はすべて 0 となる。
A の固有値を重複を許さず、 とするとき、A が対角化可能であるための必要十分条件は、
かつ、各項が各固有値の重複度と等しいことである。ここで、 は n 次単位行列を表す。 は固有値 の固有空間であるから、この条件はベクトル空間の基底として A の固有ベクトルが取れることを意味している。 また行列 A が対角化可能であるための他の必要十分条件には、その最小多項式が重根をもたないことがある[2]。
A が実対称行列のとき、A は常に対角化可能であり、P として直交行列を取ることができる。また A がユニタリー行列 U を用いて対角化できるためには、 A が正規行列であることが必要十分である。正規行列の中で応用上重要なクラスとして、対称行列とエルミート行列がある。
例
次の 2 次実正方行列 A は固有値 a − bi と a + bi をもち、たとえば以下の正則行列 P で対角化される。
一方、次の行列 B は対角化可能ではない。
脚注
参考文献
- 斎藤, 正彦『線型代数入門』(初版)東京大学出版会、1966年。ISBN 978-4-13-062001-7 。
- 佐武 一郎『線型代数学』裳華房、1974年。
- 新井 朝雄『ヒルベルト空間と量子力学』共立出版〈共立講座21世紀の数学〉、1997年。