More generalizations of pseudocompactness

From MaRDI portal



Abstract: We introduce a covering notion depending on two cardinals, which we call mathcalO-[mu,lambda]-compactness, and which encompasses both pseudocompactness and many other generalizations of pseudocompactness. For Tychonoff spaces, pseudocompactness turns out to be equivalent to mathcalO-[omega,omega]-compactness. We provide several characterizations of mathcalO-[mu,lambda]-compactness, and we discuss its connection with D-pseudocompactness, for D an ultrafilter. We analyze the behaviour of the above notions with respect to products. Finally, we show that our results hold in a more general framework, in which compactness properties are defined relative to an arbitrary family of subsets of some topological space X.


In the literature there are many equivalent reformulations of pseudocompactness. Many authors have introduce various generalizations and extensions of pseudocompactness. In the present paper the author introduces some more pseudocompactness-like properties, focusing mainly on notions related to covering properties and ultrafilter convergence. The most general form of this paper called \({\mathcal O}\)-\([\mu,\lambda]\)-compactness depends on two cardinals \(\mu\) and \(\lambda\). It generalizes and unifies several pseudocompactness-like notions that appeared before. For example, for Tychonoff spaces, \({\mathcal O}\)-\([\omega,\omega]\)-compactness turns out to be equivalent to pseudocompactness. The author presents many conditions equivalent to \({\mathcal O}\)-\([\mu,\lambda]\)-compactness and among them there exists a further and deeper characterization which uses ultrafilters. Thus, he provides a connection between \({\mathcal O}\)-\([\mu,\lambda]\)-compactness and \(D\)-pseudocompactness, for \(D\) a \((\mu,\lambda)\)-regular ultrafilter. The connection turns out to be more sophisticated when the above notions are considered with respect to products, since \(D\)-pseudocompactness is productive but \({\mathcal O}\)-\([\mu,\lambda]\)-compactness is not necessarily productive. The author also gives some characterizations of those spaces which are \(D\)-pseudocompact, for some given ultrafilter \(D\). At the end, the author provides a unified treatment of definitions and results about \([\mu,\lambda]\)-compactness and related compactness notions as well as \({\mathcal O}\)-\([\mu,\lambda)\)-compactness and related pseudocompactness-like notions.











This page was built for publication: More generalizations of pseudocompactness

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q554426)