β(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空间,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)成立.     

保持斜ξ-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)成立.     

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*.     

B(H)上的酉可导映射

设H是维数大于2的复Hilbert空间,B(H)表示H上所有有界线性算子构成的代数.若φ∶B(H)→B(H)上的有界线性映射,如果对所有的A∈B(H)且A~*A=AA~*=I,有φ(A)~*A+A~*φ(A)=φ(A)A~*+Aφ(A)~*=φ(I),则存在数λ∈R和算子S∈B(H),且S+S~*=λI,使得对所有的A∈B(H),有φ(A)=AS-SA.     

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

令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.     

保持算子束部分等距的映射

设B(H)是复Hilbert空间H上的有界线性算子全体,PI(H)表示B(H)中全体部分等距的集合.该文证明了B(H)上的满射Φ保持算子束(pencil)部分等距,即A-λB∈PI(H)Φ(A)-λΦ(B)∈PI(H)的充要条件是存在H上的两个酉算子U,V使得对于任意的X∈B(H)都有Φ(X)=UXV或存在H上的两个共轭酉算子U,V使得对于任意的X∈B(H)都有Φ(X)=UX*V.     

自伴算子空间上满足[Φ(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)上的可加泛函.     

因子von Neumann代数﹡-同构的一个特征

设H和K是复Hilbert空间,A和B分别是H和K上的因子von Neumann代数.本文给出了A和B的*-同构的一个特征,设Φ:A→B是双射,如果对任意A,B∈A,有Φ(A*B+B*A)=Φ(A)*Φ(B)+Φ(B)*Φ(A),则Φ是线性或共轭线性*-同构.     

C~*代数上保持不定正交性的线性映射

设A和B是含单位元的C~*代数,s∈A和t∈B是可逆自伴元,对任意的x∈A及z∈B,定义x~+=s~(-1)x~*s,z~+=t~(-1)z~*t。假定A是实秩零的并且Φ:A→B是有界线性满射。证明了对任意的 都成立的充要条件是Φ(1)可逆,Φ(1)~+Φ(1)=Φ(1)Φ(1)~+∈Z(B)(B的中心),并且存在从A到B上的满+同态Ψ,使得对所有的x∈A都有Φ(x)=Φ(1)Ψ(x)成立。对于一般C~*代数上保正交性的线性映射Φ,在假定Φ(1)可逆的条件下,也得到类似的结果。     

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膨胀定理.     

CHARACTERIZATIONS OF JORDAN (?)-SKEW MULTIPLICATIVE MAPS ON OPERATOR ALGEBRAS OF INDEFINITE INNER PRODUCT SPACES

Let H and K be indefinite inner product spaces. This paper shows that a bijective map φ:B(H)→B(K) satisfies φ(AB B A) =φ(A)φ(5) φ(B) φ(A) for every pair A,B ∈B(H) if and only if either φ(A) = cU AU for all A or φ(A) = cUA U for all A; φsatisfies φ(AB A) = φ(A)φ(B) φ(A) for every pair A,B ∈B(H) if and only if either φ(A) = UAV for all A or φ(A) = UA V for all A, where A denotes the indefinite conjugate of A, U and V are bounded invertible linear or conjugate linear operators with U U = c-1I and V V = cI for some nonzero real number c.     

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

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

An algebraic invariant for Jordan automorphisms on B(H): The set of idempotents

Let H be an infinite dimensional complex Hilbert space. Denote by B(H)the algebra of all bounded linear operators on H, and by I(H) the set of all idempotents in B(H). Suppose that φ is a surjective map from B(H) onto itself. If for everyλ∈ {-1, 1, 2, 3, 1/2, 1/3} and A, B ∈ B(H), A - λB ∈ I(H) (→)φ(A) - λφ(B) ∈ I(H), then φis a Jordan ring automorphism, i.e. there exists a continuous invertible linear or conjugate linear operator T on H such that φ(A) = TAT-1 for all A ∈ B(H), or φ(A) = TA*T-1 for all A ∈ B(H); if, in addition, A - iB ∈ I(H) (→)φ(A) - iφ(B) ∈ I(H), here i is the imaginary unit, then φ is either an automorphism or an anti-automorphism.     

矩阵代数上的拟三重Jordan可导映射

设R是一个含单位元的可交换2-无挠环,且M_n(R)是R上的n×n阶矩阵代数.本文证明了M_n(R)(n≥2)上的满足Φ(ABA)=Φ(A)BA+AΦ(B)A+ABΦ(A)的映射Φ具有形式:存在T∈M_n(R)和R上的一个可加导子φ,使得对任意A= (a_(ij))∈M_n(R),有Φ(A)=AT-TA+A_φ,这里A_φ=(φ(a_(ij))).     

中心化子的刻画

令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的可加映射Φ的完全刻画.     

复合形在欧氏空间中的实现问题Ⅲ

<正> 设 K 是一个有限单形复合形,我们恒可视 K 为一充分高维数 N 的欧氏空间中的欧氏复合形,此时其所定空间将记为(?).在研究 K 是否可实现于某一确定维数 m 的欧氏盘间R~m 中的时候,我们曾引进下面的一些定义(见[1],记号略有不同):     

保持Jordan多重η-*-积的非线性映射

设η≠-1是一个非零复数,Φ是两个von Neumann代数间的不必为线性的双射(其中一个代数无中心交换投影),如果满足Φ(I)=I,并且保持Jordan多重η-*-积.则当η不是实数时,Φ是一个线性*-同构;当η是实数时,Φ是一个线性*-同构和一个共轭线性*-同构的和.     

实Nest代数上的广义Jordan~*-左导子

设H是实Hilber空间, (?)是B(H)中含恒等算子I的算子代数,若(?) 是从(?)到B(H)的线性映射,如果(?)满足对任意的T∈(?),有(?)(T2)=T*(?)(T)+ (?)(T)T-T*(?)(I)T,则称(?)是一个广义Jordan*-左导子;如果(?)满足对任意的T∈(?), 有(?)(T)(ker(T))(?)ran(T*),则称(?)是一个左*-核值保持映射.本文主要获得了如下 结果: Nest代数上每个弱算子拓扑连续的左*-核值保持映射是广义Jordan*-左内 导子,即存在A,B∈B(H),使得对任意的T∈(?),有(?)(T)=T*A+BT.特别地,(?) 也是一个广义Jordan*-左导子.