有限次元ベクトル空間 → 固有値と固有ベクトル → 対角化 → 一般固有空間 → Jordan 鎖 → Jordan 標準形
入口
有限次元ベクトル空間
目標
Jordan 標準形
進捗
ルート設計中
線形写像を行列として扱う
向きが変わらない成分を探す
固有ベクトルだけで空間を分けられる場合を見る
対角化できない部分も拾う
固有ベクトルへ流れ込む列を作る
複素行列を標準的なブロック形に分解する