两个复矩阵和的强-Drazin逆

2020-04-17 04:09张维玺陈焕艮
关键词:分块正整数复数

张维玺, 陈焕艮

(杭州师范大学理学院, 浙江 杭州 311121)

X2A=X,AX=XA,A-AX∈N(Cn×n).

这里X是唯一的,并且被称为矩阵A的强-Drazin逆.在本文中,若复矩阵A和B都具有强-Drazin逆,证明在条件A2B=0,BAB=0或AB2=0,ABA=0下,A+λB具有强-Drazin逆,并且给出了(A+λB)sD的表示形式.进一步应用该结论给出分块矩阵的一些对应结果.最后,给出例子来说明得到的结果.

0 引言

在本文中,Cn×n表示所有n×n复矩阵的集合,N(Cn×n)表示Cn×n中所有幂零元的集合.A∈Cn×n的Drazin逆是一个唯一的复矩阵X,表示为AD,并且满足AX=XA,X=XAX与A-A2X∈N(Cn×n).AΠ表示1-AAD,其中A∈Cn×n具有Drazin逆.一个复矩阵A∈Cn×n具有强-Drazin逆,如果存在一个复矩阵X∈Cn×n满足X2A=X,AX=XA,A-AX∈N(Cn×n).这里X是唯一的,并且称为A∈Cn×n的强-Drazin逆,在参考文献[1]中研究了强-Drazin逆.正如我们所知,A∈Cn×n具有强-Drazin逆当且仅当复矩阵A是两个可交换的幂零矩阵和幂等矩阵的和[2].

1 加性结果

本节的目的是确定复矩阵A+B何时具有强-Drazin逆,如果复矩阵A和B都具有强-Drazin逆.

引理1令A∈Cn×n,那么A具有强-Drazin逆当且仅当A-A2∈N(Cn×n).

证明由[2,引理2.1]和[1,引理2.2]易证.

引理2设A,B∈Cn×n都是幂零元,并且A2B=0,BAB=0.那么A+B是幂零元.

证明因为A和B是幂零元,所以存在正整数n和m,使得An=0,Bm=0.显然,(A+B)n+m+1的每一项可以写成形如Ar1Bs1Ar2Bs2…ArkBsk的形式,其中r1+r2+…+rk+s1+s2+…+sk=n+m+1且ri

情况1当r1=0时,上述形式可以写成Bs1Ar2Bs2…ArkBsk,我们有s10.如果r2=1,因为BAB=0,所以Bs1ABs2…ArkBsk=0.如果r2>1,因为A2B=0,所以Bs1Ar2Bs2…ArkBsk=0.

情况2当r1>0时,我们有r10.如果r1>2,因为A2B=0,所以Ar1Bs1Ar2Bs2…ArkBsk=0.如果r1=1,那么s1+r20.如果r2=1,因为BAB=0,所以ABs1ABs2…ArkBsk=0.如果r2>1,因为A2B=0,所以ABs1Ar2Bs2…ArkBsk=0.

综上可得,(A+B)n+m+1=0,所以A+B是幂零元.证毕.

定理1设A,B∈Cn×n都具有强-Drazin逆.若A2B=0,BAB=0,那么A+λB具有强-Drazin逆(λ为复数),并且

这里ind(A)=r,ind(B)=s.

证明由条件有A2(λB)=0,(λB)A(λB)=0,不失一般性,假定λ=1.我们需要证明A+B-(A+B)2是幂零元.考虑

A+B-(A+B)2=A+B-A2-AB-BA-B2=(A-A2)-AB+(B-B2)-BA.

因为A,B∈Cn×n都具有强-Drazin逆,由引理1可得,A-A2与B-B2都是幂零元.

令A1=A-A2,B1=-AB.那么

B1A1B1=(-AB)(A-A2)(-AB)=(-AB)(-A2B+A3B)=0.

令A2=(A-A2)-AB,B2=(B-B2)-BA.那么

B2A2B2=(B-B2-BA)(A-A2-AB)(B-B2-BA)=

(B-B2-BA)(AB-AB2-ABA-AB2+AB3)=0

由强-Drazin逆的定义可知,若某元素的强-Drazin逆存在,那么它与该元素的Drazin逆是相同的.因此,由[3,定理2.2],我们可得

这里ind(A)=r,ind(B)=s.注意到(λB)SD=λ-1BSD.即得.

推论1设A,B∈Cn×n都具有强-Drazin逆.若AB=0,那么A+λB∈Cn×n具有强-Drazin逆(λ为复数),并且

这里t=max{ind(A),ind(B)}.

证明因为A,B都具有强-Drazin逆,并且AB=0,我们可得A2B=0,BAB=0.由定理1可得,A+λB具有强-Drazin逆.

这里t=max{ind(A),ind(B)}.证毕.

定理2设A,B∈Cn×n都具有强-Drazin逆.若AB2=0,ABA=0,那么A+λB具有强-Drazin逆(λ为复数),并且

这里ind(A)=r,ind(B)=s.

证明由条件知,A(λB)2=0,A(λB)A=0;不失一般性,假定λ=1.由引理1可知,我们只需证明A+B-(A+B)2是幂零元即可.我们考虑

A+B-(A+B)2=A+B-A2-AB-BA-B2=

(-AB)+(A-A2)+(-BA)+(B-B2).

因为A,B∈Cn×n都具有强-Drazin逆,再次由引理1可得,A-A2与B-B2都是幂零元.

A1B1A1=(-AB)(A-A2)(-AB)=0.

令A2=(A-A2)-AB,B2=(B-B2)-BA.那么

A2B2A2=(A-A2-AB)(B-B2-BA)(A-A2-AB)=(AB-A2B)(A-A2-AB)=0.

由强-Drazin逆的定义可知,若某元素的强-Drazin逆存在,那么它与该元素的Drazin逆是相同的.因此,由[3,定理2.1],以及(λB)SD=λ-1BSD即得.

2 分块矩阵上的应用

本节的目的是给出分块矩阵具有强-Drazin逆的各种条件.

证明我们需要证明M-M2是幂零元.那么

因为A∈Ck×k具有强-Drazin逆,并且D∈Cl×l具有强-Drazin逆,我们可得A-A2与D-D2都是幂零元,所以存在正整数n和m,使得(A-A2)n=0,(D-D2)m=0.因此(M-M2)n+m+1=0.所以M-M2是幂零元,那么M∈Cn×n具有强-Drazin逆.

证明显而易见,

由BCA=0,BCB=0.

因此,由定理1可得,P+Q具有强-Drazin逆,并且

这里ind(P)=r,ind(Q)=s.

证明如果BC=0,DC=O,那么我们有BCA=0,BCB=0,DCA=0,DCB=0.那么,由定理3可得,M∈Cn×n具有强-Drazin逆,并且

证明如果CA=0,CB=0,那么我们有BCA=0,BCB=0,DCA=0,DCB=0.那么,由定理3可得,M∈Cn×n具有强-Drazin逆,并且

因为CBC=0,CBD=0,所以

因此,由定理1可得,P+Q具有强-Drazin逆,并且

这里ind(P)=r,ind(Q)=s.

证明若BC=0,BD=0,那么我们有CBC=0,CBD=0,ABC=0,ABD=0.那么,由定理4可得,M∈Cn×n具有强-Drazin逆,并且

证明如果AB=0,CB=0,那么我们可得CBC=0,CBD=0,ABC=0,ABD=0.那么,由定理4可得,M∈Cn×n具有强-Drazin逆,并且

3 例子

本节的目的是说明我们前面已经证明的结果.

猜你喜欢
分块正整数复数
面向量化分块压缩感知的区域层次化预测编码
钢结构工程分块滑移安装施工方法探讨
关于包含Euler函数φ(n)的一个方程的正整数解
评析复数创新题
关于4×4分块矩阵的逆矩阵*
求解复数模及最值的多种方法
数系的扩充和复数的引入
复数
被k(2≤k≤16)整除的正整数的特征
懒交互模式下散乱不规则分块引导的目标跟踪*