
Various aspects of the prime spectrum of a distributive continuous lattice have been discussed extensively in Hofmann-Lawson [7]. This note presents a perhaps optimally direct and self-contained proof of one of the central results in [7] (Theorem 9.6), the duality between distributive continuous lattices and locally compact sober spaces, and then shows how the familiar dualities of complete atomic Boolean algebras and bounded distributive lattices derive from it, as well as a new duality for all continuous lattices. As a biproduct, we also obtain a characterization of the topologies of compact Hausdorff spaces.Our approach, somewhat differently from [7], takes the open prime filters rather than the prime elements as the points of the dual space. This appears to have conceptual advantages since filters enter the discussion naturally, besides being a well-established tool in many similar situations.
Structure and representation theory of distributive lattices, distributive continuous lattices, Stone spaces (Boolean spaces) and related structures, Representation theory of lattices
Structure and representation theory of distributive lattices, distributive continuous lattices, Stone spaces (Boolean spaces) and related structures, Representation theory of lattices
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 21 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Top 10% |
