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
    0 references
    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
    0 references
    0 references
    0 references
    0 references
    0 references
    co-sober space
    0 references
    sober space
    0 references
    Smyth power space
    0 references
    0 references