Topological spaces compact with respect to a set of filters (Q2248497): Difference between revisions

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.