3-2　ケーリー ・ ハミルトンの定理
f-denshi.com    ［目次へ］ 最終更新日：
サイト検索

ケーリー･ハミルトン(Cayley - Hamilton) の定理と呼ばれる定理の具体例をあげておきます。

T ＝		8	-2
		3	1

の固有多項式は２章でも調べたように，

Φ_T(λ)＝|λE−T|＝(λ−8)(λ−1)−3･(-2) ＝ λ²−9λ＋14

ここで，λ→T，1→E とする[#]と，

Φ_T(T)＝ T²−9T＋14E

＝		8	-2		2	−9		8	-2		＋14		1	0
		3	1					3	1				0	1

＝		58	-18		−		72	18		＋		14	0
		27	-5				-27	-9				0	14

＝		0	0		＝O　　[零行列]
		0	0

最後，零行列となったのは偶然ではなく，いつもこうなる，すごい！ということで，これが定理となります。また，このΦ_T(T)＝O は２次行列だけ限らず，任意のn次正方行列について成り立ちます。

証明の前に実数の多項式と行列の多項式の違いを確認しておきます。実数を変数とする多項式の場合は，

a²−b²＝(a＋b)(a−b)

と因数分解が可能です。これは実数a と b が可換であるから，すなわち，

(a＋b)(a−b)＝a²−ab＋ba−b²

において，ab＝ba が成り立つからです。同様に行列について，

A²−B²＝(A＋B)(A−B)＝(A−B)(A＋B)

のような”因数分解”できる （＝がなりたつ） ためには，AB＝BA　が成り立つことが必要です。このような因数分解と元の可換性の関係は，さらに行列C，D，･･･と個数を増やした正方行列の多項式を考える場合も同様に要求されます。　以上を念頭において以下，定理の証明を読んでください。

[証明]

　　連立１次方程式のクラメル(Cramer) の公式に関する定理[#]から，正方行列 (λE−T) の(i,j)余因子 Δ_ij を ｊ 行 i 列 成分にもつ余因子行列をΔ， および n 次単位行列を E とすると，　　

(λE−T)Δ＝Δ(λE−T) ＝|λE−T| E  　(　＝ Φ_T(λ)E　）･････　[*]

が成り立ちます。（行列とその逆行列は可換）　この等式の右辺がλのn次多項式を要素に含む行列なので，左辺のΔの要素Δ_ijはλの(n−1)次多項式で成り立っています。したがって，λの次数が同じ成分ごとにまとめた適当な行列B_kを用いて，

Δ≡Δ(λ)＝(λ^n-1B_n-1＋λ^n-2B_n-2＋･･･＋B₀)　　　　　   　･････　[**]

と表すことができます。ところが，(λE−T)とΔが可換，(λE−T)Δ(λ)＝Δ(λ)(λE−T) なので，ここに[**]を代入して展開し，同じ次数の項どおしを比較すれば，B_n-1，B_n-2，･･･，B₀ とTがそれぞれ可換であることも分かります。例えば，λ^n-1の項から，

B_n-2−TB_n-1 ＝B_n-2− B_n-1T

TとB_n-1 が可換であることが分かりますね。λ^n-2以下の項も同様です。したがって，[*]のλにTを代入した等式は因数分解されたままの形で成立します。すなわち，

Φ_T(T)E　＝Φ_T(T) ＝（TE−T）Δ(T)＝Δ(T)（TE−T）＝O　

が成り立ちます。したがって，Φ_T(T)＝O　となります。　ただし，Δ(T)はΔ(λ)において，λ→Tとした行列の多項式　　(証明終わり)

余談ですが，

Φ_T(T)＝｜TE−T｜＝0

という証明はまったくの間違い。右辺が零行列ではなく，ただの数の零。　この定理の意味するところを理解していないとこうしてしまいます。ケーリー･ハミルトンの定理はTとΔで交換法則が成り立つというところがポイントとなっていますが，λ（数）→T（行列）とする際は，実数と行列の四則演算規則の違いにいつも細心の注意を払う必要があります。

［最小多項式］

それから，一般的にある多項式，

f(t)＝a_ntⁿ＋a_n-1t^n-1＋･･･＋a₁t＋a₀

において，t をn次正方行列Tに置き換えた行列の多項式が零行列であるとき，すなわち，

f(T)＝a_nTⁿ＋a_n-1T^n-1＋･･･＋a₁T＋a₀＝O

であるとき，このf(t)をTの零化多項式と呼びます。　

　ケーリー･ハミルトンの定理は，「Tの固有多項式はTの零化多項式となっている」ことを主張しています。したがって，固有多項式Φ_T(t)を因数として含む(n＋1)次元以上の任意の多項式，g(t)Φ_T(t)　も零化多項式です。

しかし，固有多項式がTの零化多項式として最小次数の多項式かといえば，そうとは限りません。固有多項式が重根を含む場合，その次元nより小さな次数のTの零化多項式が存在することもあります。それで，最大次数の係数 a_n が1である，次数最小のTの零化多項式を ”Tの最小多項式” と特別な名称を付けておきます。(自明な f(t)＝0 は零化多項式から除外して考える。)

証明　　略　　（上の説明からほとんど自明）

［目次へ］