在線性代數中,凱萊–哈密頓定理(英語:Cayley–Hamilton theorem)(以數學家阿瑟·凱萊與威廉·卢云·哈密顿命名)表明每個佈於任何交換環上的實或複方陣都滿足其特徵方程式。
明確地說:設
為給定的
矩陣,並設
為
單位矩陣,則
的特徵多項式定義為:
![{\displaystyle p(\lambda )=\det(\lambda I_{n}-A)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/606839b119ee2875dc199226f4d5d58fe9331069)
其中
表行列式函數。凱萊–哈密頓定理斷言:
![{\displaystyle p(A)=O}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aa2359b938c2e72ddea6204abc87fb3ec1e2c328)
凱萊–哈密頓定理等價於方陣的特徵多項式會被其極小多項式整除,這在尋找若尔当标准形時特別有用。
例子
舉例明之,考慮下述方陣:
![{\displaystyle A={\begin{bmatrix}1&2\\3&4\end{bmatrix}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fe2b657e2e40c1f54e705bc7802f5720ca136d3e)
其特徵多項式為
![{\displaystyle p(\lambda )={\begin{vmatrix}\lambda -1&-2\\-3&\lambda -4\end{vmatrix}=(\lambda -1)(\lambda -4)-2\cdot 3=\lambda ^{2}-5\lambda -2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f98f507f05c3db0ca965a75fc647bbfb1f726148)
此時可以直接驗證凱萊–哈密頓定理:
![{\displaystyle A^{2}-5A-2I_{2}=O}](https://wikimedia.org/api/rest_v1/media/math/render/svg/430a12d1225f97adb1dd6f49e10d965731bb523f)
此式可以簡化高次冪的運算,關鍵在於下述關係:
![{\displaystyle A^{2}-5A-2I_{2}=O}](https://wikimedia.org/api/rest_v1/media/math/render/svg/430a12d1225f97adb1dd6f49e10d965731bb523f)
![{\displaystyle A^{2}=5A+2I_{2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f4abc82d5415d77436de88891457942ea881d6b8)
例如,為了計算
,可以反覆利用上述關係式:
![{\displaystyle A^{3}=(5A+2I_{2})A=5A^{2}+2A=5(5A+2I_{2})+2A=27A+10I_{2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/45402b7f472df72b3e3ac626c558c749e737c351)
![{\displaystyle A^{4}=A^{3}A=(27A+10I_{2})A=27A^{2}+10A=27(5A+2I_{2})+10A}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1a8628d1efdf740458bd5b3c5d559ddaa75e5b2b)
![{\displaystyle A^{4}=145A+54I_{2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ac7d56b6af34790e292a765eb9f32b46b56a8143)
或是,如果要計算
,也可以假設:
![{\displaystyle A^{n}=aA+bI}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dd7aaded4c78d686b5c7e33060fcb60d2bf33955)
然後,依照前面的特徵多項式
之兩解
,代入後可以得到
![{\displaystyle \lambda _{1}^{n}=a\lambda _{1}+b}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8e9f511666b2ca164cd678b7aab40c24b663442f)
![{\displaystyle \lambda _{2}^{n}=a\lambda _{2}+b}](https://wikimedia.org/api/rest_v1/media/math/render/svg/660c7a0c85e19eed1734296bf8e9312d2450efec)
然後解方程後求出
,便可得
。
此外,凱萊–哈密頓定理也是計算特徵向量的重要工具。
註:一般而言,若
矩陣
可逆(即:
),則
可以寫成
的冪次和:特徵多項式有如下形式
![{\displaystyle p(\lambda )=\lambda ^{n}-\operatorname {tr} (A)\lambda ^{n-1}+\cdots +(-1)^{n}\det(A)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f3d1cde758a6038b07f552d3d59a12faef9de655)
將方程式
同乘以
,便得到
![{\displaystyle A^{-1}={\frac {(-1)^{n-1}{\det(A)}(A^{n-1}-\operatorname {tr} (A)A^{n-2}+\cdots )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/988654ec8be7247249ee13ce88697e8bc614a94a)
定理證明
以下考慮佈於域
上的矩陣。
凱萊–哈密頓定理可以視為線性代數中拉普拉斯展開的推論。拉普拉斯展開可推出若
是
矩陣,而
表其伴隨矩陣,則
![{\displaystyle S\operatorname {adj} (S)=\det(S)I_{n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7edbe536d49fc52de0bb02be198be338f5044980)
取
,便得到
。此式對所有
皆成立,由於實數或複數域有無窮多元素,上式等式在多項式環
內成立。
設
,矩陣
賦予
一個
-模結構:
。考慮
-模
,我們有
-模之間的「求值態射」:
![{\displaystyle e_{A}:M[t]\to M,\qquad M\otimes t^{i}\mapsto A^{i}m}](https://wikimedia.org/api/rest_v1/media/math/render/svg/24fc7d8cb2ce3a9a152b95d4a096189dddaaab5d)
固定
,對
中的等式
![{\displaystyle (tI_{n}-A)\operatorname {adj} (tI_{n}-A)\,m=p_{A}(t)m}](https://wikimedia.org/api/rest_v1/media/math/render/svg/93b6762f38a8a53b08407fb2da902b4850e751c3)
右側取
後得到
,左側取
後得到
。明所欲證。
另外一个简单的证明:
令:
![{\displaystyle B={\mbox{adj}(tI_{n}-A)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c15b2c71fb9326ea1ca6dd6bf688b1bff8020bed)
由:
![{\displaystyle S\operatorname {adj} (S)=\det(S)I_{n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7edbe536d49fc52de0bb02be198be338f5044980)
得:
![{\displaystyle (tI_{n}-A)B=\det(tI_{n}-A)I_{n}=p(t)I_{n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4bec8faafa2fd35c0f9ce166d473b2462f3ace87)
![{\displaystyle {\begin{aligned}p(t)I_{n}&=(tI_{n}-A)B\\&=(tI_{n}-A)\sum _{i=0}^{n-1}t^{i}B_{i}\\&=\sum _{i=0}^{n-1}tI_{n}\cdot t^{i}B_{i}-\sum _{i=0}^{n-1}A\cdot t^{i}B_{i}\\&=\sum _{i=0}^{n-1}t^{i+1}B_{i}-\sum _{i=0}^{n-1}t^{i}AB_{i}\\&=t^{n}B_{n-1}+\sum _{i=1}^{n-1}t^{i}(B_{i-1}-AB_{i})-AB_{0}\end{aligned}](https://wikimedia.org/api/rest_v1/media/math/render/svg/16de99ba071a29eea9de4ed06dee702c657fca2c)
![{\displaystyle p(t)I_{n}=\det(tI_{n}-A)I_{n}=t^{n}I_{n}+t^{n-1}c_{n-1}I_{n}+\cdots +tc_{1}I_{n}+c_{0}I_{n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/48d7a1548df56f81237c329c215032fd305b52cb)
因两多项式,他们的对应项系数相等得:
![{\displaystyle B_{n-1}=I_{n},\qquad B_{i-1}-AB_{i}=c_{i}I_{n}\quad {\text{for }1\leq i\leq n-1,\qquad -AB_{0}=c_{0}I_{n}~}](https://wikimedia.org/api/rest_v1/media/math/render/svg/47adaa113a2d655e00f2557ccd5185b9d1d31020)
在等式两边t的i次项系数分别乘以Ai, 并将等式左右两边分别相加并合项得:
![{\displaystyle O=A^{n}+c_{n-1}A^{n-1}+\cdots +c_{1}A+c_{0}I_{n}=p(A)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/41b3f976fa06b3e25df37e1a9f195579618b749a)
得证。
抽象化與推廣
前述證明用到係數在
的矩陣的克萊姆法則,事實上該法則可施於任何係數在交換環上的矩陣。藉此,凱萊–哈密頓定理可以推廣到一個交換環
上的任何有限生成自由模
(向量空間是特例)。中山正引理的一種證明就用到這個技巧。
外部連結