2023-01-31 Jordan 標準形 実は最近まで Jordan 標準形というのがなんなのかわかっていなかった. ただ要は行列のデータを k[T]-module のデータとよみかえ, PID 上有限生成加群の構造定理を実行したものがまさに Jordan 標準形の理論と対応するという理解を得た. 関数解析的なフレームワークでみればスペクトルという言葉になるらしい. この言葉付近に関してまだ透明な理解をもってはいない.