More generalizations of pseudocompactness (Q554426): Difference between revisions

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.