We give a complete description of the structure of surjective isometries between the unitary groups of unital C*-algebras. While any surjective isometry between the unitary groups of von Neumann algebras can be extended to a real-linear Jordan *-isomorphism between the relevant von Neumann algebras, this is not the case for general unital C*-algebras. We show that the unitary groups of two C*-algebras are isomorphic as metric groups if and only if the C*-algebras are isomorphic in the sense that each of them can be decomposed as the direct sum of two C*-algebras with the first parts being linear *-algebra isomorphic and the second parts being conjugate-linear *-algebra isomorphic. We emphasize that in this paper by an isometry we merely mean a distance preserving transformation; we do not assume that it respects any algebraic operation.
2
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
Let A and B be unital, semisimple commutative Banach algebras with the maximal ideal spaces M A and M B, respectively, and let r(a) be the spectral radius of a. We show that if T: A → B is a surjective mapping, not assumed to be linear, satisfying r(T(a) + T(b)) = r(a + b) for all a; b ∈ A, then there exist a homeomorphism φ: M B → M A and a closed and open subset K of M B such that $$ \widehat{T\left( a \right)}\left( y \right) = \left\{ \begin{gathered} \widehat{T\left( e \right)}\left( y \right)\hat a\left( {\phi \left( y \right)} \right) y \in K \hfill \\ \widehat{T\left( e \right)}\left( y \right)\overline {\hat a\left( {\phi \left( y \right)} \right)} y \in M_\mathcal{B} \backslash K \hfill \\ \end{gathered} \right. $$ for all a ∈ A, where e is unit element of A. If, in addition, $$ \widehat{T\left( e \right)} = 1 $$ and $$ \widehat{T\left( {ie} \right)} = i $$ on M B, then T is an algebra isomorphism.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.