$$ \newcommand\bm[1]{\boldsymbol{#1}} \renewcommand\limsup{\varlimsup} \renewcommand\liminf{\varliminf} $$

$A$ を $n$ 次正方行列とするとき, ある正の整数 $m$ が存在して $A^m=E$ が成り立つならば, $A$ は対角化可能であることを証明せよ.

解答例 1

$A$ の最小多項式 $\mu_A(t)$ が重根を持たなければ, $A$ は対角化可能であることを用いる.

仮定より $A^m-E=O$ であるから, $\mu_A(t)$ は $t^m-1$ を割る. $t^m-1$ は重根を持たないから, $\mu_A(t)$ も重根を持たない.

最終更新日:2011年11月02日

©2003-2011 よしいず