Lindelöf domination versus \(\omega\)-domination of discrete subsets (Q2300117): Difference between revisions

For a space \(X\) and families \(\mathcal{A}, \mathcal{B}\) of subsets of \(X\) say that \(\mathcal{A}\) is dominated by \(\mathcal{B}\) if each member of \(\mathcal{A}\) is a subset of the closure of some member of \(\mathcal{B}\). When \(\mathcal{B}\) consists of all countable (Lindelöf) subsets, say that all members of \(\mathcal{A}\) are \(\omega\)-(Lindelöf) dominated. If \(d(X)\le s(X)<\mathfrak{w}\) then all discrete subsets of \(X\times X\) are \(\omega\)-dominated if and only if \(X\) is separable. A perfect space in which all closed discrete subsets are Lindelöf dominated has countable cellularity. Examples are given of perfect regular (resp.\,normal) spaces in which all discrete subsets are Lindelöf dominated but there is a closed, discrete subset that it not \(\omega\)-dominated; the respective example requires the existence of a \(Q\)-set.