有理标准型与Jordan标准型

§1.有理标准型

思想:数域 F上的n阶矩阵的相似等价类由矩阵的不变因子或者初等因子确定,我们
可以利用初等因子在每个相似等价类中找一个形式简单的代表矩阵。

Def

Def

f(λ)=λn+b1λn1+...+bn1λ+bnF[λ]

n阶方阵

A=(00...0bn10...0bn101...0bn2...............0......1b1)

为多项式f(λ)(companionmatrix/rationalblock)

1 矩阵A的特征多项式

fAλ=|λEnA|=|λ0...0bn1λ...0bn1...............00...λb200...1λ+b1|=(λ+b1)λn1+b2(1)n1+n|λ1λ...1λ01|+...+bn(1)1+n|1λ...0...1λ1|=f(λ)

2 矩阵A的极小多项式

Claim mA(λ)=fA(λ)=f(λ) 或者说任意deg<n的多项式都不能零化矩阵。(En,A,A2,...,An1线性无关,AMn(F))
Proofϵ1,ϵ2,...,ϵnFn的标准单位向量,
A(ϵi)=ϵi+1,1in1
k0,k1,...,kn1F满足k0ϵ1+k1ϵ2+...+kn1ϵn=0
那么(k0E+k1A+...+kn1An1)ϵ1=k0ϵ1+...+kn1ϵn=0
k0=k1=...=kn1=0必然成立,线性无关得证。
所以mA(λ)=f(λ)

3 矩阵A的行列式因子和不变因子

需要注意的是,A已经存在了一个行列式为(1)n1+2+1n1阶子式,故行列式因子

D1(λ)=D2(λ)=...=Dn1(λ)=1,Dn(λ)=f(λ)

不变因子

d1(λ)=...=dn1(λ)=1,dnλ=f(λ)

Thm

ThmAMn(F),则A一定相似于对角块为友阵的准对角块。特别地,若g1(λ),...,gt(λ)λ的所有初等因子,则AN相似,

N=(N1...Nt),Nigi(λ)

并且,在不计对角块顺序的情况下唯一。

点击查看证明 只需要证明AN相似N的初等因子为g1(λ),...,gt(λ)ni=deggi(λ)NiMNi((F)) λEnN=(λEn1N1.........λEntNt)Nigi(λ)的友阵知Ni的不变因子为1,1,...,1,gi(λ)(包含了ni11) λEniNi(1.........gi(λ)) Qi(λ),Pi(λ)s.t.Pi(λ)(λEniNi)Qi(λ)=(1...gi(λ)) 则令 P(λ)=(P1(λ)...Pt(λ))Q(λ)=(,Q1(λ)...Qt(λ)) 由已知P(λ),Q(λ)必然可逆,则 P(λ)(λEnN)Q(λ)=[(1...g1(λ))...(1...gt(λ))]B(λ)λEnNB(λ)相抵()有相同的初等因子。 而B(λ)的初等因子为g1(λ),...,gt(λ)的准素因子, 且 gi(λ)A 的准素因子 B(λ)的初等因子就是g1(λ),...,gt(λ) NA
Def

DefNA的有理标准型/Frobenius标准型。

RK

RK AMn(F)
(1)Dn(λ)=fA(λ)(2)AfA(λ)(3)AfA(λ)(4)AnA

Thm

Thm $A\in M_n(\mathbb{F}),d_n(\lambda)是A的第n个不变因子,则m_A(\lambda)=d_n(\lambda).

Cor

CorAMn((F))\subseetMn(R),m1(λ)AF,m2(λ)Rm1(λ)=m2(λ).
证明:

点击查看证明 g1(λ),...,gt(λ)A[g1(λ),...,gt(λ)]=dn(λ).AN,N=(N1...Nt),Nigi(λ)mA(λ)=mx(λ)=[mN1(λ),...,mNt(λ)]=[g1(λ),...,gt(λ)]

§2 Jordan(R)

Def

Def

kC,Jn(k)(k1k1k...k1k)Mn(C)nJordan.线JordanJordan线JordanJordan.

3 Jn

λEnJn(k)=(λk1λk1...λk1λk)1n1Dn1(Jn(k))=1Dn(Jn(k))=(λk)NJn(k)(λk)n

Thm

Thm C上任意矩阵与一个Jordan阵相似,特别地,若A的初等因子为(λλ1)n1,...,(λλ)nt,则A相似于

JA(Jn1(λ1)...Jnt(λt))

同时,我们称JAAJordan标准型。(不计对角块顺序唯一)
证明:

点击查看证明

只需证JA的初等因子为(λλ1)n1,...,(λλt)nt\n
已知

λEniJni(λi)(1...(λλi)ni)λEnJnλ[(1...(λλ1)n1)...(1...(λλt)nt)]

于是有相同的初等因子为(λλ1)n1,...,(λλt)nt

RK

RKAMn(C),λ0CA的一个特征值。
(1)AJordanλ0Jordan=dimCVλ0=nr(λEnA)

点击查看证明 JAsλ0JordanAJAλEnAλ0EnJAJA=(JL1(λ0)...JLs(λ0)J1...Jm)J1,...,Jmλ0r(λ0EnA)=r(λ0EnJA)λ0EnJA=(λ0EL1JL1(λ0)...λ0ELsJLs(λ0)λ0EJ1...λ0EJn)nr(λ0EnJA)=s

(2)JAλ0Jordan=λ0.

点击查看证明 fA(λ)=fJA(λ)=λEL1JL1(λ0)...λEJm=fJL1(λ0)(λ)...fJm(λ)=(λλ0)L1...(λλ0)LsfJ1(λ)...fJm(λ).λλ0fJ1(λ)...fJm(λ)λ0=l1+...+ls.

(3)JAλ0Jordan2rank(λ0EnA)rank[(λ0EnA)2](t)n2rank(λ0EnA)+rank[(λ0EnA)2]

点击查看证明 tλ0A(λ0...λ0JL1(λ0)...JLs(λ0)J1...Jm)λoEnJA=(0EtJL1(0)...JLs(0)λ0EJ1...λ0EJm)(λ0EnJA)2=((0Et)2(JL1(0))2...(JLs(0))2(λ0EJ1)2...(λ0EJm)2)r(λ0EnJA)=nts.r[(λ0EnJA)2]=nt2s.
ex

AMn(C),JAAJordanλ0Aλ0mathbbCJAλ0tJordan=rank[(λ0EnA)t1]rank[(λ0EnA)t]

ex

AMn(F)fA(λ)=(λλi)ri,λiF,ri1.AFJA.

 AJordanJAPAP=PJA

1.A=(131616576687)(1)fAλ=(λ1)2(λ+3)(2)(线)λiE3Aλ=3,ξ1=(211)λ=1,ξ2=(412)JA=(100110003)(3)P=(γ1γ2γ3),AP=PJA.2.A=(211212112)

ex JordanChevalley

AMnC,:B(kN,Bk=0)C,使A=B+CBC=CB(semisimple)

posted @   WE-R  阅读(585)  评论(0编辑  收藏  举报
相关博文:
阅读排行:
· DeepSeek 开源周回顾「GitHub 热点速览」
· 物流快递公司核心技术能力-地址解析分单基础技术分享
· .NET 10首个预览版发布:重大改进与新特性概览!
· AI与.NET技术实操系列(二):开始使用ML.NET
· .NET10 - 预览版1新功能体验(一)
点击右上角即可分享
微信分享提示