Order-automorphisms of the set of bounded observables

Abstract

Let H be a complex Hilbert space and denote by Bs(H) the set of all self-adjoint bounded linear operators on H. In this article we describe the form of all bijective maps (no linearity or continuity is assumed) on Bs(H) which preserve the order ⩽ in both directions.