Compact orthoalgebras
HTML articles powered by AMS MathViewer
- by Alexander Wilce PDF
- Proc. Amer. Math. Soc. 133 (2005), 2911-2920 Request permission
Abstract:
We initiate a study of topological orthoalgebras (TOAs), concentrating on the compact case. Examples of TOAs include topological orthomodular lattices, and also the projection lattice of a Hilbert space. As the latter example illustrates, a lattice-ordered TOA need not be a topological lattice. However, we show that a compact Boolean TOA is a topological Boolean algebra. Using this, we prove that any compact regular TOA is atomistic , and has a compact center. We prove also that any compact TOA with isolated $0$ is of finite height. We then focus on stably ordered TOAs: those in which the upper set generated by an open set is open. These include both topological orthomodular lattices and interval orthoalgebras – in particular, projection lattices. We show that the topology of a compact stably-ordered TOA with isolated $0$ is determined by that of its space of atoms.References
- M. K. Bennett and D. J. Foulis, Interval and scale effect algebras, Adv. in Appl. Math. 19 (1997), no. 2, 200–215. MR 1459498, DOI 10.1006/aama.1997.0535
- Gunter Bruns and John Harding, Algebraic aspects of orthomodular lattices, Current research in operational quantum logic, Fund. Theories Phys., vol. 111, Kluwer Acad. Publ., Dordrecht, 2000, pp. 37–65. MR 1907155
- Tae Ho Choe and Richard J. Greechie, Profinite orthomodular lattices, Proc. Amer. Math. Soc. 118 (1993), no. 4, 1053–1060. MR 1143016, DOI 10.1090/S0002-9939-1993-1143016-9
- Tae Ho Choe, Richard J. Greechie, and Yunki Chae, Representations of locally compact orthomodular lattices, Topology Appl. 56 (1994), no. 2, 165–173. MR 1266141, DOI 10.1016/0166-8641(94)90017-5
- D. J. Foulis, R. J. Greechie, and G. T. Rüttimann, Filters and supports in orthoalgebras, Internat. J. Theoret. Phys. 31 (1992), no. 5, 789–807. MR 1162623, DOI 10.1007/BF00678545
- D. J. Foulis and C. H. Randall, What are quantum logics and what ought they to be?, Current issues in quantum logic (Erice, 1979) Ettore Majorana Internat. Sci. Ser.: Phys. Sci., vol. 8, Plenum, New York-London, 1981, pp. 35–52. MR 723148
- R. J. Greechie, D. Foulis, and S. Pulmannová, The center of an effect algebra, Order 12 (1995), no. 1, 91–106. MR 1336539, DOI 10.1007/BF01108592
- Peter T. Johnstone, Stone spaces, Cambridge Studies in Advanced Mathematics, vol. 3, Cambridge University Press, Cambridge, 1982. MR 698074
- Gudrun Kalmbach, Orthomodular lattices, London Mathematical Society Monographs, vol. 18, Academic Press, Inc. [Harcourt Brace Jovanovich, Publishers], London, 1983. MR 716496
- Leopoldo Nachbin, Topology and order, Van Nostrand Mathematical Studies, No. 4, D. Van Nostrand Co., Inc., Princeton, N.J.-Toronto, Ont.-London, 1965. Translated from the Portuguese by Lulu Bechtolsheim. MR 0219042
- H. A. Priestley, Ordered topological spaces and the representation of distributive lattices, Proc. London Math. Soc. (3) 24 (1972), 507–530. MR 300949, DOI 10.1112/plms/s3-24.3.507
- S. Pulmannová and Z. Riečanová, Block-finite atomic orthomodular lattices, J. Pure Appl. Algebra 89 (1993), no. 3, 295–304. MR 1242723, DOI 10.1016/0022-4049(93)90058-2
- Riečanova, Z., Order-Topological Lattice Effect Algebras, preprint, 2003.
- Alexander Wilce, Test spaces and orthoalgebras, Current research in operational quantum logic, Fund. Theories Phys., vol. 111, Kluwer Acad. Publ., Dordrecht, 2000, pp. 81–114. MR 1907157
Additional Information
- Alexander Wilce
- Affiliation: Department of Mathematics, Susquehanna University, Selinsgrove, Pennsylvania 17870
- Email: wilce@susqu.edu
- Received by editor(s): August 22, 2003
- Received by editor(s) in revised form: June 10, 2004
- Published electronically: May 2, 2005
- Communicated by: Lance W. Small
- © Copyright 2005
American Mathematical Society
The copyright for this article reverts to public domain 28 years after publication. - Journal: Proc. Amer. Math. Soc. 133 (2005), 2911-2920
- MSC (2000): Primary 06F15, 06F30; Secondary 03G12, 81P10
- DOI: https://doi.org/10.1090/S0002-9939-05-07884-6
- MathSciNet review: 2159769