We initiate a study of topological orthoalgebras (TOAs), concentrating on the compact case. Examples of TOAs include topological orthomod-ular 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.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.