ケイリー・ハミルトンの定理
ケイリー・ハミルトンの定理（ケイリー・ハミルトンのていり、Cayley-Hamilton theorem）、またはハミルトン・ケイリーの定理とは、線型代数学において、実数体や複素数体を含む可換環上の任意の正方行列が満たす定理である。アーサー・ケイリーとウィリアム・ローワン・ハミルトンにちなむ。
定理
A を n 次正方行列、In を n 次単位行列とすると、A の特性多項式は行列式を使って次のように定義される。
- <math>p(\lambda) = \det(\lambda I_n - A) \,\!</math>
行列の成分は λ の多項式であるから、行列式もまた λ の多項式となる。この多項式の λ を行列 A で置き換えた結果は零行列になる。
- <math>p(A) = 0 \,\!</math>
証明 I
行列 <math>\lambda I_n - A</math> の余因子行列 を <math>Q(\lambda)</math> で表すと次が成り立つ：
- <math>p(\lambda)I_n=Q(\lambda)(\lambda I_n - A)=\lambda Q(\lambda)-Q(\lambda)A\quad.</math>
行列 <math>A</math> の第 <math>ij</math> 成分を <math>a_{ij}</math> , 行列 <math>Q(\lambda)</math> の 第 <math>ij</math> 成分を <math>q_{ij}(\lambda)</math> と書いて上式を成分ごとに表す：
- <math>p(\lambda)\delta_{ij}=
\lambda\,q_{ij}(\lambda)-\sum_{m=1}^n q_{im}(\lambda)\,a_{mj}\quad(i,j=1,\ldots,n)\quad.</math>
多項式 <math>p(\lambda),\; q_{ij}(\lambda)\;(i,j=1,...,n)\;\;</math> の 変数 <math>\lambda</math> に行列 <math>A</math> を代入する：
- <math>\delta_{ij}\,p(A)=A\,q_{ij}(A)-\sum_{m=1}^n a_{mj}\,q_{im}(A)\,\quad(i,j=1,\ldots,n)\quad.</math>
行列 <math>p(A)\,</math> の第 <math>kl</math> 成分を <math>\hat{p}_{kl}\,</math> 、 行列 <math>q_{ij}(A)\;(i,j=1,\ldots,n)\;</math> の第 <math>kl</math> 成分を <math>\hat{q}_{ijkl}</math> と書いて上式を成分ごとに表す：
- <math>\delta_{ij}\,\hat{p}_{kl}=\sum_{m=1}^n a_{km}\,\hat{q}_{ijml}-\sum_{m=1}^n a_{mj}\,\hat{q}_{imkl}\,\quad(i,j,k,l=1,\ldots,n)\quad.</math>
ここで <math>k\!=\!j\;</math> とおき <math>j\,</math> について 1 から <math>n</math> まで足し合わせて次を得る：
- <math>\hat{p}_{il}=\sum_{j=1}^n\delta_{ij}\,\hat{p}_{jl}
=\sum_{j=1}^n\sum_{m=1}^n a_{jm}\,\hat{q}_{ijml}-\sum_{j=1}^n\sum_{m=1}^n a_{mj}\,\hat{q}_{imjl}=0 \,\quad(i,l=1,\ldots,n)\quad.</math>
証明 II
行列 <math>\;\;\lambda I_n - A\;</math> の余因子行列 を <math>Q(\lambda)</math> で表すと <math>\qquad p(\lambda)I_n=Q(\lambda)\,(\lambda I_n - A)\quad</math> が成り立つ。
<math>p(\lambda)=\sum_{k=0}^n p_k\lambda^k\;</math> とおく。 また、<math>Q(\lambda)</math> の各成分は <math>\lambda</math> の <math>n\!-\!1</math> 次以下の多項式なので <math>Q(\lambda)=\sum_{k=0}^{n-1} Q_k\lambda^k</math> と表せる。
- <math>\sum_{k=0}^n p_k\lambda^k I_n=\Big(\,\sum_{k=0}^{n-1} Q_k\lambda^k\,\Big)\Big(\lambda I_n - A\Big)
=\sum_{k=0}^{n-1}\Big(Q_k\lambda^{k+1}-Q_k A \lambda^k\Big) =\,\sum_{k=1}^{n}Q_{k-1}\lambda^k\,-\,\sum_{k=0}^{n-1}Q_k A \lambda^k\quad .</math>
<math>\lambda^k\;(k=0,\ldots,n)\quad</math> の各係数を比較して次を得る：
- <math>
p_0 I_n=-\,Q_0 A\;, \quad p_k I_n=Q_{k-1}-Q_k A\;\;(k=1,\ldots,n\!-\!1)\; , \quad p_n I_n=Q_{n-1}\quad . </math> これより次を得る：
- <math>p(A)=\sum_{k=0}^n p_k A^k
=-\,Q_0 A\,+\,\sum_{k=1}^{n-1}\Big(Q_{k-1}-Q_k A\Big)A^k\,+\,Q_{n-1} A^n =\sum_{k=1}^{n}Q_{k-1}A^k\,-\,\sum_{k=0}^{n-1}Q_{k}A^{k+1} =0\quad .</math>
例
A を2次正方行列、I を2次単位行列
- <math>
A = \begin{pmatrix}
a & b\\ c & d
\end{pmatrix}, I = \begin{pmatrix}
1 & 0\\ 0 & 1
\end{pmatrix}</math>
とすると、A の特性多項式は以下で与えられる。
- <math>p(\lambda) = \det(\lambda I - A) =
\begin{vmatrix}
\lambda - a & -b\\ -c & \lambda - d
\end{vmatrix} = (\lambda - a)(\lambda - d) - (-b)(-c) = \lambda^2 - (a + d)\lambda + ad - bc</math>
ケイリー・ハミルトンの定理によれば、次の等式が成り立つ。
- <math>A^2 - (a + d)A + (ad - bc)I = 0 \,\!</math>
ケイリーとハミルトンについて
アイルランドの数学者ウィリアム・ローワン・ハミルトン（1805-1865）は、高次元複素数―四元数―の発見で有名であるが、この仕事は直接行列との関連はなかった。事実彼は行列の研究に深く関わりはしなかった。しかもハミルトン自身も自分の仕事の本質についてよく理解していなかった節すらある。 ハミルトンの研究の真の意味を理解した一人がアーサー・ケイリー（1821-1895）である。彼はケンブリッジ大学を優秀な成績で卒業し、数々の研究業績を残したが、奨学金の年限が来たことで法律家への転向を決意する。しかし、彼は法律家を目指し勉学に励みながらも何度も数学の講義に出席していた。ダブリンにまで足を運び、ハミルトンの四元数の講義に参加したのもこのときである。そしてケイリーは法律家として過ごした14年間に約250編の数学論文を書き、1863年にケンブリッジ大学数学教授となった。
この定理の発見はケイリーの仕事であるが、ケイリー自身が着想の起源をハミルトンの研究に負っていると述べているため、二人の時間的順序からハミルトン・ケイリーの定理と呼ぶことも多い。
