Topological spaces compact with respect to a set of filters

DOI10.2478/S11533-013-0398-2MaRDI QIDQ2248497zbMATH OpenOpenAlexFDO

Authors Paolo Lipparini

Publication date 26 June 2014

Published in Central European Journal of Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported

Full work available at URL https://arxiv.org/abs/1210.2120

zbMATH Keywords

comfort pre-ordersequencewise \(\mathcal P\)-compactnesssequential compactnessultrafilter convergence

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Convergence in general topology (sequences, filters, limits, convergence spaces, nets, etc.) (54A20) Noncompact covering properties (paracompact, Lindelöf, etc.) (54D20)

Abstract: If $mathcalP$ is a family of filters over some set $I$, a topological space $X$ is emph{sequencewise $mathcalP$-�rfrt compact} if, for every $I$-indexed sequence of elements of $X$, there is $FinmathcalP$ such that the sequence has an $F$-limit point. Countable compactness, sequential compactness, initial $kappa$-compactness, $[lambda,mu]$-compactness, the Menger and Rothberger properties can all be expressed in terms of sequencewise $mathcalP$-compactness, for appropriate choices of $mathcalP$. We show that sequencewise $mathcalP$-compactness is preserved under taking products if and only if there is a filter $FinmathcalP$ such that sequencewise $mathcalP$-compactness is equivalent to $F$-compactness. If this is the case, and there exists a sequencewise $mathcalP$-compact $T_1$ topological space with more than one point, then $F$ is necessarily an ultrafilter. The particular cases of sequential compactness and of $[lambda,mu]$-compactness are analyzed in detail.

Review text

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.

Recommendations

• scientific article; zbMATH DE number 1103392
• scientific article; zbMATH DE number 811357
• scientific article; zbMATH DE number 3028341
• Ultrafilter convergence in ordered topological spaces
• Some compactness properties related to pseudocompactness and ultrafilter convergence

Cites work

• A characterization of the Menger property by means of ultrafilter convergence
• A new kind of compactness for topological spaces
• A very general covering property.
• Compactness and sequentiality with respect to a set of ultrafilters
• Compactness of Powers of ω
• scientific article; zbMATH DE number 22359 (Why is no real title available?)
• scientific article; zbMATH DE number 57897 (Why is no real title available?)
• scientific article; zbMATH DE number 1482204 (Why is no real title available?)
• scientific article; zbMATH DE number 1418439 (Why is no real title available?)
• scientific article; zbMATH DE number 3894002 (Why is no real title available?)
• scientific article; zbMATH DE number 3250252 (Why is no real title available?)
• scientific article; zbMATH DE number 3045344 (Why is no real title available?)
• scientific article; zbMATH DE number 3060521 (Why is no real title available?)
• More generalizations of pseudocompactness
• Quasi M-compact spaces
• Some applications of ultrafilters in topology
• Some compactness properties related to pseudocompactness and ultrafilter convergence
• Ultrafilter Invariants in Topological Spaces

Cited in

(9)

• Existence of well-filterifications of \(T_0\) topological spaces
• \(P_{\lambda}\)-sets and skeletal mappings
• Ultrafilter convergence in ordered topological spaces
• scientific article; zbMATH DE number 3953794 (Why is no real title available?)
• A Characterization of the Prime Closed Filter Compactification of a Topological Space
• Infinite products of filters
• Ordinal compactness
• Products of topological spaces and families of filters
• Remarks on SHD spaces and more divergence properties

This page was built for publication: Topological spaces compact with respect to a set of filters

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2248497)