矩阵可对角化的总结_精品文档.doc
- 文档编号:966909
- 上传时间:2022-10-14
- 格式:DOC
- 页数:15
- 大小:547KB
矩阵可对角化的总结_精品文档.doc
《矩阵可对角化的总结_精品文档.doc》由会员分享,可在线阅读,更多相关《矩阵可对角化的总结_精品文档.doc(15页珍藏版)》请在冰豆网上搜索。
矩阵可对角化的总结
莆田学院数学系02级1班连涵生21041111
[摘要]:
主要讨论n级方阵可对角化问题:
(1)通过特征值,特征向量和若尔当标准形讨论方阵可对角化的条件;
(2)实n级对称矩阵的可对角化讨论;(3)几个常见n级方阵的可对角化讨论。
[关键词]:
n级方阵;可对角化;相似;特征值;特征向量;若尔当标准形;n级实对称矩阵
说明:
如果没有具体指出是在哪一个数域上的n级方阵,都认为是复数域上的。
当然如果它的特征多项式在某一数域上不能表成一次多项式的乘积的话,那么在此数域上它一定不能相似对角阵。
只要适当扩大原本数域使得满足以上条件就可以。
复数域上一定满足,因此这样假设,就不用再去讨论数域。
引言
所谓矩阵可对角化指的是矩阵与对角阵相似,而说线性变换是可对角化的指的是这个线性变换在某一组基下是对角阵(或者说线性变换在一组基下的矩阵是可对角化的),同样可以把问题归到矩阵是否可对角化。
本文主要是讨论矩阵可对角化。
定义1:
设A,B是两个n级方阵,如果存在可逆矩阵P,使P-1AP=B,则称B与A相似,记作A~B。
矩阵P称为由A到B的相似变换矩阵。
定义2:
设A是一个n级方阵,如果有数和非零向量X,使AX=X则称是矩阵A的特征值,X称为A的对应于的特征向量,称为矩阵对应于特征值的特征子空间。
定义3:
设A是数域上一个n级方阵,若多项式,使则称为矩阵A的零化多项式。
定义4:
数域上次数最低的首项为1的以A为根的多项式称为A的最小多项式。
一、首先从特征值,特征向量入手讨论n级方阵可对角化的相关条件。
定理1:
一个n级方阵A可对角化的充要条件它有n个线性无关的特征向量。
证明:
必要性:
由已知,存在可逆矩阵P,使
即
把矩阵P按列分块,记每一列矩阵为即
于是有
=,
即
于是有。
由特征值,特征向量定义,表明P的每一列都是A的特征向量,因为P是可逆的,因此是A的n个线性无关特征向量,其中为A的特征值。
充分性:
若A有n个线性无关的特征向量则有,其中是对应于特征向量的A的特征值。
以为列作矩阵,因为线性无关,所以矩阵P是可逆的。
由
=
==
则有即A与对角矩阵相似
从以上证明中可知:
(1)与矩阵A相似的对角矩阵主对角线上的元素是A的特征值,而相似变换矩阵P的列是A的n个线性无关特征向量。
(2)在主对角线上的次序应与其对应的特征向量在P中的次序相对应,如果的次序改变,那么在P中的次序也要作相应的改变。
但这时P就不是原来的P了。
因此相似变换矩阵不是唯一的。
若不计的排列顺序,则对角矩阵是唯一的,称它为A的相似标准形。
由相似是一种等价关系知:
与A相似的矩阵都有相同的相似标准形。
定理2:
矩阵A的属于不同特征值的特征向量是线性无关的。
由此给出了一个推论:
n级方阵可对角化的充分条件A有n个互不相同的特征值。
证明:
由定理1及定理2可得。
但这个推论的逆不成立。
例如:
n级单位阵E,显然它是可对角化的,但它的特征值为1(n重根)。
那我们要问若有重根时,要满足什么条件才可对角化?
定理3:
阶矩阵可对角化的充要条件是:
的每个特征值对应的特征向量线性无关的最大个数等于特征值的重数(即的每个特征子空间的维数等于特征值的重数)
这个定理又可以这样叙述:
矩阵的每个特征值的代数重数等于对应子空间的(几何)重数。
引理1:
如果是矩阵的不同特征值,而是属于的线性无关的特征向量,那么向量组也线性无关。
即:
给出一个级矩阵,求出属于每个特征值的线性无关向量,把它们合在一起也是线性无关的。
引理2:
设是阶矩阵的一个重特征值,对应于的特征向量线性无关的最大个数为,则。
证明:
反证法。
设,
由已知。
(1)
线性无关。
将扩充为维向量空间
的一组基:
其中一般不
是的特征向量,但,可用上述的一
组基线性表示,即
其中
(2)
用矩阵可表示为:
(3)
记则是可逆的。
因此上式可表为
根据相似矩阵有相同的特征多项式,得
(4)
令是的次多项式,由(4)式知
至少是的()重特征值。
与为的重特征值,矛盾,所以。
由上面的两个引理作基础,下证定理3:
证明:
不妨设其中
又。
(在复数域中)
充分性:
由于对应于的特征向量有个线性无关,又个特征值互异。
由引理1知有个线形无关的特征向量,依据定理1,与对角阵相似。
必要性:
用反证法:
设有一个特征值所对应的线性无关的特征向量的最大个数的重数为,则由引理2知,
的线性无关的特征向量个数小于,故不能对角化,与题设矛盾,假设不成立。
即的每个特征值对应的特征向量线性无关的最大个数等于特征值的重数。
推论:
级方阵可对角化的充要条件是对于的每一个特征根,有秩,其中是的重数。
证明:
的解空间的维数等于特征值的重数即维(由定理3知)。
又维秩。
所以,秩成立。
以上给出的可对角化的几个条件都是以特征值,特征向量为基础。
其中条件1(也是定理1)是最基础的,可以把它看作是矩阵可对角化的实质。
其它条件都是它的扩展。
下面我们用矩阵及若尔当标准形来讨论矩阵可对角化。
定理4:
复数域上每一个阶矩阵都与一个若尔当标准形相似。
这个若当形矩阵除去其中若当块的排列次序外是被矩阵唯一决定的。
它称为的若尔当标准形。
由相似是一个等价关系知,与相似的矩阵都有相同的若尔当标准形。
从这个意义上讲,我们可以把级方阵划分为以若当标准形为代表元素的等价类。
等价类中的每个元素是相似的。
由若尔当标准形的构造知,它包含对角形矩阵为它的特殊情况。
那么当它满足什么条件时,一个若尔当标准形是一个对角矩阵,也就是可对角化的条件。
由于每个初等因子对应一个若当块,例如初等因子为,那它对应的若当块为,
而若当形矩阵是由这样的若当块组成的。
例:
,所以如果每一个若当块都是1阶,那么,这个若当形矩阵J就成了对角阵,那么与之对应的初等因子都是一次的。
由上面讨论给出矩阵可对角化的几个条件:
定理5:
n级方阵可对角化的充要条件它的初等因子都是一次的。
推论1:
n级方阵可对角化的充要条件它的不变因子无重根。
推论2:
n级方阵可对角化的充要条件它的最小多项式无重根。
这三个充要条件充分利用了不变因子,初等因子及最小多项式之间的关系,但在具体的解题过程中很少直接去求不变因子和初等因子,一般情况下是通过求最小多项式来解题的。
例:
由最小多项式的定义知,对于任一个零化多项式都满足,表示矩阵A的最小多项式。
因此若无重根,则一定无重根。
当然这只是一种方法。
由此给出推论3:
n级方阵可对角化的充分条件是它的零化多项式无重根。
由哈密尔顿—凯莱定理知,特征多项式是一个零化多项式。
推论4:
n级方阵可对角化充分条件特征多项式无重根。
以上讨论的这些n级方阵可对角化的条件是相对比较常见到的。
二、n级实对称矩阵的可对角化讨论。
前面我们讨论了n级方阵可对角化条件,同时也看出不是任何矩阵都与对角阵相似,但实用中很重要的一类矩阵—n级实对称阵一定可对角化,而且对于任一个实对称阵A,存在正交矩阵T,使T-1AT为对角阵。
即n级实对称矩阵存在n个线性无关的正交特征向量。
定理5:
n级实对称矩阵A,B,若A与B相似,则A与B合同。
证:
A与B相似,那么它们有相同的特征值,设为
由A,B为n级实对称矩阵知,特征值全为实数,且存在正交矩阵P,Q,使
,
,
则
即。
由于正交矩阵的逆、乘积还是正交矩阵,因此为正交矩阵。
则且
即A与B是合同的。
一般情况下相似与合同是没有什么关系,但是如果是实对称阵的话,合同是包含相似的。
三、几种常用矩阵的对角化问题讨论
1、非零幂零矩阵一定不可对角化。
证:
设非零幂零阵A,幂零指数为m。
1)A的特征值全为0。
设为A的特征值,是属于的特征向量。
即,则,又由知
(),即A的特征值全为0。
2)若可对角化,则存在可逆阵,使
与矛盾。
综上所述,非零幂零矩阵一定不可对角化。
推论:
幂零阵若可对角化,则它一定是零矩阵。
2、对合矩阵一定可对角化。
设为对合阵,则。
方法1:
若有个线性无关特征向量,由定理1命题成立。
证:
1)的特征值只有和
设为的特征值,为属于的特征向量。
,又
得,移项得
即。
2)有个线性无关的特征向量
由已知秩秩。
对特征值,齐次线性方程组。
有个无关特征向量。
对特征值,齐次线性方程组。
有个无关特征向量。
再因为属于不同特征值特征向量线性无关,所以,有
个无关特征向量。
从而可对角化。
若秩,则的相似对角阵为
方法二:
利用最小多项式无重根。
令,,则为零化多项式。
又无重根,由,知无重根,从而可对角化。
又的特征值只有和。
从而相似对角阵为
其中维,表示特征值1的特征子空间。
3、幂等矩阵一定可对角化。
设幂等矩阵,满足。
幂等矩阵对角化讨论与对合矩阵对角化讨论类似,同样可以用两种方法进行讨论,且的特征值只有1和0,从而,它的相似对角阵为。
其中秩。
当时,它相似对角阵为单位阵E,从而存在可逆阵,使,。
也就是说,可逆幂等矩阵是单位矩阵。
致谢
首先,感谢系里给我们开设“高等代数选讲”及“数学分析选讲”这两门专业选修课。
让我们对数学的基础课程有了更进一步的理解,更为我们有准备考研的同学创造了良好的条件。
在此,特别感谢(杨忠鹏)老师授课,使我们进一步打好高等代数的基础知识,进一步理清高等代数的结构。
本文主要根据自己的理解从理论上总结有关矩阵可对角化问题,缺少实例应用,而且还存在很多不足之处,望教师给予指出,我将努力更正。
也向所有给予本论文关心,支持与提供宝贵意见的教师,同学表示衷心的感谢。
参考文献
[1]《高等代数》第二版北京大学高等教育出版社
[2]《高等代数》姚慕生编著复旦大学复旦大学出版社
[3]《高等代数》张禾瑞、郝鈵新编第四版高等教育出版社
[4]《线性代数》居余马等编清华大学出版社
[5]《高等代数辅导及习题精解》滕加俊等编陕西师范大学出版社
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 矩阵 角化 总结 精品 文档