出典: フリー教科書『ウィキブックス(Wikibooks)』
n 次正方行列 A があるとします。 n 次正則行列 P を上手くとって、 P とその逆行列とをそれぞれ右と左から掛けて(このようにサンドイッチにすることを相似変換といいます)、
![{\displaystyle P^{-1}AP=D}](https://wikimedia.org/api/rest_v1/media/math/render/svg/56758aa48d21ab434362ea88b039dfd644b4ce66)
のように n 次対角行列 D にすることを、行列 A の対角化といいます。対角化はできる場合とできない場合があるので、できる場合を対角化可能といいます。後に理由が明らかになりますが、対角化のことを固有値分解とも言います。対角化は固有値と非常に深い関係があるのです。
定義式を成分で表示してみると、
![{\displaystyle P^{-1}AP={\begin{pmatrix}\lambda _{1}&0&\dots &0\\0&\lambda _{2}&\dots &0\\\vdots &\vdots &\ddots &\vdots \\0&0&\dots &\lambda _{n}\end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8a71fdec6864ab31101ab27fe660645fbc0a8bd4)
両辺に左からPを掛けると:
![{\displaystyle AP=P{\begin{pmatrix}\lambda _{1}&0&\dots &0\\0&\lambda _{2}&\dots &0\\\vdots &\vdots &\ddots &\vdots \\0&0&\dots &\lambda _{n}\end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/38d5ebe42a1b2f9e6c3608d8d39a98f8044113ea)
ここで、Pを列ベクトル
を並べて表記すると
![{\displaystyle P={\begin{pmatrix}{\vec {\alpha }}_{1}&{\vec {\alpha }}_{2}&\cdots &{\vec {\alpha }}_{n}\end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b1075e91037a621b7db63ebc5bc369d0451d33ce)
となるので、定義式は次のように書き直すことができます。
![{\displaystyle A{\vec {\alpha }}_{i}=\lambda _{i}{\vec {\alpha }}_{i}\qquad (i=1,2,\cdots ,n)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/938e388eb6be293a0f3fe8b090d673dcc91fe650)
つまり、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 の固有値が並ぶのです。
これが対角化できるためのひとつの必要十分条件です。同時に、実際に対角化を行うための手順にもなっています。
次の行列は対角化可能かどうか判断し、可能な場合は対角化しなさい。
![{\displaystyle A={\begin{pmatrix}1&2&0\\0&3&0\\2&-4&2\end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c4dd7b35b55a92b771052fe7ec45ade9d5ee6cc6)
固有値と固有ベクトルを計算すると、
![{\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{pmatrix}-1\\-1\\2\end{pmatrix}},\quad v_{2}={\begin{pmatrix}0\\0\\1\end{pmatrix}},\quad v_{3}={\begin{pmatrix}-1\\0\\2\end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8c3e1090d36fd7da5d443eca60f9e078e73ee39d)
固有ベクトルを並べた
![{\displaystyle P={\begin{pmatrix}-1&0&-1\\-1&0&0\\2&1&2\end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/705c32eeb7c5469694beef4470250031a1224eaf)
の行列式は0でないため、これを使って対角化できます。実際に計算すると、
![{\displaystyle P^{-1}AP={\begin{pmatrix}0&-1&0\\2&0&1\\-1&1&0\end{pmatrix}}{\begin{pmatrix}1&2&0\\0&3&0\\2&-4&2\end{pmatrix}}{\begin{pmatrix}-1&0&-1\\-1&0&0\\2&1&2\end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/25c1a1a81554421af9af480f2d2c1f86efbf0d73)
![{\displaystyle ={\begin{pmatrix}3&0&0\\0&2&0\\0&0&1\end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e14dc19639ee4c2545beda76fb6f1f06090c0acc)