actions

対角化

対角化(たいかくか、diagonalization[1])とは、正方行列を適当な線形変換によりもとの行列相似対角行列に変形することを言う。あるいは、ベクトル空間線形写像に対し、空間基底を取り替え、その作用が常にある方向(固有空間)へのスカラー倍(固有値)として現れるようにすること。対角化により変換において本質的には無駄な計算を省くことで計算量を大幅に減らすことが出来る。

概要

n 次正方行列 A に対して、 n 次対角行列 Dn正則行列 P が存在して、

[math] P^{-1} A P = D [/math]

とできるとき、行列 A対角化可能であるという。このとき、[math] AP = PD [/math] であるから、 D の対角成分には A の固有値がならび、その他の非対角成分はすべて 0 となる。

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]I_{n}[/math]n 次単位行列を表す。[math]\ker(\lambda_{i}I_{n}-A)[/math] は固有値 [math]\lambda_{i}[/math] の固有空間であるから、この条件はベクトル空間の基底として A の固有ベクトルが取れることを意味している。 また行列 A が対角化可能であるための他の必要十分条件には、その最小多項式が重根をもたないことがある[2]

A が実対称行列のとき、A は常に対角化可能であり、P として直交行列を取ることができる。また Aユニタリー行列 U を用いて対角化できるためには、 A正規行列であることが必要十分である。正規行列の中で応用上重要なクラスとして、対称行列とエルミート行列がある。

次の 2 次実正方行列 A は固有値 abia + 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]

脚注

  1. 文部省日本物理学会編 『学術用語集 物理学編』 培風館、1990年。ISBN 4-563-02195-4。
  2. 斎藤 1996, 系3.4.

参考文献

  • 線型代数入門』 東京大学出版会、1966年、初版。ISBN 978-4-13-062001-7。
  • 佐武 一郎 『線型代数学』 裳華房、1974年。
  • 新井 朝雄 『ヒルベルト空間と量子力学』 共立出版〈共立講座21世紀の数学〉、1997年。

関連項目


テンプレート:Linear algebra