練習問題メモ 21（対角化） - データサイエンス関連+αのメモ

3 次の正方行列 $A=\left(\begin{array}{lll}1 & 1 & 1 \\ 0 & 2 & 1 \\ 0 & 0 & 1\end{array}\right)$ は上三角行列なので、 $A$ の固有値 $\lambda$ は $\lambda=1$ （重解）,2の2個であることがわかる。

$A$ は対角化可能であることを示せ。
$P^{-1} A P$ が対角行列となるような正則行列 $P$ を 1 つ求めよ。

$A$ は対角化可能であることを示せ。

$\lambda=1$ のとき

(A-\lambda E) x = 0\\ \to \begin{pmatrix} 0 & 1 & 1 \\ 0 & 1 & 1 \\ 0 & 0 & 0 \end{pmatrix} \begin{pmatrix} x_1 \\ x_2 \\ x_3 \end{pmatrix} = \begin{pmatrix} 0 \\ 0 \\ 0 \end{pmatrix} \\ \to x_2 + x_3 = 0\\ \to x_2 = -x_3

(11)

より、固有空間 $V(1)$ は

V(1)=\left\{\left. c_1 \begin{pmatrix} 1 \\ 0 \\ 0 \end{pmatrix} + c_2 \begin{pmatrix} 0 \\ -1 \\ 1 \end{pmatrix} \right\rvert\, c_1,c_2 \in \mathbb{R}\right\}

(12)

$\lambda=2$ のとき

(A-\lambda E) x = 0\\ \to \begin{pmatrix} -1 & 1 & 1 \\ 0 & 0 & 1 \\ 0 & 0 & -1 \end{pmatrix} \begin{pmatrix} x_1 \\ x_2 \\ x_3 \end{pmatrix} = \begin{pmatrix} 0 \\ 0 \\ 0 \end{pmatrix} \\ \to \begin{cases} -x_1 + x_2 + x_3 = 0\\ x_3 = 0\\ -x_3 = 0 \end{cases} \\

(13)

より、

x_1 = x_2 + \underbrace{ x_3 }_{0} = x_2

(14)

よって固有空間 $V(2)$ は

V(2)=\left\{\left. c \begin{pmatrix} 1 \\ 1 \\ 0 \end{pmatrix} \right\rvert\, c \in \mathbb{R}\right\}

(15)

したがって、対角化可能であることの必要十分条件のひとつである

「固有空間の次元数の総和と行列 $A$ の次元数が一致する」

あるいは

「 $A$ に $n$ 個の1次独立な固有ベクトルが存在する」

を満たすため、 $A$ は対角化可能である。

定理（参考：川久保 2010）

$n$ 次正方行列 $A$ について、次の4条件は同値である

(1) $A$ は対角化可能である

(2) $A$ の固有方程式は重複もこめて $n$ 個の解をもち、かつ各固有値の重複度はその固有値に属する固有空間の次元に一致する。

すなわち、 $A$ の異なる固有値を $\lambda_1, \cdots, \lambda_s$ とし、 $\lambda_i$ の重複度を $k_i$ 、 $\lambda_i$ に属する固有空間を $V(\lambda_i)$ とするとき、

\sum_{i=1}^s k_i = n \quad \text{ かつ } \quad k_i = \operatorname{dim} V(\lambda_i) \quad(i=1, \cdots, s)

(16)

が成り立つ。

(3) $A$ の各固有値に属する固有空間の次元の和は $n$ になる。すなわち $A$ の異なる固有値を $\lambda_1, \cdots, \lambda_s$ とし、 $\lambda_i$ に属する固有空間を $V\left(\lambda_i\right)$ とするとき、

\sum_{i=1}^s \operatorname{dim} V\left(\lambda_i\right)=n

(17)

が成り立つ。

(4) $n$ 個の 1 次独立な $A$ の固有ベクトルが存在する。

$P^{-1} A P$ が対角行列となるような正則行列 $P$ を 1 つ求めよ。

P= \begin{pmatrix} 1 & 0 & 1\\ 0 & -1 & 1\\ 0 & 1 & 0 \end{pmatrix}

(18)

問4¶

2 次の正方行列 $\left(\begin{array}{ll}a & b \\ 0 & a\end{array}\right)$ が対角化可能であるための必要十分条件は $b=0$ であることを示せ。

A = \begin{pmatrix} a & b \\ 0 & a \end{pmatrix}

(19)

とおく。

$b=0 \implies$ $A$ は対角化可能を示す。もし $b=0$ であれば

A = \begin{pmatrix} a & 0 \\ 0 & a \end{pmatrix}

(20)

であり、 $A$ はすでに対角行列であるため、2次の単位行列を $P$ とおけば $P^{-1} AP$ は対角行列になり、 $A$ は対角化可能である。

$b \neq 0 \implies$ $A$ は対角化不可能を示す。

$A$ の固有値を求めると、

\det(A-\lambda E) = \det \begin{pmatrix} a-\lambda & b \\ 0 & a-\lambda \end{pmatrix} = 0\\ \iff (a-\lambda)^2 = 0

(21)

より、 $\lambda = a$ である。

$A$ が対角化可能であることと同値の条件のひとつは「 $A$ の各固有値に対応する固有空間の次元の総和が $A$ の次数2と等しい」である。 $A$ の固有値 $\lambda$ は1つ（ $\lambda=a$ ）のみであるため、 $A$ が対角化可能であれば、対応する固有空間 $V(a)$ の次元は2である。

$\lambda = a$ のとき、

(A -\lambda E) = \begin{pmatrix} 0 & b \\ 0 & 0 \end{pmatrix} \begin{pmatrix} x_1 \\ x_2 \end{pmatrix} = \begin{pmatrix} 0 \\ 0 \end{pmatrix}

(22)

より、

bx_2 = 0

(23)

となる。もし $b\neq 0$ であれば $x_2 = 0$ となり、固有空間 $V(\lambda)$ の次元は

\operatorname{\dim} V(a) = \operatorname{\dim} \left\{\left. c \begin{pmatrix} 1 \\ 0 \end{pmatrix} \right\rvert\, c \in \mathbb{R}\right\} = 1

(24)

となり、 $A$ の次元数とは異なるため対角化可能にならない。