Hostname: page-component-7c8c6479df-hgkh8 Total loading time: 0 Render date: 2024-03-28T19:59:52.906Z Has data issue: false hasContentIssue false

Well-filtered spaces and their dcpo models

Published online by Cambridge University Press:  12 May 2015

XIAOYONG XI
Affiliation:
Department of Mathematics, Jiangsu Normal University, Jiangsu, China Email: littlebrook@jsnu.edu.cn
DONGSHENG ZHAO
Affiliation:
Mathematics and Mathematics Education, National Institute of Education, Nanyang Technological University, 1 Nanyang Walk, 637616Singapore Email: dongsheng.zhao@nie.edu.sg

Abstract

A topological space X is called well-filtered if for any filtered family $\mathcal{F}$ of compact saturated sets and an open set U, ∩ $\mathcal{F}$U implies FU for some F$\mathcal{F}$. Every sober space is well-filtered and the converse is not true. A dcpo (directed complete poset) is called well-filtered if its Scott space is well-filtered. In 1991, Heckmann asked whether every UK-admitting (the same as well-filtered) dcpo is sober. In 2001, Kou constructed a counterexample to give a negative answer. In this paper, for each T1 space X we consider a dcpo D(X) whose maximal point space is homeomorphic to X and prove that X is well-filtered if and only if D(X) is well-filtered. The main result proved here enables us to construct new well-filtered dcpos that are not sober (only one such example is known by now). A space will be called K-closed if the intersection of every filtered family of compact saturated sets is compact. Every well-filtered space is K-closed. Some similar results on K-closed spaces are also proved.

Type
Paper
Copyright
Copyright © Cambridge University Press 2015 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Gierz, G., Hofmann, K. H., Keimel, K., Lawson, J. D., Mislove, M. W. and Scott, D. S. (2003). Continuous Lattices and Domains, Encyclopedia of Mathematics and Its Applications, volume 93, Cambridge University Press.Google Scholar
Heckmann, R. (1992). An upper power domain construction in terms of strongly compact sets. Springer-Verlag Lecture Notes in Computer Science 598 272293.Google Scholar
Heckmann, R. and Keimel, K. (2013). Quasicontinuous domains and the smyth powerdomain. Electronic Notes in Theoretical Computer Science 298 215232.Google Scholar
Johnstone, P. (1981). Scott is not always sober. In: Continuous Lattices. Springer-Verlag Lecture Notes in Math. 871 282283.Google Scholar
Kou, H. (2010). Well-filtered DCPOS need not be sober. Domains and Processes, Semantic Structures in Computation 1 4150.Google Scholar
Zhao, D. (2009). Poset models of topological spaces. In: Proceeding of International Conference on Quantitative Logic and Quantification of Software, Global-Link Publisher 229–238.Google Scholar
Zhao, D. and Xi, X. (2014). Dcpo-models of T1-spaces (Under consideration for publication by Mathematical Proceedings of the Cambridge Philosophical Society).Google Scholar