We describe the general form of surjective maps on the cone of all positive operators which preserve order and spectrum. The result is optimal as shown by counterexamples. As an easy consequence we characterize surjective order and spectrum preserving maps on the set of all self-adjoint operators.
COBISS.SI-ID: 18189145
We develop a general theory of order isomorphisms of operator intervals. In this way we unify and extend several known results, among others the famous Ludwig's description of ortho-order automorphisms of effect algebras and Molnár's characterization of bijective order preserving maps on bounded observables. Besides proving several new results, one of the main contributions of the paper is to provide self-contained proofs of several known theorems whose original proofs depend on various deep results from functional analysis, operator algebras, and geometry. At the end we will show the optimality of the obtained theorems using Löwner's theory of operator monotone functions.
COBISS.SI-ID: 18263641
For any measurable set $E$ of a measure space $(X, \mu)$, let $P_E$ be the (orthogonal) projection on the Hilbert space $L^2(X, \mu)$ with the range $\rm{ran} \, P_E = \{f \in L^2(X, \mu) : f = 0 \ \ a.e. \ on \ E^c\}$ that is called a standard subspace of $L^2(X, \mu)$. Let $T$ be an operator on $L^2(X, \mu)$ having increasing spectrum relative to standard compressions, that is, for any measurable sets $E$ and $F$ with $E \subseteq F$, the spectrum of the operator $P_E T|_{\rm{ran} \, P_E}$ is contained in the spectrum of the operator $P_F T|_{\rm{ran} \, P_F}$. In 2009, Marcoux, Mastnak and Radjavi asked whether the operator $T$ has a non-trivial invariant standard subspace. They answered this question affirmatively when either the measure space $(X, \mu)$ is discrete or the operator $T$ has finite rank. We study this problem in the case of trace-class kernel operators. We also slightly strengthen the above-mentioned result for finite-rank operators.
COBISS.SI-ID: 17797721