===== Jogo de Rothberger =====

<WRAP info>
Dado $(X, \tau)$ espaço topológico, chamamos de {{entry>jogo/ de Rothberger; jogo de Rothberger}} o seguinte jogo entre os jogadores I e II: A cada rodada $n \in \omega$, o jogador I escolhe $\mathcal C_n$ uma cobertura por abertos para $X$. Então, o jogador II escolhe $C_n \in \mathcal C_n$. Dizemos que o jogador II vence o jogo se $\bigcup_{n \in \omega} C_n$ é uma cobertura para $X$. Denotamos este jogo por $G_1(O, O)$. Denotamos que I tem estratégia vencedora em tal jogo por I $\uparrow G_1(O, O)$ (analogamente para II).
</WRAP>

**~~#~~** Mostre que se $X$ é enumerável, então II $\uparrow G_1(O, O)$.<wrap help>[[Solucao:Xenumeravel2ganha|Solução]]</wrap> 
  
**~~#~~** Seja $X = \mathbb R \cup \{a\}$ (onde $a \notin \mathbb R$) com a seguinte topologia: Se $A \subset \mathbb R$, então $A$ é aberto. Se $a \in A$, então $A$ é aberto se, e somente se, $X \smallsetminus A$ é enumerável.

**~~#.#~~** Mostre que isso é de fato uma topologia.<wrap help>[[Solucao:Xtopologia|Solução]]</wrap>

**~~#.#~~** Mostre que II $\uparrow G_1(O, O)$. <wrap help>[[Solucao:Xcompenumeravel2ganha|Solução]]</wrap>

<WRAP info>
Seja $(X, \tau)$ um espaço topológico. Dizemos que $X$ é um {{entry>espaço/ de Lindelöf; espaço de Lindelöf}} se toda cobertura de $X$ por abertos admite subcobertura enumerável. 
</WRAP>

**~~#~~** Mostre que se $X$ não é de Lindelöf, então I $\uparrow G_1(O, O)$.

**~~#~~** Mostre que se o Jogador II tem estratégia vencedora em $G_1(O, O)$, então o Jogador II tem uma estratégia tal que, no final da partida, se $(V_n)_{n \in \omega}$ são as escolhas do Jogador II, então $\bigcup_{n \in \omega} V_{2n} = X$.<wrap help>[[Solucao:VneV2n2ganha|Solução]]</wrap>

**~~#~~** Mostre que se o jogador II tem estratégia vencedora em $G_1(O, O)$, então o jogador II tem uma estratégia tal que, no final da partida, se $(V_n)_{n \in \omega}$ são as escolhas do jogador II, então para todo $k \in \omega$, temos que $\bigcup_{n \geq k} V_n = X$. <wrap help>[[Solucao:Finitospassosnafrente|Solução]]</wrap> 

**~~#~~** Considere $\{0, 1\}^\omega$, isto é, o conjunto $\{0, 1\}$ com a topologia discreta vezes si mesmo ``$\omega$'' vezes (e usando a topologia produto). Denotamos tal conjunto por $2^\omega$.

**~~#.#~~** Note que $2^\omega$ é compacto.

**~~#.#~~** Note que o conjunto $V_n^k=\{(x_i)_{i \in \omega} \in 2^\omega: x_n = k\}$ é aberto para todo $k = 0, 1$ e $n \in \omega$.

**~~#.#~~** Mostre que I $\uparrow G_1(O, O)$.<wrap help>[[Solucao:2wnaorothberger|Solução]]</wrap>

<WRAP info>
Dizemos que $(X, \tau)$ é um {{entry>espaço de Rothberger}} se o jogador I não tem estratégia vencedora no jogo de Rothberger.
</WRAP>