Sober Scott spaces are not always co-sober

DOI10.1016/J.TOPOL.2020.107316MaRDI QIDQ2215643zbMATH OpenOpenAlexFDO

Authors Chong Shen, Guohua Wu, Xiaoyong Xi, Dongsheng Zhao

Publication date 14 December 2020

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.topol.2020.107316

zbMATH Keywords

co-sober spacedcpo modelposet modelsober space

Mathematics Subject Classification ID

Topological lattices (06B30) Continuous lattices and posets, applications (06B35) Basic constructions in general topology (54B99) Compactness (54D30)

Review text

The main results of the paper are a generalization of the work done in the papers [\textit{D. Zhao} and \textit{X. Xi}, Math. Proc. Camb. Philos. Soc. 164, No. 1, 125--134 (2018; Zbl 1469.06012); \textit{D. Zhao}, ``Poset models of topological spaces, in: Proceeding of the international conference on quantitative logic and quantification of software. Global-Link Publisher. 229--238 (2009)]. The new main results are presented as Proposition 2.1., Proposition 2.3. and Proposition 2.5. for Scott dcpo models for \(T_{0}\)-spaces and \(d\)-spaces. Then the following result is derived: Theorem 2.7. Let \(X\) be a \(d\)-space. Then there is a dcpo \(P_{X}\) and a topological embedding \(\psi:X \rightarrow \sum P_{X}\) satisfying the following properties: \begin{itemize} \item[(1)] \(\psi(X)=\uparrow\psi(X)\); \item[(2)] \(P_{X}=\downarrow\psi(X)\); \item[(3)] \(X\) is sober if and only if \(\sum P_{X}\) is sober. \end{itemize}

Recommendations

• A new dcpo whose Scott topology is well-filtered but not sober
• On some topological properties of dcpo models of \(T_1\) topological spaces
• Sober is not always co-sober
• Continuity of posets via Scott topology and sobrification
• Scott spaces and sober spaces

Cites work

• Comparing Cartesian closed categories of (core) compactly generated spaces
• Completion of a Construction of Johnstone
• Continuous Lattices and Domains
• Directed complete poset models of T₁ spaces
• scientific article; zbMATH DE number 3735877 (Why is no real title available?)
• Non-Hausdorff topology and domain theory. Selected topics in point-set topology
• Sober is not always co-sober
• Spaces of maximal points

Cited in

(10)

• Sober is not always co-sober
• A new dcpo whose Scott topology is well-filtered but not sober
• A compact space is not always \(SI\)-compact
• scientific article; zbMATH DE number 5178687 (Why is no real title available?)
• On topologies defined by irreducible sets
• On P-sober spaces
• On some results related to sober spaces
• On co-sober spaces
• The reflectivity of some categories of T₀ spaces in domain theory
• Some open problems on well-filtered spaces and sober spaces

This page was built for publication: Sober Scott spaces are not always co-sober

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