BS（H）上的Jordan半可乘映射.pdfVIP

2010年09月 内蒙 古 民族 大 学 学 报 Sep．2010 第 l6卷 第5期 JournalofInnerMongoliaUniversityforNationalities Vo1．16 No．5 Bs(H)上的Jordan半可乘映射 高会双，尹红萍，盛婷婷 (内蒙古民族大学 数学学院，内蒙古通辽028043) [摘 要]在已有结论的基础上，得到 了B(H)2-~Jordan半可乘满射的刻画． [关键词]秩；Jordan半可乘映射 [中图分类号)O177．1 [文献标识码]A [文章编号]1008—5149(2010)05—0005—02 用，表示实数域R或复数域C，J,t2F =F＼{0}．H是数域，上的无限维的Hilbert空间，B(H)表示B(H)中的 自伴算子全 体 组 成 的 实 线 性 空 间 ，显 然 它 是 ～ 个 Jordan环．设 ，B为 F上 的 两 个 代 数 ，若 映 射 A一 日 满 足 (ABA)= (A) (B) (A)，则称 为A到曰的Jordan半可乘映射或Jordantriple可乘映射． 关于算子代数之间保持某种性质不变的映射及刻画和分类问题方面，人们开始进一步研究可加，可乘，甚至更一般的非 线性保持问题，进而，Jordan可乘保持问题 Jordan--triple可乘保持问题也在许多文献中进行了深入讨论． 2006年Hou和An在[1】中证明了自伴算子空间上Jordan— pie可乘双射的可加性．本文把映射的双射减弱为满射，其证 明方法和思路与已有文献中的思路和方法有本质的不同． 定理 1 设 日是实或复数域F上的无限维希尔伯特空间， B(Ⅳ1一 B(日)为满射 ， (FI)则 是Jordan半可 乘映映射当且仅当中具有如下形式之一： (i)中是Jordan半可乘且对任意的一秩算子A ∈Bs(日)，都有 (A)：0； (ii)存在酉算子或共轭酉算子 日一 日使得对所有的A B(日)，有 (A)=UAU 成立． 引理 1 设A ∈G且A≠0．那么A是一秩算子的充分必要条件是 ：{B∈G＼{0}ABA=0}是非空的和极大 的．其中G是 自伴算子的子集，且它包含所有的一秩投影．极大的含义是：对某一个N G＼{0}，如果 ，那么 = v． 定理 1的证明 证明 充分性是显然的，下面证明必要性．分几步证之 第一步： (0)=o，由 是满射，存在A ∈Bs(H)，有 (A)=0．那么 (0)= (0·A ·0)= (0)- )·(0)：0 ． 第二步： (，)= 由 是满射，存在R ∈Bs(日)，有 (R)= 那 么 (R)= (，·R ·，)= (，)· (尺)· (，)= (，) =，． 因 此 (，)可 逆．而 对 任 意 B∈Bs(日)，有 (曰)= (，)· (B)· (，)，上式左边 同乘以 (，)，可得 (，)· (B)= (B)· (，)．因为 是满射及 的任意性， 有 (，)=AI(A ∈c)．因此 (，)=，或 (，)=一，． 如果 (，)=一，，令 ：一 ，那么 满足 (ABA)= (A)·哕(B)· (A)和 (，)=，．因此不失一般性 ，可假设 (，)=，J 第三步：要么对任意的一秩算子A Bs(H)，都有 (A)=0，要么存在一秩算子Xo Xo使得 (oO )≠o．前一种 情形有 (i)成立．下面将证明后一种情形下对任意的 o B (H)，都有 (o )≠0 ． 对A ∈C，且A≠0，，= (，)= (A，) (A。，) (A，)，所 以 (A，)可逆．对任意一秩算子 ⑧ ∈B5(日)，，令 XO ， = ． ~,llx0 XOX 0 0= ，0 0， = 。 0． 当 ≠0 时 ，4(XI1) ( o o)4(XI1)=4,(xi o )= ( ⑧ ) (o ) ( o 。)≠o．由 于 (，) [收稿 日期]2010—06—20 [作者简介]高会双 (1981一)，女，内蒙古通辽人 ，助教 ，硕士，研究方向为算子代数上