石洛宜,武玉婧

(1.天津工業(yè)大學(xué) 理學(xué)院,天津 300387;2.天津職業(yè)大學(xué) 基礎(chǔ)部,天津 300402)

Johnson[1]首先在Banach代數(shù)上引入了算子順從性的概念.之后,Bade等[2]和Monfared[3]在Banach代數(shù)上分別引進(jìn)了弱順從性和特征順從性的概念.目前，算子代數(shù)的順從性及順從性相關(guān)的性質(zhì)已引起人們廣泛關(guān)注,并取得了許多研究結(jié)果,推動(dòng)了C*代數(shù)、Von Neumman代數(shù)和抽象調(diào)和分析的發(fā)展[1,4-5].具有順從性的算子代數(shù)都相似于C*代數(shù),但“每個(gè)具有順從性的算子代數(shù)是否都一定相似于一個(gè)C*代數(shù)”的猜測(cè)目前還沒(méi)有完全解決.

B(H )中由單個(gè)算子生成的Banach代數(shù)是B(H )的一類(lèi)特殊Banach子代數(shù).假設(shè)T∈B(H ),令A(yù)T表示由T生成的Banach子代數(shù),若AT是順從(弱順從或特征順從)的,則稱(chēng)T是順從(弱順從或特征順從)的;如果Aπ(T)是順從(弱順從或特征順從)的(π(T)表示T在Calkin代數(shù)中的像),則稱(chēng)T是本性順從(弱順從或特征順從)的.Willis[6]首次研究了緊算子的順從性,并且得到了緊算子是順從的當(dāng)且僅當(dāng)其相似于正規(guī)算子.Farenick等[7]利用譜的語(yǔ)言給出了正規(guī)算子的順從和弱順從性以及上三角算子順從性的完全刻劃,證明了:

1) 如果T是順從的,則T的譜σ(T)沒(méi)有內(nèi)點(diǎn)并且補(bǔ)集連通;

2) 如果T是一個(gè)正規(guī)算子,則T是順從的當(dāng)且僅當(dāng)T是弱順從的,當(dāng)且僅當(dāng)T是特征順從的,當(dāng)且僅當(dāng)σ(T)沒(méi)有內(nèi)點(diǎn)且補(bǔ)集連通;

3) 上三角算子T是順從的當(dāng)且僅當(dāng)T相似于一個(gè)正規(guī)算子,并且σ(T)沒(méi)有內(nèi)點(diǎn)且補(bǔ)集連通.

如果σ(T)沒(méi)有內(nèi)點(diǎn)且補(bǔ)集連通,則T一定是雙擬三角算子.即各種順從算子都是雙擬三角算子.本文研究B(H )中所有順從(弱順從、特征順從)算子構(gòu)成的集合在B(H )中的百分比,并進(jìn)一步研究順從算子在各種相似意義下的穩(wěn)定性.結(jié)果表明,各種順從算子在取極限意義下都是不穩(wěn)定的.

1 引 理

若A是一個(gè)含單位元的Banach代數(shù),對(duì)任意的T∈A,令σA(T)表示T相對(duì)于A的譜.特別地,如果取A=B(H ),令σ(T)表示T相對(duì)于B(H )的譜.對(duì)任意的T∈B(H ),令σe(T)表示π(T)相對(duì)于Calkin代數(shù)的譜.如果RanT是閉的,而且nulT和nulT*中至少有一個(gè)有限的,則稱(chēng)T是一個(gè)半Fredholm算子;此時(shí),indT∶=nulT-nulT*稱(chēng)為T(mén)的指標(biāo);ρs-F(T)∶={λ∈:λ-T是一個(gè)半Fredholm 算子}稱(chēng)為T(mén)的半Fredholm域.如果對(duì)任意的λ∈ρs-F(T),indλ-T≥0,則稱(chēng)T是擬三角的;如果對(duì)任意的λ∈ρs-F(T),indλ-T=0,則稱(chēng)T是雙擬三角的.假設(shè)A是B(H )的一閉子代數(shù),記A的換位代數(shù)

A ′∶={B∈B(H ):AB=BA,?A∈A }.

設(shè)M是H的一閉子空間,如果對(duì)任意的A∈A,均有AM?M,則稱(chēng)M是A的一不變子空間.記Lat A表示A所有不變子空間構(gòu)成的集合,并稱(chēng)為A的不變子空間格;Lat A ′中每個(gè)元素稱(chēng)為A的一個(gè)超不變子空間.如果對(duì)任意的M∈Lat AT,存在N∈Lat AT，使得MN=H,則稱(chēng)算子T∈B(H )是Banach 約化的.

則稱(chēng)T與S是近似相似的;如果存在單射稠值域的算子X(jué)和Y,使得TX=XS,YT=SY,則稱(chēng)T與S是擬相似的.

引理1[3,7]設(shè)A,B是交換的Banach代數(shù),φ: A→B是連續(xù)的同態(tài),并且φ(A )在B中稠.如果A是順從(弱順從或特征順從)的,則B也是順從(對(duì)應(yīng)的弱順從或特征順從)的.

引理2[3,5]設(shè)A是一個(gè)交換的Banach代數(shù),I是A的一個(gè)雙邊閉理想,滿(mǎn)足A/I和I都是順從(弱順從或特征順從)的,則A也是順從(對(duì)應(yīng)的弱順從或特征順從)的.

由引理1和引理2可得:

引理3設(shè)T∈B(H ).如果T是順從(弱順從或特征順從)的,則:

1) 對(duì)所有的λ∈,λT也都是順從(對(duì)應(yīng)的弱順從或特征順從)的;

2) 對(duì)所有的λ∈,λI+T也都是順從(對(duì)應(yīng)的弱順從或特征順從)的;

3) 對(duì)所有B(H )中的可逆算子S,STS-1也都是順從(對(duì)應(yīng)的弱順從或特征順從)的;

4) 如果M是T的不變子空間,則T|M也是順從(對(duì)應(yīng)的弱順從或特征順從)的;

5)π(T)也是順從(對(duì)應(yīng)的弱順從或特征順從)的;

6)T*也是順從(對(duì)應(yīng)的弱順從或特征順從)的.

引理4假設(shè)A是一個(gè)含有單位元的Banach代數(shù),T∈A是順從(弱順從或特征順從)的,則σAT(T)=σA(T)沒(méi)有內(nèi)點(diǎn)且補(bǔ)集連通.

推論1假設(shè)T是一個(gè)順從算子,并且從AT到(σ(T))的Genlfand變換是下方有界的,則T相似于一個(gè)正規(guī)算子.

證明: 根據(jù)引理4,σ(T)是補(bǔ)集連通的且沒(méi)有內(nèi)點(diǎn).此外,由于Genlfand變換是下方有界的,即存在K>0,使得對(duì)任意的多項(xiàng)式p,‖p(T)‖≤K‖p‖∞,這里‖·‖∞表示極大模范數(shù).從而σ(T)是T的K-譜集[8].再利用σ(T)沒(méi)有內(nèi)點(diǎn)且補(bǔ)集連通,由文獻(xiàn)[9]中定理4可知,T相似于一個(gè)正規(guī)算子.

注1假設(shè)T∈B(H )相似于一個(gè)正規(guī)算子,且σ(T)沒(méi)有內(nèi)點(diǎn)補(bǔ)集連通,根據(jù)文獻(xiàn)[10]中定理8.7知,AT相似于一個(gè)C*代數(shù).反之,若T是一個(gè)順從算子,且AT相似于一個(gè)C*代數(shù),根據(jù)推論1,T必相似于一個(gè)正規(guī)算子.綜上可知,對(duì)于單生成的Banach算子代數(shù),每個(gè)順從算子代數(shù)都相似于C*代數(shù)的猜想等價(jià)于每個(gè)順從算子都相似于一個(gè)正規(guī)算子.

如果存在另外一個(gè)Hilbert算子H0和T0∈B(H0)及T0的一個(gè)不變子空間M,使得T酉等價(jià)于T0|M,則稱(chēng)算子T∈B(H )是次正規(guī)的;如果T(T*T)1/2=(T*T)1/2T,則稱(chēng)算子T是擬正規(guī)的.由于任意的次正規(guī)或擬正規(guī)算子都滿(mǎn)足推論1的條件,因此根據(jù)推論1和Putnam-Fuglede定理可知,如果T是次正規(guī)或擬正規(guī)算子,則T是順從的當(dāng)且僅當(dāng)T是正規(guī)的.

2 各種順從算子在B(H )中的百分比

由引理4可見(jiàn),若T是一個(gè)順從、弱順從或特征順從算子,則T必是一個(gè)雙擬三角算子.記QT,BQT,AM,WAM,CAM分別表示B(H )中所有擬三角、雙擬三角、順從、弱順從和特征順從算子構(gòu)成的集合.記EAM,EWAM,ECAM分別表示B(H )中所有使得其在Calkin代數(shù)A(H )中的像是順從、弱順從和特征順從算子構(gòu)成的集合.下面研究這些集合的閉包、內(nèi)點(diǎn)以及它們之間的集合包含關(guān)系.

定理1假設(shè)H是一個(gè)無(wú)窮維的Hilbert空間,則有下列集合包含關(guān)系:

1)AM?WAM?BQT?QT;

2)AM?CAM?BQT?QT;

3)EAM?EWAM?BQT?QT;

4)EAM?ECAM?BQT?QT;

5)CAM0=WAM0=AM0=?;

證明: 假設(shè)T屬于AM(WAM,CAM,EAM,EWAM或ECAM),根據(jù)引理1和引理4,1)～4)的包含關(guān)系顯然.

下面證明5).根據(jù)1),2)易知WAM0?AM0,CAM0?AM0,因此只需證明CAM0=WAM0=?即可.任取T∈B(H ),假設(shè)λ0∈σle(T),根據(jù)文獻(xiàn)[11]中定理3.49,對(duì)任意的ε>0,存在一無(wú)窮維Hilbert空間Hε?H及B(H )中的緊算子K1,使得‖K1‖<ε/2,(T+K1)Hε?Hε,并且T+K1在Hε上的限制Tε=(T+K1)|Hε=λ0I.此時(shí)任取Hε上一非零的緊冪零算子K2滿(mǎn)足‖K2‖<ε/2,根據(jù)引理3和文獻(xiàn)[6]可知,Tε+K2一定不是特征順從或弱順從的.從而根據(jù)引理3可知T+K1+(K2⊕0)不是特征順從或弱順從的.即CAM0=WAM0=?成立.

下面證明6).根據(jù)文獻(xiàn)[11]中定理6.15,

利用1)～4)及5)的證明和文獻(xiàn)[7]易知,

利用引理3可知,

AM?EAM,WAM?EWAM,CAM?ECAM,

從而

下面用反證法證明

假設(shè)存在一列{Tn}?B(H ),Tn→T,并且使得每個(gè)π(Tn)都是順從(對(duì)應(yīng)的弱順從或特征順從)的,但T?BQT.即存在k≠0及σ(T)中的一個(gè)開(kāi)區(qū)域Ω,使得對(duì)任意的λ∈Ω,ind(λ-T)=k.由于π(Tn)是順從(弱順從或特征順從)的,根據(jù)引理4,σe(Tn)沒(méi)有內(nèi)點(diǎn)補(bǔ)集連通.此外,由于Tn→T,根據(jù)指標(biāo)的穩(wěn)定性,存在Ω的一個(gè)子區(qū)域Ω1和N>0,使得對(duì)任意的n>N及λ∈Ω1,ind(λ-Tn)≠0.

情形1) 如果對(duì)任意的n>N及λ∈Ω1,ind(λ-Tn)=+∞或ind(λ-Tn)=-∞,則對(duì)任意的n>N,Ω1?σe(Tn);

情形2) 如果對(duì)任意的n>N及λ∈Ω1,ind(λ-Tn)<+∞且ind(λ-Tn)>-∞,則當(dāng)n>N時(shí),σe(Tn)補(bǔ)集一定是不連通的.因此,當(dāng)n>N時(shí),σe(Tn)或者有內(nèi)點(diǎn)或者補(bǔ)集不連通,這與σe(Tn)沒(méi)有內(nèi)點(diǎn)補(bǔ)集連通矛盾.所以

注2由定理1可見(jiàn),B(H )中所有順從(弱順從或特征順從)算子在BQT中是稠的,其補(bǔ)集在BQT中是稠的.即順從(弱順從或特征順從)算子和非順從(弱順從或特征順從)算子所構(gòu)成的集合均沒(méi)有內(nèi)點(diǎn).因此,順從、弱順從和特征順從性在取極限的意義下都是不穩(wěn)定的.

3 穩(wěn)定性

對(duì)于Hilbert空間上的算子,相似和酉等價(jià)是重要的等價(jià)關(guān)系,此外還有許多其他等價(jià)關(guān)系.本文主要研究順從性在各種等價(jià)關(guān)系下的穩(wěn)定性.

根據(jù)引理3可知,若T是一個(gè)順從(弱順從或特征順從)算子,S與T相似(酉等價(jià)),則S也是一個(gè)順從(對(duì)應(yīng)的弱順從或特征順從)算子.

定理2假設(shè)T和S是近似相似的,且T是順從(弱順從或特征順從)算子,則S也是順從(對(duì)應(yīng)的弱順從或特征順從)算子.

證明: 由T和S是近似相似的,存在常數(shù)K>0和可逆算子列{Xn},使得

定義從AT到AS的映射φ: AT→AS,其中對(duì)任意的多項(xiàng)式p,φ(p(T))=p(S).由于對(duì)任意的多項(xiàng)式p,‖p(S)‖

下面舉例說(shuō)明各種順從性在漸近相似和擬相似下都是不穩(wěn)定的.

注3綜上可知,順從、弱順從和特征順從性在相似、酉等價(jià)、漸近酉等價(jià)和近似相似這些等價(jià)關(guān)系下都是穩(wěn)定的;在漸近相似和擬相似這些等價(jià)關(guān)系下是不穩(wěn)定的.根據(jù)文獻(xiàn)[14]中引理3.9和引理3.13,雖然順從性在擬相似下是不穩(wěn)定的,但與正規(guī)算子或緊算子擬相似的算子如果是順從的,則一定相似于正規(guī)算子.

命題1假設(shè)T是一個(gè)順從算子,且存在正規(guī)算子N及可逆算子列{Xn},{Yn},使得

即T與N漸近相似.如果Xn或Yn不按弱算子拓?fù)涫諗康?,則存在T的不變子空間M≠{0},使得T|M相似于一個(gè)正規(guī)算子.

證明: 不失一般性,可以假設(shè)Xn是有界序列,并且不按弱算子拓?fù)涫諗康?.從而存在X0≠0及{Xn}的子列{Xnk},使得Xnk按弱算子拓?fù)涫諗康絏0,于是可知X0T=NX0.此外,T與N是漸近相似的,根據(jù)譜的上半連續(xù)性可知σ(T)=σ(N).令A(yù)=N⊕T,直接驗(yàn)證易得AA和AT是同構(gòu)的,從而A也是一個(gè)順從算子.根據(jù)文獻(xiàn)[14]中定理3.11的證明過(guò)程易知,存在T的不變子空間M≠{0},使得T|M相似于一個(gè)正規(guī)算子.

命題1表明若順從算子T與一個(gè)正規(guī)算子漸近相似且滿(mǎn)足一定的條件,則T一定有相似于正規(guī)的部分.

[1] Johnson B E.Cohomology in Banach Algebras [M].Providence: American Mathematical Society,1972.

[2] Bade W G,Curtis P C,Dales H G.Amenability and Weak Amenability for Beurling and Lipschitz Algebras [J].Proc London Math Soc,1987,55(3): 359-377.

[3] Monfared M S.Character Amenability of Banach Algebras [J].Math Proc Cambridge Philos Soc,2008,144(3): 697-706.

[4] Pier J.Amenable Banach Algebras [M].Pitman Research Notes in Mathematics Series.Vol.172.Harlow: Longman Scientific &Technical,1988.

[5] Runde V.Lectures on Amenability [M].Lecture Notes in Mathematics.Vol.1774.Berlin: Springer-Verlag,2002.

[6] Willis G A.When the Algebra Generated by an Operator Is Amenable [J].J Operator Theory,1995,34(2): 239-249.

[7] Farenick D R,Forrest B E,Marcoux L W.Amenable Operators on Hilbert Apaces [J].J Reine Angew Math,2005,2005: 201-228.

[8] Mlak W.Partitions of Spectral Sets [J].Ann Polon Math,1971,25: 273-280.

[9] Douglas R G.On Operators Similar to Normal Operators [J].Rev Roumaine Math Pures Appl,1969,14: 193-197.

[10] Gamelin T W.Uniform Algebras [M].Englewood Cliffs: Prentice-Hall Inc,1969.

[11] Herrero D A.Approximation of Hilbert Space Operators [M].Vol.1.Pitman Research Notes in Mathematics Series.Vol.224.2nd ed.Harlow: Longman Scientific &Technical,1989.

[12] JI You-qing,SHI Luo-yi.Amenable Operators on Hilbert Spaces [J].Houston Journal of Mathematics,2012,38(4): 1165-1183.

[13] Apostol C,Fialkow L A,Herrero D A,et al.Approximation of Hilbert Space Operators: Vol.Ⅱ [M].Research Notes in Mathematics.Vol.102.Boston: Pitman (Advanced Publishing Program),1984.

[14] SHI Luo-yi,WU Yu-jing,JI You-qing.Invariant and Hyperinvariant Subspaces for Amenable Operators [J].J Operator Theory,2013,69(1): 87-100.