Ternary Jordan homomorphisms in -ternary algebras.
The aim of this paper is to prove the statement announced in the title which can be reformulated in the following way. Let H be a separable infinite-dimensional Hilbert space and let Φ: B(H) → B(H) be a continuous linear mapping with the property that for every A ∈ B(H) there exists a sequence of automorphisms of B(H) (depending on A) such that . Then Φ is an automorphism. Moreover, a similar statement holds for the set of all surjective isometries of B(H).
Let X be an infinite-dimensional Banach space, and let ϕ be a surjective linear map on B(X) with ϕ(I) = I. If ϕ preserves injective operators in both directions then ϕ is an automorphism of the algebra B(X). If X is a Hilbert space, then ϕ is an automorphism of B(X) if and only if it preserves surjective operators in both directions.