B(H)上保投影的映射

设P(H)表示复Hilbert空间H上的所有正交投影且dimH2.本文证明了满射Φ:B(H)→B(H)满足A-λB∈P(H)(?)Φ(A)-λΦ(B)∈P(H)的充要条件是存在酉算子U:H→H使得对任意A∈B(H),有Φ(A)=UAU*,或者存在共轭酉算子U:H→H使得对任意A∈B(H),有Φ(A)=UA*U*.     

保持斜ξ-Lie零积的可加映射

令H与K是维数大于2的复Hilbert空间,ξ∈C.假设Φ:B(H)→B(K)是满足对任意A,B∈B(H)都有AB=ξBA*Φ(A)Φ(B)=ξΦ(B)Φ(A)*的可加满射.本文证明了,(1)如果ξ=1,则存在酉或反酉算子U:H→K以及非零实数c使得Φ(A)=c UAU*对所有A∈B(H)成立;(2)如果ξ∈R\{1}且Φ保单位元,则存在酉或反酉算子U:H→K使得Φ(A)=UAU*对所有A∈B(H)成立;(3)如果ξ∈C\R且Φ保单位元,则存在酉算子U:H→K使得Φ(A)=UAU*对所有A∈B(H)成立.     

自伴算子空间上保因子乘积数值域的映射

设H为复Hilbert空间,y_a(H)代表H上的有界自伴算子组成的空间,Φ:y_a(H)→y_a(H)是满射且复数ξ,n∈C\{1},则Φ满足W(AB-ξBA)=W(Φ(A)Φ(B)-ηΦ(B)Φ(A))对所有A,B∈y_a(H)成立当且仅当存在酉算子或者共轭酉算子U,使得Φ(A)=UAU*对所有A∈y_a(H)成立,或者Φ(A)=-UAU*对所有A∈y_a(H)成立.     

多项式零点保持线性映射

设H是维数大于2的复Hilbert空间,β(H)代表H上所有有界线性算子全体．假定Φ是从β(H)到其自身的弱连续线性双射．我们证明了映射Φ满足对所有的A,B∈β(H),AB=BA~*蕴涵Φ(A)Φ(B)=Φ(B)Φ(A)~*当且仅当存在非零实数c和酉算子U∈(?)(H),使得Φ(A)=cUAU~*对所有的A∈β(H)成立．     

保持算子乘积投影的线性映射

设B(H)是复Hilbert空间H上的有界线性算子全体且dim H≥2.本文证明了B(H)上的线性满射φ保持两个算子乘积非零投影性的充分必要条件是存在B(H)中的酉算子U以及复常数λ满足λ~2=1,使得φ(X)=λU~*XU,(?)X∈B(H).同时也得到了线性映射保持两个算子Jordan三乘积非零投影的充分必要条件.     

弱闭T(N)-模中Cp空间的等距映射

刻划了弱闭T(N)-模中Schatten类之间的等距线性满映射.设U、W分别为由左连续序同态N→和N→所确定的弱闭T(N)-模.Φ为U∩Cp到W∩Cp(1≤p<∞,p≠2)上的等距线性映射.若(0)+=(0),H-=H且min{dim(0),dim(0)#,dim(HH～),dim(HH∧)}≥2,则存在到的等距Ui(i=1,2)及酉算子Vi(i=1,2),使得Φ(A)=U1AV1或Φ(A)=V2AU2.     

自伴算子空间上满足[Φ(A~2),Φ(A)]=0的可加满射

令H为维数大于2的复Hilbert空间,B_s(H)为H上所有有界自伴算子构成的实线性空间.该文给出B_s(H)上满足[Φ(A~2),Φ(A)]=0对所有A∈B_s(H)成立的可加双射Φ的刻画,在Φ(F_s(H))■RI或RI■Φ(RI)的条件下证明了上述Φ具有形式Φ(A)=cUAU*+f(A)I,A∈B_s(H),其中c∈R,c≠0,U:H→H是酉算子或共轭酉算子,而f是B_s(H)上的可加泛函.     

C~* -代数上完全正映射的刻画

本文给出C* -代数之间完全正映射的刻画,证明:如果A,B是有单位元的C*-代数,则映射Φ:A→B为完全正映射当且仅当存在保单位*-同态πA:A→B(K)、等距* -同态πB:B→B(H)及有界线性算子V:H→K,使得πB(Φ(1))=V*V 且■a∈A,都有πB(Φ(a))=V*π(a)V.作为推论,得到著名的Stinespring膨胀定理.     

中心化子的刻画

令X为实或复域F上的Banach空间,■为X上的标准算子代数,I是■的单位元.设Φ:■→■是可加映射.本文证明了,如果有正整数m,n,使得Φ满足条件Φ(A~(m+n+1))-A~mΦ(A)A~n∈FI对任意A成立,则存在λ∈F,使得对所有的A∈■,都有Φ(A)=λA.同样的结果对于自伴算子空间上的可加映射也成立.此外,本文还给出了中心素代数上满足条件(m+n)Φ(AB)-mAΦ(B)-nΦ(A)B∈FI的可加映射Φ的完全刻画.     

弱闭T(N)-模的预零化子的等距映射

本文刻划了弱闭T(N)-模的预零化子间的等距映射.设u,W分别为由左连续序同态N→~N和N→~N所确定的弱闭T(N)-模, u(?),W(?)分别为u,W的预零化子,Φ为由u(?)到W(?)上的线性等距映射.若(0)*=(0)#=(0),dim(0)+≠1且min{dim(H(?)~H),dim(He(?)^H)}≥2,则存在酉算子Ui,Vi(i=1,2),使得Φ(A)=U1AV*1或Φ(A)=U2A*V2*.     

两个Hilbert Schmidt不等式(英文)

设A和B是Hilbert Schmidt算子,U(H)是希尔伯特空间H上酉算子的全体.本文推广了两个矩阵的迹等式,对Hilbert Schmidt算子获得了相应的结论,给出了trAB,sup{‖A—UB‖_2:U∈U(H)}和inf{‖A—UB‖_2:U∈U(H)}的表示.     

上三角算子矩阵的单值延拓性质的摄动

设H为无限维可分的复Hilbert空间,B(H)为H上的有界线性算子全体.算子T∈B(H)称为具有单值延拓性质,若对任意一个开集U(?)C,满足方程(T-λI)f(λ)=0(任给λ∈U)的唯一的解析函数f:U→H为零函数;T∈B(H)称为满足单值延拓性质的稳定性,若对任意一个紧算子K∈B(H),T+K都满足单值延拓性质.本文给出了2×2上三角算子矩阵在紧摄动下满足单值延拓性质的稳定性的特征.     

β(H)上Jordan同构的一个代数不变量:幂等元的集合

令β(H)表示无限维复Hilbert空间H上的所有有界线性算子组成的代数,I(H)是β(H)中所有幂等元的集合.设Φ:β(H)→β(H)是满射.证明了对任意的λ∈{-1,1,2,3,1/2,1/3}及A,B∈β(H),映射Φ满足条件A-λB∈I(H)(=)Φ(A)-λΦ(B)∈I(H)当且仅当Φ是β(H)的Jordan环自同构,即存在H上的连续可逆线性或共轭线性算子T,使得Φ(A)=TAT-1对所有的A∈β(H)成立,或Φ(A)=TA*T-1对所有的A∈β(H)成立.令i表示虚数单位,进而如果Φ也满足条件A-iB∈I(H)(=)Φ(A)-iΦ(B)∈I(H),则Φ是自同构,或是反自同构.     

算子矩阵的单值扩张性质的判定

H表示无限维可分的复Hilbert空间,B(H)为H上的有界线性算子的全体.若对于复数域C中任意一个开集U,满足方程(T-λI)f(λ)=0(任给λ∈U)的唯一的解析函数f:U→H为零函数,称算子T具有单值延拓性质(简记为T∈(SVEP)).若对任意一个紧算子K,T+K都满足单值延拓性质,称T∈B(H)满足单值延拓性质的稳定性.给出了2×2上三角算子矩阵满足单值延拓性质的稳定性的特征.     

弱闭T(N)-模的预零化子的线性等距映象群

本文刻画了弱闭T(N)-模的预零化子的线性等距映象群的无穷小生成元.设U为由N到N的左连续序同态N到N所确定的弱闭T(N)-模,U_⊥为U的预零化子。{Φ_t :t∈R}为U_⊥到U_⊥上的单参数强连续线性等距映象群。若(0)_*=(0),dim(0)+≠1且H_-=H,dim(HH)≥ 2,则存在有界自伴算子K_1,K_2使得{Φ_t :t∈R}的无穷小生成元为α(X)=i(K_1X-XK_2)。     

von Neumann代数中套子代数上的Lie导子

本文对因子von Neumann代数中套子代数上的线性映射L:alg_Mβ→M满足L(AB—BA)=L(A)B-BL(A)+AL(B)-L(B)A( A,B∈alg_Mβ)进行了刻划,证明了存在线性函数h:alg_Mβ→C;且对任意A,B∈alg_Mβ,有h(AB—BA)=0和算子T∈M,使得对任意X∈alg_Mβ,都有L(X)=XT-TX+h(X)I.     

标准算子代数上满足某些等式的广义导子的刻画(英文)

令H为复数域C上的Hilbert空间,A为H上的标准算子代数.设δ:A→B(H)是线性映射.本文证明了,如果对任意A∈A成立δ(AA~*A)=δ(A)A~*A-Aδ(A~*)A+AA~*δ(A),则存在λ∈C及算子S,T∈B(H)满足S+T=λI,使得对所有的A∈A都有δ(A)=SA-AT.     

上三角算子矩阵的左(右)本质谱的自伴扰动

设H为无穷维Hilbert复可分空间.对给定算子A ∈B(H)和B∈B(H),记MX:=[A0XB],其中X∈(F)(H)为自伴算子.本文首先给出了存在X ∈(F)(H),使得 Mx为左(右)Fredholm算子的充分必要条件.其次,证明了∩ σ*(MX)=∩ σ*(MX)U△,X∈(F)(H)X∈B(H)其中σ*是左...     

拟对角扩张的近似等距提升

设 设 设0→I→A—A/I→0为C~*-代数的短正合列且A含有单位元.如果扩张0→I→A→A/I→0为拟对角扩张,则证明对任给的A/I中正元(投影,部分等距,酉元)均有同形式的提升且提升与I中一列由投影组成的拟中心近似单位元相交换.进而证明对任给正数ε,任意A/I中的两正元(投影,部分等距,酉元)a~-和b~-,以及a~-的正元(投影,部分等距,酉元)的提升a,存在b~-的正元(投影,部分等距,酉元)的提升b,使得‖a-b‖<‖a~--b~-‖ ε.作为上述结论的应用证明了对任意的正数ε和u~-∈U(A/I)_0,存在u~-的提升u∈U(A)_0,使得cel(u)相似文献   

关于半亚正常算子的特征函数(英文)

本文继[3]之后,研究拟亚正常算子和半亚正常算子的特征函数。设A=U|A|_r是H上拟亚正常算子,U是酉算子,B=|A|_ -|A|_-。作算子A的特征函数 定理1 设A=U|A|_r及A′=U′|A′|_r为ψ-拟亚正常算子而且都是简单的。又设U与U′是酉算子,如果有酉算T将H映照成H′而且那末必有(A)到(A′)上的酉算子S使当时反之亦真。 下面设A是半亚正常的,又设为一辅助的希尔伯特空间,K为到H中的线性算子使Q=|A|_r-|A|_l=KK~*,当λ∈ρ(A),|z|≠1时作 定理2 设A=U|A|_r及A′=U′|A′|_r分别是H与H′中的半亚正常算子,U与U′是酉算子而且A与A′都是简单的。如果存在上的酉算子S使那末必有由H到H′上的酉算子T使(1)成立,反之亦真。 定理3 若K是希尔伯特-许密特算子则Y(z,λ)的行列式(当|z|≠1时)存在,且 下面只考虑奇型积分模型这时W(λ;A)成为乘法算子,其中我们又假设A是完全非正常的。记 定理4 设λ∈ρ(A),a∈为固定的,那末为黎曼-希尔伯特问题的解。 设为上线性有界算子全体所成的Banach空间,H_±~p为单位圆外,内取值于的某些解析函数所成的Hardy空间。设f(e~(iθ))是单位圆周上的函数,如果有使u__~(-1)存在则称f是可分解的。 定理5 如果存在无限大的一个环境N_∞使当λ∈N_∞∩ρ(A)时,W(e~(iθ),λ)为可分解的,则算子A在酉等