Regular \(G_{\delta}\)-diagonal and Mrówka spaces (Q2405077): Difference between revisions

For an almost disjoint family \(\mathcal{A}\) of infinite subsets of \(\omega\), the corresponding Mrówka space \(\Psi(\mathcal{A})\) is the topological space obtained by supplying the set \(\omega \cup \mathcal{A}\) with the topology that has as a base all singletons \(\{n\}\) for \(n \in \omega\) and all sets of the form \(\{A\} \cup (A \setminus F)\), where \(A \in \mathcal{A}\) and \(F\) is finite. In [Topology Appl. 185--186, 134--140 (2015; Zbl 1317.54007)], the author and \textit{P. Li} have shown that if \(\mathcal{A}\) is maximal almost disjoint (MAD) and infinite, then, for every countable subset \(\mathcal{B}\) of \(\mathcal{A}\), \(\Psi(\mathcal{A} \setminus \mathcal{B})\) does not have a regular \(G_{\delta}\)-diagonal. Let \(\mathfrak{a}\) = min\(\{ |\mathcal{A}|\;: \;\mathcal{A} \;\text{is an infinite MAD on} \;\omega\}\). Here it is proved that, more precisely, if \(\mathcal{A}\) is an infinite MAD family and \(\mathcal{B} \subset\mathcal{A} \) has size \(< \mathfrak{a}\), then \(\Psi(\mathcal{A} \setminus \mathcal{B})\) does not have a regular \(G_{\delta}\)-diagonal. It is also shown that for an almost disjoint Luzin family \(\mathcal{A}\) on \(\omega\), \(\Psi(\mathcal{A})\) does not have a regular \(G_{\delta}\)-diagonal, where an almost disjoint family \(\mathcal{A}\) is said to be Luzin if it can be enumerated as \(\{A_{\alpha} \;: \;\alpha < \omega_{1} \}\) so that, for each \(\alpha < \omega_{1}\) and for each \(n < \omega\), the set \(\{\beta < \alpha \;: \;A_{\alpha} \cap A_{\beta} \subset n \}\) is finite. Additionally some results concerning the submetrizability of Mrówka spaces are provided.