国产日韩欧美一区二区三区三州_亚洲少妇熟女av_久久久久亚洲av国产精品_波多野结衣网站一区二区_亚洲欧美色片在线91_国产亚洲精品精品国产优播av_日本一区二区三区波多野结衣 _久久国产av不卡

?

Cayley-Hamilton定理的幾種證法

2016-06-22 08:01:33張華民殷紅彩
滁州學院學報 2016年2期

張華民,殷紅彩,梅 紅

Cayley-Hamilton定理的幾種證法

張華民,殷紅彩,梅紅

摘要:通過Krylov子空間、Schur定理和數(shù)學歸納法等方法,給出了Cayley-Hamilton定理的三種證法。

關鍵詞:Krylov子空間; Cayley-Hamilton定理; Schur定理

1Cayley-Hamilton定理

Cayley-Hamilton定理是用英國數(shù)學家Arthur Cayley(1821-1895)和愛爾蘭數(shù)學家William Rowan Hamilton(1805-1865)的名字命名的一個定理[1],同時也是線性代數(shù)中的一個重要定理,該定理在矩陣的逆和廣義逆的計算、矩陣冪的計算和矩陣指數(shù)函數(shù)的計算中有重要的應用[2]。下面先給出這個定理??紤]一元多項式方程根的情況,本文的討論在復數(shù)域上展開。

設復數(shù)域C上的方陣為A,即有A∈Cn×n,該矩陣的特征多項式f(λ)定義為

Cayley-Hamilton定理實數(shù)域R上的每個方陣A都滿足它的特征方程,即有

其中O為n階零方陣。

2Cayley-Hamilton定理的幾種證法

Cayley-Hamilton定理有多種證法,但下面參考文獻[3]的證法并不常見。這種證法是受Krylov子空間的啟發(fā)。該方法并不要求明確知道矩陣A,只要知道向量Au的產(chǎn)生機制就行了。先給出如何用這種方法來確定矩陣A的特征多項式。

任取u∈Cn,此處不妨設u=(1,0,0,…,0)T,計算向量序列Au,A2u,…,每計算下一個向量前先判別向量組u,Au,A2u,…,的線性相關性.不失一般性,假設向量組u,Au,A2u,…,Ar-1u線性無關,而向量組u,Au,A2u,…,Ar-1u,Aru線性相關。在下面的等式中設向量Aru的系數(shù)為1,即有

b0u+b1Au+b2A2u+…+br-1Ar-1u+Aru=0.

注意到在復數(shù)范圍內,實系數(shù)多項式總可以分解成一次因式的乘積,即上式可寫為

上式的每一種記法均表示矩陣A的一個特征值和對應的特征向量,即均表示一個特征對,例如上式第二個等號右端的式子表示(A-λ2I)…(A-λrI)u是特征值λ1的特征向量。

注意到n+1個n維向量必線性相關,故如果r=n,則可得矩陣A的特征多項式為

若r

線性無關,而向量組

u,Au,A2u,…,Ar-1u,v,Av,A2v,…,As-1v,Asv

線性相關,即有下面的線性組合

(1)

將(1)式兩邊同時左乘以矩陣b0I+b1A+b2A2+…+br-1Ar-1+Ar,并注意到相關矩陣乘法的可交換性得到

若r+s=n,則可得矩陣A的特征多項式為

若r+s

由此可得Cayley-Hamilton定理的一種證法。

證法一由上面矩陣A的特征多項式f(λ)的給出過程可得,對任意的u∈Cn始終有f(A)u=0,當u取遍單位矩陣I的每一列就可得到f(A)=O,證畢。

下面的證法用到了矩陣的Schur分解定理和數(shù)學歸納法[4-6]。

證法二由矩陣的Schur分解定理,矩陣A相似于上三角矩陣,即存在可逆矩陣P使得

其中λ1,λ2,…,λn是矩陣A的n個特征值,顯然有

注意到f(A)=Pf(T)P-1,且矩陣P可逆,故只需證明f(T)=O即可。對n用數(shù)學歸納法,當n=1時命題顯然成立。下面設n≥2,并設命題對n-1階方陣已成立, 令

則塊矩陣T22的特征多項式為

由歸納假設有g(T22)=On-1,由f(λ)=(λ-λ1)g(λ)可知

于是

證畢。

下面證法在不少文獻中出現(xiàn)[2,7,8],將它列出作為一種證法。

證法三因為矩陣λI-A的伴隨矩陣adj(λI-A)是由矩陣λI-A的代數(shù)余子式為元素構成的矩陣,故伴隨矩陣adj(λI-A)是關于的λ次數(shù)不超過n-1的多項式矩陣,即有

其中B0,B1,…,Bn-1∈Rn×n。 由關系式

(λI-A)adj(λI-A)=det(λI-A)I=f(λ)I

可得

(λI-A)adj(λI-A)

(2)

(3)

比較上面(2), (3)兩式λ的相同次冪對應的系數(shù)矩陣可得

(4)

將(4)式中的前n個等式分別左乘矩陣An,An-1,…,A. 然后再將這n+1個等式相加即得

這正是所要的結果。證畢。

由這種證法還可得到一些很有意思的結論,列在下面。

注1關于矩陣A的特征矩陣λI-A的伴隨矩陣adj(λI-A)有下面的結論。

矩陣A的特征多項式的定義如上,則矩陣λI-A的伴隨矩陣的展式可寫為

(5)

事實上,由上面證明過程的(4)式可得

將(4)式代入(3)化簡合并即得(5)式。

注2由上面的證明過程可以發(fā)現(xiàn),等式(5)可寫為

且矩陣A與B1,B2,…,Bn-1間的乘法是可交換的。

3結束語

本文介紹了Cayley-Hamilton定理的三種證法,后面兩種證法在一些文獻中很常見,第一種證法借助于用Krylov子空間產(chǎn)生矩陣的特征多項式的性質獲得啟發(fā),證明過程簡單明了。文獻[9]借助Vandermonde行列式也給出了該定理的證明,文獻[10]利用了矩陣的初等運算給出了該定理的一種證明。Cayley-Hamilton定理在矩陣求逆、矩陣冪和矩陣指數(shù)函數(shù)等方面有重要的應用[2,11]。該定理還可作進一步的推廣[12],能否利用Krylov子空間的方法證明Cayley-Hamilton定理的一些推廣形式有待進一步的研究。

[參考文獻]

[1]李文林. 數(shù)學史概論(第三版) [M]. 北京: 高等教育出版社, 2011:213-215.

[2]張賢達. 矩陣分析與應用[M]. 北京: 清華大學出版社, 2004: 474-484.

[3]S.K. Jain, A.D. Gunawardena. Linear Algebra: An Interative Approach[M]. NewYork: Thomson Learnig, 2004: 159-161.

[4]王卿文. 線性代數(shù)核心思想及應用[M]. 北京:科學出版社, 2012: 63-63.

[5]R.A. Horn, C.R. Johnsom. Matrix Analysis[M]. Cambridge : Cambridge University Press, 1999: 86-87.

[6]劉國新, 王正攀. Cayley-Hamilto定理的一個新證明[J]. 西南師范大學學報(自然科學版): 2013, (8): 1-2.

[7]王萼芳, 石生明修訂. 高等代數(shù)[M]. 第三版.北京:高等教育出版社, 2007: 83-86.

[8]戴華. 矩陣論[M]. 北京: 科學出版社, 2001: 110-111.

[9]楊艷, 劉合國. Cayley-Hamilton定理的一個證明[J]. 數(shù)學的實踐與認識: 2009, (9): 235-238.

[10]楊艷, 劉合國. Cayley-Hamilton定理的有理證明[J]. 湖北大學學報(自然科學版) : 2009,(2):109-112.

[11]戴中林. Cayley-Hamilton定理的應用[J]. 四川師范學院學報(自然科學版): 1999, (4): 391-393.

[12]李師正. Cayley-Hamilton定理的推廣[J]. 曲阜師范大學學報(自然科學版): 1991, (4): 13-14.

責任編輯:王與

Several Proofs of the Cayley-Hamilton Theorem

Zhang Huamin,Yin Hongcai, Mei Hong

Abstract:By using the Krylov subspace, Schur Theorem and the mathematical induction, three proofs of the Cayley-Hamilton Theorem are presented.

Key words:Krylov subspace; Cayley-Hamilton Theorem; Schur Theorem

中圖分類號:O151.2

文獻標識碼:A

文章編號:1673-1794(2016)02-0013-03

作者簡介:張華民,蚌埠學院數(shù)理系副教授,博士;殷紅彩,安徽財經(jīng)大學管理科學與工程學院;梅紅,蚌埠學院數(shù)理系(安徽 蚌埠 233000)。

基金項目:安徽省教育廳重點項目(KJ2016A458);安徽財經(jīng)大學自然科學基金資助(ACKY1654);2013教學團隊(jxtd02);2014省級質量工程(2014zy141);蚌埠學院院級項目 (2011ZR17,2015ZR10);安徽省省級教研項目(2015jyxm386)

收稿日期:2015-11-12

迁安市| 扶余县| 绵竹市| 长垣县| 太仓市| 平顺县| 本溪| 郓城县| 皋兰县| 连城县| 韩城市| 衡水市| 郯城县| 雷波县| 化德县| 衢州市| 获嘉县| 城口县| 石家庄市| 霍州市| 台中市| 边坝县| 巴中市| 淅川县| 霍邱县| 祁连县| 皋兰县| 九江市| 宁河县| 通许县| 久治县| 武宁县| 正蓝旗| 张家界市| 昆山市| 清远市| 库车县| 大同市| 读书| 绥芬河市| 年辖:市辖区|