===== Jogo de Menger =====

<WRAP info>
Denotamos por $\mathsf{G}_{fin}(\mathcal A, \mathcal 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 \mathcal A$;
  * O jogador II escolhe $C_n \subset \mathcal C_n$ finito.
Dizemos que o jogador II venceu o jogo se $\bigcup_{n \in \omega} C_n \in \mathcal B$.  
</WRAP>

<WRAP info>
Chamamos de {{entry>jogo/Menger; jogo de Menger}} o jogo $\mathsf{G}_{fin}(\mathcal O, \mathcal O)$ onde $\mathcal O$ é a família de todas as coberturas abertas. Ou seja, este é o jogo em que o primeiro jogador escolhe coberturas abertas e o segundo jogador escolhe subconjuntos finitos delas. No final, o segundo vence se conseguir cobrir o espaço com suas escolhas.
</WRAP>

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

  * Mostre que todo espaço compacto é um espaço de Menger.

  * Mostre que todo espaço de Menger é de Lindelöf. <wrap help>[[Solucao:MengerLindelof|Solução]]</wrap> 

  * Mostre que todo espaço de Rothberger é um espaço de Menger.

  * Dê um exemplo de um espaço de Menger que não seja de Rothberger.

<WRAP info>
Dizemos que $(X, \tau)$ é um espaço {{entry>espaço/$\sigma$-compacto; $\sigma$-compacto}} se existem $(K_n)_{n \in \omega}$ compactos tais que $X = \bigcup_{n \in \omega} K_n$. 
</WRAP>

  * Mostre que todo espaço $\sigma$-compacto é de Menger.<wrap help>[[Solucao:sigmacompactomenger|Solução]]</wrap>