a-矩阵(简化)

  • 格式:doc
  • 大小:237.50 KB
  • 文档页数:4

-λ矩阵是普通矩阵的一种推广,引入它的目的主要是为了研究矩阵在相似变换下的化简问题.作为
简介,讲解内容在教材基础上作了归纳、简化.
本章内容几乎涉及了高等代数的各个部分,通过特征多项式、最小多项式、不变因子、初等因子之间的密切关系,把它们与矩阵的相似问题联系起来. 一、基本概念
1.定义:-λ矩阵()
)(,)
()(λλλij n
s ij a a A ⨯=是λ的多项式 (区别:数字矩阵()ij n s ij a a A ,⨯=是数)
例如:特征矩阵A E -λ (反例:元素不是λ的多项式) 2.运算:1)加(减)法;2)乘法;3)数乘;4)行列式. ――与数字矩阵性质相同. 3.可逆-λ矩阵
1)定义:方阵)(λA 可逆E A B B A st B ==∃⇔)()()()(.),(λλλλλ(单位矩阵,与λ无关!)
⎪⎪⎭
⎫ ⎝⎛----=⎪⎪⎭

----1211211
λλλλλλλλ 2)判定:方阵)(λA 可逆⇔行列式0)(≠=a A λ(常数a 与λ无关!) 证明:)(λA 可逆1)()()()(==⋅⇒=⇒E B A E B A λλλλ.
)(,)(λλB A 是多项式,故只能取常数(设为b a ,)
,则01≠⇒=a ab . 反之,由行列式性质,a A A aE E A A A /)()()()()(1λλλλλ*-*=−−→−==定义. 例:
01121≠=---λλλλ,可逆. 0002≠=λλλ,但不可逆;⎪⎪⎭
⎫ ⎝⎛λλ/100/1不是-λ矩阵. 二、-λ矩阵的标准形
1.-λ矩阵的初等变换(本章的主要工具) [定义] 初等变换的三种类型
1)对换两行(列);2)某行(列)0,≠⨯c c 与λ无关;3)j i +⨯)(λϕ(注意:是多项式) [说明] 在这三种初等变换下,可以定义相应的三种初等矩阵,用于表示初等变换的过程(比如行变换相当于左乘.结论与数字矩阵一样);类型2)要求是非零常数,目的就是为了保证可逆性. 2.等价:)()(λλB A −−−→−初等变换
――性质:等价⇔存在可逆-λ矩阵)()()()(.).(),(λλλλλλB Q A P st Q P = 3.标准形:(比较:数字矩阵的标准形)
[定理]任何⎪⎪⎪
⎪⎪
⎪⎭

⎝⎛−−−→−00)()()(1 λλλr d d A 初等变换,且1,,2,1),(|)(1-=+r i d d i i λλ(“首一”) ――以上满足整除关系的对角形称为标准形:1)唯一;2)不变因子)(,),(1λλr d d .
例:⎪⎪⎭

⎝⎛+λλ001不是标准形.怎么化? 三、不变因子
1.定义:1)标准形的对角元;2)首一多项式(必非零);3)前式整除后式
2.求法:化为标准形.注意必须满足“前式整除后式”. 【本章重点】 【化简原则】简单行上升,矩阵化简过程用→;对角形必须前式整除后式!
3.特例:方阵A 的不变因子A E -=λ的不变因子.(不是其他)(λA 的不变因子)
4.定理:数字矩阵B A ,相似B A ,⇔有相同的不变因子B E A E --⇔λλ,等价.
【注】直接处理矩阵的相似关系是比较困难的,本章把相似关系转化为等价关系来处理,即把矩阵的相似转化为他们的特征矩阵的等价,而等价关系可以使用初等变换来研究,这样问题就变得比较具体了.这也是引入-λ矩阵的主要目的.
5.结论:A A E n =-λ的n 个不变因子的乘积.
350P )⎪⎪⎭

⎝⎛-----=411301621A ,求不变因子.
解:化简原则:简单行上升,矩阵化简过程用→;对角形必须前式整除后式!
⎪⎪⎪⎭
⎫ ⎝⎛--→−−−→−
-2)1(11350λλλP A E 初等变换
,不变因子2
)1(,1,1--λλ.
⎥⎥
⎥⎦
⎤⎢⎢⎢⎣⎡----=⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡-=⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡-----=111012023
,100110010,411301621C B A .
解法:先考虑相似的必要条件:有相同的特征值/行列式/秩/迹(迹一目了然)
C B A ,,的迹分别是3,2,3,故B A ,及C B ,必不相似.但C A ,可能相似,进一步判定如下:
⎥⎥⎥⎦
⎤⎢⎢⎢⎣⎡--→-⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡--→⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡---+=-22)1(00010001
,)1(0001000141131621λλλλλλλλλC E A E
可见C A ,有相同的不变因子2
)1(,1,1--λλ,所以两者相似. 四、初等因子
初等因子比不变因子难理解,但理论价值大(若当形),值得学习
.
1.定义:在复数域上把不变因子分解成互不相同的一次..因式的方幂的乘积,则初等因子=所有这些一次..因式的方幂(相同的按次数计算). 【初等因子主要指A 的,也可推广为)(λA 的.】 【区别】次数:初等因子1≥,不变因子0≥. 12阶矩阵A 的不变因子为
2
2
2
2
2
9
)1)(1()1(),1()1(,)1(,1,,1,1++-+--λλλλλλ
则A 的初等因子有7个: 2
22
3
222)(,)(,1,1,)1(,)1(,)1(i i +-++---λλλλλλλ
反之,上例,如果已知初等因子,如何求不变因子?
――分析(343P ),可把同一个一次因式对应的初等因子按降幂排列,即 ,)1(,)1(,)1(222---λλλ1,1,……,1 (不足补1,凑成12=n 个) 1,
1++λλ, 1, 1,1,……,1
2)(i -λ, 1, 1, 1,1,……,1 2)(i +λ, 1, 1, 1,1,……,1 再从上到下依次相乘,即得不变因子:
,111)1()(,11)1()1()(,))()(1()1()(210211212⋅⋅⋅-=⋅⋅+-==+-+-=λλλλλλλλλλd d i i d 1)()(19===λλd d
以上方法说明了不变因子相同相当于初等因子相同,于是有:
2.定理:数字矩阵B A ,相似B A ,⇔有相同的不变因子B A ,⇔有相同的初等因子.
3.求法:(初等因子的求法反而比不变因子的简单)【本章重点】
――当然按定义求初等因子必须已知不变因子的.初等因子的一般求法是:
[定理]特征矩阵−−−→−-初等变换
A E λ对角形(注意:未必是标准形!),再把对角元分解成互不相同的一.次.因式的方幂的乘积,则所有这些一次..
因式的方幂(相同的按次数计算)就是A 是全部初等因子.
⎪⎪⎪⎭

⎝⎛--−−−→−-)2)(1(112λλλ初等变换
A E 则 不变因子:)2)(1(,1,12
--λλ;初等因子:2,1,1-+-λλλ. 求⎪
⎪⎭

⎝⎛-1002λλ
的不变因子、初等因子. 解法1 不是标准形,先化为标准形:⎪⎪⎭
⎫ ⎝⎛-→→⎪⎪⎭⎫
⎝⎛-λλλλ32001100 不变因子:)1(,12-λλ;初等因子:1,1,-+λλλ.
解法2 是对角形,直接求初等因子1,1,-+λλλ;再得不变因子)1(,12
-λλ. 五、若当标准形
1.若当块:r
J ⎪⎪⎪⎪
⎭⎫
⎝⎛=000011λλλ 利用行列式因子,可求得不变因子:r
)(,1,,1,10λλ- ;初等因子:r
)(0λλ-.
2.若当形:⎪
⎪⎭⎫ ⎝
⎛=S J J J 1,J 的初等因子=全体i J 的初等因子.
3.若当标准形
1)定理:每个复数方阵都相似于某个若当形矩阵.
――这个若当形除去若当块的排列顺序外是唯一确定的,称为若当标准形. 2)求法:若当标准形↔若当块↔--r ,0λ初等因子r )(0λλ-【本章重点】 3)化简原则:简单行上升.矩阵化简过程用→ 4)易错点:避开特征值方法.
350P )⎪⎪⎭

⎝⎛-----=411301621A ,求不变因子、初等因子、若当标准形.
解:⎩

⎧→→→→→→→→−−−→−-若当标准形若当块不变因子初等因子对角形若当标准形
若当块初等因子不变因子标准形初等变换A E λ
不变因子2
)1(,1,1--λλ;初等因子2
)1(,1--λλ;若当标准形⎪
⎪⎭

⎝⎛
1111. 2005】设矩阵⎪⎪⎪


⎝⎛=20340551a A 有一个二重特征值
①试求A 的最小多项式与Jordan 标准形;②确定A 相似于对角矩阵的充要条件.
[解法]二重特征值是1或3.对应的情形是1=a ,1)(=-A E r ,⎪⎪⎪⎭⎫
⎝⎛=511J ;或31
-=a ,2)3(=-A E r ,⎪⎪⎪


⎝⎛=3131J .注意最小多项式等于所有若当块对应的最小多项式的最小公倍
式,分别是)5)(1(--λλ与2
)3)(1(--λλ;也可直接由特征多项式的因式求得. ②由①的求解过程可知,条件是1=a . *六、有理标准形 1.有理标准形
2.定理:在数域P 上,每个方阵都相似于唯一的有理标准形.
3.求法:P354
【本章重点】不变因子、初等因子、若当标准形的求法以及相似的判定.。