固有値と固有ベクトル

本稿では、固有値と固有ベクトルを紹介しています。

なお、閲覧にあたっては、以下の点にご注意ください。

• スマートフォンやタブレット端末でご覧の際、数式が見切れている場合は、横にスクロールすることができます。

 

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

固有値と固有ヘクトル

$n$ 次正方行列 $\mathit{A}=\left(a_{ij}\right)$ に対して $$\begin{array}{c}\mathit{A}\mathit{x}=\lambda \mathit{x}\mathit{x}\ne \mathbf{0}\end{array}$$ を満たす ベクトル $\mathit{x}$ とスカラー $\lambda$ が存在するとき、$\lambda$ を $\mathit{A}$ の固有値 eigenvalue、$\mathit{x}$ を固有値 $\lambda$ に対する $\mathit{A}$ の固有ベクトル eigenvector という。

固有方程式

行列 $\mathit{A}$ が与えられたとき、その固有値と固有ベクトルを求める方法について考える。上式を書き直すと $$\begin{array}{c}(\mathit{A}-\lambda \mathit{E})\mathit{x}=\mathbf{0}\end{array}$$ となる。

これを $\mathit{A}-\lambda \mathit{E}$ を係数行列とする同次連立1次方程式とみると、固有ベクトル $\mathit{x}$ とはこの方程式の非自明な解のことに他ならない。ところが、同次連立1次方程式が非自明な解をもつための必要十分条件は、係数行列が正則でないこと、すなわち $$\begin{array}{}\text{(1)}& |\mathit{A}-\lambda \mathit{E}|=0\end{array}$$ が成り立つことである。 そこで、まずこの式を満たす $\lambda$ を求める。すると、求めた $\lambda$ に対しては、同次連立1次方程式 $$\begin{array}{c}(\mathit{A}-\lambda \mathit{E})\mathit{x}=\mathbf{0}\end{array}$$ は必ず非自明な解をもつことになる。以上のプロセスにより、固有値と固有ベクトルが求まる。

このとき、式 $(1)$ を $\mathit{A}$ の固有方程式という。固有方程式の解が固有値である。

成分を用いて書くと $$\begin{array}{c}\left|\begin{array}{cccc}{a}_{11}-\lambda & a_{12}& \cdots & a_{1n}\\ a_{21}& a_{22}-\lambda & \cdots & a_{2n}\\ ⋮& ⋮& \ddots & ⋮\\ a_{m1}& a_{m2}& \cdots & a_{mn}-\lambda \end{array}\right|=0\end{array}$$ となる。

左辺は $\lambda$ に関する $n$ 次多項式である。この多項式を $\mathit{A}$ の固有多項式 characteristic polynomial といい $$\begin{array}{c}{f}_A\left(\lambda \right)=|\mathit{A}-\lambda \mathit{E}|=\left|\begin{array}{cccc}{a}_{11}-\lambda & a_{12}& \cdots & a_{1n}\\ a_{21}& a_{22}-\lambda & \cdots & a_{2n}\\ ⋮& ⋮& \ddots & ⋮\\ a_{m1}& a_{m2}& \cdots & a_{mn}-\lambda \end{array}\right|\end{array}$$ で表す。

固有値の重複度

代数学の基本定理により、固有方程式は（重解は重複して数えることにすると、複素数の範囲ではつねに）ちょうど $n$ 個の解をもつ。いま、固有方程式の異なる解を ${\lambda }_1,{\lambda }_2,\cdots ,{\lambda }_r$ とすれば、 $$\begin{array}{c}{f}_A\left(\lambda \right)={(-1)}^n{(\lambda -{\lambda }_1)}^{n_2}{(\lambda -{\lambda }_2)}^{n_2}\cdots {(\lambda -{\lambda }_r)}^{n_r}\\ n_1+n_2+\cdots +n_r=n\end{array}$$ と表される。 このとき、$n_i$ を固有値 ${\lambda }_i$ の重複度という。したがって、$n$ 次正方行列 $\mathit{A}$ の固有値は重複度まで込めるとちょうど $n$ 個ある。

 

固有空間

$\lambda$ を $n$ 次正方行列 $\mathit{A}$ の固有値とするとき、集合 $$\begin{array}{c}{W}_{\lambda }=\left\{\mathit{x}\right|\mathit{A}\mathit{x}=\lambda \mathit{x}\}\end{array}$$ を固有値 $\lambda$ に対する $\mathit{A}$ の固有空間 eigenspace という。

 

行列の対角化

行列の相似

2つの $n$ 次正方行列 $\mathit{A},\mathit{B}$ に対し、$n$ 次正則行列 $\mathit{P}$ によって、 $$\begin{array}{c}\mathit{B}={\mathit{P}}^{-1}\mathit{A}\mathit{P}\end{array}$$ と表すことができるとき、行列 $\mathit{A}$ と行列 $\mathit{B}$ と相似である similar という。

$$\begin{array}{c}\mathit{B}⟼{\mathit{P}}^{-1}\mathit{A}\mathit{P}\end{array}$$ は $\mathit{P}$ を変換行列とする相似変換 similarity transformation と呼ばれる。

正方行列 $\mathit{A}$ が対角行列と相似なとき、$\mathit{A}$ は対角化可能である diagonalizable という。

 

対角化の必要十分条件

 

実対称行列の対角化

実対称行列の固有値

この定理により、実対称行列の固有値、固有ベクトルに関する議論はすべて実数の範囲で扱うことができる。

実対称行列の固有値

 

実対称行列の直交行列による対角化

 

2次形式

$n$ 個の変数 $x_1,x_2,\cdots ,x_n$ に関する実係数の2次の同次式 $$\begin{array}{rl}f(x_1,x_2,\cdots ,x_n)& =\sum _{i=1}^n\sum _{j=1}^n{a}_{ij}{x}_i{x}_j\\ & =\sum _{i=1}^n{a}_{ii}{x}_i^2+\sum _{i<j}2a_{ij}{x}_i{x}_j\end{array}$$ $$\begin{array}{c}{a}_{ij}=a_{ji}=\frac{a_{ij}+a_{ji}}{2}\end{array}$$ を2次形式 quadratic form という。 さらに $$\begin{array}{c}\mathit{A}=\left(a_{ij}\right)\mathit{x}=\left(\begin{array}{c}{x}_1\\ x_2\\ ⋮\\ x_n\end{array}\right)\end{array}$$ とおくと、 $\mathit{A}$ は $n$ 次実対称行列であり、 $$\begin{array}{r}f(x_1,x_2,\cdots ,x_n)={\mathit{x}}^T\mathit{A}\mathit{x}\end{array}$$ となる。 $\mathit{A}$ を2次形式の行列という。

 

2次形式の標準形

$n$ 次実対称行列 $\mathit{A}$ は適当な直交行列 $\mathit{P}$ によって $$\begin{array}{c}{\mathit{P}}^{-1}\mathit{A}\mathit{P}=\left(\begin{array}{cccc}{\lambda }_1& 0& \cdots & 0\\ 0& {\lambda }_2& \cdots & 0\\ ⋮& ⋮& \ddots & ⋮\\ 0& 0& \cdots & {\lambda }_r\end{array}\right)\end{array}$$ と対角化できる。

ここで、$\mathit{P}$ は直交行列であるから ${\mathit{P}}^{-1}={\mathit{P}}^T$ なので、 $$\begin{array}{c}{\mathit{P}}^{-1}\mathit{A}\mathit{P}={\mathit{P}}^T\mathit{A}\mathit{P}\end{array}$$ このことを踏まえて、変数変換 $$\begin{array}{c}\mathit{x}=\mathit{P}\mathit{y}\mathit{y}=\left(\begin{array}{c}{y}_1\\ y_2\\ ⋮\\ y_n\end{array}\right)\end{array}$$ を行えば $$\begin{array}{rl}{\mathit{x}}^T\mathit{A}\mathit{x}& ={\left(\mathit{P}\mathit{y}\right)}^T\mathit{A}\mathit{P}\mathit{y}\\ & ={\mathit{y}}^T\left({\mathit{P}}^T\mathit{A}\mathit{P}\right)\mathit{y}\\ & =\left(\begin{array}{cccc}{y}_1& y_2& \cdots & y_n\end{array}\right)\left(\begin{array}{cccc}{\lambda }_1& 0& \cdots & 0\\ 0& {\lambda }_2& \cdots & 0\\ ⋮& ⋮& \ddots & ⋮\\ 0& 0& \cdots & {\lambda }_r\end{array}\right)\left(\begin{array}{c}{y}_1\\ y_2\\ ⋮\\ y_n\end{array}\right)\\ & ={\lambda }_1{y}_1^2+{\lambda }_2{y}_2^2+\cdots +{\lambda }_n{y}_n^2\end{array}$$ となる。 よって、次の定理が成り立つ。

 

正値2次形式

2次形式与 ${\mathit{x}}^T\mathit{A}\mathit{x}$ が零ベクトル以外の ${\mathit{R}}^n$ の任意のベクトル $\mathit{x}$ に対して $$\begin{array}{c}0<{\mathit{x}}^T\mathit{A}\mathit{x}\end{array}$$ を満たすとき、 2次形式与 ${\mathit{x}}^T\mathit{A}\mathit{x}$ （または、行列 $\mathit{A}$）は正定値である positive definite といい、 $$\begin{array}{c}0\le {\mathit{x}}^T\mathit{A}\mathit{x}\end{array}$$ のとき、 非負 nonnegative definite、あるいは半正定値 positive-semidefinite という。

2次形式の標準形を使えば $\mathit{A}$ の固有値の正負を調べることで ${\mathit{x}}^T\mathit{A}\mathit{x}$ が正値か否か判定できる。

行列式によって正値性を判定する方法もある。

.    

参考文献

• 村上 正康, 佐藤 恒雄, 野澤 宗平, 稲葉 尚志 共著. 教養の線形代数. 培風館, 2016, p.133-158
• 馬場 敬之 著. 線形代数キャンパス・ゼミ. 改訂8, マセマ出版社, 2020, p.198-209

関連記事

• 行列とその演算
• 行列式
• 内積