The Propositional Lattice of A Quantum Mechanical System
This suggests the following quantum mechanical replacement for the orthocomplemented lattice of propositions in classical mechanics. This is essentially Mackey's Axiom VII:
- The orthocomplemented lattice Q of propositions of a quantum mechanical system is the lattice of closed subspaces of a complex Hilbert space H where orthocomplementation of V is the orthogonal complement V⊥.
Q is also sequentially complete: any pairwise disjoint sequence{Vi}i of elements of Q has a least upper bound. Here disjointness of W1 and W2 means W2 is a subspace of W1⊥. The least upper bound of {Vi}i is the closed internal direct sum.
Henceforth we identify elements of Q with self-adjoint projections on the Hilbert space H.
The structure of Q immediately points to a difference with the partial order structure of a classical proposition system. In the classical case, given a proposition p, the equations
have exactly one solution, namely the set-theoretic complement of p. In these equations I refers to the atomic proposition which is identically true and 0 the atomic proposition which is identically false. In the case of the lattice of projections there are infinitely many solutions to the above equations.
Having made these preliminary remarks, we turn everything around and attempt to define observables within the projection lattice framework and using this definition establish the correspondence between self-adjoint operators and observables: A Mackey observable is a countably additive homomorphism from the orthocomplemented lattice of the Borel subsets of R to Q. To say the mapping φ is a countably additive homomorphism means that for any sequence {Si}i of pairwise disjoint Borel subsets of R, {φ(Si)}i are pairwise orthogonal projections and
Theorem. There is a bijective correspondence between Mackey observables and densely-defined self-adjoint operators on H.
This is the content of the spectral theorem as stated in terms of spectral measures.
Read more about this topic: Quantum Logic
Famous quotes containing the words quantum, mechanical and/or system:
“A personality is an indefinite quantum of traits which is subject to constant flux, change, and growth from the birth of the individual in the world to his death. A character, on the other hand, is a fixed and definite quantum of traits which, though it may be interpreted with slight differences from age to age and actor to actor, is nevertheless in its essentials forever fixed.”
—Hubert C. Heffner (1901–1985)
“The correct rate of speed in innovating changes in long-standing social customs has not yet been determined by even the most expert of the experts. Personally I am beginning to think there is more danger in lagging than in speeding up cultural change to keep pace with mechanical change.”
—Mary Barnett Gilson (1877–?)
“[Madness] is the jail we could all end up in. And we know it. And watch our step. For a lifetime. We behave. A fantastic and entire system of social control, by the threat of example as effective over the general population as detention centers in dictatorships, the image of the madhouse floats through every mind for the course of its lifetime.”
—Kate Millett (b. 1934)