Compact orthoalgebras

DOI10.1090/S0002-9939-05-07884-6MaRDI QIDQ5461302zbMATH OpenOpenAlexFDO

Authors Alexander Wilce

Publication date 26 July 2005

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

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

zbMATH Keywords

effect algebraorthoalgebraorthomodular lattice, topological lattice, quantum logicprojection lattices

Mathematics Subject Classification ID

Quantum logic (03G12) Complemented lattices, orthocomplemented lattices and posets (06C15) Ordered topological structures (06F30) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Abstract: We define topological orthoalgebras (TOAs) and study their properties. While every topological orthomodular lattice is a TOA, the lattice of projections of a Hilbert space is an example of a lattice-ordered TOA that is not a toplogical lattice. On the other hand, we show that every compact Boolean TOA is a topological Boolean algebra. We also show that a compact TOA in which 0 is an isolated point is atomic and of finite height. We identify and study a particularly tractable class of TOAs, which we call {em stably ordered}: those in which the upper-set generated by an open set is open. This includes all topological OMLs, and also the projection lattices of Hilbert spaces. Finally, we obtain a topological version of the Foulis-Randall representation theory for stably ordered TOAs

Recommendations

• States on orthoalgebras
• Orthosummable orthoalgebras
• Morphisms and pasting of orthoalgebras
• Filters and supports in orthoalgebras
• scientific article; zbMATH DE number 19620

Cited in

(9)

• Filters and supports in orthoalgebras
• States on orthoalgebras
• A Boolean topological orthomodular poset
• An intrinsic topology for orthomodular lattices
• Topological test spaces
• scientific article; zbMATH DE number 797126 (Why is no real title available?)
• Compact algebras in discriminator varieties
• Symmetry and topology in quantum logic
• The logic of bundles

This page was built for publication: Compact orthoalgebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5461302)