EP元的构造
时间：2022-12-06 15:40:05 来源：柠檬阅读网 本文已影响 人 
赵丹丹，魏俊潮
(扬州大学 数学科学学院，江苏 扬州 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.
猜你喜欢 刻画方程证明 一类无理函数的动力系统刻画上海师范大学学报·自然科学版(2022年3期)2022-07-11解析几何中的轨迹方程的常用求法中学生数理化(高中版.高考数学)(2022年4期)2022-05-25刻画人物如何『传神』文苑(2019年14期)2019-08-09关于几类二次不定方程的求解方法数学学习与研究(2018年14期)2018-10-29圆锥曲线方程的求法高中生学习·高三版(2017年2期)2017-03-28证明我们的存在少儿科学周刊·少年版(2015年1期)2015-07-07Nesbitt不等式的十七种证明中学数学杂志(高中版)(2015年3期)2015-05-28细致刻画，突显至爱小雪花·小学生快乐作文(2015年5期)2015-05-25证明小说月刊(2014年1期)2014-04-23多变的我课堂内外(小学版)(2009年9期)2009-09-01
