利用者・トーク:Mi-yan/対角化

一部の行列は適切な正則行列をかけることによって、対角行列という非常に扱いやすい行列に変形することができる。（対角化）

このページでは、一般の行列について対角化の条件を述べた後、計量空間上の特殊な線形変換の対角化について議論する。

行列の対角化

まず、対角行列を定義しよう。

定義

$A=(a_{i,j})\in M(n;ℂ)$ の対角成分以外がすべて０

つまり、$a_{i,j}=0(i\ne j)$ のとき　$A$ を対角行列という。

次に、対角化可能を定義する。

定義

$A\in M(n;ℂ)$が対角化可能 $\iff$　正則行列　$P\in M(n;ℂ)$ が存在して

$P^{-1}AP=\left(\begin{array}{cccc}{\alpha }_1& & & \\ & {\alpha }_2& & \\ & & \ddots & \\ & & & {\alpha }_n\end{array}\right)$

対角化可能な条件

ページの初めにも少し書いたが、すべての行列が対角化可能であるわけではない。次の定理は対角化可能な条件について述べたものである。

定理

$A\in M(n;ℂ)$ の固有値を ${\alpha }_1,\cdots ,{\alpha }_r$、${\alpha }_i$　の重複度を　${\nu }_i$ とする。このとき、以下の（ⅰ）（ⅱ）（ⅲ）は同値である。

（ⅰ）$A$ は対角化可能

（ⅱ）${ℂ}^n=E({\alpha }_1)\oplus E({\alpha }_2)\oplus \cdots \oplus E({\alpha }_r)$

（ⅲ）$dimE({\alpha }_i)={\nu }_i$

（証明）どこかで線形独立なベクトルと階数の関係が証明されているとよい。