EP元的构造

2022-09-30 02:35赵丹丹魏俊潮
洛阳师范学院学报 2022年8期
关键词:刻画方程证明

赵丹丹,魏俊潮

(扬州大学 数学科学学院,江苏 扬州 225002)

本文中R表示一个有单位元的环.设*是环R到R的双射,若满足条件

(a*)*=a;(a+b)*=a*+b*;(ab)*=b*a*.

则称R为对合环,也简称为*-环[1].

设a∈R,若存在b∈R,满足

a=aba;b=bab;ab=ba.

则称a为R的群可逆元,且称b为a的群逆元.由文献[2]知,群可逆元的群逆元是唯一的.用a#表示群可逆元a的唯一的群逆元.用R#表示环R的全体群可逆元的集合.

设R是一个*-环,a∈R,若存在b∈R,满足

a=aba;b=bab;(ab)*=ab;(ba)*=ba.

则称a为R的Moore-Penrose可逆元,简称a为R的MP可逆元,且称b为a的MP逆元.由文献[3]知,a的MP逆元是唯一的,记为a+.用R+表示环R的全体MP可逆元的集合.

设R是一个*-环,a∈R,若aa*a=a,则称a为R的偏序等距元[4],简称为PI元.用RPI表示环R的全体PI元的集合.当a∈R+时,a为R的偏序等距元当且仅当a+=a*.

设R是一个*-环,且a∈R#∩R+.如果a+=a#,则称a为EP元[5].用REP表示环R的全体EP元的集合.众所周知,a是EP元当且仅当a+a=aa+当且仅当a+a=a#a.

如果a+=a#=a*,则称a为强EP元[6],简称SEP元.用RSEP表示环R的全体SEP元的集合.关于EP元、PI元及SEP元的刻画还可参见文献[7-9].

设R是一个*-环且a∈R,若a=a*,则称a是对称元;若aa*=a*a,则称a是正规元.关于正规元的研究可参见文献[10].

本文由既是群可逆元又是MP可逆元的元素a构造出一些MP可逆元及EP元,利用这些构造出的EP元和MP可逆元刻画元素EP性、PI性、SEP性及正规性等,并借助于一些已知的公式,构造出一个方程,研究这个方程在给定集合中有解时来刻画PI性质.最后一般化构造的方程并讨论一般化后的方程的一般解,变形一般解刻画EP性及PI性.这是研究广义逆的新方法.

引理1设a∈R#∩R+,则a#a*∈REP且(a#a*)+=(a+)*a2a+.

证明由于

(a#a*)((a+)*a2a+)=a#(a*(a+)*)a2a+=(a#a+a)a2a+=a#a2a+=aa+;

((a+)*a2a+)(a#a*)=(a+)*(a2a+a#)a*=(a+)*aa#a*=((a+)*a+a)aa#a*

=(a+)*(a+a2a#)a*=(a+)*a+aa*=(a+)*a*=aa+;

(a#a*)((a+)*a2a+)(a#a*)=((a#a*)((a+)*a2a+))(a#a*)=aa+a#a*=a#a*;

((a+)*a2a+)(a#a*)((a+)*a2a+)=((a+)*a2a+)((a#a*)((a+)*a2a+))

=(a+)*a2a+aa+=(a+)*a2a+;

因此a#a*∈REP且(a#a*)+=(a+)*a2a+.

由引理1的证明可得下列推论.

推论1设a∈R#∩R+,则

(1)a#a+a3=a=a3a+a#;

(2) (a+)*aa#=(a+)*=a#a(a+)*.

命题1设a∈R#∩R+,则a#a*a∈R+且(a#a*a)+=a+(a+)*a2a+.

证明由引理1可得

(a#a*a)(a+(a+)*a2a+)=(a#a*aa+)((a+)*a2a+)=(a#a*)((a+)*a2a+)=aa+;

(a+(a+)*a2a+)(a#a*a)=a+(((a+)*a2a+)(a#a*))a=a+aa+a=a+a;

故a#a*a∈R+且(a#a*a)+=a+(a+)*a2a+.

推论2设a∈R#∩R+,则a∈REP当且仅当a#a*a∈REP.

证明“⟹”由于a∈REP,故aa+=a+a.因此由命题1的证明知

(a#a*a)(a+(a+)*a2a+)=(a+(a+)*a2a+)(a#a*a).

于是a#a*a∈REP.

“⟸”假设a#a*a∈REP,则(a#a*a)(a#a*a)+=(a#a*a)+a#a*a.故由命题1的证明知,aa+=a+a.

从而有a∈REP.

定理1设a∈R#∩R+,则

(1)a∈REP当且仅当(a#a*a)+=a+(a+)*a;

(2)a∈RPI当且仅当(a#a*a)+=a+a3a+;

(3)a∈RSEP当且仅当(a#a*a)+=a;

(4)a是正规元当且仅当(a#a*a)+=(a+)*;

(5)a是2-正规元当且仅当(a#a*a)+=a(a+)*a+;

(6)a是对称元当且仅当(a#a*a)+=a#.

证明(1) “⟹”由于a∈REP,故a+=a#.从而由命题1知

(a#a*a)+=a+(a+)*a2a+=a+(a+)*a.

“⟸”若(a#a*a)+=a+(a+)*a,则由命题1知,a+(a+)*a2a+=a+(a+)*a.左乘aa*a得a3a+=a2,故a∈REP.

(2) “⟹”由于a∈RPI,故(a+)*=a.由命题1知(a#a*a)+=a+(a+)*a2a+=a+a3a+.

“⟸”若(a#a*a)+=a+a3a+,则由命题1知a+(a+)*a2a+=a+a3a+.右乘a#,利用推论1得a+(a+)*=a+a.再左乘a得(a+)*=a.从而a∈RPI.

(3) “⟹”由于a∈RSEP,故a∈RPI且a+=a#.由(2)知(a#a*a)+=a+a3a+=a#a3a#=a.

“⟸”若(a#a*a)+=a,则由命题1知a+(a+)*a2a+=a.右乘a#得a+(a+)*=aa#,故

aa+(a+)*=aaa#,即(a+)*=a,从而a∈RPI.此时有aa#=a+(a+)*=a+a,故a∈REP,因此a∈RSEP.

(4) “⟹”由于a是正规元,故a为EP元,且a#a*=a*a#,所以a(a#)*=(a#)*a.由命题1知

(a#a*a)+=a+(a+)*a2a+=a+(a#)*a2a#=a+(a#)*a=a+a(a#)*=(a#)*=(a+)*.

“⟸”若(a#a*a)+=(a+)*,则a#a*a=a*.右乘a+a得a*=a*a+a,因此a=a+a2,即a∈REP.

故aa*=aa#a*a=a#aa*a=a+aa*a=a*a.所以a是正规元.

(5) “⟹”由于a是2-正规元,则a是EP元且a2a*=a*a2,故a*a*a=aa*a*.

于是a*a*a#=a#a*a*,进而有a*a*a+=a+a*a*,从而(a+)*a2=a2(a+)*.由命题1知

(a#a*a)+=a+(a+)*a2a+=a+a2(a+)*a+=a(a+)*a+.

“⟸”若(a#a*a)+=a(a+)*a+,则由命题1知a+(a+)*a2a+=a(a+)*a+.右乘a得

a+(a+)*a2=a(a+)*.左乘1-a+a得(1-a+a)a(a+)*=0.右乘a*a#a得(1-a+a)a=0,从而a是EP元.故a2(a+)*=a(a+(a+)*a2)=(a+)*a2,即有a+(a*)2=(a*)2a+,从而a#(a*)2=(a*)2a#.进一步有a(a*)2=(a*)2a,所以a是2-正规元.

(6) “⟹”由于a是对称元,则a*=a且a是EP元.由1)知

(a#a*a)+=a+(a+)*a=a+(a+)*a*=a+=a#.

“⟸”若(a#a*a)+=a#,则由命题1知,a+(a+)*a2a+=a#.先右乘a#,由推论1得a+(a+)*=a#a#.再左乘a得(a+)*=a#.从而有a#=a+(a+)*a2a+=a+a#a2a+=a+.注意到a=aa*(a+)*=aa*a#,所以a+a=a+aa*(a+)*=a+aa*a#=a*a#.于是a=a#a2=a+a2=a*a#a=a*aa+=a*,故a是对称元.

命题2设a∈R#∩R+,则a+a3a+∈R+且(a+a3a+)+=a#.

证明注意到a#=a#a*(a+)*,a+a3a+=a*(a+)*a2a+,由引理1知

(a+a3a+)a#=a*(((a+)*a2a+)(a#a*))(a+)*=a*aa+(a+)*=a+a;

a#(a+a3a+)=(a#a*(a+)*a*)((a+)*a2a+)=(a#a*)((a+)*a2a+)=aa+.

因此a+a3a+∈R+且(a+a3a+)+=a#.

命题3设a∈R#∩R+,则a*a#a*∈R+且(a*a#a*)+=(a+)*a(a+)*.

证明注意到(a+)*a(a+)*=(a+)*a2a+(a+)*,由引理1知

(a*a#a*)((a+)*a(a+)*)=a*(a#a*)((a+)*a2a+)(a+)*=a*aa+(a+)*=a+a;

((a+)*a(a+)*)(a*a#a*)=(a+)*a2(a+(a+)*a*)(a#a*)=((a+)*a2a+)(a#a*)=aa+.

故a*a#a*∈R+且(a*a#a*)+=(a+)*a(a+)*.

由命题2及命题3有下面的推论.

推论3设a∈R#∩R+,则下列条件等价.

(1)a∈REP;

(2)a+a3a+∈REP;

(3)a*a#a*∈REP.

由于当a∈R#∩R+时,(a+)*a2=(a+)*a2a+a,而且

(a+a#a*)((a+)*a2)=a+((a#a*)(a+)*a2a+)a=a+aa+a=a+a;

((a+)*a2)(a+a#a*)=(a+)*aa#a*=(a+)*a*=aa+.

从而有下面的命题:

命题4设a∈R#∩R+,则

(1)a+a#a*∈R+且(a+a#a*)+=(a+)*a2;

(2)a∈REP当且仅当a+a#a*∈REP.

命题5设a∈R#∩R+,则a+a#a*a∈REP且(a+a#a*a)+=a+(a+)*a2.

证明利用命题4常规验证即可.

当a∈RPI时,(a+)*=a,由命题5知,一方面有

(a+a#a*a)+=a+a3=a+a(a+)*(a+)*;

另一方面又有

(a+a#a*a)+=a+a3=a+a2(a+)*.

故可构造方程

a+ax(a+)*=a+a2x.

(1)

命题6设a∈R#∩R+,则a∈RPI当且仅当方程(1)在χa中至少有一个解.

证明“⟹”当a∈RPI时,x=(a+)*为方程的一个解.

“⟸”(1)若x=a为解,则a+a2(a+)*=a+a3.左乘a#,由推论1得(a+)*=a,故a∈RPI.

(2)若x=a#为解,则a+aa#(a+)*=a+a2a#,由推论1知a+(a+)*=a+a.左乘a得(a+)*=a,故

a∈RPI.

(3)若x=a+为解,则a+aa+(a+)*=a+a2a+,即a+(a+)*=a+a2a+.先左乘a得(a+)*=a2a+.再右乘aa#得(a+)*=a.故a∈RPI.

(4)若x=a*为解,则a+aa*(a+)*=a+a2a*,即a+a=a+a2a*.左乘a得a=a2a*.由文献[4]知

a∈RPI.

(5)若x=(a#)*为解,则a+a(a#)*(a+)*=a+a2(a#)*,即(a#)*(a+)*=a+a2(a#)*.先右乘

1-a+a得a+a2(a#)*(1-a+a)=0.然后左乘a+a#a得(a#)*(1-a+a)=0.再左乘a+a*,由推论1得

a+(1-a+a)=0.从而a∈REP,而且(a#)*(a+)*=a+a2(a#)*=a(a#)*,此时a+a#=a#a*.最后左乘

a3得a=a2a*,故a∈RPI.

(6)若x=(a+)*为解,则a+a(a+)*(a+)*=a+a2(a+)*.先左乘a,然后右乘a*,得

a(a+)*aa+=a3a+.再右乘aa#,利用推论1得a(a+)*=a2.最后左乘a#得(a+)*=a,故a∈RPI.

方程(1)可一般化为

a+ax(a+)*-a+a2y=0.

(2)

命题7设a∈R#∩R+,则方程(2)的一般解为

(3)

证明首先证明公式(3)是方程(2)的解.事实上

a+a(-a+apa*+u-a+auaa+)(a+)*-a+a2(-a#pa+a+z-a#az)

=-a+apa*(a+)*+a+au(a+)*-a+auaa+(a+)*+a+a2a#pa+a-a+a2z+a+a2a#az

=-a+apa+a+a+au(a+)*-a+au(a+)*+a+apa+a-a+a2z+a+a2z=0.

故公式(3)是方程(2)的解.

-a+a(-ay0)a*=(a+a2y0)a*=a+ax0(a+)*a*=a+ax0aa+,

于是x0=-a+a(-ay0)a*+x0-a+ax0aa+.又因为

-a#(-ay0)a+a=(a#a+a)ay0a+a=a#(a+a2y0)a+a=a#(a+ax0(a+)*)a+a

=(a#a+ax0)((a+)*a+a)=a#(a+ax0(a+)*)=a#(a+a2y0)=a#ay0.

故y0=-a#(-ay0)a+a+y0-a#ay0.于是方程(2)的一般解为公式(3).

推论4设a∈R#∩R+,则a∈RPI当且仅当方程(2)的一般解为

(4)

证明“⟹”由于(2)的一般解由(3)式给出,故a∈RPI时,(3)式即为(4)式,从而(2)的一般解由(4)式给出.

“⟸”若方程(2)的一般解由(4)式给出,则

a+a(-a*apa*+u-a+auaa+)(a+)*-a+a2(-a#pa+a+z-a#az)=0,

即对任意p∈R,有-a*apa+a+a+apa+a=0.特别地, 选取p=a,则有a*a2=a+a2,因此a∈RPI.

方程(2)可改为如下方程

a#ax(a+)*-a+a2y=0.

(5)

推论5设a∈R#∩R+,则a∈REP当且仅当方程(5)的一般解由(3)式给出.

证明“⟹”假设a∈REP,则a+a=a#a.此时方程(5)即为方程(2),从而方程(5)的一般解由(3)式给出.

“⟸”若方程(5)的一般解由(3)式给出,则

a#a(-a+apa*+u-a+auaa+)(a+)*-a+a2(-a#pa+a+z-a#az)=0,

即对任意p∈R,有a#apa+a=a+apa+a.取p=1,有a#a=a+a,故a∈REP.

猜你喜欢
刻画方程证明
一类无理函数的动力系统刻画
解析几何中的轨迹方程的常用求法
刻画人物如何『传神』
关于几类二次不定方程的求解方法
圆锥曲线方程的求法
证明我们的存在
Nesbitt不等式的十七种证明
细致刻画,突显至爱
证明
多变的我