Every \(k\)-separable Čech-complete space is subcompact (Q2341002): Difference between revisions

The main result of this paper is that a Čech-complete space with a dense \(\sigma\)-compact subspace (this is what \(k\)-separable means) is subcompact. Subcompactness was introduced in [\textit{J. de Groot}, Nederl. Akad. Wet., Proc., Ser. A 66, 761--767 (1963; Zbl 0118.17901)] in an investigation of the Baire category theorem; it requires the existence of a base, \(\mathcal{B}\), for the open sets such that every regular filterbase from~\(\mathcal{B}\) has a non-empty intersection, where \(\mathcal{F}\)~is regular if whenever \(U,V\in\mathcal{F}\) there is \(W\in\mathcal{F}\) such that \(\overline W\subseteq U\cap V\). The method of proof yields further sufficient examples of subcompact spaces, e.g., (non-empty) \(G_\delta\)-subsets of dyadic compacta, co-countable subsets of compact ordered spaces, and others.