Paper detail

Between countably compact and $ω$-bounded

Given a property $P$ of subspaces of a $T_1$ space $X$, we say that $X$ is {\em $P$-bounded} iff every subspace of $X$ with property $P$ has compact closure in $X$. Here we study $P$-bounded spaces for the properties $P \in \{ωD, ωN, C_2 \}$ where $ωD \, \equiv$ "countable discrete", $ωN \, \equiv$ "countable nowhere dense", and $C_2 \,\equiv$ "second countable". Clearly, for each of these $P$-bounded is between countably compact and $ω$-bounded. We give examples in ZFC that separate all these boundedness properties and their appropriate combinations. Consistent separating examples with better properties (such as: smaller cardinality or weight, local compactness, first countability) are also produced. We have interesting results concerning $ωD$-bounded spaces which show that $ωD$-boundedness is much stronger than countable compactness: $\bullet$ Regular $ωD$-bounded spaces of Lindelöf degree $< cov(\mathcal{M})$ are $ω$-bounded. $\bullet$ Regular $ωD$-bounded spaces of countable tightness are $ωN$-bounded, and if $\mathfrak{b} > ω_1$ then even $ω$-bounded. $\bullet$ If a product of Hausdorff space is $ωD$-bounded then all but one of its factors must be $ω$-bounded. $\bullet$ Any product of at most $\mathfrak{t}$ many Hausdorff $ωD$-bounded spaces is countably compact. As a byproduct we obtain that regular, countably tight, and countably compact spaces are discretely generated.