您好,欢迎访问三七文档
当前位置:首页 > 商业/管理/HR > 质量控制/管理 > 矩阵对角化方法探讨99
安阳师范学院第1页矩阵对角化方法探讨摘要:本文利用矩阵的相关知识,研究了矩阵可对角化的若干方法.关键词:可对角化;对角化方法;特征值;特征向量1引言形式最简单的矩阵就是对角阵.矩阵对角化使矩阵论的重要组成部分,在矩阵论中占有重要的作用,研究矩阵对角化问题很有实用价值,矩阵对角化是线性变换和化二次型到主轴上问题中经常遇到并需要解决的一个关键问题,然而并非任何一个n阶矩阵都可以对角化.本文利用矩阵的相关知识,如矩阵秩的知识,矩阵乘法原理,对一些理论进行应用和举例,介绍了矩阵对角化的四种方法,分别是一般方法;用矩阵初等变换将矩阵对角化的方法;利用矩阵乘法运算,探讨矩阵对角化的方法;利用循环矩阵的性质寻找矩阵对角化的方法.2基本定义定义1设A是n阶方阵,如果存在数和n维非零向量x,使得Axx则称是矩阵A的一个特征值,x是A的属于的一个特征向量.定义2设Aija为n阶方阵,称行列式1111detnnnnaaAIaa为A的特征多项式,记为F,而称0F为A的特征方程.定义3n阶方阵A称为可逆的,如果存在n阶方阵B,使得ABBAI,其中I是n阶单位矩阵.定义4设A,B是n阶方阵,若存在n阶可逆矩阵P,使得1PAPB,则称A与B相似,B称为A的相似矩阵.定义5如果数域P上,对n级矩阵A存在一个可逆矩阵T使1TAT为对角形矩阵,则称矩阵A在数域P上可对角化;当A可对角化时,我们说将A对角化,即指求可逆矩阵T使1TAT为对角形矩阵.3矩阵对角化的几种方法3.1一般方法安阳师范学院第2页3.1.1几个定理定理11n阶方阵A相似于对角矩阵的充分必要条件是A由n个线性无关的特征向量,且当A相似于对角矩阵时,的主对角线元素就是A的全部特征值.推论1方阵A相似于对角矩阵的充分必要条件是A的属于每个特征值的线性无关的特征向量个数正好等于该特征值的重数.定理12如果n阶方阵A有n个互不相同的特征值(即A的特征值都是单特征值),则A必相似于对角矩阵.3.1.2求n阶方阵的特征值与特征向量的一般步骤.第一步:计算特征多项式AI第二步:求出特征方程AI0的全部根12,,,n(重根按重数计算),则12,,,n就是A的全部特征值.如果i为特征方程的单根,则称i为A的单特征根;如果i为特征方程的k重根,则称i为A的k重特征值,并称k为i的重数.第三步:对A的相异特征值中的每个特征值i,求出齐次线性方程0iAIx的一个基础解系12,,,iiiik,则12,,,iiiik就是对应于特征值i的特征空间的一个基,而A的属于i的全部特征向量为x1ic122iiiiiikikcc(其中12,,iiiikccc为不全为0的任意常数)3.1.3如果n阶方阵A相似于对角矩阵,则A的相似对角化的一般步骤如下:第一步:求出A的全部特征值12,,,n;第二步:对A的相异特征值中的每个特征值i,求出齐次线性方程组0iAIx的一个基础解系,将所有这样的基础解系中的向量合在一起,假定这样的向量共有n个,它们就是A的n个线性无关的特征向量12,,,n;第三步:令矩阵P=12,,,n,则有1PAPdiag12,,,n,其中i是属于特征值i的特征向量1,2,,in.注意P的列向量的排列次序于与对角矩阵的主对角线元素的排列次序相一致.如图1所示:安阳师范学院第3页图1n阶方阵A的相似对角化过程3.1.4应用实例例1设矩阵A=3221423kk当k取何值时,A相似于对角矩阵?在A可对角化时,求可逆矩阵P,使1PAP成对角矩阵.解先求A的特征值,由IA=3221423kk31cc12201123k=122101123k13rr122101001k=2110,安阳师范学院第4页得A的全部特征值为1231,1.A只有一个重特征值-1,故由定理1的推论,A可对角化属于2重特征值-1的线性无关特征向量正好有2个齐次线性方程组0IAx的基础解系含2个解向量32rIA1,rIA而矩阵42242200422000IAkkkk的秩为1当且仅当0k,故当且仅当0k时A可对角化.当0k时,矩阵A为A=322010423.计算可得A的对应于特征值121的线性无关特征向量可取为121,2,0,1,0,2TT,对应于31的特征值的特征向量可取为31,0,1T.故所求的可逆矩阵可取为P12111,,,200021n,它使得1PAPdiag1,1,1.注:当nnA有n个互不相同的特征值时,A必可对角化;当A有重特征值时,A可对角化A的属于每个重特征值的线性无关特征向量的个数正好等于该特征值的重数对于A的每个重特征值i(设i的重数为ik),矩阵iIA的秩为ink.32用矩阵初等变换将矩阵对角化的方法3.2.1理论依据若矩阵A在数域P上可对角化,则有P上可逆矩阵T使1TATB为对角形矩阵.于是B的主对角线上的元素为A的全体特征值,并且可表示为T12SQQQ,其中iQ为初等矩阵,1,2,,is.于是,B11111ssQQQA12SQQQ,又1iQ也是初等矩阵,由初等矩阵与矩阵的初等变换的关系,即知111QAQ相当于对A施行了一次初等行变换与一次初等列变换.这里,我们称此安阳师范学院第5页种初等变换为对A施行了一次相似变换.显然,可对A施行一系列的相似变换化为B.又由TI12SQQQ(注:此处I表单位矩阵)可如下进行初等变换,则可将A化为对角形矩阵B,且可求得:TAI对A施行一系列相似变换BT,对I只施行相应的初等列变换.当A不可对角化时,也可经相似变换化简A后,求得其特征值,判定它可否对角化.类似地,可由1T11111ssQQQI,做如下初等变换,则可将A化为对角形矩阵B,且可求得T或由B求A的特征值,判定A可否对角化:AI对A施行一系列相似变换B1T,对I只施行相应的初等行变换.并且在施行相似变换时,不必施行一次行变换后接着施行一次列变换这样进行,可施行若干次行(或列)变换后再施行若干次相应的列(或行)变换,只要保持变换后,最后所得矩阵与A相似即可.3.2.2用初等变换将矩阵对角化的方法1有n个特征单根的n阶可对角化矩阵的对角化方法引理1设A是秩为r的nm阶矩阵,且nmmmAI列初等变换nrnmrmmrBOP其中B是秩为r的列满秩矩阵,则矩阵P所含的mr个列向量就是齐次线性方程组0Ax的一个基础解系.证明设P12,,,rrmPPP,对A施以列的初等变换相当于右乘一mm阶初等矩阵.设0,BAP其中P是一个mm阶可逆矩阵,P是一个mmr阶矩阵,令1,2,,rkPkmr是矩阵P的列向量.由1,2,,rkPkmr线性无关,且0,AP所以,1,2,,rkPkmr是方程0Ax的mr个线性无关的解向量.又A的秩为r,则上述的mr个向量正是该齐次线性方程组的一个基础解系.引理22-矩阵fIA经列的初等变换可化为下三角的-矩阵B,且B的主对角线上元素乘积的多项式的根恰为A的所有特征根.引理33令A是数域P上一个n阶矩阵,如果A的特征多项式在P内有n个单根,那么安阳师范学院第6页由特征列向量构成的n阶可逆矩阵T,使121nTAT.定理1如果数域P上的n阶矩阵A的特征多项式F在P内有n个单根,则A可通过如下步骤对角化:设fIA,且BfPI列初等变换.其中B为下三角矩阵,则B主对角线上全部元素乘积的多项式的全部特征根为A的全部特征根,对A的每一特征根i,iB中零向量所对应的iP中的列向量是属于i的全部线性无关的特征向量.把属于i的特征向量作为列向量组合构成矩阵T,使121nTAT.证明易知iB中非零向量的列构成列满秩矩阵,由引理1,2及引理3知结论成立.例1设A=142034043.问A是否可对角化?若A可以对角化,求可逆矩阵T,使得1TAT成对角形.解142034043100010001fI列初等变换2004114132131002010121安阳师范学院第7页2200448031111250222204411913BP.由0B解得A的特征值1231,5,5,此时3阶矩阵A有3个不同的单根,故可对角化.当11时,1B的零向量对应1P中的列向量1,0,0T是属于1的特征向量.同理可知A的属于235,5的特征向量分别是2,1,2T和1,2,1T,可得121012021T,使得1155TAT.2有重特征根的可对角化矩阵的对角化方法对存在重特征根的矩阵同样可用上述方法,只是此时iB中非零向量可能不构成列满秩矩阵,需将上述方法加以改进.我们先看引理4设A是数域P上一个n阶矩阵,A可对角化的充要条件是iA的特征根都在P内;ii对于A的每一特征根,秩IAns,这里s是的重数.再由引理2,可知要判断A是否可对角化只需考察iB的秩,并可得对角化步骤如下:定理2设fIA(A是数域P一个n阶矩阵),则BfPI列初等变换,其中B是下三角矩阵,且B主对角线元素乘积而得的多项式的根恰为A的特征根.i若A的特征根都在P内,A可对角化的充要条件是:对A的每一特征根i,秩iBns,这里s是i的重数;ii若A可对角化,对A的每一特征根i,若iB中非零向量构成列满秩矩阵,则iB安阳师范学院第8页的零向量对应的iP中的列向量是属于i的全部线性无关的特征向量,可组合而得T,使1TAT成对角形.否则继续施以列的初等变换:iiiiBBpP列初等变换,使iB中非零向量构成列满秩矩阵,由iP可得属于i的全部线性无关的特征向量.证明由引理1,引理2的证明及引理4可得.例2设(1)100211,001A(2)321222.361B问A,B是否可对角化?若可以对角化,求可逆矩阵T,使1TAT成对角形.解12100100211210001011100100010001001011fIBP,得A的特征根11(二重根),21.
本文标题:矩阵对角化方法探讨99
链接地址:https://www.777doc.com/doc-7446924 .html