Jordan标准形汇总_第1页
Jordan标准形汇总_第2页
已阅读5页,还剩9页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

1、Jordan标准型与矩阵可对角化摘要:本文归纳总结矩阵论书本中的内容,以矩阵论的性质为基础,简单介绍了Jordan标准型定理以及定理的证明,再用Jordan标准型定理去解决Hamilton-Cayley定理的证明,以及在求解线性微分方程组中的应用。关键词:矩阵对角化;-矩阵;Jordan标准型;线性微分方程;1引言矩阵表示方法贯穿于高等代数的各个章节,通过矩阵表示,许多高等代数中的问题都可归结为矩阵问题,而矩阵标准形的方法乂是解决矩阵问题的重要方法之一,它的核心思想就是删简就繁,充分体现了解决数学问题的“转化思想”。矩阵的Jordan标准形问题的讨论,源于如何选择线性空间的基,使得线性变换在该

2、基下的矩阵具有尽可能简单的形式完成这一问题。矩阵内容,是大学学习中必须学习的知识点!其广泛的应用性,还有在处理数据上的优越性,矩阵是学习很多知识体系的支柱,在数据结构,自动控制原理,常微分计算等等上都是基础!Jordan标准型的用处就在于矩阵不能对角化的时候利用Jordan标准型这种最简化的结果來做题。证明关于一般方阵(不能保证对角化)的某些命题,需要用到Jordan标准型,比如用Jordan标准型求解线性微分方程组。刀川/初标准型是最接近对角的矩阵并且其有关的理论包含先前有关与对角阵相似的理论作为特例。此外,刀/d初标准型的广泛应用涉及到Hamilton-Cayley定理的证明,矩阵分解,线

3、性微分方程组的求解等等。2矩阵由于Jordan标准型的求解与特征多项式有关,而从函数的角度看,特征多项式实际上是特殊的函数矩阵(元素是函数的矩阵),这就引出对久-矩阵的研究。2.12.矩阵及其标准型定义1称矩阵4=(厶(刃)为久-矩阵,其中元素九仏)(i=1,2,,加;丿=1,2,屮),为数域尸上关于2的多项式。定义2称n阶久-矩阵4是可逆的,如果有4(2)5(2)=5(A)4(2)=/,并称*(几)为4(刃的逆矩阵,反之亦然。定义3如果矩阵4(2)经过有限次的初等变换化成矩阵BQ),则称矩阵4(2)与BQ)等价,记为人三。2.2八矩阵的性质定义4矩阵力(刃的S加7标准型中的非零对角元/(刃4

4、(刃,d")称为4(刃的不变因子。定义5矩阵4S)的所有非零k阶子式的首一(最高次项系数为1)最人公因式D&(2)称为4(2)的k阶行列式因子。定理4等价矩阵具有相同的秩和相同的各级行列式因子。定理5矩阵AGO的Smith标准型是唯一的,并且d")=2(刃,心(2)=-仗=2,3,厂)。(兄)定理6矩阵A(刃与BG)等价的充要条件是它们有相同的行列式因子(或相同的不变因子)。证明:上一个定理的证明给出了几-矩阵的行列式因子与不变因子之间的关系。这个关系式说明行列式因子与不变因子是相互确定的。因此,说两个矩阵有相同的各阶行列式因子,就等于说它们有相同的各级不变因子。必

5、要性己由定理1.2.1给出。充分性显然.事实上,若几-矩阵4(刃与BG)有相同的不变因子,则4(刃与BG)和同一个标准型等价,因而4(刃与*(切等价。证毕。定义6矩阵4(刃的所有非常数不变因子的首项系数为1的不可约因式方幕的全体称为4(刃的初等因子。定理7矩阵4(刃与3(2)等价的充要条件是它们有相同的初等因子,并且秩相等。3Jordan标准型与矩阵可对角化在掌握了久-矩阵的基本概念:行列式因子、不变因子、初等因子基础上我们将进入Jordan标准型与矩阵可对角化理论的核心。3.1对角化的定义及判定定理定义7如果方阵人相似于对角阵,即存在可逆矩阵P和对角阵D,使得A=PDPl,则称A可对角化。定

6、理8(对角化定理)阶矩阵A可对角化的充分必要条件是人有”个线性无关的特征向量。事实上,A=D为对角阵的充分必要条件是P的列向量是A的“个线性无关的特征向量。此时,D的对角线上的元素分别是人的对应于P中的特征向量的特征值。换句话说,A可对角化的充分必要条件是有个线性无关的特征向量形成虻的基,我们称这样的向量为特征向量基。证首先看到,若卩是列为,匕的任一"阶矩阵,D是对角线元素为人,入,人的对角阵,那么(1)(2)4P=人叫,岭,匕=A岭,,AvJPD=PA现在假设A可对角化且A=PDP-',用P右乘等式两边,则有AP=PDO此时由(1)和(2)得刨,化,,Av=乜,人冬,,人匕

7、(3)由列相等,有Av=AAv2=A2v2<-Mv=Avn(4)因为P可逆,故P的列vpv2,.,v必定线性无关。同样,因为这些叫必,匕非零,(4)表示人,入,,人是特征值,叫必,匕是相应的特征向量。这就证明了定理中第一,第二和随后的第三个命题的必要性。最后,给定任意个特征向量叫,冬,,匕,用它们作为矩阵P的列,并用相应的特征值來构造矩阵Q,由(1)(3),等式AP=PD成立而不需要特征向量有任何条件。若特征向量是线性无关的,则P是可逆的,由AP=PD可推出A=PDPlo证毕。3.2Jordan标准型与对角化的关系定义8形如JM人(人)丿的块对角阵为丿姑羽刀型矩阵,并称方阵p.1A(A)

8、-,(j=l,2,:R)为山阶JoMcui块。A注意当Jn()都是一阶Jordan块时,即人(入)=(入),九(入)=(入),厶(4)=(人),有丿为对角阵,由此看出对角阵其实只是Jordan阵的特例。性质1矩阵丿可对角化,当且仅当k=n。性质2Jordan块的个数R(相同的子块计重复出现的次数)是丿的.线性无关特征值向量的个数。定理9两个数字方阵相似的充要条件是它们的特征矩阵等价。定义9称阶数字矩阵人的特征矩阵兄疋-人的行列式因子、不变因子和初等因子为矩阵A的行列式因子、不变因子和初等因子。定理10两个数字方阵和似的充要条件是它们有相同的行列式因子(或不变因子)。定理11复数域上两个数字方阵

9、相似的充要条件是它们有相同的初等因子。注意其实,结合上定理,不难发现初等因子一")"与加阶Jordan块I1、a1I°丿mxm存在一一对应关系。因此可利用特征矩阵的初等因子求矩阵的标准型,即有如下定理:定理lKJordan标准型定理)复数域上任何一个数字方阵A都与一个Jordan型矩阵相似,这个Jordan型矩阵除去其中Jordan块排序外是被A唯一确定的,称它为A的Jordan标准型。证明:设n阶复矩阵人的初等因子为(几一人尸"一人严,"一&严其中人,入,人可能有相同的,指数耳叫叫也可能有相同的。每一个初等因子(几-人)对应于一个Jo

10、rdan块,21(=122)o人(A)三这些Jordan块构成一个Jordan型矩阵,易知,J的初等因子就是仇一材“一入严,"一人严。由于丿与A有相同的初等因子,所以它们相似。假设有另一个Jordan型矩阵K与A相似,那么与A有相同的初等因子,因此,K与丿除了其中Jordan块排序外是相同的,唯一性得证,证毕。4Jordan标准型的性质及应用Jordan标准化的应用是广泛的,下面将利用其给出Hamilton-Cayley定理的证明,并说明其在矩阵分解及在求解线性微分方程组中的应用。4.1Jordan标准型在证明Hamilton-Cay/wy定理中的应用定理13Hamilton-Cay

11、ley)设4是复数域C上任意阶方阵,A的特征多项式为仅刃=|2/-A|,则仪4)=0,其中/为n阶单位矩阵。证明:存在秩为“的阶复方阵P,使P-'AP=J,其中丿是A的Jordan标准型,可以写成J=,其中5代表1或0,因为入,入,人是A的特征值,故久几)=|AIA|=(兄-人)(A-A,)(兄-&)从而A)=(A-V)(A-入/)(A-几丿)=(PJP'叭I)(PJP人I)(PJP入Q=P(J_却)(丿込/).(丿”)严】0j1%-人0§人-人<§人-人丿!5血一&<50,00000-0.*I<50丿利用旳川伽-Cd)屉y

12、定理可以简化矩阵计算。其实,该定理换成线性变换语言为:定理14(关于线性变换的Hamilton-Cayley定理)设V为维复线性空间,T.VV为给定的线性变换,设入,入,九为T的特征值。人=(心)(U为T的特征多项式.令g(7J表示将人(刃中的久用7代替,入用人/代替之后所得到的常系数变换,即g(T)=(T却)(T&Q,则g(C是零算g(C子,即将V中每一个向量都映为零向量:g(T)(A-)=O,VxGV.注意每个特征值人都满足多项式方程ffW=O,Hamilton-Cayley定理则是说卩满足方程fT(T)=O.4.2Jordan标准型在矩阵分解中的应用定理15复数域C上任意阶方阵,

13、都等于两个对称矩阵的乘积,并且其中之一是的非退化的。证明:设A的刀初标准型为八人.则存在P,PApi=J令1Qi=,J>Q与4阶数相同。令faQ=Q1.,kQs)则有Q=0'=Q,J=QJQ.故4=pijp=p'QJQP=pTg(pT)4P0P=(pTgpTj)(4P0P)令B=PQ(Pl)C=APQP,则A=BC其中,B对称且非退化,C为对角阵,这是因为C=P(PA=PQPAP-'P=PQPAP-'P=PQJP=PQJQQP=PJQP=P/(P)Tp0P=APQP=C.定理16设A是数域P上的n阶方阵,能分解成P上一次因子之积,则A=M+N,其中M是幕零

14、阵,N相似于对角阵,且MN=MW。证明(证法一)M4(2)能分解成P上一次因子之积,说明4的/or方刀标准型丿是一个阶方阵(01易是幕零丿姑羽刀块,G是对角阵。设4的阶为k=maxdj;)。则4=PF=pF(3+C)P=P-'BP+P-'CP其中生、b2cB=,c=s丿s/令P-'BP=MFCP=N则0=pTp=p-】oP=O,N相似于对角阵C,且MN=PBPPCP=P-'BCP=P-'CBP=P-'CPP-'BP=NM证毕.证明(证法二)由定理12,存在可逆矩阵P,使4=严"其中J=并且Jm(人)(/=/)是主对角线元为&am

15、p;的件阶Jordan块。(01、令"=丿,”(&)=&£”=./,(j=l,、°丿易知Ni是幕零矩阵,3因而N=P-'P也是幕零矩阵。在令M=PlP,则M相似于对角矩阵,并且M+N=A,MN=NM。注意定理16等价于如下命题:设5是数域P上维线性空间V的线性变换,则5=0+2.其中0是数域上p”维线性空间v的线性变换且是幕零变换,r也是数域p上维线性空间v的线性变换且可对角化,并且(pT=T(p.o4.5Jordan标准型在求解线性微分方程组中的应用例题解线性微分方程组cla.r1=一+a、dtda,AQ=-4a.+3zdtclt解把微分

16、方程组写成矩阵形式竽“,其中da、a'dt<-l101dxda“x=a、,A=-430dtdt4da、102丿JdT_对微分方程组实行一个非奇异线性变换X=PY.其中<010'P:P=021,Y=AJ-11,/A于是得dx-=PAX=PAPY=JYJ=dt其一般解为A=W<p2=c2el+cjd03=Ce,再由X=PY求得原微分方程组的一般解为3=C2et+JJ丨z=2"+c3(2/+1)"-:=ce21-ce1-c3(t+l)ez其中是任意常数。注意解线性微分方程组可以用丿。2匕初标准型來考察.设P是将A化为羽刀型的相似变换矩阵,若我们引

17、进新变量z,P兽APS亦即方程组的矩阵经过了一次相似变换,它现在是A的Jordan标准型。从例题中可以看到,在解决具体问题中不仅要求出Jordan标准型,而且需要求出变换矩阵P。结束语本文主要是对所学矩阵论知识的一个总结与回顾,清楚明了地理解了Jordan标准形的理论和矩阵对角的关系,在矩阵应用中有着很多的作用。但唯一遗憾的是在数值应用方面,儿乎没有用的Jordan标准形一一这限制了其在计算机方面的应用。但是通过以上内容显而易见可以看出在具体问题的求解过程中Jordan标准形依然发挥着简化计算的作用;它在线性微分方程的应用中有着很大的作用。尽管限制了其在计算机方面大应用,Jordan标准型还是

18、值得继续研究的,我们也将其更加深刻地认识到:在线性代数的理论体系下最深刻的概念之一矩阵的/"d创?标准型只不过是包含该矩阵的GL(n,刀啾道的某一最简单的表示。这一更深刻的认识涉及到群表示理论。总之,在探寻/由力标准型与矩阵可对角化的关系中,我们认识到了认识是无止境的这一哲学命题,我们也有理由相信还有更加美妙的结果在等待着我们去发现。正因为线性微分方程组的此类解法的加入,无疑大大的扩展了,线性微分方程组的应用领域!与此同时线性微分方程组的适用领域的扩大,也让人们对于矩阵Jordan标准型的研究发展,我们也能从这些探究中获得学习数学的乐趣。参考文献11北京大学数学系儿何与代数教研室代数小组,高等代数(第二版)M,北京,高等教育出版社,1998.2 徐立炜,赵礼峰,矩阵论M,北京,科学出版社,2011.3 钱吉林,高等代数解题精粹(第二版)M,北京,中央民族大学出版社,2002.4 DavidCLay,LinearAlgebraandItsApplications(Third

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论