Sober is not always co-sober (Q1616995): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Comparing Cartesian closed categories of (core) compactly generated spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Continuous Lattices and Domains / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Completion of a Construction of Johnstone / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4868226 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Non-Hausdorff Topology and Domain Theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On topologies defined by irreducible sets / rank | |||
Normal rank |
Latest revision as of 06:32, 17 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Sober is not always co-sober |
scientific article |
Statements
Sober is not always co-sober (English)
0 references
7 November 2018
0 references
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.
0 references
co-sober space
0 references
sober space
0 references
Smyth power space
0 references