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

ケイリーは 次以下の行列に対して定理を証明したが、次の場合に対してだけ証明を発表した。一般の 次の場合についてケイリーは「……、任意次数の行列という一般の場合に定理をきちんと証明する労を引き受ける必要を覚えない。」と述べている。
225px|thumb|アイルランドの物理学・天文学・数学者ウィリアム・ローワン・ハミルトン (1805-1865) は米国科学アカデミー初の外国人会員である。幾何学をいかにして研究すべきかについては対立する位置に立ちながらも、ハミルトンは常にケイリーと最良の関係を留めていた。
ハミルトンは四元数に関する線型函数に対して、それ自身が満足するある種の方程式の存在を証明した。

線型代数学におけるケイリー・ハミルトンの定理（ケイリー・ハミルトンのていり、）、またはハミルトン・ケイリーの定理とは、（実数体や複素数体などの）可換環上の正方行列は固有方程式を満たすという定理である。アーサー・ケイリーとウィリアム・ローワン・ハミルトンに因む。

次正方行列  に対して、 を 次単位行列とすると、 の固有多項式は

で定義される。ここで  は行列式を表し、 は係数環の元（スカラー）である。引数の行列は各成分が  の 次式以下の多項式（次式または定数）だから、その行列式も  の 次モニック多項式になる。ケイリー・ハミルトンの定理の主張は、固有多項式を行列多項式と見れば  が零点であること、すなわち上記の  を行列  で置き換えた計算結果が零行列であること、すなわち  の成立を述べるものである。
 注 置き換えにおいて、 の冪は、 の、行列の積による冪に置き換わるから、特に  の定数項は  すなわち単位行列の定数倍に置き換わる。
定理により、特に  は、より低次の  の多項式で表されることが分かる。係数環がのとき、ケイリー・ハミルトンの定理は「任意の正方行列  の最小多項式は  の固有多項式を整除する（割り切る）」という主張に同値である。

この定理は1853年にハミルトンが初めて証明した（それは「非可換」環である四元数を変数とする一次函数の逆を用いたものであった）。これは一般の定理において、実次または複素次という特別の場合に当たるものである。

ケイリー・ハミルトンの定理は、四元数係数の行列に対しても成立する。

1858年にケイリーは 次およびそれより小さい行列に関して定理を述べているが、証明は 次の場合のみを著している。一般の場合が初めて証明されたのは1878年でフロベニウスによる。

 例 
 次 
次正方行列  に対し、その固有多項式は  であり、 は明らかである。

 次 
次正方行列  に対しては、固有多項式は

となり、ケイリー・ハミルトンの定理の述べるところによれば

が成り立つはずであるが、これは実際に  の成分を具体的に書き出せば、確かに成り立っていることが確認できる。

 短絡的な「証明」の誤りに関する注意 
この定理を証明するのに、固有多項式：

の  を  に置き換えて

を得るとするのは、明らかに誤った論法である。

この論法が誤りである理由は、第一に、上式  の左辺は 次正方行列、右辺はスカラーである  であり、（ でない限り）不合理である。

第二に、() の右辺の  はスカラーだからこそ行列式として意味をもつものであり、行列式の展開の前に  を  に置き換えると意味をなさなくなる。

様子が分かるように具体的に 次の場合をとらえると、

の  を  に置き換えても、行列式としての意味をなさなくなることが分かる。

ただし、スカラーであるところをスカラー行列（単位行列のスカラー倍）で置き換えた区分行列

を考えるならば式としては有効で、この行列式は実際に  になるが、この行列が上記の論法で  の引数とした  でないことは明らかである。

あるいはまた、この論法が実際に成立していたと仮定した場合、それは行列式以外にもほかの任意の多重線型形式についても成立しないといけないことになる（つまり任意の線型写像は零ベクトルを零ベクトルに写すのだから、（零行列）は任意の多重線型形式で  に写る）。そのような多重線型形式として例えばパーマネント (permanent)を使って  とすれば、同じ論法で  が証明されなければならないわけだが、それは見るからに誤りである。実例として 次の場合を書けば、 であるから、 であり、これに  を代入した
 は一般には零でない。

ケイリー・ハミルトンの定理の証明の中には、数以外を成分とする行列を用いて、あたかも  式を用いた論法にある意味似た方法をとるものがあるが、その場合でも  は  と等しくなく、結論も異なる所へ到達する。

 応用 
次正方行列の固有多項式：

において、次の係数  は  の固有値たちのなす 次基本対称式に等しい。特に、定数項（次の係数） は固有値の総乗ゆえそれは  の行列式  に等しい。

を用いると、基本対称式はで書き表せるから、上記の  は固有値の冪和対称式  たちで表されると分かるが、

である。したがって、 は  のトレースたちで書き表せる。特に  である。

 行列式の計算および逆行列 

ケイリー・ハミルトンの定理により、一般の 次正則行列 （つまり  の行列式は  でない）に対し、その逆行列  は  の 次以下の行列多項式で表せる。実際、

式 () において、定数項を移項すると

両辺に  を掛けると

を得る。

一般に、係数  を与える公式が、完全指数型ベル多項式によって

と与えられる。特に  の行列式は  であるから、トレースを含む表示（）として

と書ける。同様に、

なる表示もできる。

例えば、ベル多項式の最初の方は  であるから、これらを用いて 次の場合の固有多項式の係数  を具体的に計算すれば

などとなる。ここで、 は行列式であるから、この場合の逆行列を

と計算することができる。

注
ここで出てきた式  は、 に対する（ベル多項式を用いた）一般式から出たものだから、次正方行列に対してもこれは常に  の係数  を与えるものとなっていることが一見して分かる。ゆえに特に、次正方行列  に対するケイリー・ハミルトンの定理の主張を

と書くことができる。同様に  の場合の行列式は今度は

と書けるが、これはそのまま一般の場合の  の係数  を表す式として理解できる。ゆえにさらにこれを用いて 次正方行列  に対する定理の主張は

と書けるし、この場合の行列式

は  を表す式に他ならない。以下より大きな次数の行列に対しても帰納的に同様の話を適用することができる。

係数  に対するもっと複雑な表示が、やなどから導ける。係数  を求める別の方法として、一般の 次正方行列でどの根も  でないものと仮定すれば、指数函数を用いた行列式の別表示

を用いたアルゴリズムがある。メルカトル級数を用いて書けば

であるが、 は 次だから、この指数函数部分は  のオーダーまで展開するだけでよい。 の最後の負冪はケイリー・ハミルトンの定理により自動的に消える（再度、これには係数環が有理数体を含むことが必要である）。 に対する係数たちが完全ベル多項式によって直接的に書けることは、この級数表示とベル多項式の母函数を比べれば分かる。この表示を  に関して微分することで、一般の  に対する固有多項式の一般係数を 次行列式
 として求めることができる。

 高次の冪の計算 
ケイリー・ハミルトンの定理は  の冪の間に成り立つ（最も
とは限らないが）関係を記述するものであるから、それにより  の十分大きな指数の冪を含む式の計算において、式を簡単化して  の（ 以上の指数が大きな）冪を直接計算することなく値を評価することができるようになる。

例えば二次の場合に、 とすれば定理より

だから、 を計算したければ、順に
 のように次数の低い多項式表示に帰着される。同様に

二次の場合には二つの項の和で書けるということが上での計算から分かる。事実として、任意の -乗がその正方行列の次数  に対して次数高々  の多項式として書き表せる。これは定理を行列函数の表示に利用できることの一つの実例であり、次の節でより系統的に述べる。

 行列函数を多項式に帰着する 
解析函数が収束冪級数として

と与えられ、次正方行列  の固有多項式を  と書くとき、上記の冪級数を十分大きな  で打ち切った多項式に対する剰余付きの除法を考えれば、

で「剰余」多項式  が  となる「商」解析函数  とともに一意的に決まる。 を行列  に置き換えれば、ケイリー・ハミルトンの定理により  だから、ある種の剰余の定理：

が成り立つ。ゆえに、行列変数の解析函数は各行列  ごとに  次以下の行列多項式として書き表される。

上記除算の剰余を  と書けば、 の固有値  において評価するとき  となるから、各固有値に関して等式

を作ることができる。これは 個の線型方程式系になっているから、解くことで係数  を決定することができて、

が決まる。

固有値が重複を持つ場合、つまり適当な  に対して  となるものが存在するとき、上記の方程式系は少なくとも2つの方程式が一致してしまうから、それにより方程式系を一意に解くことができない。そのような場合には、固有値  の重複度が  とすれば、 の  階までの導函数がその固有値において消えるから、線型独立な方程式

を新たに  本追加して、係数  を決めるのに必要な  個の方程式系を得ることができる。

全ての点  を通る多項式を求めることは本質的に補間問題であり、ラグランジュ補間やニュートン補間法を用いて解くことができ、が導かれる。
例1
例として、

の多項式表現を求めよう。 の固有多項式は , 固有値は  である。剰余を  と置き、固有値における値  を評価して、線型方程式系
,

を得る。これを解けば

を得るから、

となる。函数を  に変えれば、係数は  および  となるから

と求まる。

例2
同様にして、

を考える。 の固有多項式は , 固有値は  である。先と同様に、固有値における値に関する連立方程式
,

を解いて、

を得る。この場合の

は回転行列である。

このような利用法の標準的な例は、への付随するリー環からの指数写像である。これは行列指数関数 

として与えられる。その多項式表示は  に対しては古くから知られており、パウリ行列  を用いて

と書ける。 も同様で

と書ける（これはロドリゲスの回転公式である）。記法についてはを見よ。

後に下れば、ほかの群に対する表示も知られており、例えばローレンツ群 , , , など。ここに  は時空の で  はその単連結被覆（より精確には、 の連結成分  の単連結被覆）である。得られた多項式表示は、これら群の標準表現 (standard representation) に適用される。行列の冪を計算するために固有値に関するある種の知識が必要である。 の（したがって ) の）閉じた式は、近年にはすべての既約表現（例えば任意の ）に対して得られている。
220px|thumb|フェルディナント・ゲオルク・フロベニウス (1849-1917) はドイツの数学者。主な興味は楕円函数、微分方程式、のちに群論。1878年、フロベニウスがケイリー・ハミルトンの定理の完全な証明を初めて与えた。

 代数的数論 
代数的整数の最小多項式の計算においてもケイリー・ハミルトンの定理は有用である。例えば、 の有限次拡大  とその代数的整数 （これは添加された元の冪積  の非自明な -線型結合に書ける）が与えられたとき、 を掛けるという -線型変換

の表現行列を  と書けば、 にケイリー・ハミルトンの定理を適用することにより  の最小多項式が求まる。

 一般の証明 
一般次数の 次正方行列  についてのケイリー・ハミルトンの定理の証明には、いくつかの方法がある。

 三角化による証明 
文献に掲載されている方法による。

 の固有多項式を , 固有値を  とする。

 を上三角化した行列を  とする。このとき対角成分に固有値  が並ぶ：

ここで  を計算する。

 とおく。 は上三角行列で、 成分は  である。

 を計算すると、

故に、第2列までは成分が全て  になる。同様にして、帰納的に、 を掛けると、第列までの成分は全て  になる。これを 番目まで繰り返すことにより

故に (1) は
（証明終）

 単因子による証明 
単因子論を用いると、簡単に導出できる。ただし、単因子標準形の存在・一意性の証明にはかなりの工程を要する。

文献に掲載されている方法による。

 の単因子標準形は、 より、

の形となる。ここで、 はモニック多項式、（つまり  は  で割り切れる）である。 

単因子論で知られている結果として、最後の単因子  は  の最小多項式  に等しい。

故に固有多項式  は最小多項式  で割り切れると分かる。故に （証明終）

 余因子行列による証明 
 の固有多項式を定義する行列  は多項式行列である。多項式全体は可換環をなすから、この行列の余因子行列

が存在して、基本関係式により

が成り立つ。

この  もまた  を変数とする多項式行列であるから、各  に対して行列の各成分から  の項だけを取り出してまとめたものを係数行列  として、

と書き直すことができる（ の定義の仕方から、 より高次の冪は現れないことに注意）。これは、多項式行列を、「行列を係数とする多項式」（定数成分行列の線型結合）で表す便法である（それを強調するために  は係数として左側に書いている）。

さて等式  を積の双線型性により展開すれば

の形に書ける（これは  を変数とする2つの多項式行列の間の等式である）。この等式が成り立つのは、各  について、 を係数とする定数成分行列がそれぞれ等しくなるときである。このような により、

を得る。これにそれぞれ（比較に用いた  に応じて） を掛けて足し合わせた

は畳み込み和として全ての項が打ち消し合うから、 となる。（証明終）

 行列係数の多項式を用いた証明 

まず、前節の証明に現れる式によって示唆される「行列係数の多項式」という概念について正当化しておく。これには非可換環係数の多項式というある意味普通ではないものを考えることになるので、入念に注意を払う必要が出てくる。通常の多項式で正当化されることが、今の定では適用できないということが多々起こる。

著しい点として、通常の可換環係数の多項式に対する算術は、多項式を多項式函数と同一視して函数としての（点ごとの）演算を雛形とすることができるが、非可換環係数ではそれは可能ではない（実は、非可換環上での場合には、乗法のもとで閉じる多項式函数の明らかな概念は存在しない）。それゆえ、行列係数の変数  に関する多項式を考えるときには、変数  は係数環の任意の値を取りうる「未知数」と考えてはいけなくて、いくつかの決まったルールに従う形式的な記号としての「不定元」として扱うべきである。特に  に特定の値を代入しようというのは危険である。

適当な環 （例えば実数体  や複素数体 ）に成分を持つ 次正方行列環を  と書き、その一つの元として行列  をとる。 に関する多項式を係数として持つ行列、例えば  やその余因子行列（の転置行列） なとは  の元である。 の同じ次数の冪を含む項をまとめることにより、 に属する行列を  を変数とする行列係数の「多項式」の形に書き表すことができる。行列係数の多項式全体の成す集合を  と書けば、 と  との間に一対一対応が存在するから、それにより対応する算術演算を定義することができる。特に乗法は

で与えられる。これは明らかに非可換な乗法である（特に右辺の係数における積の順番は、左辺の対応する因子の現れる順番を反映するようにしなければならない）。

この設定で、等式  は  の元の間の乗法を含む式と見なすことができる。この時点で、単に  が行列  に等しいとおく誘惑にかられそうになる（そうすれば左辺は零行列で右辺は  になるから）が、これは係数が可換でないときには許されない操作である。それでも非可換環  上で「右評価写像」 は定義できる（これは各  を  の冪  で置き換えるが、この冪は常に対応する係数の右から掛けるものと約束するものである）。ただしこれは環準同型にならない（積の右評価写像の値は右評価写像の積とは一般には異なる）から、行列係数多項式の乗法が  を係数環に属する未知数と見ての乗法を雛形としたものでないことが確認できる（積  は変数  は常に  と可換と仮定することで定義できるが、これは  を行列  で置き換えるときには常には期待できない。ただし、手近な特定の状況を想定する場合にはこの問題をうまく回避できることもある（たとえば、上記の右評価写像は行列  が係数環の中心に属している場合には（どの多項式でもすべての係数と  は可換になるから）環準同型になる）。

ケイリー・ハミルトンの定理の証明では  を行列環全体と考えるならば  は必ずしも中心に属するわけではないけれども、 としてより小さい環（証明に現れるすべての多項式の係数すべてを含んでいるようなもの）に取り換えて、その中の元すべてが  と可換になるようにするという手段をとることはできる。明らかに、 と可換な行列全体として与えられる部分環（すなわち  の中心化環） はそのような部分環の候補になる（定義により、 は  の中心元である）。この中心化環が  および  を含んでいることは明らかだが、 の余因子行列の転置 (adjugate matrix)  に現れる  の係数  を含むことも示せる。実際、余因子行列の転置の基本関係として

が成り立つが、これに  を代入して整理すれば

が残る。各  に対してを行うことにより、所期の式  が得られる。

このように実際に  が環準同型となる適切な設定の下が求められたからには、定理の証明は
 として完成する。

 2つの証明の折衷 
余因子行列の証明において、 の係数  は随伴行列の基本関係式の右辺だけに基づいて決定することができる。実は導かれた最初の  本の式は、多項式  をモニック多項式  で除した商  を決定するものと解釈することができ、また最後の式はその除した剰余が零であるという事実を表すと解釈できる。この割り算は行列係数多項式の環において行われる。実際、非可換環係数の場合においてさえも、モニック多項式  によるユークリッド除法（余り付き除算）は定義され、通常（可換環上）と同様に次数に関する条件を満たす商と剰余が常に一意的に取り出される（ここで  がどちら側因子であるかは決まっていることが前提である。今の場合は左因子である）。
 注 ここでの主張において重要な点である「商と剰余が一意であること」を見るには、2通りの表示  があったとしてそれを  の形に書けば十分である。実際、 はモニック（最高次係数 1）であるから  の次数は  でなければ  の次数より小さくはならない。

しかしここで用いた被除数  も除数  もともに部分環  に属している（ここで  は  の生成する行列環  の部分環、すなわち  のすべての冪によって  上線型に張られる集合である）。したがって、実は上記の割り算は可換多項式環の中で実行できるものであり、もちろんこの小さい環においても同じ商  と剰余  が与えられる。このことから特に  が実は  に属すことが分かる。このように可換環部分環の中で考えれば、等式  において  を  とおくことは有効、すなわち評価写像

は環準同型となり第二の証明と同じく所期の  を与える。

定理を証明することに加えて、上記の論法では  の係数  は  に関する多項式であることまで分かる（これに対して、第二の証明からはそれらは  の中心化環  に入ることしか分からない。一般に  は  より大きな部分環であり、可換とも限らない）。特に定数項  が  に入る。 は勝手な正方行列でよかったのだから、これにより  が常に  の多項式に書ける（係数は  ごとに変わる）ことが保証される。

実は最初の証明で求めた等式により順番に  を  の多項式として表すことができ、任意の 次正方行列に対して有効な恒等式

が導かれる。ここに、 は  の固有多項式  のものである。
 注 この恒等式はケイリー・ハミルトンの定理の主張を含意するものである。実際、 を右辺に移項してから  を（左から、あるいは右から）掛け、基本関係式 () から分かる：
 を入れれば所期の式である。

 抽象化・一般化 
上で述べた通り、定理の主張における行列  は、先に行列式を評価してからその後で行列  を変数  に代入して得るものであり、行列式を計算する前に行列  に代入を行うことは意味をなさない。にも拘らず、 をある特定の行列式の値として直截に得ることのできる解釈を与えることは可能である。

ただしこれには、環上の行列  とはその成分  のことともそれらの全体としての  そのものとも解釈できるというような、やや面倒な状況を設定する必要がある。すなわち、環  上の 次正方行列全体の成す環  の中で、成分  はスカラー行列  として実現されるし、 それ自体も入っている。しかし行列を成分とする行列は、ここでの意図でない区分行列との混同を引き起こしかねない（区分行列と考えると行列式の概念が正しく与えられない）。状況をよりはっきりさせるため、基底  を持つ 次元ベクトル空間（係数環  が体でないときは 階 -自由加群） 上の自己準同型  を行列  と区別をつけて、全自己準同型環  上の行列を考えることにする。そうすると、各  は行列の成分になれるし、その一方で行列  とは各 成分がスカラー 倍するという自己準同型になっているような  の元を指すものとできる（同様に単位行列  も  の元と解釈される）。

ただし、 は可換環ではないから、 の全体で定義される行列式は存在せず、 の可換部分環上の行列に限った場合にだけ行列式が定義できることには注意しなければならない。今、問題の行列  の成分はすべて、 と恒等変換で  上生成される可換部分環  に属しているから、行列式をとる写像  は定義されて、 を  の固有多項式を  において評価した値とすることができる（このことは  と  との間に成り立つ関係とは無関係に成り立つ）。

この設定で、ケイリー・ハミルトンの定理の主張は  が零写像となることである。この設定での定理の証明を以下に示す（これは（中山の補題と関連した）より一般の形で  にあるものである）:

この証明を検討すれば、固有多項式をとる行列  は、多項式に代入する値としての  と同一である必要がないことが分かる。すなわち  上の自己準同型  は、最初に与えた等式  を、何らかの元の列  に対して満足すればよい（これらの元の生成する空間を改めて  と書けば上記の証明を追うことができる）。この元の列には基底のような独立性は仮定しないでよいから、生成される空間の次元は  よりも小さくなり得るし、係数環が体でないときは自由加群でない場合も出てくる。

そうして  を生成系  を持つ任意の可換環とし、 の自己準同型  の上記生成系に関する表現行列が , すなわち

を満たすものとする設定の下でのケイリー・ハミルトンの定理： が満足されることが正当化できる。

このように一般化された状況におけるこの定理は可換環論および代数幾何学において重要な中山の補題の源流である。

 脚注 

 注釈 

 出典 

 参考文献 
 (open access)





 (communicated on June 9, 1862)
 (communicated on June 23, 1862)
 "Classroom Note: A Simple Proof of the Leverrier--Faddeev Characteristic Polynomial Algorithm"



 (open archive).

 外部リンク 











Category:線型代数学の定理
Category:初等数学
Category:行列
Category:ウィリアム・ローワン・ハミルトン
Category:数学に関する記事
Category:数学のエポニム