固有値と固有ベクトル

固有ベクトルとは線型変換によりスカラー倍されるベクトルであり、このとき、スカラー倍の値を固有値といいます。

ここでは、線型変換と正方行列それぞれに対して固有値と固有ベクトルを定義します。また、線型変換とその表現行列（正方行列）の固有値が一致することを示します。

固有値と固有ベクトルの定義#

まず、線型変換と正方行列、それぞれに対して固有値と固有ベクトルを定義します。

定義 6.1（固有値と固有ベクトル 1）#

$V$ をベクトル空間とする。$V$ の線型変換 $f : V \to V$ について、$\bm{0}$ でない $\bm{v} \in V$ が次を満たすとき、$\lambda \in K$ を $f$ の固有値（$\text{eigenvalue}$）といい、$\bm{v}$ を $f$ の固有ベクトル（$\text{eigenvector}$）という。

解説#

線型変換の固有値と固有ベクトル#

固有ベクトルとは、線型変換による像がもとのベクトルのスカラー倍になるベクトルです。端的には、線型変換によりスカラー倍されるベクトルであるともいえます。

固有ベクトルが線型変換によりスカラー倍されるとき、そのスカラー倍の値を固有値といいます。

固有値と固有ベクトルの関係#

固有値 $\lambda$ の値が異なれば、（6.1.1）式を満たす固有ベクトル $\bm{v}$ も異なります。したがって、固有値と固有ベクトルは、バラバラにではなく、それぞれ対応する組み合わせとして考える必要があります。

特にその対応関係を明示する場合、（6.1.1）式を満たす $\bm{v}$ を固有値 $\lambda$ に属する固有ベクトルなどと呼びます。

固有値と固有ベクトルの制約#

零ベクトルは固有ベクトルになり得ない#

定義 6.1より、零ベクトル $\bm{0}$ は固有ベクトルになり得ません。

定義 6.1において、$f$ は線型変換（すなわち線型写像）であるので、任意の $f$ について $f (\bm{0}) = \bm{0}$ が成り立ちます（定理 4.9（零ベクトルの像））。したがって、仮に、零ベクトル $\bm{0}$ を固有ベクトルの定義に含むとすると、「任意の線型変換は固有ベクトルとして零ベクトル $\bm{0}$ を持ち、対応する固有値として任意のスカラーを持つ」ことになります。しかしながら、このような場合について考えることに、あまり意味はありません。

このような理由から、固有ベクトルは零ベクトル $\bm{0}$ を含まないものとして定義されています。

零は固有値になり得る#

一方で、（スカラーの）$0$ は固有値になり得ます。

線型変換 $f$ が $0$ を固有値として持つとき、（6.1.1）式は $f (\bm{v}) = 0 \,\bm{v} = \bm{0}$ となります。すなわち、固有値 $0$ に属する固有ベクトルとは、線型変換 $f$ の核（$\text{Ker} f$）の元に他なりません。

定義 6.2（固有値と固有ベクトル 2）#

$A$ を $n$ 次の正方行列とする。$\bm{0}$ でない $\bm{x} \in K^{n}$ が次を満たすとき、$\lambda \in K$ を $f$ の固有値（$\text{eigenvalue}$）といい、$\bm{x}$ を $f$ の固有ベクトル（$\text{eigenvector}$）という。

解説#

正方行列の固有値と固有ベクトル#

定義 6.2において、固有値と固有ベクトルは正方行列に対して定義されています。

ここで、固有ベクトルとは正方行列 $A$ との積によりスカラー倍されるベクトルであり、このとき、スカラー倍の値を固有値といいます。

$2$ つの定義の同値性#

上記の定義 6.1と定義 6.2において、固有値と固有ベクトルの $2$ 通りの定義を示しました。それぞれの定義は次の通りです。

• 定義 6.1：線型変換の固有ベクトルと固有値
  • 固有ベクトル：線型変換によりスカラー倍されるベクトル
  • 固有値：スカラー倍の値
• 定義 6.2：正方行列の固有ベクトルと固有値
  • 固有ベクトル：正方行列との積によりスカラー倍されるベクトル
  • 固有値：スカラー倍の値

実は、これら $2$ つの定義は同値なものであり、線型変換とその表現行列（正方行列）の固有値は一致します。このことについては、下記の定理 6.1（線型写像とその表現行列の固有値）に示します。

基本的な性質#

次に、線型変換とその表現行列（正方行列）の固有値が一致することを示します。これは、固有値と固有ベクトルに関する基本的な性質の $1$ つです。

定理 6.1（線型写像とその表現行列の固有値）#

$V$ をベクトル空間とする。$V$ の線型変換 $f_{A} : V \to V$ の固有値全体の集合は、その表現行列 $A$ の固有値全体の集合に等しい。

解説#

固有値の定義の同値性（定理 6.1の意味）#

定理 6.1（線型写像とその表現行列の固有値）は、線型変換とその表現行列（正方行列）それぞれに対して定義される固有値全体が一致することを示しています。

定理 6.1により、上記の定義 6.1と定義 6.2が同値であるということができます。

線型変換とその表現行列の固有値#

いま、定理 4.51（線型変換の行列表示）より、ベクトル空間 $V$ の基底を固定することで、線型変換 $f_{A} : V \to V$ とその表現行列 $A$ は $1$ 対 $1$ に対応します。また、$f_{A}$ は線型変換であるためその表現行列 $A$ は正方行列になります。

したがって、線型変換 $f_{A}$ に対して（定義 6.1 により）定まる固有値は、その表現行列（正方行列）$A$ に対して（定義 6.2 により）定まる固有値に一致するということです。

相似な行列の固有値#

また、固有値と固有ベクトルに関して、線型変換と表現行列の対応関係は基底のとり方によりません。

一般に、線型変換の表現行列は、基底の選び方により様々な（異なる）形をとり得ます（定理 4.56（相似な行列））。しかしながら、下記の証明に示す通り、線型変換とその表現行列の固有値は、基底のとり方によらず一致します。（相似な行列（同じ線型変換の異なる表現行列）の固有値が互いに等しいことは、後に、改めて定理としてまとめて証明します。）

これは、固有値と固有ベクトルが、第一義的には、線型変換に対して定義されるものであることを表している捉えられます。

証明#

$\bm{v}_{1}, \cdots, \bm{v}_{n}$ を $V$ の基底として、$\bm{v}_{1}, \cdots, \bm{v}_{n}$ に関する $f_{A}$ の表現行列を $A$ とする。また、任意の $\bm{v} \in V$ の座標ベクトルを $\bm{x} \in K^{n}$ として、次のように表すこととする。

このとき、定理 4.51（線型写像の行列表示と座標ベクトル）より、$\lambda \in K$ として、方程式 $f_{A} (\bm{v}) = \lambda \bm{v}$ と $A \bm{x} = \lambda \bm{x}$ は同値である。すなわち、$f_{A}$ の固有値は $A$ の固有値であり、$A$ の固有値は $f_{A}$ の固有値である。また、これは基底のとり方によらない。したがって、$f_{A}$ の固有値全体の集合は $A$ の固有値全体の集合に等しい。$\quad \square$

証明の考え方#

定理 4.51（線型写像の行列表示と座標ベクトル）により、線型写像に関する方程式 $f_{A} (\bm{v}) = \lambda \bm{v}$ と行列に関する方程式 $A \bm{x} = \lambda \bm{x}$ が同値であることを用います。

（$1$）$V$ に基底を導入して（$2$）方程式の同値性を示した上で、これが基底のとり方によらないことを確かめます。

（1）基底の導入#

• $V$ に基底を導入して、$V$ の元を座標ベクトル（$K^{n}$ の元）で表します。

• $\bm{v}_{1}, \cdots, \bm{v}_{n}$ を $V$ の $1$ つの基底とすると、任意の $\bm{v} \in V$ は $\bm{v}_{1}, \cdots, \bm{v}_{n}$ の線型結合として表すことができます。$\bm{v}$ を座標ベクトルを用いて表せば、次のようになります。

  $$\begin{split} \bm{v} &= x_{1} \bm{v}_{1} + \cdots + x_{n} \bm{v}_{n} \\ &= (\bm{v}_{1}, \cdots, \bm{v}_{n}) \begin{pmatrix} \, x_{1} \, \\ \vdots \\ \, x_{n} \, \\ \end{pmatrix} \\ \end{split}$$

• $\bm{v}$ の座標ベクトルを $\bm{x} \in K^{n}$ とすると、次の（$\ast$）式が成り立ちます。

  $$\begin{gather*} \tag{$$$\ast$} \bm{x} = \begin{pmatrix} \, x_{1} \, \\ \vdots \\ \, x_{n} \, \\ \end{pmatrix} \\ \end{gather*}

• このとき、定理 4.47（線型写像の行列表示）より、$f_{A}$ の $\bm{v}_{1}, \cdots, \bm{v}_{n}$ に関する表現行列を $A$ とすると、次の（$\ast \ast$）式が成り立ちます。

  $$\begin{gather*} \tag{$$$\ast \ast$} (\, f_{A} (\bm{v}_{1}), \cdots, f_{A} (\bm{v}_{n}) \,) = (\bm{v}_{1}, \cdots, \bm{v}_{n}) \, A \end{gather*}

（2）方程式の同値性の証明#

• 定理 4.51（線型写像の行列表示と座標ベクトル）を用いて、$2$ つの方程式 $f_{A} (\bm{v}) = \lambda \bm{v}$ と $A \bm{x} = \lambda \bm{x}$ が同値であることを導きます。

• いま、定理 4.48より、$f_{A} (\bm{v})$ と $\lambda \bm{v}$ について、それぞれ次が成り立ちます。

  $$\begin{split} f_{A} (\bm{v}) &\overset{(\text{i})}{=} f_{A} (x_{1} \bm{v}_{1} + \cdots + x_{n} \bm{v}_{n}) \\ &\overset{(\text{ii})}{=} x_{1} f_{A} (\bm{v}_{1}) + \cdots + x_{n} f_{A}(\bm{v}_{n}) \\ &\overset{(\text{iii})}{=} (\, f_{A} (\bm{v}_{1}), \cdots, f_{A} (\bm{v}_{n}) \,) \begin{pmatrix} \, x_{1} \, \\ \vdots \\ \, x_{n} \, \\ \end{pmatrix} \\ &\overset{(\text{iv})}{=} (\bm{v}_{1}, \cdots, \bm{v}_{n}) \, A \begin{pmatrix} \, x_{1} \, \\ \vdots \\ \, x_{n} \, \\ \end{pmatrix} \\ \\ \lambda \bm{v} &\overset{(\text{i})}{=} \lambda \, (x_{1} \bm{v}_{1} + \cdots + x_{n} \bm{v}_{n}) \\ &\overset{(\text{ii})}{=} (\lambda x_{1}) \, \bm{v}_{1} + \cdots + (\lambda x_{n}) \, \bm{v}_{n} \\ &\overset{(\text{iii})}{=} (\bm{v}_{1}, \cdots, \bm{v}_{n}) \, \lambda \begin{pmatrix} \, x_{1} \, \\ \vdots \\ \, x_{n} \, \\ \end{pmatrix} \\ \end{split}$$
  • （$\text{ii}$）$f_{A}$ の線型性によります。定義より、線型写像は和とスカラー倍の演算を保存します。
  • （$\text{iii}$）ベクトルの線型結合を座標ベクトルを用いて表しています。
  • （$\text{iv}$）（$\ast \ast$）式によります。（$\ast \ast$）式は、$A$ が $f_{A}$ の $\bm{v}_{1}, \cdots, \bm{v}_{n}$ に関する表現行列であること自体を示す式です。

• 以上から、線型写像に関する方程式 $f_{A} (\bm{v}) = \lambda \bm{v}$ と、行列に関する方程式 $A \bm{x} = \lambda \bm{x}$ は同値であることが確かめられました。

  $$\begin{alignat*} {3} && f_{A} (\bm{v}) &= \lambda \bm{v} \\ \\ & \Leftrightarrow \quad & A \begin{pmatrix} \, x_{1} \, \\ \vdots \\ \, x_{n} \, \\ \end{pmatrix} &= \lambda \begin{pmatrix} \, x_{1} \, \\ \vdots \\ \, x_{n} \, \\ \end{pmatrix} \\ \\ & \Leftrightarrow & A \bm{x} &= \lambda \bm{x} \\ \end{alignat*}$$

• したがって、$f_{A}$ の固有値は $A$ の固有値であり、逆に $A$ の固有値は $f_{A}$ の固有値であるといえます。

• また、これはどのような $V$ の基底についても成り立つので、基底のとり方によりません。

  • $\bm{v}_{1}, \cdots, \bm{v}_{n}$ がどのようなベクトルの組であっても、上記（$1$）と（$2$）の考察が成り立ちます。
  • $\bm{v}_{1}, \cdots, \bm{v}_{n}$ が異なるベクトルの組み合わせであるとき、（$\ast$）式における $\bm{v}$ の座標ベクトル $\bm{x}$、および、（$\ast \ast$）式における $f_{A}$ の表現行列 $A$ が、それぞれ異なるものとなります。
  • しかしながら、座標ベクトル $\bm{x}$ や表現行列 $A$ が異なったとしても、上記（$1$）と（$2$）の考察は変わらず成り立ちます。

• 以上から、線型変換 $f_{A}$ と、その表現行列 $A$ の固有値全体が等しいといえます。

まとめ#

• 固有値と固有ベクトルは、線型変換および正方行列、それぞれに対して定義できる。

  • $V$ をベクトル空間とする。$V$ の線型変換 $f : V \to V$ について、$\bm{0}$ でない $\bm{v} \in V$ が次を満たすとき、$\lambda \in K$ を $f$ の固有値といい、$\bm{v}$ を $f$ の固有ベクトルという。

    $$\begin{equation*} f (\bm{v}) = \lambda \bm{v} \end{equation*}$$

  • $A$ を $n$ 次の正方行列とする。$\bm{0}$ でない $\bm{x} \in K^{n}$ が次を満たすとき、$\lambda \in K$ を $f$ の固有値といい、$\bm{x}$ を $f$ の固有ベクトルという。

    $$\begin{equation*} A \bm{x} = \lambda \bm{x} \end{equation*}$$

• 線型変換とその表現行列（正方行列）の固有値全体は一致する。すなわち、上記の $2$ つの定義は同値である。

参考文献#

[1] 齋藤正彦. 線型代数入門. 東京大学出版会. 1966.
[2] 永田雅宣 他. 理系のための線型代数の基礎. 紀伊國屋書店. 1986.
[3] 川久保勝夫. 線形代数学 [新装版]. 日本評論社. 2010.
[4] 松坂和夫. 線型代数入門 [新装版]. 岩波書店. 2018.
[5] 三宅敏恒. 線形代数学 初歩からジョルダン標準形へ. 培風館. 2008.
[6] S. Lang. Linear Algebra Third Edition. Springer. 1987.
[7] T. Miyake. Linear Algebra From the Beginnings to the Jordan Normal. Springer. 2022.
[8] 雪江明彦. 代数学 $1$ 群論入門. 日本評論社. 2010.
[9] 雪江明彦. 代数学 $2$ 環と体とガロア理論. 日本評論社. 2010.
[10] 桂利行. 代数学 $\text{I}$ 群と環. 東京大学出版会. 2004.
[11] 松坂和夫. 代数系入門. 岩波書店. 1976.
[12] 高木貞治. 代数学講義 [改訂新版]. 共立出版. 1965.
[13] S. Lang. Algebra Revised Third Edition. Springer. 2002.
[14] M. Artin. Algebra Second Edition. Pearson Education Limited. 2014.
[15] 青本和彦 他. 数学入門辞典. 岩波書店. 2005.