Noncommutative topology and Jordan operator algebras

Jordan operator algebras are norm‐closed spaces of operators on a Hilbert space with for all . We study noncommutative topology, noncommutative peak sets and peak interpolation, and hereditary subalgebras of Jordan operator algebras. We show that Jordan operator algebras present perhaps the most general setting for a “full” noncommutative topology in the ‐algebraic sense of Akemann, L. G. Brown, Pedersen, etc, and as modified for not necessarily selfadjoint algebras by the authors with Read, Hay and other coauthors. Our breakthrough relies in part on establishing several strong variants of ‐algebraic results of Brown relating to hereditary subalgebras, proximinality, deeper facts about for a left ideal L in a ‐algebra, noncommutative Urysohn lemmas, etc. We also prove several other approximation results in ‐algebras and various subspaces of ‐algebras, related to open and closed projections and technical ‐algebraic results of Brown.