Which distributive lattices are lattices of open sets of \(P\)-spaces? (English) Zbl 1515.06010
Summary: Representing lattices by topologies has been studied to a great extent. In this paper, we prove that a complete lattice \(L\) is isomorphic to the lattice of open subsets of a \(P\)-space iff \(L\) is order generated by its countably prime elements. We establish the dual equivalence between the category of complete lattices order generated by their countably prime elements with morphisms preserving arbitrary sups and countable infs, and the category of countably sober \(P\)-spaces with morphisms of continuous maps. Finally, we show that the category of countably sober \(P\)-spaces is reflective in the category of \(P\)-spaces.
MSC:
| 06D05 | Structure and representation theory of distributive lattices |
| 06B30 | Topological lattices |
| 54H12 | Topological lattices, etc. (topological aspects) |
References:
| [1] | Banaschewski, B.; Gilmour, CRA, Stone-Cěch compactification and dimension theory for regular σ-frames, J. Lond. Math. Soc., 39, 1-8 (1989) · Zbl 0675.06005 · doi:10.1112/jlms/s2-39.1.1 |
| [2] | Banaschewski, B.; Matutu, P., Remarks on the frame envelope of a σ-frame, J. Pure Appl. Algebra, 177, 231-236 (2003) · Zbl 1008.54014 · doi:10.1016/S0022-4049(02)00195-0 |
| [3] | Büchi, JR, Representation of complete lattices by sets, Portugaliae Math., 11, 151-167 (1952) · Zbl 0048.02202 |
| [4] | Drake, D.; Thron, WJ, On the representation of an abstract lattice as the family of closed subsets of a topological space, Trans. Am. Math. Soc., 120, 57-71 (1965) · Zbl 0132.17702 · doi:10.1090/S0002-9947-1965-0188963-7 |
| [5] | Gierz, G.; Hofmann, KH; Keimel, K.; Lawson, JD; Mislove, M.; Scott, DS, Continuous Lattices and Domains (2003), Cambridge: Cambridge University Press, Cambridge · Zbl 1088.06001 · doi:10.1017/CBO9780511542725 |
| [6] | Gillman, L.; Jerrison, M., Rings of Continuous Functions. Graduate Texts in Mathmatics, 62-65 (1976), New York: D. Van Nostrand Publ. Co., New York · Zbl 0327.46040 |
| [7] | Han, YH; Hong, SS; Lee, CK; Park, PU, A generalization of posets, Commun. Korean Math. Soc., 4, 1, 129-138 (1989) · Zbl 1273.06002 |
| [8] | Hofmann, KH; Lawson, JD, The spetral theory of distributive continuous lattices, Trans. Am. Math. Soc., 246, 285-310 (1978) · Zbl 0402.54043 · doi:10.1090/S0002-9947-1978-0515540-7 |
| [9] | Lee, SO, Countably approximating frames, Commun. Korean Math. Soc., 17, 295-308 (2002) · Zbl 1101.54311 · doi:10.4134/CKMS.2002.17.2.295 |
| [10] | McGovern, WW, Free topologcial groups of weak P-spaces, Topol. Appl., 112, 175-180 (2001) · Zbl 0977.54030 · doi:10.1016/S0166-8641(99)00234-5 |
| [11] | Papert, S., Which distributive lattices are lattice of closed sets?, Proc. Camb. Philos. Soc., 55, 172-176 (1959) · Zbl 0178.33703 · doi:10.1017/S0305004100033855 |
| [12] | Stone, MH, The theory of representations for Boolean algebras, Trans. Am. Math. Soc., 40, 37-111 (1936) · JFM 62.0033.04 |
| [13] | Stone, MH, Topological representation of distributive lattices and Brouwerian logics, Časopis pro Pěstovánĭ Matematiky a Fysiky, 67, 1-25 (1937) · JFM 63.0830.01 |
| [14] | Yang, J.; Shi, J., Countably sober spaces, Electron. Notes Theor. Comput. Sci., 333, 143-151 (2017) · Zbl 1395.54024 · doi:10.1016/j.entcs.2017.08.011 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
