On some topological properties of dcpo models of T₁ topological spaces

DOI10.1007/S00025-022-01632-5MaRDI QIDQ2120287zbMATH OpenOpenAlexFDO

Authors Yanyan Li

Publication date 31 March 2022

Published in Results in Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00025-022-01632-5

zbMATH Keywords

modelRudin spacessoberwell-filtered

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Ordered topological structures (06F30) Hyperspaces in general topology (54B20)

Review text

A \textit{dcpo model} of a topological space \(X\) is a directed complete poset such that the set of all maximal points equipped with the relative Scott topology is homeomorphic to \(X\). It is known that each \(T_1\) space has a dcpo model. Naturally, questions are raised on how properties of a space and a model relate to each other. The main results in the paper under review are (1) A \(T_1\) space \(X\) is weak sober (any proper irreducible closed subset has a unique generic point) if and only if \(X\) has a weak sober dcpo model; (2) a \(T_1\) space \(X\) is a Rudin space (every irreducible closed set is a minimal closed set intersecting all members of some filtered family of saturated compacta) if and only if the model construction by \textit{X. Xi} and \textit{D. Zhao} [Math. Struct. Comput. Sci. 27, No. 4, 507--515 (2017; Zbl 1378.06005)] of \(X\) is a Rudin space; (3) the natural numbers with the cofinal topology are core-compact and \(\mathcal{U}_s\)-admitting, but their Xi-Zhao model is neither.

Recommendations

• The Xi-Zhao model of \(T_1\)-spaces
• scientific article; zbMATH DE number 1231648
• On topological spaces that have a bounded complete dcpo model
• Directed complete poset models of T₁ spaces
• Any T₁ space has a continuous poset model

Cites work

• A computational model for metric spaces
• An upper power domain construction in terms of strongly compact sets
• Bounded complete models of topological spaces
• Dcpo models of Choquet complete and Baire spaces
• Directed complete poset models of T₁ spaces
• Dynamical systems, measures, and fractals via domain theory
• Equality of the Isbell and Scott topologies on function spaces of c-spaces
• scientific article; zbMATH DE number 3735877 (Why is no real title available?)
• Maximal point spaces of dcpos satisfying the Lawson condition
• On \(T_0\) spaces determined by well-filtered spaces
• On topological spaces that have a bounded complete dcpo model
• On well-filtered reflections of \(T_0\) spaces
• Order environments of topological spaces
• Spaces of maximal points
• Weak well-filtered spaces and coherence
• Well-filtered spaces and their dcpo models

Cited in

(8)

• On topological spaces that have a bounded complete dcpo model
• Sober Scott spaces are not always co-sober
• Dcpo models of Choquet complete and Baire spaces
• Directed complete poset models of T₁ spaces
• Algebraic models for \(T_1\)-spaces
• The Xi-Zhao model of \(T_1\)-spaces
• \(\mathrm{wb}\)-sober spaces and the core-coherence of \(\mathrm{dcpo}\) models
• An answer to an open problem of Heckmann and \(\mathscr{U}_s\)-admitting spaces

This page was built for publication: On some topological properties of dcpo models of \(T_1\) topological spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2120287)