Some weak covering properties and infinite games (Q2440575)

From MaRDI portal
Revision as of 16:01, 18 December 2024 by Import241208061232 (talk | contribs) (Normalize DOI.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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