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
    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

    Identifiers