Complementary forms of \([\alpha,\beta]\)-compact (Q1892164)

Final \(\kappa\)-compactness is one of the classical open covering properties introduced by \textit{P. Alexandroff} and \textit{P. Urysohn} [Verh. Koninkl. Akad. Wetensch. Amsterdam 14, 1-96 (1929; JFM 55.0960.02)], and is a special case of their more general \([\alpha, \beta]\)- compactness. A space is called finally \(\kappa\)-compact provided every open cover has a subcover of cardinality less than \(\kappa\). Three main definitions in this paper are (1) a space \(X\), which is not finally \(\kappa\)-compact, is called cofinally \(\kappa\)-compact provided the set of all closed, not finally \(\kappa\)-compact subsets of \(X\), is linked (i.e., given two disjoint closed subsets of \(X\), one is finally \(\kappa\)- compact), (2) the cardinal invariant \(cfc(X)\) is defined to be the least cardinal \(\kappa\) such that \(X\) is cofinally \(\kappa\)-compact, and (3) the cofinality of a space \(X\) is the least cardinality of a closed filterbase \(\mathcal F\) in \(X\) with \(\bigcap {\mathcal F} = \emptyset\). The authors present basic results about these and related properties, and show how these notions are related to several properties in the literature. For example, cofinally \(\omega\)-compact \(T_3\)-spaces were studied by \textit{W. Fleissner, J. Kulesza} and \textit{R. Levy} under the name normal almost compact spaces [Proc. Am. Math. Soc. 113, No. 2, 503-511 (1991; Zbl 0744.54010)].