当前位置:首页 > 专题范文 > 公文范文 >

Banach代数中两个元素之和与积的广义Drazin逆

时间:2023-08-14 11:20:03 来源:网友投稿

郭 丽,胡广丽,王安琪,栾 天

(北华大学 数学与统计学院,吉林 吉林 132013)

Drazin逆及广义Drazin逆在解析Markov链、微分方程、控制论等领域有重要作用[1-3].目前,关于Drazin逆及广义Drazin逆的研究已有很多结果[4-14].Drazin[4]在环和半群上研究了元素的Drazin逆; Koliha[5]在Banach代数中研究了元素的广义Drazin逆; Hartwig等[6]在环上研究了元素的广义Drazin逆.

设A为具有单位元1的Banach代数.对于a∈A,σ(a)和r(a)分别表示a的谱和谱半径.若σ(a)={0},则元素a称为拟幂零的.用A-1和Aqnil分别表示A中所有可逆元和拟幂零元的集合.若a∈A,且存在b∈A,满足

ab=ba,bab=b,a-a2b∈Aqnil,

则称a是广义Drazin可逆的,b是a的广义Drazin逆,记为ad.Ad表示A中所有广义Drazin可逆元的集合.对于a∈Ad,记aπ=1-aad.

取幂等元e∈A,则元素a∈A相对于幂等元e可写成如下的矩阵形式:

其中a1=eae,a2=(1-e)a(1-e),a3=ea(1-e),a4=(1-e)ae.

若a∈Ad,取e=aad,则a,ad有如下矩阵形式:

其中a1∈(eAe)-1且a2∈((1-e)A(1-e))qnil.

设a,b∈A.Koliha[5]在ab=ba=0的条件下给出了a+b的广义Drazin逆的表达式; Castro-Gonzlez等[7]在abπ=a,aπb=b和bπabaπ=0的条件下给出了a+b的广义Drazin逆的表达式;等[8]在ab=ba的条件下给出了a+b的广义Drazin逆的表达式; Zou等[9]在a2b=aba,b2a=bab的条件下给出了a,b之和与积的广义Drazin逆的表达式; Chen等[10]在aba=λa2b=λ′ba2,bab=μb2a=μ′ab2的条件下给出了a+b的广义Drazin逆的表达式; 文献[11-14]给出了Bananch代数上元素和的广义Drazin逆的表示.本文在ab2=bab,bπba2=bπaba,adb2=badb等条件下给出a,b之和与积的广义Drazin逆的表达式.

引理1[2]令a,b∈Ad,如果ab=ba,则ab∈Ad,且(ab)d=adbd.

引理2[7]设p2=p,x,y∈A,x,y相应于幂等系统(p,1-p)和(1-p,p)分别可表示为

1) 如果a∈(pAp)d,b∈((1-p)A(1-p))d,则x,y∈Ad,且

2) 如果a∈Ad(相应地y∈Ad),且a∈(pAp)d,则b∈((1-p)A(1-p))d,且xd(相应地yd)可由1)中的公式表示.

引理3[8]如果a,b∈Aqnil,且ab=ba,则a+b∈Aqnil.

引理4[9]如果a,b∈Ad,c∈A,且ca=bc,则cad=bdc.

引理5若a或b∈Aqnil,ab2=bab,ba2=aba,则ab,ba∈Aqnil.

证明: 由于ab2=bab,因此对任意的n∈,有(ab)n=anbn,从而

‖(ab)n‖1/n=‖anbn‖1/n≤‖an‖1/n‖bn‖1/n.

又由a或b∈Aqnil,因此ab∈Aqnil.同理ba∈Aqnil.

引理6如果a,b∈A,且ab2=bab,ba2=aba,则

r(a(a+b))≤r(a)r(a+b),r(b(b+a))≤r(b)r(b+a).

证明: 由于ab2=bab,ba2=aba,因此对任意的n∈,有(a(a+b))n=an(a+b)n,从而

故可得r(a(a+b))≤r(a)r(a+b).同理可证r(b(b+a))≤r(b)r(b+a).

定理1如果a,b∈Aqnil,且ab2=bab,ba2=aba,则a+b∈Aqnil.

证明: 由(a+b)2=a2+ab+ba+b2,令a1=a2+ab,b1=b2+ba.由ab2=bab,ba2=aba,有a1b1=b1a1.因为a,b∈Aqnil,因此由引理6知,a1,b1∈Aqnil,从而由引理3知(a+b)2=a1+b1∈Aqnil,进而a+b∈Aqnil.

定理2如果a,b∈Ad,ab2=bab,bπba2=bπaba,adb2=badb,则ab∈Ad,(ab)d=adbd.

证明: 设a,b相应于p=bbd有矩阵形式:

其中b1∈(pAp)-1,b2∈((1-p)A(1-p))qnil.由ab2=bab,有

定理3令a,b∈Ad,且ab2=bab,bπba2=bπaba,adb2=badb,则a+b∈Ad当且仅当1+abd∈Ad,且有

(1+abd)d=bπ+(a+b)db2bd.

证明: 由定理2的证明知,a,b相应于p=bbd,有矩阵形式:

其中a11∈(p1Ap1)-1,a12∈((p-p1)A(p-p1))qnil,a21∈(p2Ap2)-1,a22∈((1-p-p2),A(1-p-p2))qnil.注意到

因此,b1,b2相对于p1,p2有矩阵形式:

对任意的n∈,且注意到则

其中x=(a21+b21)-2b23.经验证有

b23=p2b2(1-p-p2)=bπaadbbπaπ=bπaadbaπ.

对任意的n∈,bπ(ad)nbπ=bπ(ad)n,有

因此

此外

直接计算知式(1)成立.

定理4令a,b∈Ad,且ab2=bab,bπba2=bπaba,adb2=badb,bdaad=adbda,则a+b∈Ad当且仅当c=aad(a+b)bbd∈Ad,且有

(aad(a+b)bbd)d=aad(a+b)dbbd.

证明: 由定理3的证明知,a+b有矩阵形式:

则a+b∈Ad⟺a1+b1∈(pAp)d,且

其中y=((a1+b1)d)2a3.

又由定理3的证明知,b1∈(pAp)-1,从而有b11∈(p1Ap1)-1,b12∈((p-p1)A(p-p1))-1.若a1b1=b1a1,则a12b12=b12a12.又由于a12∈((p-p1)A(p-p1))qnil,故a12+b12∈(p-p1)A(p-p1)是可逆的.由bdaad=adbda可验证

因此a+b∈Ad当且仅当c∈Ad,且可验证式(2)成立.

易证如下推论为定理3和定理4的一种特殊情况.

推论1[9]令a,b∈Ad,且ab2=bab,ba2=aba,则下列条件等价:

1)a+b∈Ad;

2) 1+abd∈Ad;

3)c=aad(a+b)bbd∈Ad.

且有

(1+abd)d=bπ+(a+b)db2bd, (aad(a+b)bbd)d=aad(a+b)dbbd.

证明: 因为ab2=bab,ba2=aba,所以

adb2=(ad)2ab2=(ad)2bab=ba(ad)2b=badb,

且bdaad=(bd)2baad=(bd)2adba=adbda.由定理3和定理4化简可证结论成立.

推论2[9]令a,b∈Ad,且ab2=bab,ba2=aba,则ab∈Ad,(ab)d=adbd.

推论3[8]令a,b∈Ad,如果ab=ba,则a+b∈Ad当且仅当1+abd∈Ad时,有

猜你喜欢可验证表达式广义Rn中的广义逆Bonnesen型不等式数学物理学报(2022年3期)2022-05-25一个混合核Hilbert型积分不等式及其算子范数表达式数学物理学报(2020年2期)2020-06-02表达式转换及求值探析安顺学院学报(2020年1期)2020-04-05“可验证”的专业术语解释流程工业(2020年11期)2020-02-28从广义心肾不交论治慢性心力衰竭中国中医急症(2019年10期)2019-05-21浅析C语言运算符及表达式的教学误区现代计算机(2019年6期)2019-04-08一种基于区块链技术的可信电子投票方法软件导刊(2018年5期)2018-06-21云计算视角下可验证计算的分析研究长春工程学院学报(自然科学版)(2018年1期)2018-04-20有限群的广义交换度数学年刊A辑(中文版)(2016年2期)2016-10-30无可信第三方的可验证多秘密共享当代旅游(2015年8期)2016-03-07

推荐访问:之和 代数 广义