VII - Topological Algebra and Lattice Theory: Applications

Summary

Our final chapter is devoted to exploring further links between topological algebra and continuous lattice and domain theory. This theme has already played an important role: the Fundamental Theorem of Compact Semilattices (VI-3.4) is just one example. In this chapter, however, the methods of topological algebra occupy a more central role, while the methods of continuous lattices are somewhat less prominent.

Section VII-1 is devoted to somewhat technical results about certain non-Housdorff topological semilattices; they are included primarily to facilitate the proof of later results concerning separate continuity of semilattice and lattice operations implying joint continuity. Section VII-2 makes various observations about topological lattices and their topologies, with a particular focus on completely distributive lattices.

Section VII-3 introduces the class of continuous lattices for which the Lawson topology is equal to the interval topology: the hypercontinuous lattices. The distributive ones are paired with the quasicontinuous domains via the spectral theory of Chapter V. Thus several earlier themes are nicely rounded out.

Section VII-4 characterizes those meet continuous complete lattices which admit a compact semilattice topology as being exactly those lattices whose lattice of Scott open sets forms a continuous lattice; this augments II-1.14, which shows that the continuous lattices are exactly those complete lattices whose Scott open sets form a completely distributive lattice. The final part of Section VII-4 is devoted to a proof that a compact semitopological semilattice is in fact topological.