===== Jogo $\mathsf G_1(\mathsf D, \mathsf D)$ =====

<WRAP tip>
Provavelmente você vai querer dar uma olhada nos resultados da [[lista:enumerabilidade|lista de enumerabilidade]] e na [[lista:densos|lista de densos]].
</WRAP>

<WRAP info>
Denotamos por $\mathsf{G}_1(\mathsf A, \mathsf B)$ o seguinte jogo entre os jogadores I e II. A cada rodada $n \in \omega$, temos:
  * O jogador I escolhe $\mathcal C_n \in \mathsf A$;
  * O jogador II escolhe $C_n \in \mathcal C_n$.
Dizemos que o jogador II venceu o jogo se $\{C_n: n \in \omega\} \in \mathsf B$.  
</WRAP>

<WRAP info>
Seja $(X, \tau)$ espaço topológico. Denotamos por $\mathsf D = \{D \subset X: D$ é denso em $X\}$. Assim, o jogo $\mathsf G_1(\mathsf D, \mathsf D)$ é jogado de maneira tal que, a cada rodada, o jogador I escolhe um denso e o jogador II escolhe um ponto deste denso. O jogador II vence se os pontos escolhidos formarem um denso.
</WRAP>

**~~#~~** Seja $X$ espaço onde o jogador I não tem estratégia vencedora no jogo $\mathsf G_1(\mathsf D, \mathsf D)$. Mostre que $X$ é separável.

**~~#~~** Seja $X$ espaço onde o jogador I não tem estratégia vencedora no jogo $\mathsf G_1(\mathsf D, \mathsf D)$. Seja $D \subset X$ denso. Mostre que $D$ é separável. 

**~~#~~** Seja $X$ espaço com base enumerável. Mostre que o jogador II tem estratégia vencedora em $\mathsf G_1(\mathsf D, \mathsf D)$.<wrap info>[[solucao:estrategiabaseenumeravel|Solução]]</wrap>

<WRAP info>
Considere $\mathbb R$ com a topologia que tem como base os conjuntos da forma $\{[a, b[: a, b \in \mathbb R\}$. Chamamos tal espaço de {{entry>reta/Sorgenfrey; reta de Sorgenfrey}} e denotamos tal espaço por $\mathbb R_S$. 
</WRAP>

**~~#~~** Mostre que o jogador II tem estratégia vencedora para o jogo $\mathsf G_1(\mathsf D, \mathsf D)$ jogado em $\mathbb R_S$ (é possível mostrar que $\mathbb R_S$ não tem base enumerável, veja a [[lista:Sorgenfrey|lista de alguns contra exemplos usando a reta de Sorgenfrey]]). <wrap tip>[[dica:SorgenfreyEstrategiaII|Dica]]</wrap>