対角化(一般の場合) の履歴(No.16)
更新- 履歴一覧
- 差分 を表示
- 現在との差分 を表示
- ソース を表示
- 線形代数I/対角化(一般の場合) へ行く。
培風館「教養の線形代数(五訂版)」に沿って行っている授業の授業ノート(の一部)です。
相似な行列・相似変換†
行列 と との間に
の関係があるとき、
「 と とは相似である」という。
注記†
このように定義した「相似」という概念は1つの「同値関係」を定義する。→ Wikipedia:同値関係
すなわち、相似関係は以下の「同値関係の公理」を満たす。
-
と
は相似である(反射率)
∵ と取ればよい -
と
が相似であれば、
と
も相似である(対称律)
∵ に左から を、右から を掛けると
これは に対して と が相似であることを示している。 -
と
、
と
が相似ならば
と
も相似である(推移律)
∵ の時、
これは に対して と とが相似であることを示している。(積の逆行列は逆行列の積の順番を入れ替えた物であったことに注意)
また、 次正方行列 に対して、 ある 次正方行列 を使って
とする変換を、「相似変換」と呼ぶ。
相似変換は固有値を保存する†
相似変換によって固有値が変化しない
すなわち
相似な行列というのは、固有値が等しい行列のこと
これでようやく「どこが似ているか」が分かった! ← 相似 = 「相手と似ていること」
証明:
&math( &|P^{-1}AP-\lambda I|=\\ &|P^{-1}AP-\lambda P^{-1}P|=\\ &|P^{-1}(A-\lambda I)P|=\\ &|P^{-1}|\,|(A-\lambda I)|\,|P|=\\ &|P|^{-1}\,|(A-\lambda I)|\,|P|=\\ &|A-\lambda I|=0\\ );
ここで、
- 行列の積の行列式は行列式の積である
- 単位行列の行列式は1である
- 逆行列の行列式は元の行列の行列式の逆数である
を使った。
この結果から、
「相似な行列の固有多項式は等しい」
すなわち、
「 と の固有値は重複度も含めて等しい」
ことが分かる。
実際には相似な行列 に対して、
がすべて成り立ち、非常に似た性質を持つ。
略証明†
であるから、 トレースと行列式が等しいことは、固有多項式が等しいことから直接導かれる。
階数は正則行列とのかけ算で変化しないため、相似変換でも変化しない。
行列の対角化・三角化†
この後得られる結果を先取りしておく。
- 相似変換により任意の行列を三角行列に変換できる(三角化可能)
- 相似変換により行列を対角行列に変換できるときとできないときがある(対角化可能・不可能)
相似変換による三角化・対角化とは?†
ある行列
を正則行列
によって相似変換して結果を三角行列あるいは対角行列にすること。
あるいは、そのような行列
を見つけること。
三角化:
&math(P^{-1}AP= \begin{bmatrix} a'_{11}&*&*&\dots&*\\ 0&a'_{22}&*&\dots&*\\ 0&0&\ddots&&\vdots\\ \vdots&\vdots&&\ddots&*\\ 0&0&\dots&0&a'_{nn} \end{bmatrix} );
対角化:
&math(P^{-1}AP= \begin{bmatrix} a'_{11}&0&0&\dots&0\\ 0&a'_{22}&0&\dots&0\\ 0&0&\ddots&&\vdots\\ \vdots&\vdots&&\ddots&0\\ 0&0&\dots&0&a'_{nn} \end{bmatrix} );
注†
この教科書で「三角化」というのは「上三角化」のことを指している場合が多い。 一般には下三角行列にすることも三角化と呼ばれる。
対角行列は三角行列であるから、対角化は三角化の特殊例である。
三角化(対角化)できたならば、対角成分は A の固有値である†
が三角行列の時、 も三角行列である。
例:
なら、
三角行列の行列式は対角成分の積であるから、
一方、 の固有多項式は、
相似な行列の固有多項式は等しいから、順番を除いて
、 、・・・ であることになる。
すなわち、三角化後の対角成分には重複度を含めた 個の固有値が現われる。
&math(P^{-1}AP= \begin{bmatrix} \lambda_1&*&*&\dots&*\\ 0&\lambda_2&*&\dots&*\\ 0&0&\ddots&&\vdots\\ \vdots&\vdots&&\ddots&*\\ 0&0&\dots&0&\lambda_n \end{bmatrix} );
対角化†
対角化するための $P$ をどのように見つけるか†
固有ベクトルを並べた行列†
行列 の列ベクトルを と置き、 これらすべてが の固有ベクトルであるとする。
もし が正則であれば、
&math( P^{-1}AP &=P^{-1}A\Bigg[ \bm p_1 \ \bm p_2 \ \dots \ \bm p_n \Bigg]\\ &=P^{-1}\Bigg[ A\bm p_1 \ A\bm p_2 \ \dots \ A\bm p_n \Bigg]\\ &=P^{-1}\Bigg[ \lambda_1\bm p_1 \ \lambda_2\bm p_2 \ \dots \ \lambda_n\bm p_n \Bigg]\\ &=P^{-1}\underbrace{\Bigg[ \bm p_1 \ \bm p_2 \ \dots \ \bm p_n \Bigg]}_{P}\begin{bmatrix} \lambda_1&0&\hdots&0\\ 0&\lambda_2&&\vdots\\ \vdots&&\ddots&0\\ 0&\hdots&0&\lambda_n \end{bmatrix}\\ &=\begin{bmatrix} \lambda_1&0&\hdots&0\\ 0&\lambda_2&&\vdots\\ \vdots&&\ddots&0\\ 0&\hdots&0&\lambda_n \end{bmatrix} );
となって、 はこの により対角化可能である。
対角化された行列の中に現れる固有値の順番が、 始めに並べた と同じ順になることに注意せよ。
対角化する行列の任意性†
例えば、
が
&math(P^{-1}AP=\begin{bmatrix} \lambda_1&0&\hdots&0\\ 0&\lambda_2&&\vdots\\ \vdots&&\ddots&0\\ 0&\hdots&0&\lambda_n \end{bmatrix});
のように を対角化するならば、 例えば の1行目に を、2行目に を掛けた
も、
&math(P'^{-1}AP'=P^{-1}AP=\begin{bmatrix} \lambda_1&0&\hdots&0\\ 0&\lambda_2&&\vdots\\ \vdots&&\ddots&0\\ 0&\hdots&0&\lambda_n \end{bmatrix});
のように と同じ形に対角化できる。
このように対角化するための の選び方には任意性があることに注意せよ。
対角化可能条件†
対角化は必ずしも可能ではない。
→
本の固有ベクトルを並べて作った
は必ずしも正則にならない。
「 が正則となるように 本の固有ベクトルを選ぶことができる」 というのが「行列 を対角化できる」十分条件となる。
より使いやすい条件†
教科書の P83 あたり でやったように「ある行列の列ベクトルが一次独立」であることと、その行列が正則であることとは同値である。
したがって、「 が 本の一次独立な固有ベクトルを持つこと」 が を対角化できる条件となる。
$n$ 個の異なる固有値を持つ場合†
- は重複度を含めて 個の固有値を持つ
- 異なる固有値に属する固有ベクトルは一次独立である
したがって、 の固有値 がすべて異なるなら、 対応する固有ベクトルを1つづつ取って を作れば は正則になる。
すなわち、そのような は対角化可能である。
固有値に重複解がある場合†
個の固有値のうち等しい物があれば、その固有値を重複解と呼ぶのであった。
固有値方程式が重複解を持つ場合、対角化が不可能な場合がある。
すべての固有値が、自身の重複度と同じ数の一次独立な固有ベクトルを持てば、
全体で
個の一次独立な固有ベクトルが得られる。
→ なぜなら固有値は重複度を含めて
本あるから
逆に、ある固有値 に属する固有ベクトルの自由度 が 固有値の重複度 よりも小さくなるとき、行列は対角化できない。
(逆に、固有ベクトルの自由度が固有値の重複度を超える場合はどうなる? → そんなことはあり得ない。その証明は三角化について学んでからにする)
対角化可能性の判別†
すべての固有値が、自身の重複度と同じ数の一次独立な固有ベクトルを持つことを確認すればよい。
例(例8):
&math( |A-\lambda I|&=\begin{vmatrix}1-\lambda&0&0\\1&2-\lambda&-3\\1&1&-2-\lambda\end{vmatrix}\\ &=(1-\lambda)\begin{vmatrix}2-\lambda&-3\\1&-2-\lambda\end{vmatrix}\\ &=(1-\lambda)\{(2-\lambda)(-2-\lambda)+3\}\\ &=(1-\lambda)(\lambda^2-1)\\ &=(1-\lambda)(\lambda-1)(\lambda+1)\\ &=(1-\lambda)^2(1+\lambda)\\ &=0 );
が2重解なので、こちらに対応する固有ベクトルを求めてみる。
&math( &(A-\lambda I)\bm x=\begin{bmatrix}0&0&0\\1&1&-3\\1&1&-3\end{bmatrix}\begin{bmatrix}x\\y\\z\end{bmatrix}=\begin{bmatrix}0\\0\\0\end{bmatrix}\\ &\rightarrow x+y-3z=0\\ );
掃き出せない をパラメータに置くと、
となり、例えば として一次独立な2本の固有ベクトルを選ぶことができる。
すなわち、 は対角化可能であることが分かる。
以下、実際に対角化してみよう。
に対する固有ベクトルは、
&math( &(A-\lambda I)\bm x=\begin{bmatrix}2&0&0\\1&3&-3\\1&1&-1\end{bmatrix}\begin{bmatrix}x\\y\\z\end{bmatrix}=\begin{bmatrix}0\\0\\0\end{bmatrix}\\ &\rightarrow \begin{cases}x=0\\y-z=0\end{cases}\\ );
掃き出せない をパラメータに置くと、
したがって、例えば が固有ベクトル。
以上より、
と置けば、これは1,2列目が の、3列目が の固有ベクトルであり、 なおかつ は正則。したがって、 は
として対角化される。
「 を対角化せよ」 という問題に答えるのであればここまでで正答となる。
以下蛇足ではあるが、本当に対角化されることを確かめてみよう。
まずは を求めてみる。
&math( &\begin{bmatrix}-1&3&0&1&0&0\\1&0&1&0&1&0\\0&1&1&0&0&1\end{bmatrix}\\ &\sim\begin{bmatrix}1&0&1&0&1&0\\-1&3&0&1&0&0\\0&1&1&0&0&1\end{bmatrix}\\ &\sim\begin{bmatrix}1&0&1&0&1&0\\0&3&1&1&1&0\\0&1&1&0&0&1\end{bmatrix}\\ &\sim\begin{bmatrix}1&0&1&0&1&0\\0&1&1&0&0&1\\0&3&1&1&1&0\end{bmatrix}\\ &\sim\begin{bmatrix}1&0&1&0&1&0\\0&1&1&0&0&1\\0&0&-2&1&1&-3\end{bmatrix}\\ &\sim\begin{bmatrix}1&0&1&0&1&0\\0&1&1&0&0&1\\0&0&1&-1/2&-1/2&3/2\end{bmatrix}\\ &\sim\begin{bmatrix}1&0&0&1/2&3/2&-3/2\\0&1&0&1/2&1/2&-1/2\\0&0&1&-1/2&-1/2&3/2\end{bmatrix}\\ );
&math( \therefore P^{-1}=\frac{1}{2}\begin{bmatrix}1&3&-3\\1&1&-1\\-1&-1&3\end{bmatrix}\\ );
予想通り は正則であった。この を用いて、
&math( P^{-1}AP&= \frac{1}{2}\begin{bmatrix}1&3&-3\\1&1&-1\\-1&-1&3\end{bmatrix} \begin{bmatrix}1&0&0\\1&2&-3\\1&1&-2\end{bmatrix} \begin{bmatrix}-1&3&0\\1&0&1\\0&1&1\end{bmatrix}\\ &=\frac{1}{2}\begin{bmatrix}1&3&-3\\1&1&-1\\-1&-1&3\end{bmatrix} \begin{bmatrix}-1&3&0\\1&0&-1\\0&1&-1\end{bmatrix}\\ &=\frac{1}{2}\begin{bmatrix}2&0&0\\0&2&0\\0&0&-2\end{bmatrix}\\ &=\begin{bmatrix}1&0&0\\0&1&0\\0&0&-1\end{bmatrix} );
として、正しく対角化された。
を作るときに1,2列目に の、 3列目に の固有ベクトルを並べたことに対応して、 1,2列目に 1 が、3列目に -1 が現れている。
演習:
の列ベクトルの順番を変えて作った
や も
を対角化することを確かめよ。
例(例9):
&math( |A-\lambda I|&=\begin{vmatrix}1-\lambda&2&1\\0&1-\lambda&0\\-1&0&3-\lambda\end{vmatrix}\\ &=(1-\lambda)\begin{vmatrix}1-\lambda&1\\-1&3-\lambda\end{vmatrix}\\ &=(1-\lambda)\{(1-\lambda)(3-\lambda)+1\}\\ &=(1-\lambda)(\lambda^2-4\lambda+4)\\ &=(1-\lambda)(2-\lambda)^2\\ &=0 );
が2重解なので、こちらに対応する固有ベクトルを求めてみる。
&math( &(A-\lambda I)\bm x=\begin{bmatrix}-1&2&1\\0&1&0\\-1&0&1\end{bmatrix}\begin{bmatrix}x\\y\\z\end{bmatrix}=\begin{bmatrix}0\\0\\0\end{bmatrix}\\ &\rightarrow \begin{cases}x-z=0\\y=0\end{cases}\\ );
掃き出せない をパラメータに置くと、
となり、 をどのように選んでも2つの一次独立な固有ベクトルを見つけることができない。
すなわち、 は対角化不可能。
行列の三角化†
対角化が必ずしも可能とは限らないのに対して、
三角化は任意の行列
に対して必ず可能である。
→ 定理 6.2
証明には数学的帰納法を使う:
- 次の時に三角化可能
- 次が三角化可能であれば 次が三角化可能
1. については、 はそれ自身が三角行列であるから明らかに三角化可能
2. について、
次正方行列 の固有値 に対する固有ベクトルを とする。 (固有値・固有ベクトルの組は必ず1つは求まる)
この に対して、
が正則となるように を定めると(これは常に可能である)、
&math(R^{-1}AR\bm e_1=R^{-1}A(R\bm e_1)=R^{-1}A\bm r_1=R^{-1}\lambda\bm r_1=R^{-1}\lambda R\bm e_1 = \lambda \bm e_1);
であるから、 の一列目は第一要素が 、その他が であり、
&math( R^{-1}AR=\begin{bmatrix} \lambda_1&\bm b\\ \bm o&A_1 \end{bmatrix} );
と書き表すことができる。 ここで、 は内容不定な行ベクトルである。
もし 次の行列 が正則行列 により三角化可能であるとすれば、
&math(Q^{-1}A_1Q=D= \begin{bmatrix} \lambda_2&*&\dots&*\\ 0&\lambda_3&&\vdots\\ \vdots&&\ddots&*\\ 0&\dots&0&\lambda_n \end{bmatrix} );
上記の と を用いて、
&math(P=R\begin{bmatrix} 1&\bm o\\ \bm o&Q \end{bmatrix} );
なるベクトル を作れば、
&math(P^{-1}=\begin{bmatrix} 1&\bm o\\ \bm o&Q^{-1} \end{bmatrix}R^{-1} );
であるから は正則で、
&math( P^{-1}AP=\begin{bmatrix} 1&\bm o\\ \bm o&Q^{-1} \end{bmatrix}R^{-1} A R\begin{bmatrix} 1&\bm o\\ \bm o&Q \end{bmatrix}= \begin{bmatrix} 1&\bm o\\ \bm o&Q^{-1} \end{bmatrix} \begin{bmatrix} \lambda_1&\bm b\\ \bm o&A_1 \end{bmatrix} \begin{bmatrix} 1&\bm o\\ \bm o&Q \end{bmatrix}=\\ \ \\ \begin{bmatrix} 1&\bm o\\ \bm o&Q^{-1} \end{bmatrix} \begin{bmatrix} \lambda_1&\bm b Q\\ \bm o&A_1Q \end{bmatrix} = \begin{bmatrix} \lambda_1&\bm b Q\\ \bm o&Q^{-1}A_1Q \end{bmatrix} = \begin{bmatrix} \lambda_1&\bm b Q\\ \bm o&\begin{bmatrix}
\lambda_2&*&\dots&*\\ 0&\lambda_3&&\vdots\\ \vdots&&\ddots&*\\ 0&&0&\lambda_n\\
\end{bmatrix} \end{bmatrix} );
であるから により 次行列 を三角化可能である。
したがって、任意の次数の行列 について、 を三角行列にするような が存在することが証明された。
ジョルダン標準形†
対角化できない行列は扱いが難しく、応用上は特別扱いが必要になることが多い。
そのような行列も三角化は可能であることを上で見た。
特に、次の特別な形の三角行列をジョルダン標準形と呼び、 任意の行列がジョルダン標準形に変換可能であることを示せるが、 ここでは詳細は割愛する。
&math( P^{-1}AP=\begin{bmatrix} \lambda_1&*&&&0\\ &\lambda_2&*\\ &&\ddots&\ddots\\ &&&\ddots&*\\ 0&&&&\lambda_n \end{bmatrix} );
ただし、 である。
線形代数II の内容を学んだその後に学ぶ発展的内容として
→ 線形代数I/広義固有空間の構造とジョルダン標準形
固有値の重複度と固有ベクトルの自由度†
上記でやり残した「固有値 が重複度 を持つ時、 固有ベクトルの自由度 は 以下である」を証明しよう。
行列の階数は正則行列のかけ算で変化しないから、
を を三角化するように取れば、
&math( P^{-1}AP-\lambda_k I = \begin{bmatrix} \lambda_1-\lambda_k&*&\dots&*\\ 0&\lambda_2-\lambda_k&&\vdots\\ \vdots&&\ddots&*\\ 0&\dots&0&\lambda_n-\lambda_k \end{bmatrix} );
個の対角成分のうち 個がゼロとなり、 個は非ゼロとなる。
固有値の順番は任意に取れるから、ここでは に対して とする。
このとき逆に、 に対して対角成分はゼロでないから、それぞれの行を で割れば、
&math( P^{-1}AP-\lambda_k I \sim \begin{bmatrix} \ 1\ &*&\cdots&\cdots&\cdots&\ *\ \\ \ 0\ &\ddots&\ddots&&&\vdots\\ \vdots&\ddots&1&\ddots&&\vdots\\ \vdots&&\ddots&0&\ddots&\vdots\\ \vdots&&&\ddots&\ddots&*\\ 0&\cdots&\cdots&\cdots&0&0 \end{bmatrix} \begin{array}{l} \left.\rule{0cm}{1cm}\right\}n-r_k\\[8mm] \left.\rule{0cm}{1cm}\right\}r_k\\ \end{array} );
となる。
左から 列は容易に掃き出せるから、 この行列の階数が よりも大きいことは一目瞭然である。
したがって、
として、固有ベクトルの解の自由度が重複度 を超えないことを示せた。
対角化・三角化の実用性†
ここでは対角行列・三角行列の性質を確認し、その応用可能性の一部を紹介する。
他にも多岐にわたる応用がある。
対角行列の累乗†
対角行列 を
とすれば、
である。
同様に、
となる。
対角行列の多項式†
&math(\alpha D^l+\beta D^m=\alpha \begin{bmatrix}a^l&0\\0&d^l\end{bmatrix}+\beta \begin{bmatrix}a^m&0\\0&d^m\end{bmatrix} =\begin{bmatrix}\alpha a^l+\beta a^m&0\\0&\alpha d^l+\beta d^m\end{bmatrix});
元の式
と、
結果の対角要素
、
の類似性に注目せよ。
一般の行列の累乗†
を 次の行列として、 により対角化可能とする。
&math(P^{-1}AP=D= \begin{bmatrix} \lambda_1&0&\dots&0\\ 0&\lambda_2&&\vdots\\ \vdots&&\ddots&0\\ 0&\dots&0&\lambda_n \end{bmatrix} );
すると、
&math((P^{-1}AP)^m=P^{-1}APP^{-1}AP\dots P^{-1}AP= P^{-1}A^mP= \begin{bmatrix} \lambda_1^m&0&\dots&0\\ 0&\lambda_2^m&&\vdots\\ \vdots&&\ddots&0\\ 0&\dots&0&\lambda_n^m \end{bmatrix} );
より、
&math(A^m = P \begin{bmatrix} \lambda_1^m&0&\dots&0\\ 0&\lambda_2^m&&\vdots\\ \vdots&&\ddots&0\\ 0&\dots&0&\lambda_n^m \end{bmatrix} P^{-1} );
と表せる。
左辺を普通に計算しようとすれば 回の行列のかけ算が必要になるが、 右辺は数値の 乗と、2回の行列のかけ算で済むため計算量が少なく、 また理論的にも見通しがよい。
一般の行列の多項式†
を任意の多項式として、
を次のように定義する。
(ゼロ次項に単位行列が掛かっていることに注意せよ)
すると、
&math(g(P^{-1}AP)&=a_0I+a_1(P^{-1}AP)+a_2(P^{-1}AP)^2+a_3(P^{-1}AP)^3+\dots\\ &=a_0P^{-1}P+a_1(P^{-1}AP)+a_2(P^{-1}AP)^2+a_3(P^{-1}AP)^3+\dots\\ &=a_0P^{-1}P+a_1P^{-1}AP+a_2P^{-1}A^2P+a_3P^{-1}A^3P+\dots\\ &=P^{-1}(a_0+a_1A+a_2A^2+a_3A^3+\dots)P\\ &=P^{-1}g(A)P\\ &= \begin{bmatrix} g(\lambda_1)&0&\dots&0\\ 0&g(\lambda_2)&&\vdots\\ \vdots&&\ddots&0\\ 0&\dots&0&g(\lambda_n) \end{bmatrix} );
したがって、
&math( g(A)= &= P \begin{bmatrix} g(\lambda_1)&0&\dots&0\\ 0&g(\lambda_2)&&\vdots\\ \vdots&&\ddots&0\\ 0&\dots&0&g(\lambda_n) \end{bmatrix} P^{-1} );
のように、任意の行列の多項式を、対角化を用いて固有値の多項式に関連づけることができる。
行列の超関数†
指数関数のテイラー展開は、
であるから、
&math(ae^{bA}=a\sum_{k=0} \frac{1}{k!}(bA)^k= aP \begin{bmatrix} g(b\lambda_1)&0&\dots&0\\ 0&g(b\lambda_2)&&\vdots\\ \vdots&&\ddots&0\\ 0&\dots&0&g(b\lambda_n) \end{bmatrix} P^{-1});
などとして、「行列の指数関数」を定義できる。
このような「行列の関数」が量子力学他で利用される。
フロベニウス(Frobenius)の定理†
行列 が行列 の多項式で表される時、
の固有値は、 の固有値 を使って、 と表せる。
例: について、例えば が固有値となる。
&math(\because P^{-1}BP=\begin{bmatrix} g(\lambda_1)&&&\hsymbu{0}\\ &g(\lambda_2)\\ &&\ddots\\ \hsymbl{0}&&&g(\lambda_n)\\ \end{bmatrix});
より自明。
三角行列の場合†
上記は対角化可能な行列に対してのみの証明になっているが、 実際には三角化可能な行列、すなわちすべての行列についてフロベニウスの定理が成り立つ。
なぜなら、三角行列の累乗に現れる対角要素は、 元の行列の対角要素の累乗で求められるためである。
すなわち、
&math( A=\begin{bmatrix} \lambda_1&* &\cdots&*\\ 0 &\lambda_2& &\vdots\\ \vdots&&\ddots&*\\ 0&\cdots&0&\lambda_n \end{bmatrix} ); のとき、 &math( A^m=\begin{bmatrix} \lambda_1^m&* &\cdots&*\\ 0 &\lambda_2^m& &\vdots\\ \vdots&&\ddots&*\\ 0&\cdots&0&\lambda_n^m \end{bmatrix} );
演習:各自これを確かめよ。
ケーリーハミルトンの定理†
上記の として、 の固有多項式 を取れば、
&math(f_A(A)= P \begin{bmatrix} f_A(\lambda_1)&0&\dots&0\\ 0&f_A(\lambda_2)&&\vdots\\ \vdots&&\ddots&0\\ 0&\dots&0&f_A(\lambda_n) \end{bmatrix} P^{-1} );
ところが、 は固有方程式 の解であるから、 はすべてゼロになって、
&math(f_A(A)= P \begin{bmatrix} 0&0&\dots&0\\ 0&0&&\vdots\\ \vdots&&\ddots&0\\ 0&\dots&0&0 \end{bmatrix} P^{-1} =POP^{-1}=O );
となる。
この定理もフロベニウスの定理と同様に、三角化可能な行列、すなわちすべての行列に対して成り立つ。 (証明 → 線形代数I/ケーリー・ハミルトンの定理)
例:
&math( A=\begin{bmatrix} 0&-1\\ 1&1\\ \end{bmatrix} );
とすれば、
&math( f_A(\lambda)=|A-\lambda I|=\begin{vmatrix} 0-\lambda&-1\\ 1&1-\lambda\\ \end{vmatrix}=
- \lambda(1-\lambda)+1=\lambda^2-\lambda+1 );
したがって、ケーリー・ハミルトンの定理より、 固有値や固有ベクトルを求めることなく、
が成立することが分かる。
これを用いると、
したがって、整数 を6で割ったあまりを とすると、 ( ただし )
&math( A^n=A^{6k+l}=(A^6)^kA^l=I^6A^l=A^l= \begin{cases} I&(l=0)\\ A-I&(l=1)\\
- A&(l=2)\\
- I&(l=3)\\
- A+I&(l=4)\\ A&(l=5)\\ \end{cases} );
と表せることが分かる。
トレース、行列式と固有値との関係†
行列 のトレースおよび行列式は、その 個の固有値(重複を含む)を使って
のように表せる。
証明(トレース)†
- トレースの定義:
- トレースの性質1:
ほぼ自明
- トレースの性質2:
&math( \because \tr (AB)&=\sum_{i=1}^n \left(\sum_{k=1}^n a_{ik}b_{ki}\right)\\ &=\sum_{k=1}^n \left(\sum_{i=1}^n b_{ki}a_{ik}\right) =\tr (BA) );
- トレースの性質3:
&math( \because \tr (P^{-1}AP)=\tr [(P^{-1})(AP)]=\tr [(AP)(P^{-1})]=\tr (A I)=\tr A );
これらを使えば、 を三角化する に対して、
&math(\tr A=\tr (P^{-1}AP)= \tr \begin{bmatrix} \lambda_1&&&\hsymbu{*} \\ &\lambda_2&&\\ &&\ddots\\ \hsymbl{0}&&&\lambda_n \end{bmatrix} = \sum_{i=1}^n \lambda_i );
を得る。
証明(行列式)†
- 行列式の性質1:
- 行列式の性質2:
これらを使えば、 を三角化する に対して、
&math(|A|=|P^{-1}AP|= \begin{vmatrix} \lambda_1&&&\hsymbu{*} \\ &\lambda_2&&\\ &&\ddots\\ \hsymbl{0}&&&\lambda_n \end{vmatrix} = \prod_{i=1}^n \lambda_i );
を得る。
あるいは†
&math( |A-\lambda I|&=(-\lambda)^n+\trace A(-\lambda)^{n-1}+\dots+\det A\\ &=(-\lambda)^n+\Big(\sum\lambda_k\Big)(-\lambda)^{n-1}+\dots+\Big(\prod\lambda_k\Big) );
のゼロ次および 次の項を比較しても良い。
上の等式は行列式の定義から、
下の等式は
が特性方程式の解であることから、
それぞれ導かれる
相似な行列は†
- 固有値が等しい
- トレースが等しい
- 行列式が等しい
という点で「似ている」ことになる。
質問・コメント†
無題†
Tix ()
「 rankA=(ゼロでない固有値の個数)」は成り立たないと思います(反例:A=[[0,1],[0,0]]
- おっしゃるとおり「 rankA=ゼロでない固有値の個数」は対角化可能な行列でしか成り立ちませんね。記述を修正することにいたします。ご指摘ありがとうございました。 -- 武内(管理人)
「一般の行列の累乗」の項の長い方の数式が…†
[go takagi] (2012-11-14 (水) 22:36:05)
なんか変な感じです(ブラウザでの表示的に)。
それと、最後に右からP^-1を掛ける必要があるのかな?
その次の行は先頭の何文字かが消えてる感じです。「左辺はm回の…」かな?
ななめ読みして雰囲気だけ懐かしがってるだけだけどね。:-p
IE9とSafariとChrome、どれも同じでした。
- 指摘どうもありがとう。 の式と の式の数式タグが正しく閉じられていなかったのが原因でした。ちゃんと直った・・・かな? -- [武内(管理人)]
- 数式は大丈夫なようです。そうか、かけ算の回数はm-1か(^^;。で右辺の方は、数値のm「乗」か? -- [go takagi]
- あ、確かに「乗」が抜けてたね。ありがとう。直しました〜! -- [武内(管理人)]