Vigier's theorem for the spectral order and its applications

From MaRDI portal
Publication:2633880



Abstract: The paper mainly deals with suprema and infima of self-adjoint operators in a von Neumann algebra mathcalM with respect to the spectral order. Let mathcalMsa be the self-adjoint part of mathcalM and let preceq be the spectral order on mathcalMsa. We show that a decreasing net in (mathcalMsa,preceq) with a lower bound has the infimum equal to the strong operator limit. The similar statement is proved for increasing net bounded above in (mathcalMsa,preceq). This version of Vigier's theorem for the spectral order is used to describe suprema and infima of nonempty bounded sets of self-adjoint operators in terms of the strong operator limit and operator means. As an application of our results on suprema and infima, we study the order topology on mathcalMsa with respect to the spectral order. We show that it is finer than the restriction of the Mackey topology.


Let \(\mathcal{M}\) be a von Neumann algebra, \(\mathcal{M}_{sa}\) the self-adjoint part on \(\mathcal{M}\) and \(\leq\) the standard order relation on \(\mathcal{M}_{sa}\) given by the positive cone of \(\mathcal{M}\). \textit{M. P. Olson} [Proc. Am. Math. Soc. 28, 537--544 (1971; Zbl.0215.20504)] introduced on \(\mathcal{M}_{sa}\) another order relation, the spectral order \(\preceq\): If \(x,y\in\mathcal{M}_{sa}\) and \((E^x_\lambda)_{\lambda\in\mathbb{R}}\) and \((E^y_\lambda)_{\lambda\in\mathbb{R}}\) are the spectral families, respectively, of \(x\) and \(y\), then \(x\preceq y\) means that \(E^y_\lambda\leq E^x_\lambda\) for all \(\lambda\in \mathbb{R}\). In the paper under review it is shown that a decreasing net \((x_\alpha)_{\alpha\in A}\) in \((\mathcal{M}_{sa},\preceq)\) with lower bound has the infimum equal to the strong operator limit of \((x_\alpha)_{\alpha\in A}\) (and analogously for an increasing net). This is used to describe suprema and infima of bounded subsets of \((\mathcal{M}_{sa},\preceq)\) in terms of strong operator limits. As an application the author obtains results on the order topology \(\tau_0(\mathcal{M}_{sa},\preceq)\). It is shown that it is finer than the restriction of the Mackey topology. Moreover, \(\tau_0(\mathcal{M}_{sa},\preceq)\) and \(\tau_0(\mathcal{M}_{sa},\leq)\) coincide if and only if \(\mathcal{M}\) is abelian.



Cites work









This page was built for publication: Vigier's theorem for the spectral order and its applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2633880)