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

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 6308906
Language Label Description Also known as
default for all languages
No label defined
    English
    Topological spaces compact with respect to a set of filters
    scientific article; zbMATH DE number 6308906

      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