14次 摘要：2015年,N. Castro-Gonzalez等給出了環(huán)上矩陣P是可逆時(shí)矩陣乘積PA是{1,3}-可逆的,AQ是{1,4}-可逆的和PAQ是MP-逆的充要條件及表達(dá)式,本文給出了環(huán)上矩陣A滿(mǎn)足PPA=A=AQQ時(shí),矩陣乘積PA是{1,3}-可逆的,AQ是{1,4}-可逆的,PAQ是MP-逆的充要條件及一些注記。 --> 摘要：2015年,N. Castro-Gonzalez等給出了環(huán)上矩陣P是可逆時(shí)矩陣乘積PA是{1,3}-可逆的,AQ是{1,4}-可逆的和PAQ是MP-逆的充要條件及表達(dá)式,本文給出了環(huán)上矩陣A滿(mǎn)足P′PA=A=AQQ′時(shí),矩陣乘積PA是{1,3}-可逆的,AQ是{1,4}-可逆的,PAQ是MP-逆的充要條件及一些注記。 關(guān)鍵詞：廣義逆; {1,3}-逆; {1,4}-逆; Moore-Penrose逆; 廣義逆理論是應(yīng)用廣泛的一個(gè)數(shù)學(xué)分支,其在微分方程、數(shù)值代數(shù)、線(xiàn)性統(tǒng)計(jì)推斷、最優(yōu)化、電網(wǎng)絡(luò)分析、馬爾可夫鏈、系統(tǒng)理論及測(cè)量學(xué)、信號(hào)問(wèn)題、人工智能等眾多領(lǐng)域起著重要的作用。隨著大規(guī)?？茖W(xué)計(jì)算的發(fā)展以及其他應(yīng)用數(shù)學(xué)領(lǐng)域的需要,廣義逆的理論得到了迅速的發(fā)展?！ V義逆的概念最早來(lái)源于1903年I.Fredholm在積分方程的研究中提出的積分算子廣義逆(稱(chēng)之為偽逆)。1904年,德國(guó)數(shù)學(xué)家D.Hilbert提出了微分算子的廣義逆。而矩陣的廣義逆是E.H.Moore教授于1920年首次提出,直到1955年R.Penrose證明了Moore所定義的復(fù)矩陣A的廣義逆可以采用4個(gè)復(fù)矩陣方程即AXA=A,XAX=X,(AX)*=AX,(XA)*=XA的唯一解X來(lái)表示[1],這個(gè)發(fā)現(xiàn)開(kāi)創(chuàng)了廣義逆理論的新篇章。為了紀(jì)念Moore和Penrose在廣義逆上所作的貢獻(xiàn),稱(chēng)這種廣義逆為Moore-Penrose逆(簡(jiǎn)稱(chēng)MP-逆)。至此,許多學(xué)者從泛函分析、數(shù)值計(jì)算和代數(shù)學(xué)等角度開(kāi)始研究它,并得到了許多有意義的結(jié)果?！ ?968年,M.H.Pearl[2]給出了任意域上的矩陣A的MP-逆存在的充要條件是秩(A)=秩(AA*)=秩(A*A)。1976年,R.E.Hartwig[3]在*-環(huán)中給出了元素的{1,3}-逆和{1,4}-逆存在的充要條件:x為a的{1,3}-逆當(dāng)且僅當(dāng)a=x*a*a,y為a的{1,4}-逆當(dāng)且僅當(dāng)a=aa*y*。2002年,J.J.Koliha等[4]在*-環(huán)R中證明了元素a是MP-逆的當(dāng)且僅當(dāng)a既是{1,3}-可逆又是{1,4}-可逆的。2003年,P.Patricio[5]進(jìn)一步考慮了環(huán)上矩陣積PAQ(存在環(huán)上矩陣P′,Q′,使得P′PA=A=AQQ′)的MP-逆,證明了PAQ是MP-逆的充要條件是PA是{1,3}-可逆的及AQ是{1,4}-可逆的。2015年,N.Castro-gonzalez等[6]給出了環(huán)上矩陣P是可逆時(shí)PA是{1,3}-可逆的,AQ是{1,4}-可逆的,PAQ是MP-逆的充要條件及表達(dá)式。本文受此啟發(fā),給出了環(huán)上矩陣A滿(mǎn)足P′PA=A=AQQ′時(shí)矩陣乘積PA是{1,3}-可逆的,AQ是{1,4}-可逆的,PAQ是MP-逆的充要條件及一些注記?！ ?預(yù)備知識(shí) 定義1設(shè)R是一個(gè)環(huán),*:R→R的映射。如果對(duì)所有的a,b∈R,均有(a*)*=a,(ab)*=b*a*和(a+b)*=a*+b*成立,則稱(chēng)*是環(huán)R一個(gè)對(duì)合。具有對(duì)合運(yùn)算*的環(huán),稱(chēng)為*-環(huán)?！ 《x2設(shè)R是一個(gè)*-環(huán)且a∈R,若存在元素y∈R,使得aya=a和(ay)*=ay,則稱(chēng)元素a是{1,3}-可逆的,且稱(chēng)y是a的一個(gè){1,3}-逆,記為a(1,3)。一般地,使上式成立的y并不唯一,把所有滿(mǎn)足條件的y構(gòu)成的集合記為a{1,3}?！ 《x3設(shè)R是一個(gè)*-環(huán)且a∈R。若存在元素y∈R,使得aya=a和(ya)*=ya,則稱(chēng)元素a是{1,4}-可逆的,且稱(chēng)y是a的一個(gè){1,4}-逆,記為a(1,4)。一般地,使上式成立的y并不唯一,把所有滿(mǎn)足條件的y構(gòu)成的集合記為a{1,4}。 定義4設(shè)R是一個(gè)*-環(huán)且a∈R。若存在元素y∈R,使得aya=a,yay=y,(ay)*=ay和(ya)*=ya,則元素a是MP-可逆的。滿(mǎn)足上述方程的y稱(chēng)為a的MP逆。如果元素a的MP-逆存在,則它是唯一的,記為a†。 定義5設(shè)R是一個(gè)環(huán)且a∈R。若存在元素y∈R,使得aya=a,yay=y,ay=ya,則元素a是群可逆的。滿(mǎn)足上述方程的y稱(chēng)為a的群逆。如果元素a的群逆存在,則它是唯一的,記為a#?！ ∥覀冇肕m×n(R)表示環(huán)R上m×n階矩陣的集合,Mm(R)表示環(huán)R上m×m階矩陣的集合。對(duì)于Mm×n(R)上任意矩陣A=(aij),我們用Mn×m(R)上A*表示矩陣A的共軛轉(zhuǎn)置矩陣,其中?！ ∠旅媸紫冉o出本文需要的幾個(gè)引理?！ ∫?[6]設(shè)環(huán)R是有單位元的環(huán),e是R中的冪等元,a是R中的元素。則下列敘述等價(jià): 1)u=ea+1-e是可逆的; 2)v=eae+1-e是可逆的; 3)w=ae+1-e是可逆的; 4)e∈eaeR∩Reae?！ ∫?[7]設(shè)a,b,c∈R。則 1)如果(1+ab)c=1,則(1+ba)(1-bca)=1; 2)如果c(1+ab)=1,則(1-bca)(1+ba)=1。 由引理2可知,1+ab是左(或右)可逆的當(dāng)且僅當(dāng)1+ba是左(或右)可逆的。特別地,1+ab是可逆的當(dāng)且僅當(dāng)1+ba是可逆的,且(1+ba)-1=1-b(1+ab)-1a。這個(gè)公式被稱(chēng)為Jacobson公式。 引理3[3]設(shè)R是一個(gè)*-環(huán)且a∈R。則有 1)元素a是{1,3}-可逆的當(dāng)且僅當(dāng)a∈Ra*a。如果存在y∈R使得a=ya*a,則y*∈a{1,3}; 2)元素a是{1,4}-可逆的當(dāng)且僅當(dāng)a∈aa*R。如果存在y∈R使得a=aa*y,則y*∈a{1,4}?！ ∠旅嫖覀兘o出*-環(huán)中兩個(gè)元素乘積pa是{1,3}-可逆的刻畫(huà)?！ ?主要結(jié)果 定理1設(shè)R是一個(gè)*-環(huán)且a∈R使得a(1,3)存在,令e=aa(1,3),且對(duì)環(huán)R中元素p,存在p′∈R使得p′pa=a。則下列敘述等價(jià): 1)pa是{1,3}-可逆的; 3)u=p*pe+1-e是可逆的; 4)pep*是群可逆的?！ 〈藭r(shí),pa的一個(gè){1,3}-逆有如下形式 證明1)⇒2)。如果pa是{1,3}-可逆的,且設(shè)y是它的一個(gè){1,3}-逆,則有pa=paypa且(pay)*=y*a*p*=pay。 由已知存在p′∈R使得p′pa=a,于是在等式pa=paypa兩邊同時(shí)乘以p′,可得a=aypa。從而有 其中s=p′y*a*∈R?！ ×硪环矫?因?yàn)閑=(aa(1,3))*=aa(1,3)=e,所以e=ep*pes*∈ep*peR?！ ?)⇒3)。利用引理1即證。 3)⇒1)。因?yàn)閑a=(aa(1,3))a=a,則有a*=(ea)*=a*e*=a*e。又因?yàn)閡=p*pe+1-e,等式兩邊同時(shí)乘以a*可得,a*u=(pa)*pe+a*(1-e)=(pa)*pe。因?yàn)閡是可逆的,所以a*=(pa)*peu-1,從而a*p*=(pa)*peu-1 p*=(pa)*paa(1,3)u-1p*,因此pa=(a(1,3)u-1p*)*(pa)*pa。 由引理3可知,如果存在v∈R使得a=va*a,則a是{1,3}-可逆的且a(1,3)=v*。所以pa是{1,3}-可逆的,且(pa)(1,3)=a(1,3)u-1 p*?！ ?)⇔4)。因?yàn)閑=aa(1,3)=e2=e*,且p′pa=a,所以p′pe=e,從而p′pe=e=e*=ep*(p′)*。又由引理1可知u=p*pe+1-e是可逆的,當(dāng)且僅當(dāng)u1=ep*p+1-e是可逆的?！ ∮晌墨I(xiàn)[8]的推論1可知如果e=aa(1,3)=e2且存在p′,q′∈R使得p′pe=e=eqq′,則peq是群可逆的充要條件是eqp+1-e是可逆的,且此時(shí)(peq)#=pe(eqpe+1-e)-2q。因此,u1=ep*p+1-e是可逆的當(dāng)且僅當(dāng)pep*是群可逆的,且此時(shí)(pep*)#=pe(u1)-2p*。所以,u=p*pe+1-e是可逆的當(dāng)且僅當(dāng)pep*是群可逆的?！ ∽⒂?定理1推廣了文獻(xiàn)[6]中定理3.1中1)～3)的結(jié)果,即文獻(xiàn)[6]中作者假設(shè)p是可逆的且p′(1-e)=1-e,而本文的定理1僅是假設(shè)p′pa=a。對(duì)于文獻(xiàn)[6]中的定理3.1中4)的結(jié)論,即1+r*r是可逆的當(dāng)且僅當(dāng)pa是{1,3}-可逆的(這里r=(1-e)(1-p-1)),我們給出如下說(shuō)明: 1)即使假設(shè)p′pa=a,p′(1-e)=1-e,a†存在,且1+r*r是可逆的,其中r=(1-e)(1-p′),同樣也得不到(pa)†存在。更一般地,也得不到pa是{1,3}-可逆的?！ ±?設(shè)環(huán)R表示ℤ2上具有無(wú)限秩的有限行有限列的矩陣環(huán),且A*=AT(即矩陣A的對(duì)合表示矩陣A的轉(zhuǎn)置)。令a=1,則1-e=0,r=0,且1+r*r是可逆的。設(shè)p,p′∈R,定義為 則有p′p=1,p′pa=a,pa=p。但是 在ℤ2上不是可逆的。由文獻(xiàn)[9]的定理1可知,p†存在當(dāng)且僅當(dāng)pp*+1-pp(1)是可逆的。而由引理1可知pp*+1-pp(1)是可逆的充要條件是p*p+1-pp(1)=p*p是可逆的。而本例中p*p不可逆,從而p†不存在,即(pa)†不存在?！ ?)如果假設(shè)p′pa=a,p′(1-e)=1-e,且假設(shè)(pa)†和a†存在,我們也得不到1+r*r是可逆的,其中r=(1-e)(1-p′)?！ ±?同上例設(shè)環(huán)R表示ℤ2上具有無(wú)限秩的有限行有限列的矩陣環(huán),且A*=AT。令 則a†存在,且a†=a*=aT。令p=a,因此p′p=1,從而p′pa=a且 則a1†=a1*,故(pa)†存在,且(pa)†=(a2)†=(a†)2。又由 在ℤ2上不是可逆的。 如果1+r*r是可逆的,則有如下定理?！ 《ɡ?設(shè)R是一個(gè)*-環(huán)且a∈R使得a(1,3)存在,令e=aa(1,3),且對(duì)環(huán)R中元素p,存在p′∈R使得p′pa=a。如果pa是{1,3}-可逆的,令p′(1-e)=1-e。則下列敘述等價(jià): 1)v=p′(p′)*(1-e)+1-(1-e)是可逆的; 2)w=(1-e)p′(p′)*(1-e)+ep*pe是可逆的; 3)1+r*r是可逆的,其中r=(1-e)(1-p′); 4)pe和(1-e)p′是MP-可逆的且滿(mǎn)足(1-e)p′((1-e)p′)†+(pe)†pe=1?！ 〈藭r(shí),(pe)†=w-1(pe)*,((1-e)p′)†=((1-e)p′)*w-1,且w-1=[(1-e)p′((1-e)p′)*]†+[(pe)*pe]†。從而,pa的{1,3}-逆有如下形式 證明如果pa是{1,3}-可逆的,則由定理1可知,u=p*pe+1-e是可逆的。利用引理1,可知u1=ep*pe+1-e是可逆的。 1)⇔2)。由引理1可知,v=p′(p′)*(1-e)+1-(1-e)是可逆的當(dāng)且僅當(dāng)v1=(1-e)p′(p′)*(1-e)+1-(1-e)是可逆的。而w=(1-e)p′(p′)*(1-e)+ep*pe=u1v1=v1u1,故w=(1-e)p′(p′)*(1-e)+ep*pe是可逆的當(dāng)且僅當(dāng)v1=(1-e)p′(p′)*(1-e)+1-(1-e)是可逆的,從而w是可逆的當(dāng)且僅當(dāng)v是可逆的。由Jacobson公式有u1-1=w-1v1=v1 w-1。又因?yàn)関1e=[(1-e)p′(p′)*(1-e)+1-(1-e)]e=e,故 從而2)成立?！ ?)⇔3)。設(shè)r=(1-e)(1-p′)。則r*=(1-p′)*(1-e),故 1+r*r=1+(1-p′)*(1-e)(1-p′)=1+r*(1-p′)=1+r*-r*p′?！ ∫?yàn)閞2=(1-e)(1-p′)(1-e)(1-p′)=0,故1+r*是可逆的,且(1+r*)-1=1-r*。從而, 因此,1+r*r是可逆的當(dāng)且僅當(dāng)1-[(1-e)-(p′)*(1-e)]p′是可逆的。由引理1可知,1-[(1-e)-(p′)*(1-e)]p′是可逆的當(dāng)且僅當(dāng) 1-p′[(1-e)-(p′)*(1-e)]=1+p′(p′)*(1-e)-p′(1-e)=1+p′(p′)*(1-e)-(1-e)=v是可逆的?！ ?)⇔4)。令φ=(1-e)p′,η=pe。則ηφ=pe(1-e)p=0,且 w=(1-e)p′(p′)*(1-e)+ep*pe=(1-e)p′[(1-e)p′]*+(pe)*pe=φφ*+η*η。 假設(shè)φ=(1-e)p′和η=pe分別存在MP-逆φ†和η†,且滿(mǎn)足φφ†+η†η=1。則我們知道φφ*和η*η也存在MP-逆。又因?yàn)?phi;*η*=(ηφ)*=0,故, 同理可證 [(φφ*)†+(η*η)†](φφ*+η*η)=1。 從而,w=φφ*+η*η是可逆的,且它的逆為(φφ*)†+(η*η)†。 另一方面,如果w=φφ*+η*η是可逆的。因?yàn)閣φφ*=(φφ*+η*η)φφ*=φφ*φφ*=(φφ*)2,所以φφ*=w-1(φφ*)2。又因?yàn)?phi;φ*是自伴隨的,故φφ*是MP-可逆的,且(φφ*)†=w-1φφ*w-1。而w=φφ*+η*η與φφ*可交換,且wφ=(φφ*+η*η)φ=φφ*φ,所以,(φφ*)†=w-2φφ*,且φφ*(φφ*)†φ=w-2φφ*φφ*φ=φ。從而φ是MP-可逆的,且φ†=φ*(φφ*)†=φ*φφ*w-2=φ*w-1?！ ⊥砜勺C,η†=w-1η*?！ ∫?yàn)閣與φφ*可交換,故有φφ†+η†η=φφ*w-1+w-1η*η=w-1(φφ*+η*η)=w-1w=1,得證?！ ☆?lèi)似定理1和定理2,如果a(1,4)存在,則我們有如下定理3和定理4?！ 《ɡ?設(shè)R是一個(gè)*-環(huán)且a∈R使得a(1,4)存在,令f=a(1,4)a,且對(duì)環(huán)R中元素q,存在q′使得a=aqq′。則下列敘述等價(jià): 1)aq是{1,4}-可逆的; 2)f∈Rfqq*f∩fqq*fR; 3)u′=fqq*+1-f是可逆的; 4)q*fq是群可逆的。 此時(shí),aq的一個(gè){1,4}-逆有如下形式 證明注意到(a(1,4))*是a*的{1,3}-逆。因?yàn)閍=aqq′,故有a*=(q′)*q*a*。應(yīng)用定理1可知,有如下等價(jià)條件: 1)q*a*是{1,3}-可逆的; 2)f∈Rfqq*f∩fqq*fR; 3)u′2=qq*f+1-f是可逆的; 4)q*fq是群可逆的; 由以上條件可知,定理3中1)～4)是等價(jià)的?！ 《ɡ?設(shè)R是一個(gè)*-環(huán)且a∈R使得a(1,4)存在,令f=a(1,4)a,且對(duì)環(huán)R中元素q,存在q′使得a=aqq′。如果aq是{1,4}-可逆的,令(1-f)q′=1-f。則下列敘述等價(jià): 1)v′=(q′)*q′(1-f)+1-(1-f)是可逆的; 2)w′=(1-f)(q′)*q′(1-f)+fqq*f是可逆的; 3)1+ll*是可逆的,其中l(wèi)=(1-q′)(1-f); 4)q*f和(1-f)(q′)*是MP-可逆的且滿(mǎn)足[q′(1-f)]†q′(1-f)+fq(fq)†=1?！ 〈藭r(shí),(q*f)†=(w′)-1fq,[(1-f)(q′)*]†=[q′(1-f)](w′)-1且(w′)-1=[(1-f)(q′)*q′(1-f)]†+(fqq*f)†。 從而,aq是{1,4}-可逆的有如下形式 如果a(1,3)和a(1,4)存在,即a†存在,利用定理1和定理3,則有如下定理?！ 《ɡ?設(shè)R是一個(gè)*-環(huán)且a∈R使得a†存在,令e=aa†,f=a†a,且對(duì)環(huán)R中元素p和q,存在p′和q′使得p′pa=a=aqq′。則下列敘述等價(jià): 1)(paq)†存在; 2)e∈Rep*pe∩ep*peR,f∈Rfqq*f∩fqq*fR; 3)u=p*pe+1-e和u′=fqq*+1-f是可逆的; 4)pep*和q*fq是群可逆的。 此時(shí),(paq)†=q*(u′)-1a†u-1p*?！ ∽C明由參考文獻(xiàn)[5]可知,paq是MP-可逆的當(dāng)且僅當(dāng)pa是{1,3}-可逆的且aq是{1,4}-可逆,此時(shí)(paq)†=(aq)(1,4)a(pa)(1,3)。利用定理1和定理3可知,1)-4)成立,且 參考文獻(xiàn) [1] PENROSE R. A generalized inverse for matrices[J]. Mathematical Proceedings of Cambringe Philosophical Society,1955,51(3):406-413. [2] PEARL M H. Generalized inverses of matrices with entries taken from an arbitrary field[J]. Linear Algebra and Its Applications,1968,1(4):571-587. [3] HARTWIG R E. Block generalized inverses[J]. Archieve for Rational Machanics&Analysis,1976,61(3):197-251. [4] KOLIHA J J,PATRICIO P. Elements of rings with equal spectral idempotents[J]. Journal of Australian Mathratial Society,2002,72(1):137-152. [5] PATRICIO P. The Moore-Penrose inverse of a factorization[J]. Linear Algebra and Its Applications,2003,370(3):227-235. [6] CASTRO-GONZALEZ N,CHEN J L,WANG L. Further results on generalized inverses in rings with involution[J]. Electronic Journal of Linear Algebra,2015,30:118-134. [7] LAM T Y. A first course in noncommutative rings[M]. 2nd ed. Belin-Heiddberg:Springer-Verlag,2010. [8] GOUVEIA M C,PUYSTJENS R. About the group inverse and Moore-Penrose inverse of a product[J]. Linear Algebra and Its Applications,1991,150:361-369. [9] PATRICIO P. The Moore-Penrose inverse of a companion matrix[J]. Linear Algebra and Its Applications,2012,437(3):870-877.
相關(guān)閱讀
