10.4  Jordan标准形

更新于 2026年10月10日 版权声明
10.4 Jordan标准形

通过前面的讨论,我们已经可以看到并不是每一个线性变换或者矩阵都可以对角化的,例如简单的二阶方阵

图示

另一方面,如果线性空间V在线性变换σ之下可以分解为一些σ的不变子空间的直和,那么就可以选择一组基使得σ在这组基下的矩阵具有准对角的形式.本节将进一步研究这个问题.

设V是数域FF上的n维线性空间,σ是V上的一个线性变换,其矩阵为A,F[x]是定义在数域FF上的一元多项式环.由前面的讨论知道,对任意一个多项式f(x)∈F[x],f(σ)也是V上的一个线性变换,其矩阵恰好是f(A).这里,我们首先研究f(σ)的一些性质.

引理10.1 若f(x),g(x)∈F[x]且f(x)g(x),那么kerf(σ)⊆kerg(σ)(或者kerf(A)⊆kerg(A).

证明:设α∈kerf(σ),那么就有f(σ)α=0.由于f(x)g(x),因此存在多项式h(x)∈F[x]使得g(x)=f(x)h(x).因此,g(σ)α=h(σ)f(σ)α=0.证毕.

引理10.2 设f(x),g(x),d(x)∈F[x]且(f(x),g(x))=d(x),那么kerd(σ)=kerf(σ)∩kerg(σ)(或者kerd(A)=kerf(A)∩kerg(A)).

证明:由条件(f(x),g(x))=d(x)知道d(x)|f(x),d(x)|g(x).由引理10.1可知

kerd(σ)⊆kerf(σ),kerd(σ)⊆kerg(σ).

因此,kerd(σ)⊆kerf(σ)∩kerg(σ).

另一方面,若α∈kerf(σ)∩kerg(σ),那么必有f(σ)α=0,g(σ)α=0.但是,由于(f(x),g(x))=d(x),因此存在多项式u(x),v(x)使得d(x)=u(x)f(x)+v(x)g(x).

这就是说,

d(σ)=u(σ)f(σ)+v(σ)g(σ).

于是,

d(σ)α=u(σ)f(σ)α+v(σ)g(σ)α=0.

因此α∈kerd(σ),这表明,kerf(σ)∩kerg(σ)⊆kerd(σ).

综上所述,有kerd(σ)=kerf(σ)∩kerg(σ).证毕.

引理10.3 设f(x),g(x),h(x)∈F[x],f(x)=g(x)h(x)且(g(x),h(x))=1.那么

kerf(σ)=kerg(σ)⊕kerh(σ),

(或者kerf(A)=kerg(A)⊕kerh(A)).

证明:由引理10.1显然有

kerg(A)⊆kerf(A),kerh(A)⊆kerf(A),

因此有

kerg(A)+kerh(A)⊆kerf(A).

又由于(g(x),h(x))=1,因此存在u(x),v(x)∈F[x],使得u(x)g(x)+v(x)h(x)=1,因此有

u(σ)g(σ)+v(σ)h(σ)=1 (10.4)

于是有

α=u(σ)g(σ)α+v(σ)h(σ)α.

但是

h(σ)u(σ)g(σ)α=u(σ)f(σ)α=0,

g(σ)v(σ)h(σ)α=v(σ)f(σ)α=0.

这表明

u(σ)g(σ)α∈kerh(σ),v(σ)h(σ)α∈kerg(σ).

于是有

kerf(σ)⊆kerg(σ)+kerh(σ),

所以

kerf(σ)=kerg(σ)+kerh(σ).

下面证明这个和是直和.若α∈kerg(σ)∩kerh(σ),则g(σ)α=0且h(σ)α=0.由式(10.4),

α=u(σ)g(σ)α+v(σ)h(σ)α=0.

这表明该和确为直和.因此

kerf(σ)=kerg(σ)⊕kerh(σ).

证毕.

利用引理10.3与数学归纳法可以得到:

定理10.5 设f(x)=f1(x)f2(x)…fs(x)∈F[x],且fi(x)两两互素,那么

kerf(σ)=kerf1(σ)⊕kerf2(σ)⊕…⊕kerfs(σ),

(或者kerf(A)=kerf1(A)⊕kerf2(A)⊕…⊕kerfs(A)).

设线性变换σ或其矩阵A的特征多项式是f(λ),并且f(λ)在数域F上可以分解为一次因式的乘积

图示

其中λi∈F是f(λ)的不同的特征值,pi≥1,图示.这时,由定理10.5可以看到

图示

或者

图示

但是,f(σ)是零变换,因此其核kerf(A)=V.于是线性空间V可以分解为

图示

或者

图示

这样问题就归结为如何找到形如σk=0的线性变换,即幂零变换(或者幂零矩阵)的分解问题.

下面我们总是设σ是n维线性空间V上的幂零变换.使得σk=0,但是σk-1≠0的自然数k称为σ的幂零指数.显然,幂零指数k≤n.

定义10.4 形如

图示

的l阶方阵称为Jordan块矩阵,记作Jl(a)。由一些Jordan块矩阵组成的准对角形矩阵称为Jordan形矩阵.

显然,由例10.13可以知道Jordan块矩阵Jl(a)的最小多项式是(λ-a)l.Jl(0)是l阶幂零矩阵,其幂零指数为l.

定义10.5 若向量ξ∈V,σl(ξ)=0,但σl-1≠0,l>1,那么L(ξ,σ(ξ),…,σl-1(ξ))是σ的一个l维不变子空间,称之为σ循环子空间,记作Zl(ξ;σ).

显然,σ|Zl(ξ;σ)是Zl(ξ;σ)的幂零变换,且幂零指数为l,其矩阵为一个l阶Jordan块矩阵

图示

定义10.6 设V是数域F上的n维线性空间,σ是V上的一个线性变换.α1,α2,…,αs是V的一个向量组.对于α∈V如果存在一组多项式f1(λ),f2(λ),…,fs(λ)∈F[λ],使得

α=f1(σ)α1+f2(σ)α2+…+fs(σ)αs (10.5)

则称α可以由向量组α1,α2,…,αs线性表示.

如果每个向量α∈V都可以由向量组α1,α2,…,αs线性表示,那么就称α1,α2,…,αs是V的一个σ生成元系.如果V的一个σ生成元系中的每一个向量都不能由其余的向量F[λ]线性表示,则称之为V的一个最小σ生成元系.

线性空间V的任何一组基都是一个σ生成元系.容易证明,最小σ生成元系一定是存在的.

定理10.6 设V是数域F上的有限维线性空间,σ是V上的一个幂零变换,则V能分解成一些σ循环子空间的直和.

证明:对V的最小σ生成元系所含向量数目s作数学归纳法.

s=1时,设ξ是V的一个最小σ生成元系,则V={f(σ)ξf(λ)∈F[λ]}.设σl-1(ξ)≠0,而σl(ξ)=0,则Zl(ξ;σ)={f(σ)ξf(λ)∈F[λ]}.从而,V=Zl(ξ;σ).

假设具有幂零变换σ的有限维线性空间,当它的最小σ生成元系含有s-1个向量时命题成立.

那么,当V的一个最小σ生成元系含有s个向量α1,α2,…,αs时,需要把V分解成一个σ循环子空间与一个σ子空间的直和,其中直和项σ子空间的最小σ生成元系含有s-1个向量.以下分三步进行.

第一步,找出一个σ循环子空间的生成元ξ1.

对于给定的i,1≤i≤s,令

Hi={hi(λ)∈F[λ]h1(σ)α1+…+hi(σ)αi+…+hs(σ)αs=0} (10.6)显然集合Hi对加法、减法运算封闭,且对于hi(λ)∈Hi,f(λ)∈F[λ]总有hi(λ)f(λ)∈F[λ].在Hi的非零多项式中选择一个次数最低的首一多项式mi(λ),则Hi中任一多项式hi(λ)都是mi(λ)的倍式.

因为σ是V的幂零变换,所以可以设图示,但是图示.于是有

图示

因此图示,这表明图示.设图示,μi≤li,于是

图示

对于上面得到的一组μi,i=1,2,…,不妨假设μ1≤μ2≤…≤μs.因为图示图示,根据式(10.6)得到存在h2(λ),…,hs(λ)∈F[λ],使得

图示

式(10.8)表明hi(λ)∈Hi,i=2,…,s.因此从式(10.7)得出图示.又由于μ1≤μi,所以,图示,i=2,…,s.由此得到

图示

把这组等式代入式(10.8)得

图示

从而有等式

图示

令

ξ1=α1+p2(σ)α2+…+ps(σ)αs. (10.10)

由于α1,α2,…,αs是V的一个最小σ生成元系,所以ξ1≠0.设图示,但是图示.从式(10.9)得到图示,因此k1≤μ1.又从式(10.10)得到

图示

式(10.11)表明图示,从而图示.由此得出,μ1≤k1.这样就证明了k1=μ1.于是,可以得到ξ1生成μ1维σ循环子空间图示.

第二步,找出一个σ子空间U.

令

U={f2(σ)α2+…+fs(σ)αsfj(λ)∈F[λ],j=2,3,…,s}.

容易验证,U是V的线性子空间,并且是σ子空间.从而σU是U的幂零变换.容易看出,α2,α3,…,αs是U的最小σU生成元系.于是,可以对U用归纳假设得到,U可以分解为一些σU循环子空间的直和,

图示

显然有图示,j=2,3,…,s.因此,

图示

第三步,证明图示.

从式(10.10)可以看出,图示,因此图示.

任取图示,则存在fi(λ)∈F[λ],i=1,2,…,s,使得

η=f1(σ)ξ1,η=f2(σ)α2+…+fs(σ)αs, (10.13)

于是从式(10.10)与式(10.13)得到

f1(σ)α1+[f1(σ)p2(σ)-f2(σ)]α2+…+[f1(σ)ps(σ)-fs(σ)]αs=0.

此式表明f1(λ)∈H1,从而图示.因此

图示

这样就证明了图示,所以

图示

据数学归纳法原理,对一切正整数s,命题成立.证毕.

定理10.7 设V是数域F上的n维线性空间,σ是V上的一个幂零变换,其幂零指数为l.那么,在V中存在一个基,使得σ在此基之下的矩阵A为Jordan形矩阵,其中每个Jordan块的主对角元都是0,并且t阶Jordan块的数目N(t)为

N(t)=rankAt+1+rankAt-1-2rankAt, (10.14)

N(t)=rankσt+1+rankσt-1-2rankσt. (10.15)

其中Jordan块的总数等于A的特征子空间V0的维数.这个Jordan形矩阵A称为幂零变换σ的Jordan标准形.除去Jordan块的排列次序外,σ的Jordan标准形是唯一的.

证明:根据定理10.6,线性空间V可以分解为

图示

的形式.在每个图示中取一个基:

图示

将它们合并即成为V的一组基.由于图示在图示的上述基下的矩阵是一个Jordan块图示,从而σ在V的上述基下的矩阵A为Jordan形矩阵

图示

下面来计算A中t阶Jordan块Jt(0)的个数N(t).由于A的幂零指数为l,所以ki≤l,i=1,2,…,s.这表明当t>l时,N(t)=0.下面设1≤t≤l.(https://www.daowen.com)

首先,给定一个正整数m,我们来计算rankAm.当m≥l时,有图示,i=1,2,…,s,从而Am=0.此时有rankAm=0.下面设m<l.如果m≥t,则Jt(0)m=0,从而rankJt(0)m=0.如果m<t,则

图示

从而rankJt(0)m=t-m.因此当m<t时,有

图示

当1≤m<l-1时,从式(10.16)得到

rankAm-rankAm+1=N(m+1)+N(m+2)+…+N(l). (10.17)

从式(10.16)得到rankAl-1=N(l),因此式(10.17)对于m=l-1也成立.

当2≤m≤l时,从式(10.17)得到

rankAm-1-rankAm=N(m)+N(m+1)+…+N(l). (10.18)

由于rankJt(0)=t-1,所以

rankA=r-[N(1)+N(2)+…+N(l)]

=rankE-[N(1)+N(2)+…+N(l)].(10.19)

这说明式(10.18)对m=1也成立.因此当1≤m<l时,从式(10.18)减去式(10.17)得到

N(m)=rankAm+1+rankAm-1-2rankAm.

显然上式对于m≥l也成立.从而对一切m≥1有

N(m)=rankσm+1+rankσm-1-2rankσm. (10.20)

下面来计算σ中Jordan块的总数.从式(10.19)得到

N(1)+N(2)+…+N(l)

=rankE-rankA

=dimV-dim(Imσ)

=dim(kerσ). (10.21)

由于幂零变换σ的特征值为零,所以它的特征子空间V0为

V0={α∈Vσ(α)=0}=kerσ.

于是式(10.21)表明:A中Jordan块的总数等于σ的特征7子空间V0的维数.

从式(10.20)可以看出,对于m≥1,A中m阶Jordan块Jm(0)的数目由σ决定,因此σ的Jordan标准形如果不计Jordan块的排列次序是唯一确定的.证毕.

对于一般的线性变换,有:

定理10.8 设σ是数域F上的n维线性空间V的一个线性变换.如果σ的最小多项式m(λ)在F[λ]中能分解成一次因式的乘积

图示

则V中存在一个基,使得σ在这个基下的矩阵A为Jordan形矩阵,其中主对角元为λj的t阶Jordan块Jt(λj)的数目N(t;λj)为

N(t;λj)=rank(σ-λj)t+1+rank(σ-λj)t-1-2rank(σ-λj)t. (10.23)

主对角元为λj的Jordan块的总数N(λj)为

N(λj)=dimV-rank(σ-λj),j=1,2,…,s. (10.24)

这个Jordan形矩阵A称为σ的Jordan标准形.如果不计Jordan块的排列次序,σ的Jordan标准形是唯一的.

证明:由式(10.22)看出,λ1,λ2,…,λs是σ的所有不同的特征值.由式(10.22)得出,V有直和分解式

图示

令

图示

则τj是Vj上的幂零变换,并且幂零指数为lj.于是根据定理10.7,τj在Vj的一个适当的基下的矩阵Bj为Jordan形矩阵,它的每个Jordan块的主对角元都是0.从而σ|Vj在Vj的这个基下的矩阵Aj=Bj+λjE也是Jordan形矩阵,Aj的每个块的主对角元都是λj.把Vj,j=1,2,…,s的基合起来就得到V的一组基,σ在这组基下的矩阵就是

A=diag(A1,A2,…,As).

因此A是Jordan形矩阵.A中主对角元为λj的t阶Jordan块Jt(λj)的数目N(t;λj)等于Bj中t阶Jordan块的数目.因此

图示

由于当i≤lj时,我们有

图示

图示

因此

图示

当i=lj+u(u是正整数)时,式(10.26)仍然成立.理由如下:从式(10.22)得到

图示

于是V可以分解成

图示

任取图示,根据式(10.25),β可以表示成

β=β1+…+βj+…+βs,

其中图示,i=1,2,…,s.于是得到

0=β1+…+(βj-β)+…+βs. (10.28)

由于图示,因此

图示

从式(10.27)与式(10.28)得βj-β=0,从而有

图示

由此得到

图示

现在任取图示,则η∈Vj.由于

图示

因此图示.由此得出

图示

结合式(10.29)得到

图示

这样可以计算

N(t;λj)

=2dim ker(σ-λj)t-dim ker(σ-λj)t+1-dim ker(σ-λj)t-1

=rank(σ-λj)t+1+rank(σ-λj)t-1-2rank(σ-λj)t. (10.30)

A中主对角元为λj的Jordan块总数N(λj)等于Bj中Jordan块总数,从而等于τj的特征子空间V0的维数.因为

图示

所以

N(λj)=dimV0=dim ker(σ-λj)=dimV-rank(σ-λj). (10.31)

σ的Jordan标准形的主对角线上元素都是σ的特征值,从式(10.30)看出,对于σ的每一个特征值λj,主对角元为λj的t阶Jordan块的数目N(t;λj)由σ决定.因此如果不计Jordan块的排列次序,σ的Jordan标准形是唯一的.证毕.

定理10.8的矩阵语言叙述是:

定理10.9 设A是数域F上的n阶方阵,如果A的最小多项式m(λ)在F[λ]中能分解为一次因式的乘积

图示

则A与一个Jordan形矩阵相似,如果不计Jordan块的排列次序,A的这个Jordan形矩阵由A唯一决定,它称为A的Jordan标准形,其中Jordan块Jt(λj)的数目N(t;λj)为

N(t;λj)=rank(A-λjE)t+1+rank(A-λjE)t-1-2rank(A-λjE)t.

主对角元为λj的Jordan块的总数N(λj)为

N(λj)=n-rank(A-λjE),j=1,2,…,s.

由于复系数多项式在复数范围内总可以分解为一次因式的乘积,因此任意复方阵总与一个Jordan形矩阵相似.

Jordan标准形的计算可以分成以下四步:

•第一步,写出线性变换σ的矩阵A.

•第二步,计算矩阵A的特征多项式f(λ),并将它分解因式.如果f(λ)在F[λ]中可以分解为一次因式的乘积,则σ有Jordan标准形;否则,σ没有Jordan标准形.

•第三步,当σ有Jordan标准形J时,由于J与A相似,所以J的主对角线上元素都是A的特征值,并且特征值λj在J的主对角线上出现的次数等于λj作为A的特征多项式的根的重数.对于每个特征值λj,可按下面办法计算出各阶Jordan块的数目.首先,求出rank(A-λjE),则主对角元为λj的Jordan块的总数

N(λj)=dimV-rank(A-λjE).

其次,求出rank(A-λjE)2,于是一阶Jordan块J1(λj)的数目为

N(1;λj)=rank(A-λjE)2+n-2rank(A-λjE),

比较N(1;λj)与N(λj),若N(1;λj)<N(λj),则继续求rank(A-λjE)3,于是二阶Jordan块J1(λj)的数目为

N(2;λj)=rank(A-λjE)3+rank(A-λjE)-2rank(A-λjE)2,

比较N(1;λj)+N(2;λj)与N(λj),如果相等,则主对角元为λj的Jordan块数目已经全部求出.否则,继续计算rank(A-λjE)4,求出N(3;λj).依次下去,直到求出的各阶Jordan块的数目之和等于N(λj)为止.

•第四步,根据第三步的计算结果写出Jordan标准形.

更详尽地讨论请读者参看邱维声著《高等代数》.

例10.14 设三阶方阵

图示

计算A的Jordan标准形.

解:计算可得矩阵A的特征多项式为fA(λ)=(λ+3)(λ-1)2,因此其特征值为

λ1=-3,λ2,3=1.

这时有

rank(A+3E)=2,rank(A-E)=2,

因此特征值-3与1的Jordan块都只有一块,其Jordan标准形为

图示

例10.15 设四阶方阵

图示

计算A的Jordan标准形.

解:计算可得矩阵A的特征多项式为fA(λ)=(λ-1)4,因此其全部四个特征值都是1.这时有

rank(A-E)=1,

因此Jordan块总共有三块.进一步地计算可以知道

rank(A-E)2=0.

因此有

N(1;1)=2,N(2;1)=1.

其Jordan标准形为

图示

习题

10.4.1. 求出下列矩阵的Jordan标准形.

图示

10.4.2. 求出下列n阶矩阵的Jordan标准形.

图示

图示

10.4.3. 求出所有立方等于单位矩阵的二阶方阵.

10.4.4. 求出所有四次方等于单位矩阵的二阶方阵.

10.4.5. 证明:A与AT相似.

↑上一章 ↓下一章
关注公众号获取验证码
复制内容需要验证码(7.99元/天)