Abstract
Aquantum logic (σ-orthocomplete orthomodular poset L with a convex, unital, and separating set Δ of states) is said to have theexistence property if the expectation functionals onlin(Δ) associated with the bounded observables of L form a vector space. Classical quantum logics as well as the Hilbert space logics of traditional quantum mechanics have this property. We show that, if a quantum logic satisfies certain conditions in addition to having property E, then the number of its blocks (maximal classical subsystems) must either be one (classical logics) or uncountable (as in Hilbert space logics).
Similar content being viewed by others
References
E. G. Beltrametti and G. Cassinelli,The Logic of Quantum Mechanics (Encyclopedia of Mathematics and Its Applications, Vol. 15, Gian-Carlo Rota, ed. (Addison-Wesley, Reading, Massachusetts, 1981).
D. W. Cohen and G. T. Rüttimann, “On blocks in quantum logics,”Rep. Math. Phys. 22, 113–123 (1985).
N. Dunford and J. T. Schwartz,Linear Operators, Part 1 (Wiley-Interscience, New York, 1958).
S. P. Gudder, “Spectral methods for a generalized probability theory,”Trans. Am. Math. Soc. 119, 428–442 (1965).
S. P. Gudder, “Uniqueness and existence property of bounded observables,”Pacific J. Math. 19, 81–93 (1966).
S. P. Gudder,Stochastic Methods in Quantum Mechanics (North-Holland, New York, 1979).
R. B. Holmes,Geometric Functional Analysis and Its Applications (Graduate Texts in Mathematics24) (Springer, New York, 1975).
G. Kalmbach,Orthomodular Lattices (Academic Press, London, 1983).
L. Loomis, “On the representation of σ-complete Boolean algebras,”Bull. Am. Math. Soc. 53, 757–760 (1947).
G. W. Mackey,The Mathematical Foundations of Quantum Mechanics (W. A. Benjamin, New York, 1963).
G. K. Pedersen,C*-Algebras and Their Automorphism Groups (Academic Press, London, 1979).
G. T. Rüttimann,Non-commutative Measure Theory (Habilitationsschrift, Universität Bern, 1979).
G. T. Rüttimann, “Expectation functionals of observables and counters,”Rep. Math. Phys. 21, 213–222 (1985).
G. T. Rüttimann, “Facial sets of probability measures,”Prob. Math. Stat. 6, 99–127 (1985).
S. Sakai,C*-Algebras and W*-Algebras (Ergebnisse der Mathematik und ihrer Grenzgebiete60) (Springer, Berlin, 1971).
I. E. Segal, “Postulates for general quantum mechanics,”Ann. Math. 48, 930–948 (1947).
V. Varadarajan, “Probability in physics and a theorem on simultaneous observability,”Commun. Pure Appl. Math. 15, 189–217 (1962).
V. Varadarajan,Geometry of Quantum Theory, Vols. 1 and 2 (Van Nostrand-Reinhold, Princeton. New Jersey, 1968 and 1970).
J. von Neumann, “On an algebraic generalization of the quantum mechanical formalism, Part 1,”Mat. Sb. 43, 515–584 (1936).
J. von Neumann,Mathematical Foundations of Quantum Mechanics (Princeton University Press, Princeton, New Jersey, 1955).
N. Zierler,On General Measure Theory, Dissertation, Harvard University, 1959.
Author information
Authors and Affiliations
Additional information
Part of this work was done while the author was a visitor at the Department of Mathematics and Computer Science of the University of Denver, Denver, Colorado.
Rights and permissions
About this article
Cite this article
Schindler, C. Quantum logics with the existence property. Found Phys 21, 483–498 (1991). https://doi.org/10.1007/BF00733360
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00733360