Some weak covering properties and infinite games (Q2440575)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Some weak covering properties and infinite games |
scientific article |
Statements
Some weak covering properties and infinite games (English)
0 references
19 March 2014
0 references
A regular space \(X\) is said to be Menger (resp. weakly Menger) if for every sequence \(\{{\mathcal U}_n: n\in\omega\}\) of open covers of \(X\), there are finite subfamilies \({\mathcal V}_n\subseteq{\mathcal U}_n\), \(n\in\omega\), such that \(\bigcup\{\cup{\mathcal V}_n:n\in \omega\}= X\) (resp. \(\bigcup\{\cup{\mathcal V}_n:n\in\omega\}\) is dense in \(X\)); the game \(G_{\text{fin}}(O, D_0)\) played by ONE and TWO, is delineated as follows: In the \(n\)th inning ONE takes an open cover \({\mathcal U}_n\) of \(X\), and then TWO chooses a finite subfamily \({\mathcal V}_n\subseteq{\mathcal U}_n\); a play \({\mathcal U}_0,{\mathcal V}_0,\dots,{\mathcal U}_n,{\mathcal V}_n\) is won by TWO if \(\bigcup\{\cup{\mathcal V}_n: n\ni\omega\}\) is dense in \(X\); otherwise ONE wins, the symbol \(\|\uparrow G_{\text{fin}}(O, D_0)\) means that TWO has winning strategies in \(G_{\text{fin}}(O, D_0)\). The paper tries to give answers to the following questions: (i) Can there be an uncountable \(T_2\)-space \(X\) such that each one-element subset of \(X\) is a \(G_\delta\)-set and TWO has a winning strategy in the game \(G_1(O,\overline O)\) which is delineated as follows: in the \(n\)th inning ONE takes an open cover \({\mathcal U}_n\) of \(X\), and then TWO chooses a member \(U_n\in{\mathcal U}_n\); a play \({\mathcal U}_0, U_0,\dots,{\mathcal U}_n, U_n\) is won by TWO if \(\{\overline\cup_n:n\in\omega\}\) is a cover of \(X\); otherwise ONE wins? (ii) Can there be an uncountable \(T_1\)-space \(X\) which is first countable such that TWO has a winning strategy in the game \(G_1(O, \overline O)\)? (iii) Is there a Lindelöf space which is not weakly Menger? (iv) Is there a Menger space for which TWO does not have a winning strategy in \(G_{\text{fin}}(O, D_0)\)?
0 references
game
0 references
Menger
0 references
weakly Menger
0 references
box product
0 references
\(S_1(D_o,D_o)\)
0 references
ortho-base
0 references
non-Archimedean
0 references
0 references