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:
“The receipt to make a speaker, and an applauded one too, is short and easy.—Take of common sense quantum sufficit, add a little application to the rules and orders of the House, throw obvious thoughts in a new light, and make up the whole with a large quantity of purity, correctness, and elegancy of style.”
—Philip Dormer Stanhope, 4th Earl Chesterfield (1694–1773)
“We are caught up Mr. Perry on a great wave whether we will or no, a great wave of expansion and progress. All these mechanical inventions—telephones, electricity, steel bridges, horseless vehicles—they are all leading somewhere. It’s up to us to be on the inside in the forefront of progress.”
—John Dos Passos (1896–1970)
“We recognize caste in dogs because we rank ourselves by the familiar dog system, a ladderlike social arrangement wherein one individual outranks all others, the next outranks all but the first, and so on down the hierarchy. But the cat system is more like a wheel, with a high-ranking cat at the hub and the others arranged around the rim, all reluctantly acknowledging the superiority of the despot but not necessarily measuring themselves against one another.”
—Elizabeth Marshall Thomas. “Strong and Sensitive Cats,” Atlantic Monthly (July 1994)