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
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