简介：设A为Banach空间X中一自反代数使得在LatA中O+≠0且X_≠X，则A的每一环自同构￠（环反自同构φ）具有形式￠（A）=TAT^-1(φ（A）=TA^*T^-1),其中T：X→X（T：X^*→X）或为一有界线性双射算子或为一有界共轭线性性双射算子。特别地，￠和φ都是连续的。
自反代数的环自同构和环反自同构
