§1.有理标准型
思想:数域 F上的n阶矩阵的相似等价类由矩阵的不变因子或者初等因子确定,我们
可以利用初等因子在每个相似等价类中找一个形式简单的代表矩阵。
Def
Def 设
f(λ)=λn+b1λn−1+...+bn−1λ+bn∈F[λ]
称n阶方阵
A=⎛⎜
⎜
⎜
⎜
⎜
⎜⎝00...0−bn10...0−bn−101...0−bn−2...............0......1−b1⎞⎟
⎟
⎟
⎟
⎟
⎟⎠
为多项式f(λ)的伴侣矩阵或友阵(companionmatrix/rationalblock)
例1 矩阵A的特征多项式
fAλ=|λEn−A|=∣∣
∣
∣
∣
∣∣λ0...0bn−1λ...0bn−1...............00...λb200...−1λ+b1∣∣
∣
∣
∣
∣∣=(λ+b1)λn−1+b2∗(−1)n−1+n∣∣
∣
∣
∣
∣∣λ−1λ...−1λ0−1∣∣
∣
∣
∣
∣∣+...+bn∗(−1)1+n∣∣
∣
∣
∣∣−1λ...0...−1λ−1∣∣
∣
∣
∣∣=f(λ)
例2 矩阵A的极小多项式
Claim mA(λ)=fA(λ)=f(λ) 或者说任意deg<n的多项式都不能零化矩阵。(⟺En,A,A2,...,An−1线性无关,A∈Mn(F))
Proof 令ϵ1,ϵ2,...,ϵn是Fn的标准单位向量,
则A(ϵi)=ϵi+1,1≤i≤n−1
设k0,k1,...,kn−1∈F满足k0ϵ1+k1ϵ2+...+kn−1ϵn=0
那么(k0E+k1A+...+kn−1An−1)ϵ1=k0ϵ1+...+kn−1ϵn=0
则k0=k1=...=kn−1=0必然成立,线性无关得证。
所以mA(λ)=f(λ)
例3 矩阵A的行列式因子和不变因子
需要注意的是,A已经存在了一个行列式为(−1)n−1+2+1的n−1阶子式,故行列式因子
D1(λ)=D2(λ)=...=Dn−1(λ)=1,Dn(λ)=f(λ)
不变因子
d1(λ)=...=dn−1(λ)=1,dnλ=f(λ)
Thm
Thm 设A∈Mn(F),则A一定相似于对角块为友阵的准对角块。特别地,若g1(λ),...,gt(λ)是λ的所有初等因子,则A与N相似,
其中,N=⎛⎜⎝N1...Nt⎞⎟⎠,Ni是gi(λ)的友阵
并且,在不计对角块顺序的情况下唯一。
证明:
点击查看证明
只需要证明A与N相似⟺N的初等因子为g1(λ),...,gt(λ)
设ni=deggi(λ)⇒Ni∈MNi((F))
λEn−N=⎛⎜⎝λEn1−N1.........λEnt−Nt⎞⎟⎠
由Ni是gi(λ)的友阵知Ni的不变因子为1,1,...,1,gi(λ)(包含了ni−1个1)⇒
λEni−Ni与⎛⎜⎝1.........gi(λ)⎞⎟⎠相抵 ⇒
∃Qi(λ),Pi(λ)可逆s.t.Pi(λ)(λEni−Ni)Qi(λ)=⎛⎜⎝1...gi(λ)⎞⎟⎠
则令
P(λ)=⎛⎜⎝P1(λ)...Pt(λ)⎞⎟⎠Q(λ)=⎛⎜⎝,Q1(λ)...Qt(λ)⎞⎟⎠
由已知P(λ),Q(λ)必然可逆,则
P(λ)(λEn−N)Q(λ)=⎡⎢
⎢
⎢
⎢
⎢
⎢
⎢
⎢
⎢
⎢
⎢⎣⎛⎜⎝1...g1(λ)⎞⎟⎠...⎛⎜⎝1...gt(λ)⎞⎟⎠⎤⎥
⎥
⎥
⎥
⎥
⎥
⎥
⎥
⎥
⎥
⎥⎦≜B(λ)
即λEn−N与B(λ)相抵(⟺)⇒有相同的初等因子。
而B(λ)的初等因子为g1(λ),...,gt(λ)的准素因子,
且
gi(λ) 是 A 的准素因子 ⇒B(λ)的初等因子就是g1(λ),...,gt(λ)
⇒N与A有相同的初等因子⇒相似
Def
Def 称N为A的有理标准型/Frobenius标准型。
RK
RK A∈Mn(F)
(1)Dn(λ)=fA(λ)(2)A的所有不变因子的积为fA(λ)(3)A的初等因子之积为fA(λ)(4)A的第n个不变因子为A的极小多项式
Thm
Thm $A\in M_n(\mathbb{F}),d_n(\lambda)是A的第n个不变因子,则m_A(\lambda)=d_n(\lambda).
Cor
Cor 设A∈Mn((F))\subseetMn(R),设m1(λ)为A作为F上矩阵的极小多项式,m2(λ)为R上的,则m1(λ)=m2(λ).
证明:
点击查看证明
设g1(λ),...,gt(λ)是A的所有的初等因子⇒[g1(λ),...,gt(λ)]=dn(λ).由有理标准型,A与N相似,N=⎛⎜⎝N1...Nt⎞⎟⎠,Ni为gi(λ)的友阵。⇒mA(λ)=mx(λ)=[mN1(λ),...,mNt(λ)]=[g1(λ),...,gt(λ)]
§2 Jordan标准型(R上)
Def
Def
设k∈C,称如下形式的矩阵Jn(k)≜⎛⎜
⎜
⎜
⎜
⎜
⎜
⎜
⎜⎝k1k1k...k1k⎞⎟
⎟
⎟
⎟
⎟
⎟
⎟
⎟⎠∈Mn(C)或其转置矩阵为一个n阶Jordan块.称对角线为Jordan块的准对角为Jordan块的准对角线矩阵为一个Jordan矩阵,并且其中每一个Jordan块的形式是相同的.
例3 Jn的行列式因子和初等因子
λEn−Jn(k)=⎛⎜
⎜
⎜
⎜
⎜
⎜
⎜
⎜⎝λ−k−1λ−k−1...λ−k−1λ−k⎞⎟
⎟
⎟
⎟
⎟
⎟
⎟
⎟⎠注意到有一个行列式绝对值为1的n−1阶子式⇒Dn−1(Jn(k))=1Dn(Jn(k))=(λ−k)N⇒Jn(k)的初等因子为(λ−k)n
Thm
Thm C上任意矩阵与一个Jordan阵相似,特别地,若A的初等因子为(λ−λ1)n1,...,(λ−λ)nt,则A相似于
JA≜⎛⎜⎝Jn1(λ1)...Jnt(λt)⎞⎟⎠
同时,我们称JA为A的Jordan标准型。(不计对角块顺序唯一)
证明:
点击查看证明
只需证JA的初等因子为(λ−λ1)n1,...,(λ−λt)nt\n
已知
λEni−Jni(λi)与⎛⎜⎝1...(λ−λi)ni⎞⎟⎠⇒λEn−Jnλ与⎡⎢
⎢
⎢
⎢
⎢
⎢
⎢
⎢
⎢
⎢
⎢⎣⎛⎜⎝1...(λ−λ1)n1⎞⎟⎠...⎛⎜⎝1...(λ−λt)nt⎞⎟⎠⎤⎥
⎥
⎥
⎥
⎥
⎥
⎥
⎥
⎥
⎥
⎥⎦相抵
于是有相同的初等因子为(λ−λ1)n1,...,(λ−λt)nt
RK
RK 设A∈Mn(C),λ0∈C是A的一个特征值。
(1)则A的Jordan标准型中以λ0为Jordan块的个数=dimCVλ0=n−r(λEn−A)
点击查看证明
设JA中有s个以λ0为特征值的Jordan标准块A与JA相似⇒λEn−A相似于λ0En−JA不妨设JA=⎛⎜
⎜
⎜
⎜
⎜
⎜
⎜
⎜⎝JL1(λ0)...JLs(λ0)J1...Jm⎞⎟
⎟
⎟
⎟
⎟
⎟
⎟
⎟⎠其中J1,...,Jm不以λ0为特征值。r(λ0En−A)=r(λ0En−JA)λ0En−JA=⎛⎜
⎜
⎜
⎜
⎜
⎜
⎜
⎜⎝λ0EL1−JL1(λ0)...λ0ELs−JLs(λ0)λ0E−J1...λ0E−Jn⎞⎟
⎟
⎟
⎟
⎟
⎟
⎟
⎟⎠⇒n−r(λ0−En−JA)=s
(2)JA中以λ0为特征值的所有Jordan块的阶的和=λ0的代数重数.
点击查看证明
⇒fA(λ)=fJA(λ)=∥λEL1−JL1(λ0)∥∗...∗∥λE−Jm∥=fJL1(λ0)(λ)∗...∗fJm(λ)=(λ−λ0)L1∗...∗(λ−λ0)Ls∗fJ1(λ)∗...∗fJm(λ).由假设,λ−λ0∤fJ1(λ)∗...∗fJm(λ)所以,λ0的代数重数=l1+...+ls.
(3)JA中以λ0为特征值的Jordan块且阶≥2的个数为rank(λ0En−A)−rank[(λ0En−A)2](阶次为t的)n−2rank(λ0En−A)+rank[(λ0En−A)2]
点击查看证明
设有t个λ0的一阶块。则A可以设为⎛⎜
⎜
⎜
⎜
⎜
⎜
⎜
⎜
⎜
⎜
⎜
⎜
⎜
⎜
⎜
⎜⎝λ0...λ0JL1(λ0)...JLs(λ0)J1...Jm⎞⎟
⎟
⎟
⎟
⎟
⎟
⎟
⎟
⎟
⎟
⎟
⎟
⎟
⎟
⎟
⎟⎠λoEn−JA=⎛⎜
⎜
⎜
⎜
⎜
⎜
⎜
⎜
⎜
⎜
⎜⎝0∗Et−JL1(0)...JLs(0)λ0E−J1...λ0E−Jm⎞⎟
⎟
⎟
⎟
⎟
⎟
⎟
⎟
⎟
⎟
⎟⎠(λ0En−JA)2=⎛⎜
⎜
⎜
⎜
⎜
⎜
⎜
⎜
⎜
⎜
⎜
⎜⎝(0∗Et)2(−JL1(0))2...(−JLs(0))2(λ0E−J1)2...(λ0E−Jm)2⎞⎟
⎟
⎟
⎟
⎟
⎟
⎟
⎟
⎟
⎟
⎟
⎟⎠r(λ0En−JA)=n−t−s.r[(λ0En−JA)2]=n−t−2s.
ex
A∈Mn(C),JA是A的Jordan标准型,λ0是A的特征值,λ0∈mathbbC则JA中以λ0为特征值且阶≥t的Jordan块的个数=rank[(λ0En−A)t−1]−rank[(λ0En−A)t]
ex
A∈Mn(F)且fA(λ)=∏(λ−λi)ri,λi∈F,ri≤1.问A在F上是否与JA相似.
例 求A的Jordan标准型JA及可逆矩阵P,AP=PJA
1.A=⎛⎜⎝131616−5−7−6−6−8−7⎞⎟⎠(1)求得fAλ=(λ−1)2(λ+3)(2)求所有特征值的特征子空间(解线性方程)利用λiE3−Aλ=−3,ξ1=⎛⎜⎝2−1−1⎞⎟⎠λ=1,ξ2=⎛⎜⎝4−1−2⎞⎟⎠JA=⎛⎜⎝10011000−3⎞⎟⎠(3)P=(γ1γ2γ3),解AP=PJA.2.A=⎛⎜⎝2−1−12−1−2−112⎞⎟⎠
ex Jordan−Chevalley分解
A∈MnC,证明:存在一个幂零矩阵B(∃k∈N,Bk=0)以及一个可对角化的矩阵C,使得A=B+C且BC=CB(半单矩阵semisimple)
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· DeepSeek 开源周回顾「GitHub 热点速览」
· 物流快递公司核心技术能力-地址解析分单基础技术分享
· .NET 10首个预览版发布:重大改进与新特性概览!
· AI与.NET技术实操系列(二):开始使用ML.NET
· .NET10 - 预览版1新功能体验(一)