Topological spaces compact with respect to a set of filters (Q2248497)

From MaRDI portal
Revision as of 06:56, 2 February 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Topological spaces compact with respect to a set of filters
scientific article

    Statements

    Topological spaces compact with respect to a set of filters (English)
    0 references
    0 references
    26 June 2014
    0 references
    Let \(X\) be a topological space, \(\mathcal P\) a family of filters over a set \(I\). \(X\) is said to be sequencewise \(\mathcal P\)-compact if for each sequence \((x_i)_{i\in I}\) there is \(F\in\mathcal P\) such that \((x_i)_{i\in I}\) \(F\)-converges to a point \(x \in X\) (i.e. for each neighbourhood \(U\) of \(x\), \(\{i\in I:x_i \in U\} \in F\)). Several kinds of compactness (as sequential compactness, countable compactness, initial \(\kappa\)-compactness) and its generalizations (the Menger and Rothberger covering properties) can be described as special cases of sequencewise \(\mathcal P\)-compactness. For a family \(\mathcal P\) of filters \(X^{|\mathcal P|}\) is sequencewise \(\mathcal P\)-compact if and only if \(\mathcal P\) contains at least one ultrafilter. So, sequencewise \(\mathcal P\)-compactness is equivalent to sequential compactness implies that \(\mathcal P\) contains no an ultrafilter. Sequencewise compactness in products is also studied.
    0 references
    ultrafilter convergence
    0 references
    sequencewise \(\mathcal P\)-compactness
    0 references
    sequential compactness
    0 references
    comfort pre-order
    0 references

    Identifiers