Sober is not always co-sober (Q1616995): Difference between revisions

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.