行列計算を使わない線形代数 #12 〜 線形写像（その5） 対角化・最小多項式・一般固有空間

■定義12.1（再掲：対角化可能） 有限次元ベクトル空間上の線形写像$${A:V\to V}$$の固有空間$${E_\lambda , \lambda\in\sigma(A)}$$が$${V}$$を直和分解するとき、$${A}$$は対角化可能であるという。 ■定理12.2（再掲） 有限次元ベクトル空間上の線形写像$${A}$$が対角化可能であるための必要十分条件は、 $$ \displaystyle \prod_{\lambda\in\sigma(A)} (A-\l