Some weak covering properties and infinite games (Q2440575)

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 6271185
Language Label Description Also known as
default for all languages
No label defined
    English
    Some weak covering properties and infinite games
    scientific article; zbMATH DE number 6271185

      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