Sober is not always co-sober (Q1616995)
From MaRDI portal
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