摘要： 本文研究了范疇￡中具有泛分解態(tài)射f=pgq關(guān)于對稱態(tài)射β，γ的加權(quán)Moore-Penrose逆，并給出了其存在的充要條件及其表達(dá)式.

關(guān)鍵詞： 態(tài)射泛分解加權(quán)Moore-Penrose逆

1.引言及定義

1972年Davis在范疇中引進(jìn)了態(tài)射的廣義逆［１］，引起了國內(nèi)外眾多學(xué)者的興趣，對此做了大量的工作，已取得了一系列研究成果.文［2，3］主要研究具有泛分解態(tài)射的廣義逆，得到了一些重要結(jié)果.文［4］主要研究具有滿單分解態(tài)射的加權(quán)Moore-Penros逆，得到了一些重要結(jié)果.本文將在文［4］的基礎(chǔ)上考慮范疇中具有泛分解態(tài)射f=pgq關(guān)于對稱態(tài)射β，γ的加權(quán)Moore-Penrose逆，并給出其存在的充要條件及其表達(dá)式，推廣了文［4］的相應(yīng)結(jié)論.

為方便討論，首先引進(jìn)有關(guān)的概念.

定義1.1［２］設(shè)￡是一范疇，對象X，Y，Z∈￡，態(tài)射f∈M（X，Y）.設(shè)f可分解成態(tài)射的合成：f=pgq，其中p∈M（X，Z），g∈M（Z，Z），q∈M（Z，Y），若存在態(tài)射P′∈M（Z，X），q′∈M（Y，Z），使得p′pg=g=gqq′成立，則f=pgq為f的通過對象I的一個泛分解.

定義1.2［４］設(shè)￡是帶有對合*的范疇，對象X，Y∈￡，f∈M（X，Y）是￡的態(tài)射，β∈M（X，X）與γ∈M（Y，Y）是￡的對稱態(tài)射，若x∈M（Y，X）滿足：

（1）fβxγf=f；（2）xγfβx=x；（3）（fβx）=fβx；（4）（xγf）=xγf.

2.主要結(jié)果

引理2.1［４］設(shè)f∈M（X，Y）為范疇￡中態(tài)射，β∈M（X，X）與γ∈M（Y，Y）是￡的對稱態(tài)射，則以下命題等價：

（1）f關(guān)于對稱態(tài)射β，γ的加權(quán)Moore-Penrose逆存在；

（2）存在態(tài)射u，v∈M（X，Y），使得ufγf=f=fβfv；

此時有：f=vfu.

定理2.1設(shè)f∈M（X，Y）為范疇￡中態(tài)射，β∈M（X，X）與γ∈M（Y，Y）是￡的對稱態(tài)射，f=pgq為f的通過對象Z一個泛分解，則f存在當(dāng)且僅當(dāng)存在對稱態(tài)射β，γ∈M（Z，Z），使得（pg）與（gq）存在.

證明：“?坩”由pgβ（pg）γpg=pg，gqβ（gq）γgq=gq和f=pgq為f的通過對象Z一個泛分解得知：gβ（pg）γpg=g，gqβ（gq）γg=g.

令x=（gq）γgβ（pg），則可得x=f.

“?圯”取β=i，γ=i，由f的定義可得fβfγf=f，即得pgqβfγpgq=pgq，再由f=pgq為f的通過對象Z一個泛分解得gqβfγpg=g.

令x=gqβf，y=fλpg，直接驗(yàn)證可得x=（pg），y=（gq）.

定理2.2設(shè)f∈M（X，Y）為范疇￡中態(tài)射，β∈M（X，X）與γ∈M（Y，Y）是￡的對稱態(tài)射，f=pgq為f的通過對象Z一個泛分解，g=g，則以下命題等價：

（1）f關(guān)于對稱態(tài)射β，γ的加權(quán)Moore-Penrose逆存在；

（2）存在態(tài)射ρ，σ∈M（X，Y），使得ρfγpg=g，gqβfσ=g；

此時有：f=（σgq）f（pgρ）.其中ρfγpg=g，gqβfσ=g.

證明：（1）?圯（2）令x=f，由p（gqβxγxβ）（fγpg）q=fβxγfβxγf=pgq，

可得：（gqβxγxβ）（fγpg）=g，令ρ=gqβxγxβ即得.

再由p（gqβf）γxβxγpgq=fβxγfβxγf=pgq.可得：

（gqβf）γxβxγpg=g，σ=γxβxγpg.

（2）?圯（1）若ρfγpg=g，gqβfσ=g，則pgρfγpf=f=fβfσgq，由引理2.1［４］得：f=（σgq）f（pgρ）.

參考文獻(xiàn)：

［1］Davis DL，Robinson DW.Generalized inverse of morphisms［J］.Linear algebra application.，1972，5：319-328.

［2］江聲遠(yuǎn)，劉曉冀.具有泛分解的態(tài)射的廣義逆［J］.數(shù)學(xué)學(xué)報(bào)，1999，42，（2）：233-240.

［3］曹永知，朱萍.關(guān)于具有泛分解的態(tài)射的廣義逆［J］.數(shù)學(xué)學(xué)報(bào)，2001，44，（3）：559-566.

［4］朱萍，曹永知.態(tài)射的加權(quán)Moore-Penrose逆［J］.數(shù)學(xué)物理學(xué)報(bào)，2001，21A，（1）：36-42.

［5］劉曉冀，張仕光.具有核的態(tài)射的w-加權(quán)Drazin-逆［J］.數(shù)學(xué)物理學(xué)報(bào)，2009，21A，（3）：741-750.

［6］Wang Guorong，etc.，“Generalizedinverses：Theory and Computations”，Science Press，Beijing/New York，2004：26-33.

基金項(xiàng)目：河北省高等學(xué)?？茖W(xué)研究計(jì)劃項(xiàng)目（Z2010188）