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)可逆的条件下,也得到类似的结果。