ケイリー・ハミルトンの定理とは - わかりやすく解説 Weblio辞書

すべての辞書から再検索する

ウィキペディア

索引トップ用語の索引ランキングカテゴリー

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

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/06/18 02:35 UTC 版)

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

脚注

注釈

^ 四元数の乗法およびそれを用いた任意の構成（この文脈では特に行列式が顕著）には非可換性がかかわってくるから、十分に定義を検討する必要がある。分解型四元数に対するケイリー・ハミルトンの定理も（やや素性はよくない（英語版）が）同様に成立する^[11]。四元数の場合も分解型四元数の場合も、ある種の複素 $2$ 次行列として表すことができる（ノルム $1$ に制限すれば、これらの乗法の定める作用はそれぞれ特殊ユニタリ群 $SU(2)$ および $SU(1, 1)$ である）から、これらに対して定理が成り立つことは驚くことではない。そのような行列表現のできない八元数（八元数の乗法は非結合的であるから行列の積で表現することは不合理）でさえ、それでも修正版のケイリー・ハミルトンの定理が満足される^[12]
^ 「天然（の）」という意味ではなく、permutation（置換）と determinant（行列式）を合成したカバン語のモジり。直訳的に合成すれば「置換式」。（テンソルの交代積に対する対称積のように、置換の符号を掛ける部分を取り除いて）行列式の反対称性を対称性で置き換えた対応物なので「対称的行列式」のように呼べるかもしれない。
^ これら係数の陽な表示は
$c_{i}=\sum _{k_{1},k_{2},\cdots ,k_{n}}\prod _{l=1}^{n}{\frac {(-1)^{k_{l}+1}}{l^{k_{l}}k_{l}!}}\operatorname {tr} (A^{l})^{k_{l}}$
で与えられる。ただし、和は $\sum n l =1 l\cdotk l = n - i$ を満たす分割 ${k l \geq 0}$ 全体の成す集合上を亙る
^ 例えば（ヤコビの公式を解いている）(Brown 1994, p. 54) などを見よ：
$\partial p(\lambda )/\partial \lambda =p(\lambda )\sum _{m=0}^{\infty }\lambda ^{-(m+1)}\operatorname {tr} A^{m}=p(\lambda )\operatorname {tr} {\frac {I}{\lambda I-A}}\equiv \operatorname {tr} B,$
ただし $B$ は後で述べる随伴行列である。これと同値な、再帰的に関係したアルゴリズムをユルバン・ルヴェリエとドミトリー・ファデーエフ（英語版）が導入した。そのファデーエフ–ルヴェリエアルゴリズム（英語版）からは
${\begin{aligned}M_{0}&\equiv O,&c_{n}&=1\quad &(k&=0)\\M_{k}&\equiv AM_{k-1}-{\frac {1}{k-1}}(\operatorname {tr} (AM_{k-1}))I,&c_{n-k}&=-{\frac {1}{k}}\operatorname {tr} (AM_{k})&(k&=1,\cdots ,n)\end{aligned}}$ が導かれる（例えば Gantmacher 1960, p. 88 を見よ）。が再帰の終端となる。あとで述べる代数的証明では、件の随伴行列 $B k \equiv M n-k$ の満たす性質に依拠している。具体的には $(\lambda I-A)B=Ip(\lambda )$ および上記の $p$ の微分を追跡すれば $\lambda p'-np=\operatorname {tr} (AB)$ を得^[16]、上記の再帰手続きが順に繰り返される。
^ ^a ^b ^c ^d (佐武 1958, p. 137, 注意)によれば、「行列係数の多項式に関して乗法の交換の法則は一般には成立しないが、それ以外（加減乗の演算に関する限り）通常の多項式と全く同様に取り扱うことができる．また行列係数の多項式の間の等式には，それら係数行列のすべてと交換可能な行列を代入することができる．（係数行列と非可換な行列は代入することができない．）行列係数の多項式に関して整除の問題は複雑である」とある。
^ 行列式は行列の成分たちの積和であることを思い出そう。したがって、 $R$ 上の行列を成分に持つ行列の行列式はそれ自体が $R$ 上の一つの行列である（係数環 $R$ の元ではない）。つまり、区分行列の各ブロックをそれ自体一つの行列と見て、区分行列を行列の行列と考えるなら、その行列式はブロックたちの積和の形をしていなければならない。その一方、 $R$ 上の区分行列の成分は（ブロックではなくその中の）係数環 $R$ の元自体であり、したがって区分行列の行列式はそれ自身もまた $R$ の元であって、両者の概念は一般には一致しない。