Self-adjoint Operators as Functions I: Lattices, Galois Connections, and the Spectral Order
arXiv:1208.4724
Abstract
Observables of a quantum system, described by self-adjoint operators in a von Neumann algebra or affiliated with it in the unbounded case, form a conditionally complete lattice when equipped with the spectral order. Using this order-theoretic structure, we develop a new perspective on quantum observables. In this first paper (of two), we show that self-adjoint operators affiliated with a von Neumann algebra can equivalently be described as certain real-valued functions on the projection lattice of the algebra, which we call q-observable functions. Bounded self-adjoint operators correspond to q-observable functions with compact image on non-zero projections. These functions, originally defined in a similar form by de Groote, are most naturally seen as adjoints (in the categorical sense) of spectral families. We show how they relate to the daseinisation mapping from the topos approach to quantum theory. Moreover, the q-observable functions form a conditionally complete lattice which is shown to be order-isomorphic to the lattice of self-adjoint operators with respect to the spectral order. In a subsequent paper, we will give an interpretation of q-observable functions in terms of quantum probability theory, and using results from the topos approach to quantum theory, we will provide a joint sample space for all quantum observables.
34 pages, no figures; v2: improved presentation, minor corrections, all main results unchanged
References in corpus (5)
- A Topos Foundation for Theories of Physics: II. Daseinisation and the Liberation of Quantum Theory
- On a canonical lattice structure on the effect algebra of a von Neumann algebra
- Observables II : Quantum Observables
- A Comparison of Two Topos-Theoretic Approaches to Quantum Theory
- Observables IV: The presheaf perspective
Cited by in corpus (4)
- Flows on Generalised Gelfand Spectra of Nonabelian Unital C*-Algebras and Time Evolution of Quantum Systems
- Generalised Gelfand Spectra of Nonabelian Unital C*-Algebras
- Self-adjoint Operators as Functions II: Quantum Probability
- Sheaf-Theoretic Methods in Quantum Mechanics and Quantum Information Theory