Topologia e conjuntos em exercícios

Mantido pelo grupo "Topologia do Interior"

Ferramentas do usuário

Ferramentas do site


lista:indetertminado

Um jogo indeterminado

Dado um ultrafiltro $u$, definimos $J(u)$ como o seguinte jogo entre os jogadores $Alice$ e $Beto$: a cada rodada $n \in \omega$, $Alice$ escolhe $a_n \in \omega$ maior do que a escolha anterior de $Beto$ e então $Beto$ escolhe $b_n >a_n$. Definimos os seguintes conjuntos: $$ A = \{0,1,\dots, a_0\} \cup \bigcup_{n \in \omega} \{b_{n-1}+1, b_{n-1}+2, \dots, a_n\}$$ $$ B = \bigcup_{n \in \omega} \{a_n+1,a_n+2,\dots, b_n\}$$ $Alice$ vence se $A \in u$ e $Beto$ vence se $B \in u$.
Pense que na primeira rodada $Alice$ escolhe um segmento inicial de $\omega$, e depois $Beto$ escolhe um segmento inicial dos números maiores do que a escolha de $Alice$ e assim por diante.

1 Mostre que toda partida admite um único vencedor.

2 Note que se $u$ é principal, $Alice$ tem uma estratégia vencedora.

3 Suponha $u$ não principal.

3.1 Mostre que se $Beto$ tiver uma estratégia vencedora, então $Alice$ também tem.

3.2 Mostre que se $Alice$ tem uma estratégia vencedora, então $Beto$ também tem.Dica

3.3 Conclua que o jogo é indeterminado.

lista/indetertminado.txt · Última modificação: 2020/11/06 16:05 (edição externa)