===== Jogo de Banach-Mazur e produto de espaços de Baire =====


**~~#~~** Sejam $X$ e $Y$ espaços onde o Jogador II tem estratégia vencedora no Jogo de Banach-Mazur. Mostre que então o Jogador II tem estratégia vencedora no Jogo de Banach-Mazur sobre $X \times Y$.<wrap help>[[solucao:IIganhaProdIIganha|Solução]]</wrap>


**~~#~~** Suponha que $X$ é um espaço onde o Jogador II tem estratégia vencedora $\rho$ no Jogo de Banach-Mazur e seja $Y$ um espaço de Baire. Esse é um roteiro para provar que $X \times Y$ é de Baire.

**~~#.#~~** Note que se $\sigma$ é uma estratégia para o Jogador I no Jogo de Banach-Mazur sobre $X \times Y$, então podemos supor que $\sigma$ sempre dá abertos básicos. <wrap help>[[solucao:sigmadaabertosbasicos|Solução]]</wrap>


**~~#.#~~** Suponha que $\sigma$ é uma estratégia vencedora para o Jogador I no Jogo de Banach-Mazur sobre $X \times Y$. Construa uma estratégia vencedora $\varphi$ para o Jogador I no Jogo de Banach-Mazur sobre $Y$ (usando também a $\rho$ do enunciado). <wrap help>[[solucao:iganhacontradição|Solução]]</wrap>


**~~#.#~~** Note que o item anterior implica no que queremos.

**~~#~~** Suponha que o Jogador II tenha uma estratégia vencedora para o jogo de Banach-Mazur sobre cada $X_\xi$ com $\xi \in \kappa$.

**~~#.#~~** Mostre que existe uma estratégia vencedora para o Jogador II no jogo de Banach-Mazur 
 sobre $\square_{\xi \in \kappa} X_\xi$.

**~~#.#~~** Conclua que se o Jogador II tem estratégia vencedora no jogo de Banach-Mazur sobre $X$, então $\square_{\xi \in \kappa} X$ é de Baire para todo $\kappa$.