Topological spaces compact with respect to a set of filters (Q2248497)
From MaRDI portal
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
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