ケイリー・ハミルトンの定理
ケイリー・ハミルトンの定理(ケイリー・ハミルトンのていり、英: Cayley–Hamilton theorem)、またはハミルトン・ケイリーの定理とは、線型代数学において、(実数体や複素数体を含む)可換環上の正方行列は固有方程式を満たすという定理である[1]。アーサー・ケイリーとウィリアム・ローワン・ハミルトンにちなむ。
定理
A を n 次正方行列、I を n 次単位行列とすると、A の固有多項式は行列式を使って次のように定義される。
- [math]p(\lambda) = \det(\lambda I - A)[/math]
行列 λI − A の成分は λ の多項式であるから、行列式 p(λ) もまた λ の多項式となる。この多項式 p(λ) の変数 λ を行列 A で置き換えた結果が零行列になる、つまり
- [math]p(A) = 0[/math]
が成り立つというのが定理の主張である。
証明 I
行列 [math]\lambda I - A[/math] の余因子行列を [math]Q(\lambda)[/math] で表すと次が成り立つ:
- [math]p(\lambda)I=Q(\lambda)(\lambda I - A)=\lambda Q(\lambda)-Q(\lambda)A.[/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).[/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).[/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).[/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).[/math]
証明 II
行列 [math]\lambda I - A[/math] の余因子行列 を [math]Q(\lambda)[/math] で表すと [math] p(\lambda)I=Q(\lambda)\,(\lambda I - A)[/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=\Big(\,\sum_{k=0}^{n-1} Q_k\lambda^k\,\Big)\Big(\lambda I - 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.[/math]
[math]\lambda^k\;(k=0,\ldots,n)[/math] の各係数を比較して次を得る:
- [math] p_0 I=-Q_0 A, \quad p_k I=Q_{k-1}-Q_k A\;\;(k=1,\ldots,n-1), \quad p_n I=Q_{n-1}. [/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.[/math]
例
A を2次正方行列、I を2次単位行列
- [math] A = \begin{pmatrix} a & b\\ c & d \end{pmatrix}, \quad 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年にケンブリッジ大学数学教授となった。
この定理の発見はケイリーの仕事であるが[2]、テンプレート:どこ範囲、二人の時間的順序からハミルトン・ケイリーの定理と呼ぶことも多い。
出典
- ↑ Eisenbud 1995, Theorem 4.3 (Cayley-Hamilton).
- ↑ Cayley 1858.
参考文献
- Cayley, Arthur (1858), “A memoir on the theory of matrices”, Phil. Trans. R. Soc. Lond. 148: 17–37, doi:10.1098/rstl.1858.0002
- Eisenbud, David (1995), Commutative Algebra: With a View Toward Algebraic Geometry, Graduate Texts in Mathematics, 150, Springer-Verlag, doi:10.1007/978-1-4612-5350-1, MR 1322960, Zbl 0819.13001
関連項目
外部リンク
- Cayley-Hamilton theorem in nLab
- Weisstein, Eric W. “Cayley-Hamilton Theorem”. MathWorld(英語). Template:Cite webの呼び出しエラー:引数 accessdate は必須です。
- Cayley-Hamilton theorem - PlanetMath.(英語)
- lecture notes on the Cayley-Hamilton theorem - PlanetMath.(英語)
- proof of Cayley-Hamilton theorem in a commutative ring - PlanetMath.(英語)
- proof of Cayley-Hamilton theorem by formal substitutions - PlanetMath.(英語)
- topological proof of the Cayley-Hamilton theorem - PlanetMath.(英語)
- テンプレート:ProofWiki
- {{#invoke:citation/CS1|citation
|CitationClass=citation }}