馬飛，張建華，劉紅哲

1. 咸陽(yáng)師范學(xué)院數(shù)學(xué)與信息科學(xué)學(xué)院，陜西 咸陽(yáng) 712000

2. 陜西師范大學(xué)數(shù)學(xué)與信息科學(xué)學(xué)院，陜西 西安 710062

設(shè)A 是任意代數(shù)，M 是其A-雙模。一個(gè)可加映射d：A →M 稱為導(dǎo)子，Jordan 導(dǎo)子或Lie 導(dǎo)子，如果d滿足對(duì)任意A，B∈A，有d(AB) =d(A)B+Ad(B)，d(A2)=d(A)A+Ad(A)或者d([A，B]) =[d(A)，B]+[A，d(B)]成立。設(shè)d是一個(gè)Lie 導(dǎo)子，若存在一個(gè)可加導(dǎo)子?和交換子上為零的映射ξ使得d=?+ξ，則稱Lie 導(dǎo)子d具有標(biāo)準(zhǔn)型。特別地，若無(wú)可加假設(shè)，即對(duì)任意A，B∈A，d都滿足d([A，B]) =[d(A)，B]+[A，d(B)]，則稱d是非線性Lie 導(dǎo)子。

1991 年，Bre?ar 在文獻(xiàn)［1］中引入了廣義導(dǎo)子的概念。設(shè)f：A →M 是一個(gè)可加映射，如果存在導(dǎo)子d：A →M 使得對(duì)任意A，B∈A 有f(AB) =f(A)B+Ad(B)，那么稱f是廣義導(dǎo)子；若滿足f(A2)=f(A)A+Ad(A)，則稱f是廣義Jordan 導(dǎo)子。Hvala[]2于1998 年引入了廣義Lie 導(dǎo)子。設(shè)f：A →M 是一可加映射，如果存在一可加映射d：A →M，使得對(duì)任意A，B∈A有

那么稱f是廣義Lie 導(dǎo)子。顯然，（廣義）導(dǎo)子一定是（廣義）Jordan 導(dǎo)子，（廣義）導(dǎo)子一定是（廣義）Lie 導(dǎo)子，反之一般不成立（如文獻(xiàn)［3-4］）。關(guān)于Lie 導(dǎo)子或者廣義Lie 導(dǎo)子的一個(gè)自然研究課題就是在那些代數(shù)上的（廣義）Lie 導(dǎo)子具有標(biāo)準(zhǔn)型。如文獻(xiàn)［5-9］分別得到了環(huán)或者某些代數(shù)上的Lie 導(dǎo)子具有標(biāo)準(zhǔn)型，文獻(xiàn)［10-12］研究了上三角矩陣代數(shù)、三角代數(shù)和von Neumann 代數(shù)上的非線性Lie 導(dǎo)子，文獻(xiàn)［13-14］分別研究了三角代數(shù)上的廣義Lie 導(dǎo)子和非線性廣義Lie 導(dǎo)子。

設(shè)H 是實(shí)數(shù)域或復(fù)數(shù)域F 上的可分Hilbert 空間，L 是H 上的子空間格，A lg L ={T∈B(H)：T(L) ?L，?L∈L}，是L上的子空間格代數(shù)。若L中任意投影是可交換的，則稱L是交換子空間格，簡(jiǎn)稱CSL，一個(gè)全序子空間格N稱為套；相應(yīng)地，A lg L 和AlgN稱為CSL 代數(shù)和套代數(shù)。稱CSL 是完全分配格，如果對(duì)0 ≠e∈L 都有e=V{L∈L：N-?L}，其中N-=V{P∈L：P?N}. 完全分配的CSL代數(shù)稱為完全分配可交換子空間格代數(shù)，簡(jiǎn)稱CDC-代數(shù)。關(guān)于完全分配格的標(biāo)準(zhǔn)定義及相關(guān)研究?jī)?nèi)容見(jiàn)文獻(xiàn)［15-16］。

由文獻(xiàn)［17］可知，CDC-代數(shù)是由其包含的秩一算子弱*閉生成的算子代數(shù)，這個(gè)結(jié)果對(duì)研究CDC-代數(shù)具有重要的意義。在CDC-代數(shù)A lg L 中，記U(L) ={e∈L：e≠0，e-≠H}，稱U(L)中的e，e′是連通的，如果存在e1，e2，…，en∈U(L)使得ei與ei+1可比，e0=e，en+1=e′(i= 0，1，…，n). 設(shè)C ?U(L)，稱C 是U(L)的一個(gè)連通分支，如果C 中任意兩個(gè)元素是連通的，并且C 中的任何元素與U(L)C 中的元素都不連通。設(shè)L是復(fù)可分的Hilbert 空間H上的一個(gè)完全分配的交換子空間格，由文獻(xiàn)［18］可知，A lg L是不可約的當(dāng)且僅當(dāng)其交換子是平凡的，即其一次換位是FI，也等價(jià)于L ∩L⊥={0，I}，其中L⊥={e⊥：e∈L}. 顯然，套是完全分配的交換子空間格，也是最重要的模型。Gilfeather 等［18］證明了任何一個(gè)CDC-代數(shù)都可以分解成可數(shù)個(gè)不可約CDC-代數(shù)的直和，這個(gè)結(jié)果在研究CDC-代數(shù)的同構(gòu)和導(dǎo)子等問(wèn)題時(shí)具有非常重要的作用，下面我們給出這個(gè)結(jié)論。

引理1[18]設(shè)A lg L 是復(fù)Hilbert 空間H 上的CDC-代數(shù)，那么存在ε(L)的可數(shù)個(gè)連通分支Cn：n∈Λ，使得ε(L) = ∪{e：e∈Cn，n∈Λ}. 令en=V{e：e∈Cn，n∈Λ}，則{en，n∈Λ}?L ∩L⊥兩兩正交，并且

其中每個(gè)(A lg L)en是Hilbert 空間en上的不可約CDC-代數(shù)，這里的收斂指的是強(qiáng)收斂。

下面這個(gè)引理對(duì)研究不可約CDC-代數(shù)具有非常重要的意義。其證明了不可約CDC-代數(shù)上的Jordan 同構(gòu)是一個(gè)同構(gòu)和反同構(gòu)之和。這個(gè)結(jié)論在文獻(xiàn)［19］中已經(jīng)給出了證明。

引理2[19]設(shè)A lg L 是Hilbert 空間H 上的不可約CDC-代數(shù)，則存在一個(gè)非平凡投影e∈L，使得e(A lg L)e⊥是忠實(shí)的A lg L-雙邊模。這里忠實(shí)的A lg L-雙邊模指的是對(duì)于任意的A∈A lg L，若Ae(A lg L)e⊥={0}，則有Ae= 0；若e(A lg L)e⊥A={0}，則有e⊥A= 0.

記H 中的恒等算子為I。若L 是非平凡的，即A lg L 是非自伴算子代數(shù)，則由引理2 知，存在非平凡投影e∈L，使得e(A lg L)e⊥是忠實(shí)的A lg L-雙邊模。令e1=e，e2=I-e，則e1，e2均為A lg L 中的投影。因而對(duì)于任意的不可約CDC-代數(shù)A lg L 中的A，均可分解為A=e1Ae1+e1Ae2+e2Ae2. 記Aij=ei(A lg L)ej，因而可將A lg L代數(shù)分解為

受上述結(jié)論的啟發(fā)，本文主要研究了完全分配可交換子空間格代數(shù)上的非線性廣義Lie 導(dǎo)子。

1 不可約CDC-代數(shù)上的非線性廣義Lie 導(dǎo)子

在本節(jié)中，我們先討論不可約CDC-代數(shù)AlgL上的非線性廣義Lie 導(dǎo)子。其主要結(jié)論如下。

定理1 設(shè)A lg L 是復(fù)Hilbert 空間H 上的不可約CDC-代數(shù)，f：A lg L →A lg L 是A lg L 上的非線性廣義Lie 導(dǎo)子，d是A lg L 上與f相關(guān)的非線性映射。則存在可加導(dǎo)子ψ，?：A lg L →A lg L，使得對(duì)于任意的A∈A lg L，有

其中ξ是A lg L到其中心且在交換子上為零的映射。

下面通過(guò)幾個(gè)引理來(lái)完成定理1 的證明。

引理3 設(shè)f是滿足定理1的非線性廣義Lie導(dǎo)子，則對(duì)任意Aij∈Aij(i，j= 1，2) 有

證明

（i）由式（1）易得f(0) = 0，且當(dāng)B=I時(shí)，有

令A(yù)= 0即得d(0) =f(0) = 0.

對(duì)任意Aij∈Aij，由f(0) = 0和Aii Ajj= 0(i≠j)知

上式兩邊同乘以e1得e1f(A22)e1A11=A11e1d(A22)e1?A11，從而

注意到A11，A22的中心為Fe1，F(xiàn)e2，因此存在λA22∈F，使得

類(lèi)似存在λA11∈F，使得e2f(A11)e2=e2d(A11)e2=λA11e2.

（ii）在式（3）中左乘e1右乘e2，可得

令A(yù)11=e1，A22=e2可得e1f(e1)e2= -e1d(e2)e2. 上式中分別取A11=e1和A22=e2，有

由引理3可知，對(duì)任意A11∈A11，定義ξ1：A11→Fe2，則存在λA11∈F，使得

類(lèi)似地，定義ξ2：A22→Fe1，則存在λA22∈F，使得

顯然有，ξ1([A11，A11]) =ξ2([A22，A22]) = 0.

引理4 設(shè)f是滿足定理1 的非線性廣義Lie 導(dǎo)子，則f(A12)，d(A12) ?A12.

證明 對(duì)任意A12∈A12，由[e1，A12]=A12=[A12，e2]得

和

式（4）和式（5）兩邊分別乘以e1和e2，有

從而f(A12)，d(A12) ?A12.

對(duì)任意A∈AlgL，令

容易驗(yàn)證，F(xiàn)依舊是關(guān)于D的非線性廣義Lie 導(dǎo)子，滿足對(duì)任意A，B∈AlgL，

引理5

（i）F(A11) ?A11，F(xiàn)(A22) ?A12+ A22；

（ii）D(A11) ?A11+ A12，D(A22) ?A22.

證明 對(duì)任意Aii∈Aii，由引理3 可知

類(lèi)似地可以證明D(A11) ?A11+ A12，D(A22) ?A22.

引理6 對(duì)任意A，B∈A lg L，

證明 對(duì)任意A，B∈A lg L，由F(A) -D(A) =F(I)A-AD(I)可得

因此，F(xiàn)(A+B) -F(A) -F(B) =D(A+B) -D(A) -D(B).

記θ(A，B) =F(A+B) -F(A) -F(B) =D(A+B) -D(A) -D(B)，則有下面的結(jié)論。引理7 對(duì)任意Aij∈Aij，有

證明 在式（6）中，取A=A11，B=A12，由引理4和引理5 可得

引理8 對(duì)任意Aij∈Aij，有θ(A11，A12)，θ(A12，A22) ∈FI.

證明 對(duì)任意Aij，Bij∈Aij，由引理4 和 引理7 知

因此，對(duì)任意B12∈A12，有θ(A11，A12)B12=B12θ(A11，A12)，結(jié)合引理4和引理5 可知

對(duì)任意A12∈A12，由引理5 知

比較等式兩端得，A12D(e2)= 0. 由A12的任意性及引理6 知D(e2)= 0. 特別地

由F(A12)，D(A12) ?A12，知F(A12)=e1F(A11+A12)e2. 代入式（7）得θ(A11，A12) ∈FI.

類(lèi)似可證θ(A12，A22) ∈FI.

引理9 對(duì)任意A12，B12∈A12，有θ(A12，B12)= 0.

證明 在引理8中分別取A11=e1和A22=e2，則存在λ1，λ2∈F，使得θ(e1，A12)=λ1I，θ(B12，e2)=λ2I.注意到A11+B12=[e1+A12，B12+e2]，從而由引理3和引理4 及D(e2)= 0得

由引理6 得θ(A12，B12)= 0.

在引理6中用B+C替換B易得

記為θ(A，B，C). 則有下面的結(jié)論。

引理10 對(duì)任意A=A11+A12+A22∈A lg L，Aij∈Aij，有θ(A11，A12，A22) ∈FI.

證明 對(duì)任意Aij，Bij∈Aij，由于[A11+A12+A22，B12]=A11B12-B12A22∈A12，利用引理5和引理6 得

利用引理7，引理9又可得到

因此對(duì)任意B12∈A12，有

利用引理4和引理5 可得

類(lèi)似于引理8的證明，可得F(A12)=e1F(A11+A12+A22)e2-e1F(A22)e2. 進(jìn)而有θ(A11，A12，A22) ∈FI.

由引理10，對(duì)任意A=A11+A12+A22∈A lg L，記

引理11F，D是可加的廣義Lie 導(dǎo)子。

證明 在引理10 中，令A(yù)11=e1，A12= 0，A22=e2，由D(e2)= 0知，存在λI∈F使得

則對(duì)任意Aij∈Aij，由式（2）知

因此，將式（9）和式（10）分別代入引理7 得

對(duì)任意Aij，Bij∈Aij，由式（11）得

又由θ(A11A12，B11A12)= 0知

從而對(duì)任意A12∈A12，有θ(A11，B11)A12= 0. 即θ(A11，B11)= 0.

類(lèi)似可以證明θ(A22，B22)= 0.

對(duì) 任 意A=A11+A12+A22，B=B11+B12+B22∈A lg L， 注 意 到θ(A，B) =θ(A11+B11，A12+B12，A22+B22) ∈FI，從而存在λA，λB，λA+B∈F使得

從而F-θ0是可加的。注意到F(A+B) -θ0(A+B) =F(A) +F(B)，由上式可得θ0也是可加的，進(jìn)而F是可加的廣義Lie 導(dǎo)子。

由引理6 知，D也是可加的廣義Lie 導(dǎo)子。

引理12 對(duì)任意Aii，Bii∈A lg L，有

（i）F(A11B11)=F(A11)B11+A11F(B11)-A11(F(I) -λI)B11，

（ii）F(A22B22)=F(A22)B22+A22F(B22)-A22(F(I) -λI)B22.

證明 對(duì)任意Aij，Bij∈Aij，由式（11）知，

和

成立。比較上兩式可知，對(duì)任意A12∈A12，有

從而由引理2 知

類(lèi)似地可以證明F(A22B22)=F(A22)B22+A22F(B22)-A22(F(I) -λI)B22.

定理1 的證明

對(duì)任意A=A11+A12+A22，B=B11+B12+B22∈A lg L，由式（10）知，

從而由引理4和引理5，引理11和引理12 及上式可得

由λI=θ0(I)知，F(xiàn)-θ0是可加的廣義導(dǎo)子。由式（3），引理6 及θ0的定義可知

因此，D-θ0也是可加的廣義導(dǎo)子。

下面說(shuō)明θ0([A lg L，A lg L]) = 0. 由F(A11) ?A11知

特別地，在式（6）中取A=A11，B=B11∈A11，利用引理5可得

因此，對(duì)任意A，B∈A lg L，易得

類(lèi)似地，e2θ0([A，B])e2= 0，從而有θ0([A lg L，A lg L]) = 0.對(duì)任意A∈A lg L，由F，D以及θ0的定義可得，

和

令ψ(A) =(F(A) -θ0(A)) +[A，e1f(e1)e2]，?(A) =(D(A) -θ0(A)) -[A，e1d(e2)e2]，ξ(A) =ξ1(A) +ξ2(A)+θ0(A).

由前面證明可知，ψ，?均是不可約的CDC-代數(shù)A lg L 上可加的廣義導(dǎo)子，ξ是不可約的CDC-代數(shù)AlgL到其中心FI且在交換子上為零的映射，且有

2 CDC-代數(shù)上的非線性廣義Lie 導(dǎo)子

下面研究任意CDC-代數(shù)上的非線性廣義Lie 導(dǎo)子。本文的主要結(jié)論如下

定理2 設(shè)A lg L 是復(fù)Hilbert 空間H 上的完全分配可交換子空間格代數(shù)，f是A lg L 上的非線性廣義Lie 導(dǎo)子，d是A lg L 上與f相關(guān)的非線性映射。則存在可加導(dǎo)子ψ，?：A lg L →A lg L 使得對(duì)任意A∈A lg L有

其中ξ是A lg L到其中心且在交換子上為零的映射。

證明 設(shè)en=V{e：e∈Cn，n∈Λ}為引理1 中的投影，由引理1 知，任意的完全分配可交換子空間格代數(shù)A lg L均可分解為不可約的情形，即A lg L =∑n∈Λ⊕(A lg L)en，則對(duì)任意en有

由于en=V{e：e∈Cn，n∈Λ}是Hilbert 空間H 中的投影，自然也是Hilbert 空間。因此，(A lg L)en是一作用在Hilbert 空間en上的不可約CDC-代數(shù)，并且這里的收斂是強(qiáng)收斂。因而由en的定義可知，其線性張是整個(gè)Hilbert 空間H，并且兩兩正交，AlgL 的單位元為I=∑n∈Λ⊕en，中心元為Z(A lg L) =∑n∈Λ⊕λnen，其中λn∈F.

對(duì)任意A∈A lg L和投影en，(A lg L)en均是Hilbert 空間en上的不可約CDC-代數(shù)。設(shè)f，d滿足式（1），且fn，dn分別為f，d在Alg(enL)上的限制，即在Alg(enL)上有f=fn，d=dn. 由定理1 可知，存在可加導(dǎo)子ψn，?n：Alg(enL) →Alg(enL)和在交換子上為零的映射ξn：Alg(enL) →Fen使得對(duì)任意A∈Alg(enL)，

在引理3 中，對(duì)于每一個(gè)廣義導(dǎo)子ψn均存在一個(gè)導(dǎo)子，設(shè)為τn，使得對(duì)于任意的A，B∈Alg(enL)有，ψn(AB) =ψn(A)B+Aτn(B). 又由文獻(xiàn)［17］，CDC-代數(shù)是由其包含的秩一算子弱*閉生成的算子代數(shù)，則任取E∈U(L)，x∈E，固定y∈，有x?y∈Alg(enL)且是一秩算子。任取一秩算子u?v∈Alg(enL)，則對(duì)任意A∈Alg(enL)，有

設(shè){Ak}，A∈Alg(enL)，并且{Ak}強(qiáng)收斂到A，由上式可知，當(dāng)k→∞時(shí)

(u?v)τn(Ak)(x?y) =ψn((u?v)Ak(x?y)) -ψn(u?v)Ak(x?y) -(u?v)Akτn(x?y)收斂到

由一秩算子u?v∈Alg(enL)的任意性得，τn是強(qiáng)收斂的，進(jìn)而ψn也強(qiáng)收斂。

下面證明在任意CDC-代數(shù)A lg L 上結(jié)論也成立。設(shè){Ak}，{Bk}，A，B∈A lg L，并且{Ak}，{Bk}強(qiáng)收斂到A，B. 因?yàn)锳 lg L =∑n∈Λ⊕(A lg L)en，并且en是兩兩正交的投影，所以對(duì)每個(gè)投影ei，{Akei}，{Bkei}強(qiáng)收斂到Aei，Bei并且

則對(duì)于Hilbert 空間H中的任意元x，注意到ψn，ξn的定義，并結(jié)合定理1的證明可知，當(dāng)k→∞時(shí)

收斂到

即f是強(qiáng)收斂的，進(jìn)而d也強(qiáng)收斂。因而對(duì)任意A∈AlgL 都有f(A) =(Aen). 因?yàn)閒n(Aen)=ψn(Aen)+ξn(Aen)，dn(Aen)=?n(Aen)+ξn(Aen)，則對(duì)任意A∈AlgL有

和

證畢