定理証明済み
ケイリー・ハミルトンの定理
内容
任意の正方行列 はそれ自身の特性多項式を満たす: とすると (零行列)である。
なぜ正しいのか?
特性多項式 は、 が の固有値であるときに となるようにまさに構成されている。 の代わりに行列 そのものを代入するのは大きな飛躍に見えるが、これがうまくいくのは、 が各固有ベクトルに対してスカラーの固有値とまったく同じように作用し、(対角化可能な場合)固有ベクトルが空間全体を張るからである——したがって はあらゆる方向を消し去り、 は零行列となる。
証明の概略
対角化可能な 、 の場合、 であり、各 が の根であることから となる。一般の(対角化不可能な)場合は稠密性・連続性による議論、あるいは余因子行列の恒等式 を行列上の多項式恒等式として直接扱うことで示される。
提示者
この定理を使うトピック
関連する定理
ステップごとの証明
この定理のステップごとの証明はまだありません。
参考文献
- Roger A. Horn, Charles R. Johnson (2012). Matrix Analysis · DOI:10.1017/CBO9781139020411