固有値と固有ベクトル のバックアップの現在との差分(No.11)

更新


  • 追加された行はこの色です。
  • 削除された行はこの色です。
[[線形代数I]]

&katex();
#contents

培風館「教養の線形代数(五訂版)」に沿って行っている授業の授業ノート(の一部)です。
培風館「教養の線形代数(五訂版)」に沿って行っていた授業の授業ノート(の一部)です。

* 固有値問題 [#z22bc852]

** Ax と x との関係 [#e1e409d3]
** $A\bm x$と$\bm x$との関係 [#e1e409d3]

正方行列 &math(A); を考える。
正方行列&math(A);を考える。

通常、&math(A\bm x); は元のベクトル &math(\bm x); と必ずしも平行にならない。
&math(A\bm x);は元のベクトル&math(\bm x);と同じ次元を持つが、必ずしも平行にはならない。

&math(A\bm x \ne k\bm x);

例:

 &math(
A=\begin{bmatrix}
3 & 1 \\
1 & 3
\end{bmatrix}
);

 &math(\bm x_1=\begin{bmatrix} 2 \\ 1 \end{bmatrix}); であれば 
 &math(A\bm x_1=\begin{bmatrix} 7 \\ 5 \end{bmatrix}\ne k\bm x_1);

しかし、&math(\bm x); をうまく選ぶと &math(A\bm x\parallel\bm x); となる場合がある。
しかし、&math(\bm x);をうまく選ぶと&math(A\bm x\parallel\bm x);となる場合がある。

 &math(\bm x_2=\begin{bmatrix} 1 \\ 1 \end{bmatrix}); であれば 
 &math(A\bm x_2=\begin{bmatrix} 4 \\ 4 \end{bmatrix}=4\begin{bmatrix} 1 \\ 1 \end{bmatrix}=4\bm x_2);

 &math(\bm x_3=\begin{bmatrix} 1 \\ -1 \end{bmatrix}); であれば 
 &math(A\bm x_3=\begin{bmatrix} 2 \\ -2 \end{bmatrix}=2\begin{bmatrix} 1 \\ -1 \end{bmatrix}=2\bm x_3);

** 固有値問題 [#n8137cfa]

与えられた正方行列 &math(A); に対して、&math(\lambda);、&math(\bm x); が
与えられた正方行列&math(A);に対して、&math(\lambda);、&math(\bm x);が

&math(A\bm x=\lambda\bm x);

を満たすとき、

- &math(\lambda); を &math(A); の ''固有値'' ~
(ギリシャ文字の "ラムダ" で書くのが慣例)
- &math(\bm x); を &math(A); の固有値 &math(\lambda); に属する ''固有ベクトル''

と呼ぶ。

''固有値問題'' とは、~
与えられた正方行列 &math(A); に対して、
固有値と固有ベクトルを(すべて)求める問題である。

** どんな役にたつ? [#ueb1b3e3]

「固有値」は名前が示すとおり、行列の性質を表す重要な指標となる。

同じ固有値を持つ行列同士の間には深い関係がある。~
→ 行列の相似、行列式、トレースとの関係、基底変換との関係

この授業でもやるように、「行列の対角化」の基礎となる。~
→ 行列の対角化は幅広い応用がある

特に量子力学では固有値、固有ベクトルが主要な役割を担う。

*** 注意 [#k93c0594]

&math(\bm x=\bm o); とすると、

&math(A\bm o=\lambda \bm o=\bm o);

は任意の &math(\lambda); に対して成り立ってしまう。

この ''自明な解'' &math(\bm x=\bm o); は固有ベクトルに含めない。

* 固有値問題の解法 [#z259e48c]

まずは固有値を求めよう。

&math(A\bm x=\lambda \bm x); 

が成り立つとすれば、これに単位行列 &math(I); を掛けて、

&math(A\bm x=\lambda I \bm x); 

と書ける。すると、

&math(A\bm x-\lambda I \bm x=(A-\lambda I)\bm x=\bm o);

が成立しなければならない。

行列 &math((A-\lambda I)); が正則である場合(逆行列を持つ場合)、
上式の左から逆行列を掛けると、

- (左辺)&math(=(A-\lambda I)^{-1}(A-\lambda I)\bm x=\bm x);
- (右辺)&math(=(A-\lambda I)^{-1}\bm o=\bm o);

となり、&math(\bm x=\bm o); が導かれてしまう。

すなわち、ある &math(\lambda); について行列 &math((A-\lambda I)); が正則になったなら、
その &math(\lambda); に対して ''固有ベクトルは存在しない''。

つまり、正則でなくなるための条件

&math(|A-\lambda I|=0); 

が ''固有ベクトルが存在するための &math(\lambda); に対する必要条件'' であることが分かる。

固有値 &math(\lambda); が満たすこの方程式は
''「行列 &math(A); の固有方程式」'' と呼ばれる。

得られた &math(\lambda); に対して、
固有方程式を解いて得られた &math(\lambda); に対して、

&math(A\bm x=\lambda\bm x); を &math(\bm x); について解く、

あるいはこれを変形した、

&math((A-\lambda I)\bm x=\bm o); を &math(\bm x); について解けば、

&math(\lambda); に対応する固有ベクトルが求まる。

>&math((A-\lambda I)\bm x=\bm o); を &math(\bm x); について解けば、
>&math(\bm x=\bm 0); は常に解となる。
>下に見るように、固有方程式を満たす &math(\lambda); に対して、
>&math(\bm x\ne \bm 0); となる解が必ず存在する。
>
>下に見るように、固有方程式を満たす &math(\lambda); に対しては、
>&math(\bm x\ne \bm 0); となる解も必ず存在する。
>
>→ 固有方程式は &math(\lambda); が固有値となるための必要十分条件である
>→ 固有方程式は &math(\lambda); が固有値となるための十分条件でもある

** 手順をまとめると [#v62edec1]

固有値問題を解く手順:

- 固有方程式 &math(|A-\lambda I|=0); から &math(\lambda); を(いくつか)求める
- (それぞれの &math(\lambda); について)  &math((A-\lambda I)\bm x=\bm o); を解いて &math(\bm x); を求める

したがって、

- 一般に、1つの行列 &math(A); が複数の固有値 &math(\lambda_1,\lambda_2,\lambda_3,\dots); を持つ(もちろん1つのこともある)
- それぞれの固有値には、その固有値に属する固有ベクトルが(場合によっては複数)存在する
-- &math(\lambda_1); → &math(\bm x_{\lambda_1}^{(1)}, \bm x_{\lambda_1}^{(2)}, \dots);
-- &math(\lambda_2); → &math(\bm x_{\lambda_2}^{(1)}, \bm x_{\lambda_2}^{(2)}, \dots);
-- :
-- :

** 具体例 [#r11e6ae5]

&math(
A=\begin{bmatrix}
3 & 1 \\
1 & 3
\end{bmatrix}
);

のとき、

&math(A-\lambda I&=
\begin{bmatrix}
3 & 1 \\
1 & 3
\end{bmatrix}
-
\lambda
\begin{bmatrix}
1 & 0 \\
0 & 1
\end{bmatrix}
\\&=
\begin{bmatrix}
3 & 1 \\
1 & 3
\end{bmatrix}
-
\begin{bmatrix}
\lambda & 0 \\
0 & \lambda
\end{bmatrix}
\\&=
\begin{bmatrix}
3-\lambda & 1 \\
1 & 3-\lambda
\end{bmatrix}
);

&math(
|A-\lambda I| &=
\begin{vmatrix}
3-\lambda & 1 \\
1 & 3-\lambda
\end{vmatrix}
\\&=
(3-\lambda)^2-1^2
\\&=
(3-\lambda+1)(3-\lambda-1)
\\&=
(4-\lambda)(2-\lambda)
);

&math(
\therefore \lambda=2,4
);

固有ベクトルは &math(\lambda); のそれぞれの値に対して個別に求める。

① &math(\lambda=2); の時

&math(
(A-\lambda I)\bm x &=
\begin{bmatrix}
3-2 & 1 \\
1 & 3-2
\end{bmatrix}
\begin{bmatrix}
x \\
y
\end{bmatrix}
=
\begin{bmatrix}
1 & 1 \\
1 & 1
\end{bmatrix}
\begin{bmatrix}
x \\
y
\end{bmatrix}
= \bm o
=
\begin{bmatrix}
0 \\
0
\end{bmatrix}
);

&math(\bm x); を求める手順は
&math((A-\lambda I)); を係数行列とする
連立方程式を解くことに帰着する。

拡大係数行列を行に対する基本変形を用いて階段化すると、

&math(
\begin{bmatrix}
1 & 1 & 0\\
1 & 1 & 0
\end{bmatrix}
\sim
\begin{bmatrix}
1 & 1 & 0\\
0 & 0 & 0
\end{bmatrix}
);

&math(\therefore x+y=0);

掃き出せなかった列に対応する &math(y); をパラメータに置き、&math(y=s); とすれば、

&math(x=-s);

&math(\therefore \bm x=s\begin{bmatrix}-1\\1\end{bmatrix});

同様に、

② &math(\lambda=4); の時

&math(
(A-\lambda I)\bm x &=
\begin{bmatrix}
-1 & 1 \\
1 & -1
\end{bmatrix}
\begin{bmatrix}
x \\
y
\end{bmatrix}
= \bm o
);

&math(
\begin{bmatrix}
-1 & 1 & 0\\
1 & -1 & 0
\end{bmatrix}
\sim
\begin{bmatrix}
1 & -1 & 0\\
1 & -1 & 0
\end{bmatrix}
\sim
\begin{bmatrix}
1 & -1 & 0\\
0 & 0 & 0
\end{bmatrix}
);

&math(\therefore x-y=0); そこで &math(y=t); と置けば、

&math(x=t);

&math(\therefore \bm x=t\begin{bmatrix}1\\1\end{bmatrix});

まとめると、&math(A); は、~
固有値 &math(\lambda=2); とそれに属する固有ベクトル 
&math(\bm x=s\begin{bmatrix}-1\\1\end{bmatrix});~
固有値 &math(\lambda=4); とそれに属する固有ベクトル 
&math(\bm x=t\begin{bmatrix}1\\1\end{bmatrix});~
を持つ。ただし、&math(s,t); は任意の数を表すパラメータである。
を持つ。ただし、&math(s,t); は任意の(正確を期すなら非ゼロの)数を表すパラメータである。

* 固有方程式が解を持たない場合 [#yddfdf2e]

固有方程式が解を持たない場合があるだろうか?

例: &math(A=\begin{bmatrix}\cos \theta & -\sin\theta \\ \sin\theta & \cos\theta \end{bmatrix});

&math(\theta\ne n\pi); の時、&math(A); は回転を表すため、
任意のベクトルが元とは異なる方向を向く~
→ すなわち、元のベクトルと平行にならない。~
→ すると、固有ベクトルは1つも存在しないはず!~
→ 固有値も存在しないはず!

&math(|A-\lambda I|=
\begin{vmatrix}
 \cos \theta-\lambda & -\sin\theta \\
 \sin\theta & \cos\theta -\lambda
\end{vmatrix} =0
);

&math((\cos \theta-\lambda)^2+\underbrace{(\sin\theta)^2}_{>\,0}=0);

&math(\sin\theta\ne 0); では、左辺第2項が正となるから、
この方程式を満たす &math(\lambda); は確かに存在しない・・・~
→ 本当?

いや、''複素数の範囲'' でなら存在する!

&math((\cos \theta-\lambda)^2=-(\sin\theta)^2);

&math(\cos \theta-\lambda=\pm i\sin\theta);

&math(\lambda=\cos \theta \pm i\sin\theta);

2つの解が得られたので場合分けをして:

① &math(\lambda=\cos \theta + i\sin\theta); の時

&math((A-\lambda I)\bm x&=
\begin{bmatrix}
 \cos \theta-\lambda & -\sin\theta \\
 \sin\theta & \cos\theta -\lambda
\end{bmatrix} \bm x
=
\begin{bmatrix}
 -i\sin\theta & -\sin\theta \\
 \sin\theta & -i\sin\theta
\end{bmatrix} \bm x\\
&=
\sin\theta \begin{bmatrix}
 -i & -1 \\
 1 & -i
\end{bmatrix} 
\begin{bmatrix}
x \\ y
\end{bmatrix} = 0
);

&math(
\begin{bmatrix}
 -i & -1 & 0 \\
 1 & -i & 0
\end{bmatrix} 
); 一行目に &math(i); を掛けてみる

&math(
= \begin{bmatrix}
\sim \begin{bmatrix}
 1 & -i & 0 \\
 1 & -i & 0
\end{bmatrix} 
);

&math(
= \begin{bmatrix}
\sim \begin{bmatrix}
 1 & -i & 0 \\
 0 & 0 & 0
\end{bmatrix} 
);

&math(x-iy=0); より &math(y=s); と置けば、

&math(x=is);

&math(\therefore \bm x=s\begin{bmatrix} i \\ 1 \end{bmatrix});

② &math(\lambda=\cos \theta - i\sin\theta); の時

&math((A-\lambda I)\bm x&=
\begin{bmatrix}
 i\sin\theta & -\sin\theta \\
 \sin\theta & i\sin\theta
\end{bmatrix} \bm x\\
&=
\sin\theta \begin{bmatrix}
 i & -1 \\
 1 & i
\end{bmatrix} 
\begin{bmatrix}
x \\ y
\end{bmatrix} = 0
);

&math(
\begin{bmatrix}
 i & -1 & 0 \\
 1 & i & 0
\end{bmatrix} 
); 一行目に &math(i); を掛けて

&math(
= \begin{bmatrix}
\sim \begin{bmatrix}
 -1 & -i & 0 \\
 1 & i & 0
\end{bmatrix} 
);

&math(
= \begin{bmatrix}
\sim \begin{bmatrix}
 1 & i & 0 \\
 0 & 0 & 0
\end{bmatrix} 
);

&math(x+iy=0); より &math(y=t); と置けば、

&math(x=-it);

&math(\therefore \bm x=t\begin{bmatrix} -i \\ 1 \end{bmatrix});

確認してみる:

&math(A\bm x=
\begin{bmatrix}
 \cos \theta & -\sin\theta \\
 \sin\theta & \cos\theta
\end{bmatrix}
\begin{bmatrix}
 is \\  s
\end{bmatrix}
=
\begin{bmatrix}
 is\cos \theta - s\sin\theta \\
 is\sin\theta + s\cos\theta
\end{bmatrix}
=
s(\cos \theta + i\sin\theta)
\begin{bmatrix}
 is \\ s
\end{bmatrix}=(\cos \theta + i\sin\theta)\bm x
);

&math(A\bm x=
\begin{bmatrix}
 \cos \theta & -\sin\theta \\
 \sin\theta & \cos\theta
\end{bmatrix}
\begin{bmatrix}
 -it \\  t
\end{bmatrix}
=
\begin{bmatrix}
 -it\cos \theta - t\sin\theta \\
 -it\sin\theta + t\cos\theta
\end{bmatrix}
=
(\cos \theta - i\sin\theta)
\begin{bmatrix}
 -it \\ t
\end{bmatrix}
= (\cos \theta - i\sin\theta)\bm x
);

(騙されたみたい、に感じるけれど)ちゃんとうまく行く。

このように、''複素数の範囲で考える限り固有値は必ず存在する''。

この点について、以下に詳しく見よう。
* 固有方程式の解 [#nae31dc3]

** 固有方程式の次数 [#vbe8bfb8]

固有方程式 &math(|A-\lambda I|=0); は必ず &math(\lambda); の 
&math(n); 次方程式となる。

なぜなら・・・

&math(
|A-\lambda I| =
\begin{vmatrix}
a_{11} - \lambda & a_{12}         & \cdots & a_{1n} \\
a_{21}           & a_{22}-\lambda &        & \vdots \\
\vdots           &                & \ddots &         \\
a_{n1}           & \cdots         &        & a_{nn}-\lambda \\
\end{vmatrix} = 0
);

一般に「行列式」は各行、各列から重複の無いように &math(n);
一般に「[[行列式>線形代数I/行列式]]」は各行、各列から重複のないように &math(n);
個の要素を抜き出して積を作り、
そのような積を可能な限り集めて和にした物であった。

&math((行列式) = \sum_{(i_1,i_2,\dots,i_n)}\varepsilon (i_1,i_2,\dots,i_n) a_{1i_1}a_{2i_2}\dots a_{ni_n}= \sum(符号)\times(n 個の要素の積));
&math(|A| = \sum_{(i_1,i_2,\dots,i_n)}\varepsilon (i_1,i_2,\dots,i_n) a_{1i_1}a_{2i_2}\dots a_{ni_n}= \sum(符号)\times(n 個の要素の積));

したがって、行列式は対角要素を全て掛け合わせた項 

&math((a_{11}-\lambda)(a_{22}-\lambda)\dots(a_{nn}-\lambda));

を含んでいる。この項は明らかに &math(\lambda); の &math(n); 乗を含む。

また他の項(&math(n); 個の要素を掛け合わした物)が、
&math(\lambda); の &math(n); より大きな次数の項を含むことはあり得ない。
また他の項(&math(n); 個の要素を掛け合わせた物)は、
&math(\lambda); の &math(n-2); 次以下の項になる。

&math(\therefore |A-\lambda I|=
(a_{11}-\lambda)(a_{22}-\lambda)\dots(a_{nn}-\lambda)+);(&math(\lambda);の&math(n);次以下の項)
(a_{11}-\lambda)(a_{22}-\lambda)\dots(a_{nn}-\lambda)+);(&math(\lambda);の&math(n-2);次以下の項)

これは &math(\lambda); の &math(n); 次方程式である。

** 代数学の基本定理 [#keb73eae]

&math(n); 次方程式は複素数の範囲に必ず &math(n); 個の解を持つ。
&math(n); 次方程式は複素数の範囲に(重複度を含めて)必ず &math(n); 個の解を持つ。

というのが「[[代数学の基本定理>Wikipedia:代数学の基本定理]]」であった。

それら &math(n); 個の解を &math(\lambda_1,\lambda_2,\dots,\lambda_n); とすれば、
&math(A); の固有多項式は、

&math(|A-\lambda I|=(\lambda_1-\lambda)(\lambda_2-\lambda)\dots(\lambda_n-\lambda)=0);

と因数分解できる。

これらすべての解が異なれば &math(n); 個の固有値が得られる。

** 重複解 [#ka476ac8]

実際には &math(n); 個のうちいくつかが等しい場合があり、
それらは「重複解」あるいは「重解」と呼ばれる。

上で &math(n); 個の解、と言っているのは重複解を個別に数えているので、
重複解がある場合には、

&math(|A-\lambda I|=(\lambda_1-\lambda)^3(\lambda_2-\lambda)(\lambda_2-\lambda)^2\dots(\lambda_m-\lambda));
&math(|A-\lambda I|=(\lambda_1-\lambda)^3(\lambda_2-\lambda)(\lambda_3-\lambda)^4\dots(\lambda_m-\lambda));

などとなって、独立な固有値の個数 &math(m); は &math(m\le n); となる。

** 固有値の個数のまとめ [#m7713e11]

重複度を含めて必ず &math(n); 個の固有値が存在する。

独立な固有値の個数 &math(m); は &math(1 \le m\le n); となる。

** 例 [#h0720927]

&math(n=4); 次行列

&math(
A=\begin{bmatrix}
3 & 4 & -5 & 3 \\
0 & 1 & 8 & 0 \\
0 & 0 & 2 & -1 \\
0 & 0 & 0 & 1
\end{bmatrix}
);

について、

&math(|A-\lambda I| = (3-\lambda)(2-\lambda)(1-\lambda)^2);

したがって、

&math(\lambda = 3, 2, 1);

の3つの異なる固有値が見つかる。

ただし、1 は2重解であるため重複度を含めると行列の次数と等しい「4つ」の固有値が存在する。

* 固有ベクトルの自由度 [#k2bcc540]

例えば &math(\bm x_0); が &math(A); の固有値 &math(\lambda_0); に属する固有値(&math(A\bm x_0=\lambda_0 \bm x_0);) であれば、
任意の実数 &math(k); に対して すなわち、&math(\bm x=k\bm x_0); と表せるすべてのベクトルはも &math(\lambda_0); に属する固有ベクトルである。
例えば &math(\bm x_0); が &math(A); の固有値 &math(\lambda_0); に属する固有ベクトル(&math(A\bm x_0=\lambda_0 \bm x_0);) であれば、
任意の実数 &math(k); に対して &math(k\bm x_0); も &math(\lambda_0); に属する固有ベクトルである。
(厳密には &math(k=0); を除外しなければならないが、自明なので以下明記しない)

なぜなら、&math(A (k\bm x_0)=kA\bm x_0=k\labmda_0 \bm x_0=\lambda_0(k\bm x_0));
なぜなら、&math(A (k\bm x_0)=kA\bm x_0=k\lambda_0 \bm x_0=\lambda_0(k\bm x_0));

このように、固有ベクトルは必ずパラメータを含む形で求まる。
このように、固有ベクトルは必ず任意パラメータを含む形で求まる。

ある固有値 &math(\labmda); に属する固有ベクトルに含まれるパラメータの数=自由度について考えよう。
ある固有値 &math(\lambda); に属する固有ベクトルに含まれるパラメータの数=自由度について考えよう。

&math(\lambda); から固有ベクトル &math(\bm x); を求める方程式は、
&math(n); 元 &math(n); 連立の一次方程式となる。

すなわち、

&math(
(A-\lambda I)\bm x=
\begin{bmatrix}
a_{11}-\lambda & a_{12} & \dots & a_{1n} \\
a_{21} & a_{11}-\lambda &  & \vdots \\
\vdots & & \ddots & \vdots \\
a_{n1} & \dots & & a_{nn} - \lambda
\end{bmatrix}
\begin{bmatrix}
x_1\\x_2\\\vdots\\x_n
\end{bmatrix}
=
\begin{bmatrix}
0\\0\\\vdots\\0
\end{bmatrix}
=\bm o
);

階数の定義より、上記連立方程式の拡大係数行列を行に対する基本変形で階段行列化した際には
非ゼロの行が &math(\rank (A-\lambda I)); 行、ゼロの行が &math(n-\rank (A-\lambda I)); 
行現われる。

&math(
\begin{bmatrix}
a_{11}-\lambda & a_{12} & \dots & a_{1n} & 0 \\
a_{21} & a_{11}-\lambda &  & \vdots & \vdots \\
\vdots & & \ddots & \vdots & \vdots \\
a_{n1} & \dots & \dots & a_{nn} - \lambda & 0
\end{bmatrix}
\sim
\begin{bmatrix}
 * & * & \dots & * & 0 \\ 
\vdots & \vdots &  & \vdots & \vdots \\
 * & * & \dots & * & 0 \\
0 & 0 & \dots & 0 & 0 \\
\vdots & \vdots &  & \vdots & \vdots \\
 0 & 0 & \dots & 0 & 0 \\
\end{bmatrix}
\begin{array}{ll}
\Bigg\} \ \rank (A-\lambda I)\\
\\
\Bigg\} \ n- \rank (A-\lambda I)\\
\end{array}
);

ここで、係数行列 &math(A-\lambda I); は正則ではないため、
&math(\rank (A-\lambda I) < n); である。
したがって、掃き出し後の階段行列にはゼロの行が必ず1行以上現われることになる。

すなわちはき出せない列が &math(n-\rank (A-\lambda I)); 列現れて、
解には同数の未定係数(パラメータ)が現われることになる。

&math(
\bm x
=
c^{(1)}\begin{bmatrix}
x_1^{(1)}\\x_2^{(1)}\\ \vdots \\x_n^{(1)}\\
\end{bmatrix}
+
c^{(2)}\begin{bmatrix}
x_1^{(2)}\\x_2^{(2)}\\ \vdots \\x_n^{(2)}\\
\end{bmatrix}
+\dots +
c^{(m)}\begin{bmatrix}
x_1^{(m)}\\x_2^{(m)}\\ \vdots \\x_n^{(m)}\\
\end{bmatrix}
);

ただし、&math(c^{(1)},c^{(2)},\dots,c^{(m)}); は任意係数であり、

&math(m=n-\rank (A-\lambda I));

である。

すなわち、固有ベクトルの自由度は &math(n-\rank (A-\lambda I)); である。

繰り返しになるが、&math(\rank (A-\lambda I)<n); であるため、
すべての固有値に対する固有ベクトルは最低1以上の自由度を持つ。

(蛇足:求めた固有値に対して固有ベクトルを求める際にパラメータを
含まない形になってしまった場合には、途中の計算を間違えている
ことになる。)

以上は、「行列の階数」のところでやった「[[連立一次方程式の解の自由度>http://dora.bk.tsukuba.ac.jp/~takeuchi/index.php?%C0%FE%B7%C1%C2%E5%BF%F4%A3%C9%2F%B9%D4%CE%F3%A4%CE%B3%AC%BF%F4#r53ca169]]」
の部分をほぼそのままなぞる形の議論であるため、関連して復習せよ。

** 注意 [#d04c9c1b]

教科書では「固有ベクトルの自由度」のことを「固有空間の次元」と呼んでいる。
「次元」は線形代数Iの授業の範囲外であるため、
ここではあくまで「自由度」あるいは「パラメータの数」として理解していれば良い。

* 固有ベクトルの一次独立性 [#o23f59a7]

「&math(A); の異なる固有値に属する固有ベクトルは1次独立である」

この意味は、

「行列 &math(A); の固有値の中から、&math(r); 個の異なる固有値 &math(\lambda_1,\lambda_2,\dots,\lambda_r);
を選び出し、これらに対応する固有ベクトルをそれぞれ1つ選んで
&math(\bm x_1,\bm x_2,\dots,\bm x_r); とすれば、
この &math(r); 個のベクトルは一次独立である」

ということ。

まず確認:

「&math(\bm x_1,\bm x_2,\dots,\bm x_r); が一次独立」の意味は、
「&math(c_1\bm x_1+c_2\bm x_2+\dots+c_r\bm x_r=0); が成り立つと仮定すれば
&math(c_1=c_2=\dots=c_n=0); を導けること」であった。

以下は数学的帰納法を用いた証明:

(1)~
&math(r=1); の時には、固有ベクトル &math(\bm x_1); は &math(\bm x_1\ne \bm o); を満たすため、
&math(c_1\bm x_1=\bm o); から &math(c_1=0); が導かれ、&math(\bm x_1); は一次独立である。

(2)~
ベクトルが &math(r-1); 個の時に一次独立になると仮定して、
&math(r); 個でも一次独立になることを導く。

「&math(r); 個でも一次独立になること」は、
「&math(c_1\bm x_1+c_2\bm x_2+\dots+c_r\bm x_r=0); から
&math(c_1=c_2=\dots=c_n=0); が導けること」なので、
&math(c_1=c_2=\dots=c_n=0); が導けること」なので、加えて


&math(c_1\bm x_1+c_2\bm x_2+\dots+c_r\bm x_r=0);  ・・・(*)

に左から &math(A); を掛ければ
が成り立つことも仮定する。この式に左から &math(A); を掛ければ

&math(
&c_1A\bm x_1+c_2A\bm x_2+\dots+c_rA\bm x_r=\\
&c_1\lambda_1\bm x_1+c_2\lambda_2\bm x_2+\dots+c_r\lambda_r\bm x_r=0);

一方、(*)に &math(\lambda_r); を掛ければ、

&math(
c_1\lambda_r\bm x_1+c_2\lambda_r\bm x_2+\dots+c_r\lambda_r\bm x_r=0);

2つの式を引き算すると、

&math(
&c_1(\lambda_1-\lambda_r)\bm x_1+c_2(\lambda_2-\lambda_r)\bm x_2+\dots+c_{r-1}(\lambda_{r-1}-\lambda_r)\bm x_{r-1}+c_r(\lambda_r-\lambda_r)\bm x_r=\\
&c_1(\lambda_1-\lambda_r)\bm x_1+c_2(\lambda_2-\lambda_r)\bm x_2+\dots+c_{r-1}(\lambda_{r-1}-\lambda_r)\bm x_{r-1}=0);

仮定より、異なる固有値に属する &math(r-1); 個の固有ベクトル 
&math(\bm x_1,\bm x_2,\dots,\bm x_{r-1}); は一次独立であるため、
係数はすべてゼロでなくてはならず、

&math(c_1(\lambda_1-\lambda_r)=c_2(\lambda_2-\lambda_r)=\dots=c_{r-1}(\lambda_{r-1}-\lambda_r)=0);

であり、すべての固有値が異なるという仮定から、

&math(c_1=c_2=\dots=c_{r-1}=0);

が導かれる。

さらにこれらを(*)に代入すれば、&math(c_r=0); を得る。

すなわち、(*)から &math(c_1=c_2=\dots=c_{r-1}=c_r=0); が導かれたことになり、
&math(\bm x_1,\bm x_2,\dots,\bm x_r); は一次独立であることが言えた。

&math(r=1); で成り立つことと、~
&math(r-1); で成り立てば &math(r); で成り立つことから、~
与えられた命題は全ての &math(r \ge 1); に対して成り立つことが証明された。

* 質問・コメント [#p0bace06]

#article_kcaptcha
**1次正方行列の固有値・固有ベクトルについて [#f6009ab2]
>[[みみみ]] (&timetag(2022-10-11T15:59:12+09:00, 2022-10-12 (水) 00:59:12);)~
~
1次正方行列の固有値・固有ベクトルについてはどのように求めれば良いか分かりません。ご教授願います。~

//

#comment_kcaptcha

**無題 [#n199a784]
> (&timetag(2017-01-30T01:59:11+09:00, 2017-01-30 (月) 10:59:11);)~
~
テスト前、風邪をひき入門線形代数なるテキストの抽象的すぎるとばしとばしな説明が全く頭に入ってこないという危機に陥っていましたが、ここを読ませていただき飲み込めそうです。~
全く同じ内容なのに、行間の一行が足されているだけでなんとありがたいことでしょう。~
本当に助かりました、ありがとうございます。~

//

#comment_kcaptcha

**重複解 [#t09a1844]
>[[筒井]] (&timetag(2015-04-07T09:19:50+09:00, 2015-04-07 (火) 18:19:50);)~
~
 お世話様です~
重複解がある場合にはの式にλ2-λの項の記述がミスタイプのようですが、よろしくお願いします。~

//

#comment_kcaptcha

**固有ベクトルの一次独立性 [#qe28f0d2]
>[イシカワ] (2013-03-13 (水) 01:03:18)~
~
~
こんにちは.~
地方公立の学部1年の者です.~
~
幸か不幸か,(前期の話ですが)講義内でテキストが上手く進まず,「直交変換」の手前で終了してしまい,残りは自分で学ばざるを得なくなりました(線形代数はしっかり勉強した方が良いと耳にしたので).~
固有ベクトルの一次独立性を”rに関する”帰納法を用いて証明が可能だとテキストに書いてあり,悩んだ挙句,拝見させて頂きました.~
非常にわかりやすかったです.~
ありがとうございました.~

//
- 役に立ったようで良かったです。「ここはこう書いた方が分かりやすい」なんていう指摘も大歓迎ですので、もしあればよろしくお願いします。 -- [武内(管理人)] &new{2013-03-15 (金) 11:40:47};

#comment_kcaptcha


Counter: 382744 (from 2010/06/03), today: 88, yesterday: 0