The self adjoint linear operators which represent the observables of a physical system are in general not an irreducible system. Because a complete set of commuting observables must determine the state of a physical system unambiguously the observables generate an algebra of operators which must contain a maximal abelian subalgebra. The structure of such algebras is investigated and it is shown by applying the theory of the direct integral of Hilbert spaces that there exists always a unique canonical representation of the Hilbert space as a direct integral in such a way that the transformations which are induced by the observables in the component subspaces are irreducible.
The self adjoint linear operators which represent the observables of a physical system are in general not an irreducible system. Because a complete set of commuting observables must determine the state of a physical system unambiguously the observables generate an algebra of operators which must contain a maximal abelian subalgebra. The structure of such algebras is investigated and it is shown by applying the theory of the direct integral of Hilbert spaces that there exists always a unique canonical representation of the Hilbert space as a direct integral in such a way that the transformations which are induced by the observables in the component subspaces are irreducible.
We present in this paper a set of postulates for a physical system and deduce from these the main general features of the quantum theory of stationary states. Our theory is strictly operational in the sense that only the observables of the physical system are involved in the postulates. The collection of all bounded self-adj oint operators on a Hilbert space, which has previously been used as a mathematical model for the observables in quantum mechanics, satisfy the postulates, as do a variety of considerably more general mathematical structures. We show that for any two observables there exists a pure state of the system (this term being defined essentially as done by von Neumann and Weyl) in which they have different (expectation) values. Each observable has a spectral resolution, and a state of the system induces, in a natural way, a probability distribution on the range of spectral values of each observable. A number of observables are simultaneously observable if and only if they commute (although the product of two observables is not defined in general, a reasonable notion of commutativity can be introduced). Inasmuch as Hilbert space plays no role in our theory, our proofs are necessarily of a different character from the proofs of these results for the case of the system of all bounded selfadjoint operators. Actually, Hilbert space appears to be somewhat inadequate as a state space even for the latter system, in that there exist pure states of the system which cannot be represented in the usual way by rays of the Hilbert space. The postulates are partly algebraic and partly metric. The algebraic postulates require essentially that an observable can be multiplied by real numbers and raised to integral powers, and that any two observables can be added. It is assumed that the usual algebraic laws are satisfied so that (1) the observables can be treated like the elements of a linear space, and (2) the usual rules for dealing with polynomials in one variable with real coefficients remain valid when the variable is replaced by an observable. It is not assumed that two observables have a product. The metric postulates require that for each observable there be defined a kind of maximum numerical value, which plays the part of a norm, and has various properties in accord with its physical significance. While this norm is quite essential to the development of the theory, an interesting consequence of the theory is that the norm can be (uniquely) defined in a purely algebraic fashion. This shows that the objective features of a physical system,-the spectral values and probability distributions of the observables, and the pure states,-are completely determined by the algebra of observables, i.e., by the rules for addition, scalar multiplication, and powers, of observables.
As earlier conjectured by several authors and much later established by Solèr (relying on partial results by Piron, Maeda–Maeda and other authors), from the lattice theory point of view, Quantum Mechanics may be formulated in real, complex or quaternionic Hilbert spaces only. Stückelberg provided some physical, but not mathematically rigorous, reasons for ruling out the real Hilbert space formulation, assuming that any formulation should encompass a statement of Heisenberg principle. Focusing on this issue from another — in our opinion, deeper — viewpoint, we argue that there is a general fundamental reason why elementary quantum systems are not described in real Hilbert spaces. It is their basic symmetry group. In the first part of the paper, we consider an elementary relativistic system within Wigner’s approach defined as a locally-faithful irreducible strongly-continuous unitary representation of the Poincaré group in a real Hilbert space. We prove that, if the squared-mass operator is non-negative, the system admits a natural, Poincaré invariant and unique up to sign, complex structure which commutes with the whole algebra of observables generated by the representation itself. This complex structure leads to a physically equivalent reformulation of the theory in a complex Hilbert space. Within this complex formulation, differently from what happens in the real one, all selfadjoint operators represent observables in accordance with Solèr’s thesis, and the standard quantum version of Noether theorem may be formulated. In the second part of this work, we focus on the physical hypotheses adopted to define a quantum elementary relativistic system relaxing them on the one hand, and making our model physically more general on the other hand. We use a physically more accurate notion of irreducibility regarding the algebra of observables only, we describe the symmetries in terms of automorphisms of the restricted lattice of elementary propositions of the quantum system and we adopt a notion of continuity referred to the states viewed as probability measures on the elementary propositions. Also in this case, the final result proves that there exists a unique (up to sign) Poincaré invariant complex structure making the theory complex and completely fitting into Solèr’s picture. This complex structure reveals a nice interplay of Poincaré symmetry and the classification of the commutant of irreducible real von Neumann algebras.
In quantum mechanics, many observables for a quantum system are represented as self-adjoint linear operators (possibly unbounded) on a complex Hilbert space H. In this paper, we introduce a binary relation ⊥ on S(H) of all self-adjoint linear operators (including unbounded) on H. We obtain that A⊥B implies that A,B are affiliated with some abelian von Neumann algebra at the same time. Depending on ⊥,S(H) can be constructed to be a generalized orthoalgebra. Then we present the orthoalgebra order ⪯ and the traditional order ≤ on S(H) and give some properties about these two orders. We prove that for A,B∈S(H), A⪯B if and only if A has a value in Δ implies that B has a value in Δ for every Borel set Δ not containing 0. Moreover, we study the existence of the infimum A∧B and supremum A∨B for A,B∈S(H) with respect to ⪯. Finally, we prove that Q∧P=0 where Q and P are the significant quantum observables corresponding to the position and momentum.}
In principle, the lattice of elementary propositions of a generic quantum system admits a representation in real, complex or quaternionic Hilbert spaces as established by Solèr’s theorem (1995) closing a long standing problem that can be traced back to von Neumann’s mathematical formulation of quantum mechanics. However up to now there are no examples of quantum systems described in Hilbert spaces whose scalar field is different from the set of complex numbers. We show that elementary relativistic systems cannot be described by irreducible strongly-continuous unitary representations of SL(2, C) on real or quaternionic Hilbert spaces as a consequence of some peculiarity of the generators related with the theory of polar decomposition of operators. Indeed such a ”naive” attempt leads necessarily to an equivalent formulation on a complex Hilbert space. Although this conclusion seems to give a definitive answer to the real/quaternionic-quantum-mechanics issue, it lacks consistency since it does not derive from more general physical hypotheses as the complex one does. Trying a more solid approach, in both situations we end up with three possibilities: an equivalent description in terms of a Wigner unitary representation in a real, complex or quaternionic Hilbert space. At this point the ”naive” result turns out to be a definitely important technical lemma, for it forbids the two extreme possibilities. \nIn conclusion, the real/quaternionic theory is actually complex. This improved approach is based upon the concept of von Neumann algebra of observables. Unfortunately, while \nthere exists a thorough literature about these algebras on real and complex Hilbert spaces, an analysis on the notion of von Neumann algebra over a quaternionic Hilbert space is \ncompletely absent to our knowledge. There are several issues in trying to define such a mathematical object, first of all the inability to construct linear combination of operators \nwith quaternionic coeffients. Restricting ourselves to unital real *-algebras of operators we are able to prove the von Neumann Double Commutant Theorem also on quaternionc \nHilbert spaces. Clearly, this property turns out to be crucial.
This chapter reminds, without entering into details, the main mathematical concepts and results relevant for finite system quantum mechanics. The basic postulates single out a Hilbert space of wave functions with self-adjoint linear operators corresponding to observables as was originally discovered by von Neumann. The chapter connects the contemporary terminology of linear Hilbert space operators with quantum physics. Important concepts like linear operators, measures, self-adjointness, spectral measures, density matrices, and tensor products are discussed and illustrated in the light of observables, probability for quantum systems and composite systems. A first example of a useful algebra of observables, the Weyl algebra, is described in detail and linked to the classical phase space of a point particle.
This chapter employs the following notation and basic formulae of quantum mechanics; the units are such that h = c = 1. Observables are represented in quantum mechanics by Hermitian operators in Hilbert space. These operators are analogues of finite-dimensional Hermitian operators, but the infinite dimensionality requires some mathematical explanation. The physical fact that not all measurements (preparations) are compatible with each other corresponds to the fact that not all operators commute. The ‘state’ of a physical system is fully determined in one way or another if a complete set of compatible measurements has been carried through such that no further measurement exists which is compatible with, and which is not simply a calculable function of, those measurements already made. Since not all independent measurements are compatible, there exist several non-compatible ‘complete sets of measurements’ for a given physical system, which lead to different aspects of that system.