固有値がまったく同じ二つの行列の一方だけが対角化できないのはなぜで、代数的重複度と幾何的重複度はその違いをどう見分けるのでしょうか。
日本語版の動画は準備中です(英語版を表示しています)
読み込み中…
相異なる固有値による判定
個の相異なる固有値があれば一次独立な固有ベクトルが 本得られて対角化可能になる、という主張を書き、ランダムな行列はほぼ確実に相異なる固有値をもつことにも触れましょう。
重複固有値:良い場合と悪い場合
では( が重複していても)すべてのベクトルが固有ベクトルであることを書き留め、次に の零空間を計算しましょう。ここで は 1 行目が 、2 行目が の行列です。
代数的重複度と幾何的重複度
代数的重複度を固有多項式の根として現れる回数、幾何的重複度を として定義し、この二つの数を比べて対角化できないことを見分ける判定条件を述べましょう。