Generalizing witnesses to the non-normality of \(\mathbb N^{\omega_1}\) (Q1935845)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Generalizing witnesses to the non-normality of \(\mathbb N^{\omega_1}\)
scientific article

    Statements

    Generalizing witnesses to the non-normality of \(\mathbb N^{\omega_1}\) (English)
    0 references
    0 references
    19 February 2013
    0 references
    For a closed set \(C\subset\mathbb N^{\omega_1}\) the following are equivalent: there is a countable closed discrete set \(D\) with \(C\) and \(D\) being disjoint but having no open separation; there is a closed set \(B\) which is disjoint from \(C\), is homeomorphic to \(C\) but has no open separation with \(C\); the frontier of \(C\) is non-Lindelöf. This generalises and extends Stone's counterexample to normality of \(\mathbb N^{\omega_1}\) as \(\{x\in\mathbb N^{\omega_1}\mid |x^{-1}(n)|\leq1 \forall n\not=0\}\) has non-Lindelöf boundary.
    0 references
    non-normality
    0 references
    \(\mathbb N^{\omega_1}\)
    0 references
    countable closed discrete sets
    0 references
    non-Lindelöf
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references