Orthomodularity in infinite dimensions; a theorem of M. Solèr

DOI10.1090/S0273-0979-1995-00593-8zbMath0856.11021arXivmath/9504224MaRDI QIDQ4884440

Samuel S. jun. Holland

Publication date: 23 February 1997

Published in: Bulletin of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/math/9504224

zbMATH Keywords

orthomodular latticesorthomodularityquantum logicinfinite-dimensional Hilbert spaceBaer *-ringsinfinite-dimensional projective geometriesaxiomatisation of quantum mechanicsinfinite-dimensional Hermitian formsorthomodular formSolèr's theorem

Mathematics Subject Classification ID

Hilbert and pre-Hilbert spaces: geometry and topology (including spaces with semidefinite inner product) (46C05) Rings with involution; Lie, Jordan and other nonassociative structures (16W10) Complemented lattices, orthocomplemented lattices and posets (06C15) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Bilinear and Hermitian forms (11E39) General theory of linear incidence geometry and projective geometries (51A05) Quantum logic (03G12)

Related Items

An axiomatic basis for quantum mechanics, On type baer factors, Axiomatization of quantum logics, Representation of state property systems, Transitivity and homogeneity of orthosets and inner-product spaces over subfields of \(\mathbb{R}\), Unnamed Item, A THEOREM OF SOLÉR, THE THEORY OF SYMMETRY AND QUANTUM MECHANICS, Quantum set theory extending the standard probabilistic interpretation of quantum theory, Order topology on orthocomplemented posets of linear subspaces of a pre-Hilbert space, Division algebras and quantum theory, Quantum theory in real Hilbert space: How the complex Hilbert space structure emerges from Poincaré symmetry, The geometry of discrete \(L\)-algebras, Spectral representations of normal operators in quaternionic Hilbert spaces via intertwining quaternionic PVMs, Hilbert lattice equations, Quantum entanglement: an analysis via the orthogonality relation, Quantum states: an analysis via the orthogonality relation, Discrete quantum structures. I: Quantum predicate logic, Dynamical States and the Conventionality of (Non-) Classicality, Unnamed Item, Measurable systems and behavioral sciences, Lattice properties of subspace families in an inner product space, One-sided orthogonality, orthomodular spaces, quantum sets, and a class of Garside groups, Test spaces and characterizations of quadratic spaces, Orthogonality spaces arising from infinite-dimensional complex Hilbert spaces, Quantum cognition and bounded rationality, Equations holding in Hilbert lattices, Gradual transitivity in orthogonality spaces of finite rank, Quantum logic, Hilbert space, revision theory, Orthogonality spaces of finite rank and the complex Hilbert spaces, Quantum theory in quaternionic Hilbert space: How Poincaré symmetry reduces the theory to the standard complex one, Type indeterminacy: A model of the KT(Kahneman-Tversky)-man, Poisson Spaces with a Transition Probability, Graph approach to quantum systems, Information-theoretic princple entails orthomodularity of a lattice

Cites Work

• Ein nicht-klassischer Hilbertscher Raum
• Quadratic forms in infinite dimensional vector spaces
• On Solèr's characterization of Hilbert spaces
• Remarks on type I Baer and Baer\(^*\)-rings
• Orthomodulare Verbände
• Axioms for non-relativistic quantum mechanics
• Operator algebras generated by projections
• The logic of quantum mechanics
• Angle Bisection and Orthoautomorphisms in Hilbert Lattices
• On Characterizing the Standard Quantum Logics
• Characterization of hilbert spaces by orthomodular spaces
• Projections Algebraically Generate the Bounded Operators on Real or Quaternionic Hilbert Space
• A remark on Piron's paper
• The Weierstrass Theorem in Fields with Valuations
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item