MathLabs
定理証明済み

ケイリー・ハミルトンの定理

内容

任意の正方行列 AA はそれ自身の特性多項式を満たす:p(λ)=det⁡(λI−A)p(\lambda)=\det(\lambda I - A) とすると p(A)=0p(A) = 0(零行列)である。

なぜ正しいのか?

特性多項式 p(λ)p(\lambda) は、λ\lambda が AA の固有値であるときに p(λ)=0p(\lambda)=0 となるようにまさに構成されている。λ\lambda の代わりに行列 AA そのものを代入するのは大きな飛躍に見えるが、これがうまくいくのは、AA が各固有ベクトルに対してスカラーの固有値とまったく同じように作用し、(対角化可能な場合)固有ベクトルが空間全体を張るからである——したがって p(A)p(A) はあらゆる方向を消し去り、p(A)p(A) は零行列となる。

証明の概略

対角化可能な A=PDP−1A=PDP^{-1}、D=diag(λ1,…,λn)D=\mathrm{diag}(\lambda_1,\dots,\lambda_n) の場合、p(A)=Pp(D)P−1p(A)=Pp(D)P^{-1} であり、各 λi\lambda_i が pp の根であることから p(D)=diag(p(λ1),…,p(λn))=0p(D)=\mathrm{diag}(p(\lambda_1),\dots,p(\lambda_n))=0 となる。一般の(対角化不可能な)場合は稠密性・連続性による議論、あるいは余因子行列の恒等式 adj(λI−A)(λI−A)=p(λ)I\mathrm{adj}(\lambda I-A)(\lambda I - A)=p(\lambda)I を行列上の多項式恒等式として直接扱うことで示される。

提示者

この定理を使うトピック

関連する定理

ステップごとの証明

この定理のステップごとの証明はまだありません。

参考文献

  1. Roger A. Horn, Charles R. Johnson (2012). Matrix Analysis · DOI:10.1017/CBO9781139020411