Foundations for Quantum Mechanics
- 1 July 1970
- journal article
- research article
- Published by AIP Publishing in Journal of Mathematical Physics
- Vol. 11 (7) , 2139-2160
- https://doi.org/10.1063/1.1665373
Abstract
A discussion is given of the structure of a physical theory and an ``ideal form'' for such a theory is proposed. The essential feature is that all concepts should be defined in operational terms. Quantum (and classical) mechanics is then formulated in this way (the formulation being, however, restricted to the kinematical theory). This requires the introduction of the concept of a mixed test, related to a pure test (or ``question'') just as a mixed state is related to a pure state. In the new formulation, the primitive concepts are not states and observables but certain operationally accessible mixed states and tests called physical. The notion of a C*‐system is introduced; each such system is characterized by a certain C*‐algebra. The structure of a general C*‐system is then studied, all concepts being defined in terms of physical states and tests. It is shown first how pure states and tests can be so defined. The quantum analog of the phase space of classical mechanics is then constructed and on it is built a mathematical structure, called a q‐topology, which is a quantum analog of the topology of classical phase space. Mathematically, a q‐topology is related to a noncommutative C*‐algebra as an ordinary topology is related to a commutative C*‐algebra. Some properties of the q‐topology of a C*‐system are given. An appendix contains some physically motivated examples illustrating the theory.Keywords
This publication has 15 references indexed in Scilit:
- Erratum, Volume 74Bulletin of the American Mathematical Society, 1969
- On one parameter families of real solutions of nonlinear operator equationsBulletin of the American Mathematical Society, 1969
- 𝐶*-algebras of translations and multipliersBulletin of the American Mathematical Society, 1968
- Transformations of states in operator theory and dynamicsTopology, 1965
- Unitary operators inC∗-algebrasPacific Journal of Mathematics, 1960
- Unitary Invariants for Representations of Operator AlgebrasAnnals of Mathematics, 1957
- A Generalized Schwarz Inequality and Algebraic Invariants for Operator AlgebrasAnnals of Mathematics, 1952
- A theorem of Stone and von NeumannDuke Mathematical Journal, 1949
- Postulates for General Quantum MechanicsAnnals of Mathematics, 1947
- The Logic of Quantum MechanicsAnnals of Mathematics, 1936