Hostname: page-component-669899f699-rg895 Total loading time: 0 Render date: 2025-04-29T02:54:44.038Z Has data issue: false hasContentIssue false

The set of maximal points of an $\boldsymbol{\omega}$-domain need not be a $\boldsymbol{G}_{\boldsymbol{\delta}}$-set

Published online by Cambridge University Press:  21 April 2025

Gaolin Li
Affiliation:
School of Mathematics and Statistics, Yancheng Teachers University, Yancheng, 224002, Jiangsu, China
Chong Shen
Affiliation:
School of Science, Beijing University of Posts and Telecommunications, Beijing, 100876, China Key Laboratory of Mathematics and Information Networks (Beijing University of Posts and Telecommunications), Ministry of Education, Beijing, China
Kaiyun Wang
Affiliation:
School of Mathematics and Statistics, Shaanxi Normal University, Xi’an, 710119, Shaanxi, China
Xiaoyong Xi*
Affiliation:
School of Mathematics and Statistics, Yancheng Teachers University, Yancheng, 224002, Jiangsu, China
Dongsheng Zhao
Affiliation:
Mathematics and Mathematics Education, National Institute of Education, Nanyang Technological University, 1 Nanyang Walk, 637616, Singapore
*
Corresponding author: Xiaoyong Xi; Email: [email protected]

Abstract

A topological space has a domain model if it is homeomorphic to the maximal point space $\mbox{Max}(P)$ of a domain $P$. Lawson proved that every Polish space $X$ has an $\omega$-domain model $P$ and for such a model $P$, $\mbox{Max}(P)$ is a $G_{\delta }$-set of the Scott space of $P$. Martin (2003) then asked whether it is true that for every $\omega$-domain $Q$, $\mbox{Max}(Q)$ is $G_{\delta }$-set of the Scott space of $Q$. In this paper, we give a negative answer to Martin’s long-standing open problem by constructing a counterexample. The counterexample here actually shows that the answer is no even for $\omega$-algebraic domains. In addition, we also construct an $\omega$-ideal domain $\widetilde{Q}$ for the constructed $Q$ such that their maximal point spaces are homeomorphic. Therefore, $\textrm{Max}(Q)$ is a $G_\delta$-set of the Scott space of the new model $\widetilde{Q}$ .

Type
Paper
Copyright
© Yancheng Teachers University, 2025. Published by Cambridge University Press

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.)

Article purchase

Temporarily unavailable

References

Edalat, A. (1997). When Scott is weak on the top. Mathematical Structures in Computer Science 7 (5) 401417.CrossRefGoogle Scholar
Gierz, G., Hofmann, K. H., Keimel, K., Lawson, J. D., Mislove, M. W. and Scott, D. S. (2003). Continuous Lattices and Domains, Cambridge University Press.CrossRefGoogle Scholar
Goubault-Larrecq, J. (2013). Non-Hausdorff Topology and Domain Theory: Selected Topics in Point-Set Topology, Cambridge University Press.CrossRefGoogle Scholar
Lawson, J. (1997). Spaces of maximal points. Mathematical Structures in Computer Science 7 (5) 543555.Google Scholar
Martin, K. (2003a). Ideal models of spaces. Theoretical Computer Science 305 (1-3) 277297.CrossRefGoogle Scholar
Martin, K. (2003b). The regular spaces with countably based model. Theoretical Computer Science 305 (1-3) 299310.CrossRefGoogle Scholar
Zhao, D. and Xi, X. (2018). Directed complete poset models of $T_1$ spaces. Mathematical Proceedings of the Cambridge Philosophical Society 164 (1) 125134.CrossRefGoogle Scholar