next up previous
次: ハミルトン・ケイレイの定理 上: 固有ベクトルと線型写像の対角表現 前: 固有値と固有ベクトル

行列の対角化

南海 定理 5 によって, もし固有方程式が0でない相異なる$n$個の根をもつなら, $n$個の一次独立な固有ベクトルが得られる.

それらのベクトルを基底として線型写像を表現すれば, その行列は対角行列である. 『一次変換を見る』にいろんな例を作ってみた.参考にしてほしい.

耕一  『一次変換を見る』の最初の例を,詳しく見てみます. $xy$平面で

\begin{displaymath}
\mathrm{\bf e}_1=(1,\ 0),\ \quad
\mathrm{\bf e}_2=(0,\ 1)
\end{displaymath}

を基底とするとき, $A=\matrix{2}{1}{1}{1}$で表される線型写像が$f_A$です.$xy$平面の格子点と$f$による行き先を結ぶと,2つの方向が見て取れます.

この方向が固有ベクトルの方向です. 固有方程式は

\begin{displaymath}
t^2-3t+1=0
\end{displaymath}

これを解いて

\begin{displaymath}
t=\dfrac{3\pm\sqrt{5}}{2}
\end{displaymath}

です.この$t$に対して

\begin{displaymath}
\matrix{2-t}{1}{1}{1-t}
=
\matrix{\frac{1\mp\sqrt{5}}{2}}{1}{1}{\frac{-1\mp\sqrt{5}}{2}}
\end{displaymath}

です. 固有ベクトルを $\mathrm{\bf u}=(x,\ y)$とすると,

\begin{displaymath}
\left\{
\begin{array}{l}
\dfrac{1\mp\sqrt{5}}{2}x+y=0\\
x+\dfrac{-1\mp\sqrt{5}}{2}y=0
\end{array}\right.
\end{displaymath}

です.これから固有ベクトルによる基底として

\begin{displaymath}
\begin{array}{l}
\mathrm{\bf u}_1=\vecarray{1+\sqrt{5}}{2}\\
\mathrm{\bf u}_2=\vecarray{1-\sqrt{5}}{2}
\end{array}\end{displaymath}

がとれます.すると

\begin{displaymath}
(\mathrm{\bf e}_1,\ \mathrm{\bf e}_2)\matrix{1+\sqrt{5}}{1-\sqrt{5}}{2}{2}
=(\mathrm{\bf u}_1,\ \mathrm{\bf u}_2)
\end{displaymath}

となり,

\begin{displaymath}
P=\matrix{1+\sqrt{5}}{1-\sqrt{5}}{2}{2}
\end{displaymath}

とおけば

\begin{displaymath}
P^{-1}AP=\matrix{\dfrac{3+\sqrt{5}}{2}}{0}{0}{\dfrac{3-\sqrt{5}}{2}}
\end{displaymath}

となるはずです.実際

\begin{displaymath}
P^{-1}=\dfrac{1}{4\sqrt{5}}\matrix{2}{-1+\sqrt{5}}{-2}{1+\sqrt{5}}
\end{displaymath}

なので

\begin{eqnarray*}
P^{-1}AP&=&\dfrac{1}{4\sqrt{5}}\matrix{2}{-1+\sqrt{5}}{-2}{1+\...
...
&=&\matrix{\dfrac{3+\sqrt{5}}{2}}{0}{0}{\dfrac{3-\sqrt{5}}{2}}
\end{eqnarray*}

です.

南海  固有方程式が重根をもつ場合,対角化はできるのか, あるいはできないならどのような標準形に変換できるのかという問題などは, 後に考えよう. 次に3次行列 $A=\left(
\begin{array}{ccc}
0&7&-6\\
-1&4&0\\
0&2&-2
\end{array}\right)$を対角化してみてほしい.

耕一 

\begin{eqnarray*}
\left\vert
\begin{array}{ccc}
-t&7&-6\\
-1&4-t&0\\
0&2&-...
...}\right\vert\\
&=&-t(4-t)(-2-t)-7(2+t)+12\\
&=&-t^3+2t^2+t-2=0
\end{eqnarray*}

これを解いて

\begin{displaymath}
t=1,\ -1,\ 2
\end{displaymath}

となる. それぞれの固有値に対する固有ベクトルを求める.

$t=1$のとき.

\begin{displaymath}
\left(
\begin{array}{ccc}
-1&7&-6\\
-1&3&0\\
0&2&-3
\...
...t)
\left(
\begin{array}{c}
x\\
y\\
z
\end{array}\right)
\end{displaymath}

を解いて, $x=9h,\ y=3h,\ z=2h$と任意の数$h$を用いて表せる.

$t=-1$のとき.

\begin{displaymath}
\left(
\begin{array}{ccc}
1&7&-6\\
-1&5&0\\
0&2&-1
\e...
...t)
\left(
\begin{array}{c}
x\\
y\\
z
\end{array}\right)
\end{displaymath}

を解いて, $x=5h,\ y=h,\ z=2h$と任意の数$h$を用いて表せる.

$t=2$のとき.

\begin{displaymath}
\left(
\begin{array}{ccc}
-2&7&-6\\
-1&2&0\\
0&2&-4
\...
...t)
\left(
\begin{array}{c}
x\\
y\\
z
\end{array}\right)
\end{displaymath}

を解いて, $x=4h,\ y=2h,\ z=h$と任意の数$h$を用いて表せる.

したがって3つの固有ベクトルは

\begin{displaymath}
\mathrm{\bf u}_1=\left(
\begin{array}{c}
9\\
3\\
2
\e...
..._3=\left(
\begin{array}{c}
4\\
2\\
1
\end{array}\right)
\end{displaymath}

となる. 2次の場合と同様に

\begin{displaymath}
P=\left(
\begin{array}{ccc}
9&5&4\\
3&1&2\\
2&2&1
\end{array}\right)
\end{displaymath}

とおくと,

\begin{displaymath}
\left\vert
\begin{array}{ccc}
9&5&4\\
3&1&2\\
2&2&1
\end{array}\right\vert=9(1-4)-5(3-4)+4(6-2)=-6
\end{displaymath}

これから

\begin{displaymath}
P^{-1}=\dfrac{-1}{6}
\left(
\begin{array}{ccc}
1-4&-(5-8)&...
...rray}{ccc}
3&-3&-6\\
-1&-1&6\\
-4&8&6
\end{array}\right)
\end{displaymath}

そして確かに

\begin{eqnarray*}
P^{-1}AP&=&
\dfrac{1}{6}
\left(
\begin{array}{ccc}
3&-3&-6\\...
...egin{array}{ccc}
1&0&0\\
0&-1&0\\
0&0&2
\end{array}\right)
\end{eqnarray*}

となります.


next up previous
次: ハミルトン・ケイレイの定理 上: 固有ベクトルと線型写像の対角表現 前: 固有値と固有ベクトル
Aozora Gakuen