5.4 行列の対角化

8

01_01 が正則で 01_01 の固有値に0があるとする
固有値0に属する 01_01 の固有ベクトルを 01_02 とすると 01_03 この両辺から 01_04 を掛けると 01_05 となり固有ベクトルの仮定に反する
よって0は正則行列の固有値ではない
逆に 01_01 が正則でないならば 01_06 は自明でない解 01_07 をもつ
すなわち0は 01_01 の固有値である

1 行列

2 連立1次方程式

3 行列式

4 ベクトル空間

5 線形写像

6 内積空間