Let A and B be standard operator algebras on Banach spaces X and Y, respectively. The peripheral spectrum σπ (T) of T is defined by σπ (T) = z ∈ σ(T): |z| = maxw∈σ(T) |w|. If surjective (not necessarily linear nor continuous) maps φ, ϕ: A → B satisfy σπ (φ(S)ϕ(T)) = σπ (ST) for all S; T ∈ A, then φ and ϕ are either of the form φ(T) = A 1 TA 2 −1 and ϕ(T) = A 2 TA 1 −1 for some bijective bounded linear operators A 1; A 2 of X onto Y, or of the form φ(T) = B 1 T*B 2 −1 and ϕ(T) = B 2 T*B −1 for some...

Motivated by the concept of separation between propositions in quantum logic, we introduce the so-called separation metric or Santos metric on the space of all projections in a Hilbert space. We show that the resulting metric space has only "nice" surjective isometries. On the nontrivial projections they are all unitarily or antiunitarily equivalent to the identity or to taking the orthogonal complement. We relate this result to Wigner's classical theorem on the form of quantum mechanical symmetry...

If X and Y are Banach spaces, then subalgebras ⊂ B(X) and ⊂ B(Y), not necessarily unital nor complete, are called standard operator algebras if they contain all finite rank operators on X and Y respectively. The peripheral spectrum of A ∈ is the set ${\sigma }_{\pi }\left(A\right)=\lambda \in \sigma \left(A\right):\left|\lambda \right|=ma{x}_{z\in \sigma \left(A\right)}\left|z\right|$ of spectral values of A of maximum modulus, and a map φ: → is called peripherally-multiplicative if it satisfies the equation ${\sigma }_{\pi }\left(\phi \left(A\right)\circ \phi \left(B\right)\right)={\sigma }_{\pi }\left(AB\right)$ for all A,B ∈ . We show that any peripherally-multiplicative and surjective map φ: → , neither assumed to be linear nor...