利用者・トーク:Mi-yan/固有値と固有ベクトル

線型代数学 > 固有値と固有ベクトル　

---

ある線型変換 $\ f$ に対して、$\ f(\mathbf {v} )=\alpha \mathbf {v}$　のような元$\mathbf {v}$が見つかれば、この線型変換は扱いやすくなる。このページでは、このような$\ \alpha ,\mathbf {v}$（固有値・固有ベクトル）について議論をする。

注意 ここから先の議論はすべて複素数体 $\mathbb {C}$ 上の議論である。

はじめに

本題に入る前にまず次の定理を認めてもらいたい。

定理（代数学の基本定理）

複素数係数の任意のn次多項式

$\ f(x)=a_{0}x^{n}+a_{1}x^{n-1}+\cdots +a_{n-1}x+a_{n}$

は重複度も含めてn個の複素数の根を持つ。

証明は別の本を参照のこと。

固有値・固有ベクトル

まず、このページの初めに書いたことを正確に定義しよう。

定義

$\ V:\mathbb {C}$ 上の線型空間、$\ f\in \ End(V)$ とする。

このとき、$\mathbf {v} \in \ V(\mathbf {v} \neq \mathbf {0} ),\alpha \in \mathbb {C}$ が

$\ f(\mathbf {v} )=\alpha \mathbf {v}$

の関係をみたすとき、$\ \alpha$ を固有値、$\mathbf {v}$ を固有ベクトルという。

では、どのようにして固有値や固有ベクトルを求めたらよいだろうか？ まずは、$\mathbb {C} ^{n}$の線型変換である行列について考えてみよう。

行列の場合

$\ A\in \ M(n;\mathbf {K} )$ に対して、$\ \alpha \in \mathbb {C}$ が固有値であるとする。このとき、

$\ A\mathbf {x} =\alpha \mathbf {x}$

をみたす、$\mathbf {x} \neq \mathbf {0}$ が存在する。

上の式を書き直すと、 $(\ A-\alpha I_{n})\mathbf {x} =\mathbf {0}$ であるから、$(\ A-\alpha I_{n})$ の階数がｎより小さいということと同値である。

つまり、$\ \det(\ A-\alpha I_{n})=0$ でなければならない。

以上をまとめると、

$\ \alpha$ が固有値　$\Longleftrightarrow (A-\alpha I_{n})\mathbf {x} =\mathbf {0}$ が非自明な解をもつ。 $\Longleftrightarrow \ rank(\ A-\alpha I_{n})<n\Longleftrightarrow \det(A-\alpha I_{n})=0$

したがって、$\ \det(A-tI_{n})=0$　の解が固有値である。ここでこの方程式に名前をつけよう。

固有多項式

定義 $A\in \ M(n,\mathbf {K} )$に対して

$\Phi _{A}(t)=\det(A-tI_{n})=\pm (t-\alpha _{1})^{\nu _{1}}(t-\alpha _{2})^{\nu _{2}}\cdots (t-\alpha _{r})^{\nu _{r}}$

を$\ A$ の固有多項式という。また、$\nu _{i}(1\leq i\leq r)$ を固有値　$\alpha _{i}\in \mathbb {C}$ の重複度という。

2番目の等式は代数学の基本定理より成り立つ。

次に、固有空間を以下のように定義する。

固有空間

定義 $\ A\in \ M(n;\mathbf {K} )$ の$\alpha \in \mathbb {C}$ に対する固有空間とは

$E(\alpha )=(\mathbf {x} \in \mathbb {C} ^{n}|(A-\alpha I_{n})\mathbf {x} =\mathbf {0} )=\ker(A-\alpha I_{n})$

で表わされる部分空間のことである。

この定義から明らかなように、 $\ \alpha$ が固有値　$\Longleftrightarrow \ E(\alpha )$ は$\mathbf {0}$ でない元を持ち、それらはすべて固有ベクトル

である。

一般の線型変換の場合

$\ V:\mathbb {C}$ 上の線型空間、$<\mathbf {e} _{1},\cdots ,\mathbf {e} _{n}>$ を$\ V$ の基底、$\ f\in End(V)$ に対して　$\ \alpha$　は固有値であるとする。

また、$<\mathbf {e} _{1},\cdots ,\mathbf {e} _{n}>$ に対する　$\ f$　の表現行列を $\ A\in \ M(n;\mathbf {K} )$ とする。

このとき、行列の場合と同様に、

$\ f(\mathbf {v} )=\alpha \mathbf {v}$

を充たす$\mathbf {v} \neq \mathbf {0}$ が存在する。$\ V$ の恒等変換を $\ I_{V}$ とすると、

$\ (f-\alpha I_{V})(\mathbf {v} )=\mathbf {0}$

と変形できる。これは、$\ rank(f-\alpha I_{V})<n$　と同値である。$\ (f-\alpha I_{V})$ の表現行列は　$\ A-\alpha I_{n}$　であるから、 $\ rank(\ A-\alpha I_{n})<n$

以上より、$\ f$ の固有値は$\ A$ の固有多項式の根であることがわかる。

また、正則行列$\ P\in \ M(n;\mathbf {K} )$ に対して

$\ \det(A-tI_{n})=\det(A-tI_{n})\det(P)\det(P^{-1})=\det(P^{-1})\det(A-tI_{n})\det(P)=\det(P^{-1}AP-tI_{n})$

より、固有多項式は$\ V$ の基底の取り方によらない。

固有空間

固有空間も行列の場合と同様に定義される。

定義 $\ f\in \ End(V)$ の$\alpha \in \mathbb {C}$ に対する固有空間とは

$E(\alpha )=(\mathbf {v} \in V|(f-\alpha I_{V})\mathbf {v} =\mathbf {0} )=\ker(f-\alpha I_{V})$

で表わされる部分空間のことである。