対角化たいかくかdiagonalizationの基本きほん

1導入どうにゅう

この講義こうぎで中心ちゅうしんに置おく発想はっそうは、対角化たいかくかdiagonalizationは行列ぎょうれつmatrixをただ変形へんけいする技術ぎじゅつではなく、固有ベクトルeigenvectorを基底きていbasisに選択せんたくし直なおして線型変換せんけいへんかんlinear transformationの本質ほんしつを明示めいじすることである。

対角行列たいかくぎょうれつdiagonal matrixは、各座標方向かくざひょうほうこうに倍率ばいりつを掛かけるだけの単純たんじゅんな変換へんかんである。したがって複雑ふくざつな行列ぎょうれつmatrixであっても、適切てきせつな基底きていbasisを採用さいようすると対角行列たいかくぎょうれつdiagonal matrixになるなら、その変換へんかんの構造こうぞうstructureは理解りかいしやすくなる。

2用語ようごと定義ていぎ

対角化可能たいかくかかのうDiagonalizable とは、ある正則行列せいそくぎょうれつ $$P$$P を用もちいて

と表示ひょうじでき、$$D$$D が対角行列たいかくぎょうれつdiagonal matrixになることである。

この式しきで保存ほぞんされるのは、線型写像せんけいしゃぞうlinear mapそのものの作用さようである。変かわるのは、その作用さようを読よむための座標表示ざひょうひょうじである。$A$A は標準基底ひょうじゅんきていstandard basisでの表示ひょうじ、$D$D は固有基底こゆうきていでの表示ひょうじであり、$P$P は固有基底こゆうきていの座標ざひょうから標準座標ひょうじゅんざひょうへ戻もどす行列ぎょうれつmatrixである。

固有基底こゆうきていEigenbasis とは、固有ベクトルeigenvectorだけからなる基底きていbasisである。

3方針ほうしん

まず、固有ベクトルeigenvectorが基底きていbasisを構成こうせいできると行列ぎょうれつmatrixが対角行列たいかくぎょうれつdiagonal matrixになることを確認かくにんする。対角化たいかくかdiagonalizationは基底変更きていへんこうの応用おうようであり、同おなじ線型写像せんけいしゃぞうlinear mapを固有基底こゆうきていで表示ひょうじし直なおす操作そうさoperationである。そのあと、対角化たいかくかdiagonalizationできるための条件じょうけんを幾何的重複度きかてきちょうふくどと代数的重複度だいすうてきちょうふくどで整理せいりし、冪べき・漸化式ぜんかしき・微分方程式びぶんほうていしきへの応用おうようへ接続せつぞくする。

4直感的ちょっかんてきな説明せつめい

標準的ひょうじゅんてきな座標系ざひょうけいでは変換へんかんの構造こうぞうstructureが複雑ふくざつであっても、その変換へんかんが自然しぜんに伸縮しんしゅくさせる方向ほうこうへ座標軸ざひょうじくを調整ちょうせいすれば、変換へんかんは単純たんじゅんに記述きじゅつできる。この「座標軸ざひょうじくを固有方向こゆうほうこうに合あわせる」ことが対角化たいかくかdiagonalizationである。

5厳密げんみつな説明せつめい

5.11. 固有ベクトルeigenvectorを並ならべる

一次独立いちじどくりつlinear independenceな固有ベクトルeigenvector $$v_1,\text{[PARSE ERROR: Undefined("Command("dots")")]},v_n$$v_1,\dots,v_n があり、それぞれの固有値こゆうちeigenvalueを $${\lambda }_1,\text{[PARSE ERROR: Undefined("Command("dots")")]},{\lambda }_n$$\lambda_1,\dots,\lambda_n とする。

このとき

とおけば

である。なぜなら、$$P$$P の第だい $$j$$j 列れつcolumnは $$v_j$$v_j で、$$AP$$AP の第だい $$j$$j 列れつcolumnは $$A{v}_j={\lambda }_j{v}_j$$Av_j=\lambda_j v_j、また $$PD$$PD の第だい $$j$$j 列れつcolumnも $${\lambda }_j{v}_j$$\lambda_j v_j となるためである。したがって $$P$$P が正則せいそくなら

となる。

たとえば

では、$\lambda =3$\lambda=3 の固有ベクトルeigenvectorとして $v_1=\left(\begin{array}{c}1\\ 0\end{array}\right)$v_1=\begin{pmatrix}1\\0\end{pmatrix}、$\lambda =2$\lambda=2 の固有ベクトルeigenvectorとして $v_2=\left(\begin{array}{c}-1\\ 1\end{array}\right)$v_2=\begin{pmatrix}-1\\1\end{pmatrix} を取とれる。したがって

と置おくと、

である。この具体例ぐたいれいで変かわっているのは座標軸ざひょうじくであり、線型変換せんけいへんかんlinear transformationそのものではない。固有方向こゆうほうこうを座標軸ざひょうじくに選えらぶと、変換へんかんは「第だい 1 軸じくを 3 倍ばい、第だい 2 軸じくを 2 倍ばい」という対角行列たいかくぎょうれつdiagonal matrixとして読よめる。

5.22. 対角化たいかくかdiagonalizationの条件じょうけん

行列ぎょうれつmatrix $$A$$A が対角化可能たいかくかかのうであるためには、空間くうかんの次元じげんdimensionだけ一次独立いちじどくりつlinear independenceな固有ベクトルeigenvectorを確保かくほできることが必要ひつようである。

固有値こゆうちeigenvalueがすべて異ことなれば、その固有ベクトルeigenvectorは自動的じどうてきに一次独立いちじどくりつlinear independenceなので、対角化たいかくかdiagonalizationできる。

より本質的ほんしつてきには、

である。特性多項式とくせいたこうしきcharacteristic polynomialが対象たいしょうの体たいの上うえで一次式いちじしきに分解ぶんかいするとき、各かく固有値こゆうちeigenvalue $$\lambda$$\lambda について

が全すべて成立せいりつすることと、$$A$$A が対角化可能たいかくかかのうであることは同値どうちequivalentである。固有値こゆうちeigenvalueが全すべて異ことなることは十分条件じゅうぶんじょうけんであり、必要条件ひつようじょうけんではない。

5.33. 対角化たいかくかdiagonalizationの利点りてん

対角化たいかくかdiagonalizationできると

となり、行列ぎょうれつmatrixの冪べきや反復はんぷくが扱あつかいやすくなる。$$D^n$$D^n は対角成分たいかくせいぶんを各自かくじ $$n$$n 乗じょうするだけで済すむためである。

さらに、連立れんりつ微分方程式びぶんほうていしき

では

を考察こうさつする。$$A=PD{P}^{-1}$$A=PDP^{-1} なら

となり、$$e^{tD}$$e^{tD} は対角成分たいかくせいぶん $$e^{t{\lambda }_i}$$e^{t\lambda_i} を並ならべるだけで計算けいさんできる。したがって対角化たいかくかdiagonalizationは、高たかい冪べきだけでなく連立微分方程式れんりつびぶんほうていしきの解析かいせきにも有効ゆうこうである。

6判定基準はんていきじゅん

• 固有値こゆうちeigenvalueと固有ベクトルeigenvectorを求もとめたあと、「対角化たいかくかdiagonalizationできるか」と問とわれたら、一次独立いちじどくりつlinear independenceな固有ベクトルeigenvectorが十分じゅうぶんに存在そんざいするかを確認かくにんする。
• 行列ぎょうれつmatrixの高たかい冪べきや漸化式ぜんかしきが表あらわれたら、対角化たいかくかdiagonalizationの適用てきようを検討けんとうする。
• 固有値こゆうちeigenvalueがすべて異ことなるなら、対角化可能たいかくかかのうである。ただし重複ちょうふくがある場合ばあいにおいても、GM = AM が成立せいりつすれば対角化可能たいかくかかのうである。

7どこまで成立せいりつするか

固有値こゆうちeigenvalueが求もとまっても、固有ベクトルeigenvectorが十分じゅうぶんに確保かくほできなければ対角化たいかくかdiagonalizationはできない。たとえば

は固有値こゆうちeigenvalue 1 を持もつが、一次独立いちじどくりつlinear independenceな固有ベクトルeigenvectorが 1 本ほんしか確保かくほできないので対角化たいかくかdiagonalizationできない。つまり「固有値こゆうちeigenvalueがある」ことと「対角化たいかくかdiagonalizationできる」ことは別べつである。

8最終形さいしゅうけい

9一言ひとことでいうと

• 対角化たいかくかdiagonalizationは、固有ベクトルeigenvectorを基底きていbasisに選択せんたくし直なおして、線型変換せんけいへんかんlinear transformationを「方向ほうこうごとの倍率ばいりつ」として再記述さいきじゅつすることである。

10定理ていりと証明しょうめい：対角化たいかくかできることと固有ベクトルeigenvector基底きてい

$n\times n$n\times n 行列ぎょうれつ $A$A が対角化たいかくかできることと、$F^n$\mathbb{F}^n が $A$A の固有ベクトルeigenvectorからなる基底きていを持もつことは同値どうちである。

まず $A=PD{P}^{-1}$A=PDP^{-1} とする。$P$P の列れつを $p_1,\dots ,p_n$p_1,\ldots,p_n、$D$D の対角成分たいかくせいぶんを ${\lambda }_1,\dots ,{\lambda }_n$\lambda_1,\ldots,\lambda_n とする。$AP=PD$AP=PD なので、列れつを比くらべると

である。$P$P は可逆かぎゃくなので、その列れつは基底きていである。よって固有ベクトルeigenvectorの基底きていがある。

逆ぎゃくに、$v_1,\dots ,v_n$v_1,\ldots,v_n が固有ベクトルeigenvectorの基底きていで、$A{v}_i={\lambda }_i{v}_i$Av_i=\lambda_i v_i とする。$P=[v_1\cdots v_n]$P=[v_1\ \cdots\ v_n]、$D=\mathrm{diag}({\lambda }_1,\dots ,{\lambda }_n)$D=\operatorname{diag}(\lambda_1,\ldots,\lambda_n) とおくと、列れつごとに

である。$P$P は基底きていを列れつに持もつので可逆かぎゃくであり、$A=PD{P}^{-1}$A=PDP^{-1} である。

この定理ていりは、対角化たいかくかが「座標軸ざひょうじくを固有方向こゆうほうこうに取とり替かえる操作そうさ」であることを示しめしている。

11演習えんしゅうリンク

12関連かんれんリンク