対角化(たいかくか、diagonalization[1])とは、正方行列を適当な線形変換によりもとの行列と相似な対角行列に変形することを言う。あるいは、ベクトル空間の線形写像に対し、空間の基底を取り替え、その作用が常にある方向(固有空間)へのスカラー倍(固有値)として現れるようにすること。対角化により変換において本質的には無駄な計算を省くことで計算量を大幅に減らすことができる。
概要
n 次正方行列 A に対して、n 次対角行列 D と n 次正則行列 P が存在して、
![{\displaystyle P^{-1}AP=D}](https://wikimedia.org/api/rest_v1/media/math/render/svg/56758aa48d21ab434362ea88b039dfd644b4ce66)
とできるとき、行列 A は対角化可能(英: diagonalizable)であるという。
対角化可能であるための必要十分条件
定義式を成分で表示すると、
![{\displaystyle P^{-1}AP={\begin{bmatrix}\lambda _{1}&0&\dots &0\\0&\lambda _{2}&\dots &0\\\vdots &\vdots &\ddots &\vdots \\0&0&\dots &\lambda _{n}\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2be95c5595cdcc56ad98220cc540341186a1ab8e)
両辺に左から P を掛けると:
![{\displaystyle AP=P{\begin{bmatrix}\lambda _{1}&0&\dots &0\\0&\lambda _{2}&\dots &0\\\vdots &\vdots &\ddots &\vdots \\0&0&\dots &\lambda _{n}\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1133f7a1ed88a82d41692718b57077fb4f6b3e84)
ここで、P を列ベクトル
を並べて表記すると
![{\displaystyle P={\begin{bmatrix}{\vec {\alpha }}_{1}&{\vec {\alpha }}_{2}&\cdots &{\vec {\alpha }}_{n}\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b13c444919de55a05be34dcef7f8f40869861176)
上式は、次のように書き直せる:
![{\displaystyle A{\vec {\alpha }}_{i}=\lambda _{i}{\vec {\alpha }}_{i}\qquad (i=1,2,\dots ,n)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/85e5ffd8b134d56e9fd942ee9b178c3f7e0e37ab)
つまり、P の構成する各列ベクトルは Aの固有ベクトルであり、対応する対角成分はその固有ベクトルに対応する固有値になっている。行列 P が正則であることは、これらの固有ベクトルが線形独立である(= n次元ベクトル空間の基底になっている)ことを意味する。
ここまでの議論は完全に逆向きにたどることができる。つまり、行列Aの固有ベクトルだけで n 次元ベクトル空間の基底が構成できるならば、それら縦ベクトルを横に並べた行列 P は正則行列となり、
![{\displaystyle P^{-1}AP=D}](https://wikimedia.org/api/rest_v1/media/math/render/svg/56758aa48d21ab434362ea88b039dfd644b4ce66)
が成り立ち、D の対角成分には A の固有値が並ぶ。
以上が行列が対角化できるための必要十分条件である。またこれは、実際に対角化を行うための手順にもなっている。
他にも同値な条件がいくつか知られている。
- (ここでは固有方程式が(重解を持つ場合も許容して)1次式の積に分解できることを前提とする。固有値・固有ベクトルが複素数でもよいのならこれはいつでも正しい(代数学の基本定理)が、実数だけで考えている場合は固有方程式の左辺が因数分解できないこともあり得る。)
- A の固有値を
とするとき、A が対角化可能であるための必要十分条件は、次の等式が成り立つことである: ![{\displaystyle \textstyle \sum \limits _{i=1}^{r}\dim \ker(\lambda _{i}I_{n}-A)=n,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/34b1846d2e087543501a26c2910118a255c68c1d)
- ここで、In は n 次単位行列を表す。
は固有値
の固有空間であるから、この条件はベクトル空間の基底として A の固有ベクトルが取れることを意味している。
- 上の条件は、
の各項が
の重複度と一致する、とも言い換えられる。一致しない場合はその固有空間の次元は
を下回り、総計が n には成り得ないからである。詳しくは固有空間の次元を参照。 - 行列 A の最小多項式が重根をもたないことも対角化可能であるための必要十分条件である。
A が実対称行列のとき、A は常に対角化可能であり、P として直交行列を取ることができる。また A がユニタリー行列 U を用いて対角化できるためには、A が正規行列であることが必要十分である。正規行列の中で応用上重要なクラスとして、対称行列とエルミート行列がある。
例
次の 2 次実正方行列 A は固有値 a − bi と a + bi をもち、たとえば以下の正則行列 P で対角化される。
![{\displaystyle 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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/29f34bac347d809419d8abb85f14b4ed8f644c29)
一方、次の行列 B は対角化可能ではない。
![{\displaystyle B={\begin{bmatrix}\lambda &1\\&\lambda \end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/94728e1e9f228c57ccfbb0310a33817ad32396cd)
3次正方行列について、具体的な数値で計算を行ってみる。
次の行列は対角化可能かどうか判断し、可能な場合は対角化せよ:
![{\displaystyle A={\begin{bmatrix}1&2&0\\0&3&0\\2&-4&2\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/71442347d97ddf480d26fe397433a048effbd532)
固有値と固有ベクトルを計算すると、
![{\displaystyle \lambda _{1}=3,\quad \lambda _{2}=2,\quad \lambda _{3}=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6f7650568ad752a7d90fabc818243b87b394b587)
![{\displaystyle v_{1}={\begin{bmatrix}-1\\-1\\2\end{bmatrix}},\quad v_{2}={\begin{bmatrix}0\\0\\1\end{bmatrix}},\quad v_{3}={\begin{bmatrix}-1\\0\\2\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/53c7dbcfa444f50177acb72c522adcf1a3bb9c51)
固有ベクトルを並べた
![{\displaystyle P={\begin{bmatrix}-1&0&-1\\-1&0&0\\2&1&2\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5c002b61d1666a26b66bf5be2062f33466e2dd37)
の行列式は0でないため、これを使って対角化できる。
![{\displaystyle P^{-1}AP={\begin{bmatrix}0&-1&0\\2&0&1\\-1&1&0\end{bmatrix}}{\begin{bmatrix}1&2&0\\0&3&0\\2&-4&2\end{bmatrix}}{\begin{bmatrix}-1&0&-1\\-1&0&0\\2&1&2\end{bmatrix}}={\begin{bmatrix}3&0&0\\0&2&0\\0&0&1\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6a3e0206b8bcbef7afaaf845755f9386b3239baa)
脚注
[脚注の使い方]
- ^ 文部省、日本物理学会編『学術用語集 物理学編』培風館、1990年。ISBN 4-563-02195-4。http://sciterm.nii.ac.jp/cgi-bin/reference.cgi。 [リンク切れ]
参考文献
和書
- 斎藤正彦『線型代数入門』(初版)東京大学出版会、1966年。ISBN 978-4-13-062001-7。https://www.utp.or.jp/book/b302039.html。
- 佐武一郎『線型代数学』裳華房、1974年。
- 新井朝雄『ヒルベルト空間と量子力学』共立出版〈共立講座21世紀の数学〉、1997年。
洋書
- Strang, G. (2003). Introduction to linear algebra. Cambridge (MA): Wellesley-Cambridge Press.
- Franklin, Joel N. (1968). Matrix Theory. en:Dover Publications. ISBN 978-0-486-41179-8.
- Golub, Gene H.; Van Loan, Charles F. (1996), Matrix Computations (3rd ed.), Baltimore: Johns Hopkins University Press, ISBN 978-0-8018-5414-9
- Horn, Roger A.; Johnson, Charles R. (1985). Matrix Analysis. en:Cambridge University Press. ISBN 978-0-521-38632-6.
- Horn, Roger A.; Johnson, Charles R. (1991). Topics in Matrix Analysis. en:Cambridge University Press. ISBN 978-0-521-46713-1.
- Nering, Evar D. (1970), Linear Algebra and Matrix Theory (2nd ed.), New York: Wiley, LCCN 76091646
関連項目
外部リンク