Some remarks on open covers and selection principles using ideals

DOI10.1016/J.TOPOL.2016.01.003MaRDI QIDQ260557zbMATH OpenOpenAlexFDO

Authors Pratulananda Das, Ljubiša D. R. Kočinac, Debraj Chandra

Publication date 21 March 2016

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.topol.2016.01.003

\(\omega\)-cover filter ideal ideal convergence large cover open cover selection principles

Noncompact covering properties (paracompact, Lindelöf, etc.) (54D20) Games involving topology, set theory, or logic (91A44)

Review text

A family \(\mathcal{I}\) of subsets of a non-empty set \(Y\) is said to be an \textit{ideal} over \(Y\) if (i) \(A, B \in \mathcal{I}\) implies \(A \cup B \in \mathcal{I}\), and (ii) \(A \in \mathcal{I}, B \subseteq A\) implies \(B \in \mathcal{I}\). An ideal over \(Y\) is said to be \textit{proper} if \(Y \notin \mathcal{I}\) and \(\mathcal{I} \neq \{\emptyset\}\), and it is said to be \textit{admissible} if \(\{x\} \in \mathcal{I}\) for every \(x \in Y\). Notice that any admissible ideal over \(Y\) includes the ideal of all finite subsets of \(Y\).NEWLINENEWLINEAn open cover \(\mathcal{U}\) of a topological space \(X\) is said to be an \textit{\(\omega\)-cover} if \(X \notin \mathcal{U}\) and for every finite subset \(F \subseteq X\) there is some \(U \in \mathcal{U}\) such that \(F \subseteq \mathcal{U}\), and it is said to be a \textit{large cover} if for every point of \(X\) there are infinitely many elements of the cover containing that point.NEWLINENEWLINEIn the paper under review, the authors proceed with the research initiated (by the first and third authors) in [\textit{D. Chandra} and \textit{P. Das}, Topol. Proc. 39, 281--291 (2012; Zbl 1260.54039)] and [\textit{P. Das}, Houston J. Math. 39, No. 2, 637--650 (2013; Zbl 1273.54022)] and keep on investigating a number of versions of notions involving selection principles and open covers, stated in terms of ideals \(\mathcal{I}\) over the set \(\mathbb{N}\) of positive integers. Several new notions are introduced within this context, for instance:{\parindent=6mm \begin{itemize}\item[(i)] an open cover \(\mathcal{U}\) of \(X\) is said to be a \textit{\(c\omega\)-cover} if \(X \notin \mathcal{U}\) and for every countable subset \(F \subseteq X\) there is some \(U \in \mathcal{U}\) such that \(F \subseteq \mathcal{U}\);\item[(ii)] a countable open cover \(\mathcal{U}\) of \(X\) is said to be an \textit{\(\mathcal{I}\)-large cover} if there is an enumeration \(\{U_n: n \in \mathbb{N}\}\) of \(\mathcal{U}\) such that for every \(x \in X\) one has \(\{n \in \mathbb{N}: x \in U_n\} \notin \mathcal{I}\);\item[(iii)] given a family \(\mathcal{A}\) of subsets of an infinite set \(S\), an element \(A \in \mathcal{A}\) is said to be \textit{\(\mathcal{I}\)-groupable} if there is a partition \(A = \bigcup\limits_{n \in \mathbb{N}} A_n\) of \(A\) into pairwise disjoint finite sets such that for each \(M \notin \mathcal{I}\) the set \(\bigcup \{A_n: n \in M\} \in \mathcal{A}\); and \item[(iv)] the \(\mathcal{I}\)-Hurewicz game on a topological space \(X\) is played by two players, ONE and TWO, as follows: in the \(n\)-th inning, \(n \geqslant 1\), ONE chooses an open cover \(\mathcal{O}_n\) of \(X\) and TWO responds by choosing a finite set \(\tau_n \subseteq \mathcal{O}_n\), and a play \((\mathcal{O}_1, \tau_1, \mathcal{O}_2, \tau_2, \ldots, \mathcal{O}_n, \tau_n, \ldots)\) is won by TWO if for every \(x \in X\) the set \(\{n \in \mathbb{N}: x \notin \bigcup \tau_n\} \in \mathcal{I}\), and it is won by ONE otherwise.NEWLINENEWLINE\end{itemize}}NEWLINENEWLINEA large number of theorems are established. Typical results of the paper include the following: {\parindent=6mm \begin{itemize}\item[(I)] (\textit{Folklore}) Every \(\omega\)-cover of \(X\) is a large cover of \(X\). \item[(II)] There is a topological space \(X\) and a countable \(\omega\)-cover which is not an \(\mathcal{I}\)-large cover, for a proper admissible ideal \(\mathcal{I}\) which includes properly the ideal of finite subsets of \(\mathbb{N}\). \item[(III)] There is an uncountable \(\omega\)-cover which is not a \(c\omega\)-cover. \item[(IV)] There is a countable large cover which is not an \(\mathcal{I}\)-large cover, for a proper admissible ideal \(\mathcal{I}\). NEWLINENEWLINE\end{itemize}} \noindent \((V)\) An open cover \(\mathcal{U}\) of a topological space \(X\) is \(\mathcal{I}\)-groupable if, and only if, there is a partition \(\mathcal{U} = \bigcup\limits_{n \in \mathbb{N}} \mathcal{U}_n\) of \(\mathcal{U}\) into pairwise disjoint finite sets such that for every \(x \in X\) the set \(\{n \in \mathbb{N}: x \notin \bigcup \mathcal{U}_n\} \in \mathcal{I}\).NEWLINENEWLINE\noindent \((VI)\) If \(X\) is a topological space such that ONE has no winning strategy in the \(\mathcal{I}\)-Hurewicz game on \(X\), then each \(\mathcal{I}\)-large cover of \(X\) is \(\mathcal{I}\)-groupable.

Recommendations

Cites work

Cited in

(25)

This page was built for publication: Some remarks on open covers and selection principles using ideals

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