Madness and weak forms of normality (Q2064768)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Madness and weak forms of normality |
scientific article |
Statements
Madness and weak forms of normality (English)
0 references
6 January 2022
0 references
Each almost disjoint (\(AD\)) family \(\mathcal{A}\) of infinite subsets of \(\omega\) has a topological space naturally associated with it -- the \(\Psi\)-space or the Mrówka-Isbell space associated to \(\mathcal{A}\) -- denoted by \(\Psi(\mathcal{A})\). The underlying set of \(\Psi(\mathcal{A})\) is \(\omega\cup\mathcal{A}\) with the following topology: The points of \(\omega\) are isolated and for every \(A\in \mathcal{A}\) a basic open neighbourhood is of the form \(\{A\}\cup (A \setminus F)\), where \(F\in [\omega]^{<\omega}\). A set \(D\in [\omega]^{\omega}\) is a \textit{partitioner} for \(\mathcal{A}\) if for every \(A\in\mathcal{A}\) either \(A\subset^* D\) or \(A\cap D\) is finite. An \(AD\) family \(\mathcal{A}\) is \textit{strongly \(\aleph_0\)-separated}, if for every two disjoint countable subfamilies \(\mathcal{B}, \mathcal{C}\subseteq\mathcal{A}\), there is a partitioner \(D\) for \(\mathcal{A}\), such that \(B\subset^* D\) for every \(B\in\mathcal{B} \) and \(C\cap D\) is finite for every \(C\in \mathcal{C}\). A space \(X\) is \textit{almost-normal} (respectively, \textit{partly normal, quasi-normal}) if each pair of disjoint closed sets, one of which is regular closed (respectively, one of which is a finite intersection of regular-closed sets and the other is regular-closed, both of which are a finite intersection of regular closed sets) can be separated by open sets. The main purpose of this paper is to study relationships between these weaker forms of normality in Mrówka-Isbell spaces, but two other weak forms of normality, namely \textit{mildly normal} and \textit{potentially normal} are also mentioned briefly. Among other results, the author shows that the existence of an \(AD\) family whose associated \(\Psi\)-space is almost-normal but not normal does follow from \(CH\), but in contrast, that it is consistent that the space associated with a maximal \(AD\) family is never almost-normal. A partly-normal not quasi-normal \(AD\) family is constructed, thus answering questions of \textit{S. A. Garcia-Balan} and \textit{P. J. Szeptycki} [Fundam. Math. 258, No. 2, 137--151 (2022; Zbl 1502.54008)]. The final result is the construction under \(CH\) of a strongly \(\aleph_0\)-separated \(AD\)-family which is not almost-normal, answering a question of \textit{V. de Oliveira Rodrigues} and \textit{V. dos Santos Ronchim} [Topology Appl. 288, Article ID 107470, 14 p. (2021; Zbl 1459.54015)].
0 references
almost-normal MAD family
0 references
almost disjoint family
0 references
normal
0 references
almost-normal
0 references
partly-normal
0 references
quasi-normal
0 references
strongly \(\aleph_0\)-separated
0 references