The authors negatively answer the question from literature whether each sober space is co-sober by presenting a counterexample. Further results of the paper state: (1) Each closed subspace of a co-sober space is co-sober. (2) A saturated subspace of a co-sober space is co-sober. (3) If \((X,\tau)\) is a co-sober space and a continuous mapping \(c:(X,\tau)\rightarrow (X,\tau)\) is a closure operator with respect to the specialization preorder of \((X,\tau)\), then the subspace \((c(X), \tau | c(X))\) is a co-sober space. (4) If the Smyth power space \(P^s(X)\) of a topological space \(X\) is co-sober, then \(X\) is co-sober. Finally, they ask whether \(P^s(X)\) is co-sober provided that \(X\) is a co-sober space.
- Comparing Cartesian closed categories of (core) compactly generated spaces
- Completion of a Construction of Johnstone
- Continuous Lattices and Domains
- scientific article; zbMATH DE number 851999 (Why is no real title available?)
- Non-Hausdorff topology and domain theory. Selected topics in point-set topology
- On topologies defined by irreducible sets
- Sober Scott spaces are not always co-sober
- Two classes of locally compact sober spaces
- Spaces determined by countably many locally compact subspaces
- On co-sober spaces
- T₀-spaces and the lower topology
- The reflectivity of some categories of T₀ spaces in domain theory
- Strongly well-filtered spaces and strong d-spaces
- Spaces determined by their Smyth hyperspaces with the Scott topology
- Strong well-filteredness of upper topology on sup-complete posets
- Some open problems on well-filtered spaces and sober spaces
This page was built for publication: Sober is not always co-sober
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1616995)
