対角化の十分条件

行列が対角化可能であるための十分条件を示します。すなわち、相異なる $n$ 個の固有値を持つならば、$n$ 次の正方行列は対角化可能です。このとき、$n$ 次の正方行列は、$n$ 個の固有値を対角成分に持つ対角行列に変形できます。

相異なる $n$ 個の固有値を持つことは、対角化可能であるための十分条件ではありますが、必要条件ではありません。つまり、他にも対角化可能な場合があるということです。

行列が対角化可能であるための十分条件#

定理 6.10（対角化可能であるための十分条件）#

$A$ を $n$ 次の正方行列とする。$A$ が相異なる $n$ 個の固有値を持つならば、$A$ は対角化可能である。すなわち、次の式を満たすような正則行列 $P$ が存在する。ここで、$\lambda_{1}, \cdots, \lambda_{n}$ は $A$ の固有値を表す。

解説#

行列の対角化とは#

正方行列 $A$ が対角化可能であるということは、（6.3.1）式を満たすような正則行列 $P$ が存在するということに他なりません。

このとき、定理 4.56（相似な行列）より、$A$ は対角行列に相似になります。すなわち、対角化可能な行列とは、対角行列に相似な行列であるともいえます。

対角行列の対角成分と固有値#

$n$ 次の正方行列 $A$ が、定理 6.10（対角化可能であるための十分条件）を満たし、相異なる $n$ 個の固有値を持つとき、（6.3.1）式右辺の対角行列の対角成分は $A$ の固有値に等しくなります。

このことは、次のように確かめられます。

相似な行列の固有多項式は等しい#

まず、$A$ が対角行列に相似であるとすると、定理 6.6（相似な行列の固有多項式）より、相似な行列の固有多項式は等しいので、$P^{-1} A P$ の固有多項式 $\phi_{P^{-1} A P}$ は $A$ の固有多項式 $\phi_{A}$ に等しくなります。

したがって、$P^{-1} A P$ の固有値も $A$ の固有値に等しくなります。

対角行列の固有多項式#

次に、$P^{-1} A P$ が対角行列であることから、定理 6.3（固有方程式）より、固有多項式 $\phi_{P^{-1} A P}$ は、次のようになります。

したがって、対角行列 $P^{-1} A P$ の対角成分 $\lambda_{1}, \lambda_{2}, \cdots, \lambda_{n}$ は $P^{-1} A P$ の固有値に等しくなります。また、上記の考察より、相似な行列の固有値は等しいので、$\lambda_{1}, \lambda_{2}, \cdots, \lambda_{n}$ は $A$ の固有値でもあるということになります。

対角化可能であるための十分条件#

相異なる $n$ 個の固有値を持つこと#

定理 6.10（対角化可能であるための十分条件）は、$n$ 次の正方行列が対角化可能であるための十分条件を示す定理です。端的に表せば、次の通りです。

$A$ が相異なる $n$ 個の固有値を持つならば、$A$ が対角化可能であるということが成り立ちますが、その逆は必ずしも成り立ちません。つまり、相異なる $n$ 個の固有値を持つことは、$n$ 次の正方行列 $A$ が対角化可能であるための十分条件ではありますが、必要条件ではないということです。

固有値の重複と対角化可能性#

$n$ 次の正方行列の対角化可能性について考えるとき、定理 6.10（対角化可能であるための十分条件）の「相異なる $n$ 個の固有値を持つ」ことは、比較的に厳しい条件であるといえます。仮に、固有値に重複があった場合、直ちにこれを満たさなくなるからです。

実際には、固有値に重複があっても正方行列が対角化可能である場合は充分あります。このように、固有値に重複がある場合を含め、正方行列が対角化可能であることと同値な条件（必要十分条件）は、後に改めて整理します。

対角化可能性の判定（十分条件の意義）#

定理 6.10（対角化可能であるための十分条件）は、具体的に与えられた行列に対して、対角化可能であるかを手っ取り早く判定するのに便利です。

例えば、$3$ 次の正方行列が具体的に与えられたとき、その固有方程式（$3$ 次方程式）を解いて $3$ つの異なる解が得られたとすると、この正方行列は対角化可能であることが直ちに判ります。与えられた正方行列は相異なる $3$ つの相異なる固有値を持つので、定理 6.10より、もとの正方行列を対角化するような正則行列が存在するといえるからです。

固有方程式の解が重解を含む場合、対角化可能であるかを判定するには、もう少し踏み込んだ確認が必要になります（定理 6.13（対角化の条件）を参照）。

線型変換が対角行列で表現されるための条件#

また、定理 6.10（対角化可能であるための十分条件）は、線型変換が対角行列により表現されるための条件を示していると捉えることができます。すなわち、$n$ 次元ベクトル空間 $V$ の線型変換 $f : V \to V$ が $n$ 個の相異なる固有値を持つならば、$f$ は対角行列により表現することができる、ということです。

定理 6.10において、正方行列 $A$ を線型変換 $f$ の表現行列と考えれば、正則行列 $P$ はベクトル空間 $V$ の基底変換行列に対応します。

したがって、線型変換 $f$ の表現行列 $A$ が適当な基底変換行列 $P$ により対角化されるということは、適当な基底を選ぶことで $f$ を対角行列により表現することができるということを意味しています。

証明#

$A$ の相異なる固有値を $\lambda_{1}, \cdots, \lambda_{n}$ として、それぞれに属する固有ベクトルを $\bm{x}_{1}, \cdots, \bm{x}_{n}$ とする。$A \bm{x}_{1}, \cdots, A \bm{x}_{n}$ をそれぞれ列ベクトルとして、これを行列としてまとめて表すと、次が成り立つ。

また、$1 \leqslant i \leqslant n$ について、$A \bm{x}_{i} = \lambda_{i} \bm{x}_{i}$ であることから、次が成り立つ。

したがって、固有ベクトル $\bm{x}_{1}, \cdots, \bm{x}_{n}$ を列ベクトルとする行列を $P$ とすると、次が成り立つ。

いま、$\bm{x}_{1}, \cdots, \bm{x}_{n}$ は、相異なる固有値 $\lambda_{1}, \cdots, \lambda_{n}$ に属する固有ベクトルであるから、定理 6.9（相異なる固有値に属する固有ベクトル）より、線型独立である。したがって、$P$ は正則であり、次が成り立つ。

証明の考え方#

正方行列 $A$ が対角化可能であることは、（6.3.1）式を満たすような正則行列 $P$ の存在により証明できます。したがって、（$1$）$A$ の固有値と固有ベクトルに関する関係式を整理して（$2$）$P$ の正則性を確かめます。

前項の定理 6.9（相異なる固有値に属する固有ベクトル）より、相異なる固有ベクトルは線型独立であることから、これらを $n$ 個並べた行列こそ、求める正則行列 $P$ であることがわかります。

（1）固有値と固有ベクトルに成り立つ関係式の整理#

• まず、正方行列 $A$ の固有値と固有ベクトルについて成り立つ関係を整理します。

• $A$ の相異なる固有値を $\lambda_{1}, \cdots, \lambda_{n}$ として、それぞれに属する固有ベクトルを $\bm{x}_{1}, \cdots, \bm{x}_{n}$ とします。このとき、定義より、次が成り立ちます。

  $$\begin{gather*} A \bm{x}_{i} = \lambda_{i} \bm{x}_{i} & (\, 1 \leqslant i \leqslant n \,) \end{gather*} \tag{$$$\ast$}

• 上記（$\ast$）式の左辺について、$A \bm{x}_{1}, \cdots, A \bm{x}_{n}$ をそれぞれ列ベクトルとして、これを行列としてまとめて表すと、次のようになります。

  $$\begin{align*} (\, A \bm{x}_{1}, \cdots, A \bm{x}_{n} \,) = A \, (\, \bm{x}_{1}, \cdots, \bm{x}_{n} \,) \end{align*} \tag*{\textcircled{\scriptsize{1}}}$$

• また、（$\ast$）式の右辺について、同様に行列としてまとめて表すと、次が成り立ちます。

  $$\begin{align*} (\, A \bm{x}_{1}, \cdots, A \bm{x}_{n} \,) &\overset{(\text{i})}{=} (\, \lambda_{1} \bm{x}_{1}, \cdots, \lambda_{n} \bm{x}_{n} \,) \\ &\overset{(\text{ii})}{=} (\, \bm{x}_{1}, \cdots, \bm{x}_{n} \,) \begin{pmatrix} \; \lambda_{1} & & \large{O} \; \\ & \ddots & \\ \; \large{O} & & \lambda_{n} \; \\ \end{pmatrix} \tag*{\textcircled{\scriptsize{2}}} \end{align*}$$
  • （$\text{ii}$）線型結合の行列表記において、$(\, \lambda_{1} \bm{x}_{1}, \cdots, \lambda_{n} \bm{x}_{n} \,)$ の各列ベクトルを $\bm{x}_{1}, \cdots, \bm{x}_{n}$ の線型結合として表したものです。

• したがって、次が成り立ちます（ $\textcircled{\scriptsize{1}} = \textcircled{\scriptsize{2}}$ ）。ここで、固有ベクトル $\bm{x}_{1}, \cdots, \bm{x}_{n}$ を列ベクトルとする行列を $P$ とすると（$\ast \ast$）式のように表せます。

  $$\begin{alignat*} {3} && A \, (\, \bm{x}_{1}, \cdots, \bm{x}_{n} \,) &= (\, \bm{x}_{1}, \cdots, \bm{x}_{n} \,) \begin{pmatrix} \; \lambda_{1} & & \large{O} \; \\ & \ddots & \\ \; \large{O} & & \lambda_{n} \; \\ \end{pmatrix} \\ \\ & \Leftrightarrow & A P &= P \begin{pmatrix} \; \lambda_{1} & & \large{O} \; \\ & \ddots & \\ \; \large{O} & & \lambda_{n} \; \\ \end{pmatrix} \tag{$$$\ast \ast$} \end{alignat*}

（2）正則性の証明#

• 次に、定理 6.9（相異なる固有値に属する固有ベクトル）を用いて、$P$ が正則行列であることを示します。

  • $\bm{x}_{1}, \cdots, \bm{x}_{n}$ は相異なる固有値 $\lambda_{1}, \cdots, \lambda_{n}$ に属する固有ベクトルなので、線型独立となります（定理 6.9（相異なる固有値に属する固有ベクトル））。
  • また、$\bm{x}_{1}, \cdots, \bm{x}_{n}$ が線形独立であることから、$\det P \neq 0$ が成り立ちます（定理 4.27（行列式と線型独立性））。
  • 更に、$\det P \neq 0$ であることから、$P$ は正則であるといえます（定理 3.22（逆行列を持つための条件））。

• したがって、$P$ は逆行列 $P^{-1}$ を持ち、これを（$\ast \ast$）式の両辺に左から掛けることで、次が得られます。

  $$\begin{align*} P^{-1} A P = \begin{pmatrix} \; \lambda_{1} & & \large{O} \; \\ & \ddots & \\ \; \large{O} & & \lambda_{n} \; \\ \end{pmatrix} \end{align*}$$

• 以上から、正方行列 $A$ に対して（6.3.1）式を満たすような正則行列 $P$ が存在すること、すなわち、正方行列 $A$ が対角化可能であることが示されました。

対角行列との関係式について#

証明の前半（$1$）までは、$A$ の固有値が相異なること（固有ベクトルが線型独立であること）は用いていません。

つまり、固有値に重複がある場合も、$n$ 個の固有ベクトルを並べた行列 $P$ により、対角行列との関係式（$\ast \ast$）式を導くことができます。もちろん、このとき（$\ast \ast$）式の右辺は、重複を含めた $n$ 個の固有値が対角成分に並ぶ対角行列となります。

まとめ#

• $n$ 次の正方行列 $A$ が相異なる $n$ 個の固有値を持つならば、$A$ は対角化可能である。

  • すなわち、次を満たすような正則行列 $P$ が存在する。
  • $\lambda_{1}, \cdots, \lambda_{n}$ は $A$ の固有値。
    $$\begin{equation*} P^{-1} A P = \begin{pmatrix} \; \lambda_{1} & & \large{O} \; \\ & \ddots & \\ \; \large{O} & & \lambda_{n} \; \\ \end{pmatrix} \end{equation*}$$

• 相異なる $n$ 個の固有値を持つことは、対角化可能であるための十分条件ではあるが、必要条件ではない。

参考文献#

[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.