bh上的1921正交可导性映射.docxVIP

bh上的1921正交可导性映射

在这项工作中，h表示维数大于2的复合吉尔伯特空间，b（h）和f（h）代表h中所有边界算子和有限秩算子，i代表h中的单位算子。如果对所有的A,B∈B(H)有A*B+BA*=0,则称A,B是Jordan正交的;设?:B(H)→B(H)是一个线性映射,如果对所有的A,B∈B(H),有?(AB)=?(A)B+A?(B),则称?是B(H)上的导子;如果对所有的A∈B(H),有?(A2)=?(A)A+A?(A),则称?是B(H)上的Jordan导子。显然每一个导子都是Jordan导子。反过来,Herstein证明了2-挠自由素环上的Jordan导子是导子。Cusack把这个结论推广到2-挠自由半素环上。如果对所有的A,B∈B(H)且AB=0,有?(A)B+A?(B)=0,则称?是B(H)上的零点可导映射;如果对所有的A,B∈B(H)且AB=0,有?(A)B+A?(B)-A?(I)B=0,则称?是B(H)上的零点广义可导映射。近年来,Banach代数上零点可导映射的研究引起了很多学者的关注。如,Zhu证明了在有限CSL代数上每个零点广义可导的范数连续的映射是一个广义导子;Hou在J子空间格上给出了零点可导的可加映射的刻画。受以上几篇文章的启发,本文得到了B(H)上的Jordan正交可导线性映射是广义内导子。

定义设?:B(H)→B(H)是一个线性映射。

(i)如果对所有的A,B∈B(H)且A*B+BA*=0时,有?(A)*B+A*?(B)+?(B)A*+B?(A)*=0,则称?是B(H)的Jordan正交可导映射。

(ii)如果存在T∈B(H),使得对所有的A∈B(H),有?(A)=AT-TA,则称?是B(H)上的内导子。

(iii)如果存在S,T∈B(H),使得对所有的A∈B(H),有?(A)=AT+SA,则称?是B(H)上的广义内导子。

1算子m+n

定理若?:B(H)→B(H)上的Jordan正交可导线性映射,则存在数μ,λ∈R和算子M,N∈B(H),且M+M*=μI,N+N*=λI,使得对所有的A∈B(H),有?(A)=AM+NA。换言之,B(H)上的Jordan正交可导线性映射是广义内导子。

2所有的abh

定理的证明分下面几步证明。

第1步对所有的投影P∈B(H),有?(P)=?(P)P+P?(P)-P?(I)P。

对所有的投影P∈B(H),由P*(I-P)+(I-P)P*=0得?(P)*(I-P)+P*?(I-P)+?(I-P)P*+(I-P)?(P)*=0,即

式(1)左右分别乘P,整理得

P?(I)P=P?(P)P。(2)

用I-P代替式(2)中的P整理得,?(P)-?(P)P-P?(P)+P?(P)P=0。由式(2)知

?(P)=?(P)P+P?(P)-P?(I)P。(3)

第2步对所有的投影P∈B(H),有?(P)*=?(P)*P+P?(P)*-P?(I)*P。

对所有的投影P∈B(H),由P(I-P)*+(I-P)*P=0得?(P)(I-P)+P?(I-P)*+?(I-P)*P+(I-P)?(P)=0,即

式(4)左右分别乘P,整理得

P?(I)*P=P?(P)*P。(5)

用I-P代替式(5)中的P整理得?(P)*-?(P)*P-P?(P)*+P?(P)*P=0,由式(5)有

?(P)*=?(P)*P+P?(P)*-P?(I)*P。(6)

第3步存在算子T∈B(H),使得对所有的A∈F(H),有φ1(A)=AT-TA。

对所有的A∈B(H),定义

φ1(A)=?(A)-?(I)A+?(A)-A?(I)。(7)

易知φ1是B(H)上的Jordan正交可导线性映射。对所有的投影P∈B(H),有

φ1(P)=?(P)-?(I)P+?(P)-P?(I)。(8)

由式(3)知

设S∈F(H)是任意自伴元,则存在{λk}?R和相互正交的一秩投影集{Pk},使得S=∑k=1nλkPkS=∑k=1nλkΡk,进而

φ1(S2)=φ1(∑k=1nλ2kφ1(Pk))=∑k=1nλ2k(φ1(Pk)Pk+Pkφ1(Pk))=φ1(S)S+Sφ1(S)。φ1(S2)=φ1(∑k=1nλk2φ1(Ρk))=∑k=1nλk2(φ1(Ρk)Ρk+Ρkφ1(Ρk))=φ1(S)S+Sφ1(S)。

任取自伴元T∈F(H),那么S+T也是自伴元,用S+T代替上式中的S,即φ1((S+T)2)=φ1(S+T)(S+T)+(S+T)φ1(S+T),整理可得

对任意的A∈F(H),有A=S+iT,S=A+A?2,T=A?A?2iA=S+iΤ,S=A+A*2,Τ=A-A*2i,其中S,T是自伴算子,

于是φ1是F(H)上的Jordan导子,又F