Você está na página 1de 52

Jogos topol ogicos

Leandro Fiorini Aurichi


ICMC-USP

Leandro Fiorini Aurichi (ICMC-USP)

Jogos topol ogicos

1 / 16

Ideia geral

Come camos com alguma propriedade conhecida e tentamos reformula-la usando linguagem de jogos.

Leandro Fiorini Aurichi (ICMC-USP)

Jogos topol ogicos

2 / 16

Ideia geral

Come camos com alguma propriedade conhecida e tentamos reformula-la usando linguagem de jogos. Muitas vezes obtemos algumas propriedades novas, com graus de for ca diferentes.

Leandro Fiorini Aurichi (ICMC-USP)

Jogos topol ogicos

2 / 16

Um exemplo cl assico

Para exemplicar, comecemos com um dos primeiros jogos topol ogicos:

Leandro Fiorini Aurichi (ICMC-USP)

Jogos topol ogicos

3 / 16

Um exemplo cl assico

Para exemplicar, comecemos com um dos primeiros jogos topol ogicos:

Deni c ao
Dizemos que um espa co topol ogico e um espa co de Baire se toda intersec c ao enumer avel de abertos densos e densa.

Leandro Fiorini Aurichi (ICMC-USP)

Jogos topol ogicos

3 / 16

Um exemplo cl assico

Para exemplicar, comecemos com um dos primeiros jogos topol ogicos:

Deni c ao
Dizemos que um espa co topol ogico e um espa co de Baire se toda intersec c ao enumer avel de abertos densos e densa.

Deni c ao (Choquet (Banach-Mazur))


Considere o seguinte jogo entre os jogadores I e II . Em cada rodada n N, o jogador I escolhe um aberto n ao vazio An e o jogador II escolhe um aberto n ao vazio Bn de forma que, para todo n N, An+1 Bn An . Dizemos que o jogador II vence o jogo se nN An = .

Leandro Fiorini Aurichi (ICMC-USP)

Jogos topol ogicos

3 / 16

Estrat egias

Informalmente, uma estrat egia para um jogador e uma fun c ao que recebe como par ametros as rodadas anteriores e retorna a jogada do jogador na rodada atual.

Leandro Fiorini Aurichi (ICMC-USP)

Jogos topol ogicos

4 / 16

Estrat egias

Informalmente, uma estrat egia para um jogador e uma fun c ao que recebe como par ametros as rodadas anteriores e retorna a jogada do jogador na rodada atual. Por exemplo, uma estrat egia para o jogador I no jogo de Choquet e uma fun c ao tal que, se A0 , B0 , A1 , B1 , ..., Bn1 s ao as jogadas de I e II nas rodadas anteriores a n, ent ao (A0 , ..., Bn1 ) e a jogada de I na rodada n (isto e, An ).

Leandro Fiorini Aurichi (ICMC-USP)

Jogos topol ogicos

4 / 16

Basic ao

Uma estrat egia vencedora para I e uma estrat egia tal que, n ao importa qual a estrat egia que II seguir, I termina vencedor.

Leandro Fiorini Aurichi (ICMC-USP)

Jogos topol ogicos

5 / 16

Basic ao

Uma estrat egia vencedora para I e uma estrat egia tal que, n ao importa qual a estrat egia que II seguir, I termina vencedor. Assim, no m aximo um dos jogadores tem uma estrat egia vencedora.

Leandro Fiorini Aurichi (ICMC-USP)

Jogos topol ogicos

5 / 16

Basic ao

Uma estrat egia vencedora para I e uma estrat egia tal que, n ao importa qual a estrat egia que II seguir, I termina vencedor. Assim, no m aximo um dos jogadores tem uma estrat egia vencedora. Mas se I n ao tem estrat egia vencedora, isso n ao quer dizer necessariamente que II tenha.

Leandro Fiorini Aurichi (ICMC-USP)

Jogos topol ogicos

5 / 16

Basic ao

Uma estrat egia vencedora para I e uma estrat egia tal que, n ao importa qual a estrat egia que II seguir, I termina vencedor. Assim, no m aximo um dos jogadores tem uma estrat egia vencedora. Mas se I n ao tem estrat egia vencedora, isso n ao quer dizer necessariamente que II tenha. I n ao ter estrat egia vencedora quer dizer que, para qualquer estrat egia que I xe, existe alguma (n ao necessariamente a mesma) estrat egia para II que a ven ca.

Leandro Fiorini Aurichi (ICMC-USP)

Jogos topol ogicos

5 / 16

For cas

Assim, em geral, temos as seguintes possibilidades para um jogo (de dois jogadores):

Leandro Fiorini Aurichi (ICMC-USP)

Jogos topol ogicos

6 / 16

For cas

Assim, em geral, temos as seguintes possibilidades para um jogo (de dois jogadores): I tem estrat egia vencedora; I e II n ao tem estrat egia vencedora; II tem estrat egia vencedora.

Leandro Fiorini Aurichi (ICMC-USP)

Jogos topol ogicos

6 / 16

Voltando ao exemplo
Proposi c ao
Se I n ao tem estrat egia vencedora, ent ao X e de Baire.

Leandro Fiorini Aurichi (ICMC-USP)

Jogos topol ogicos

7 / 16

Voltando ao exemplo
Proposi c ao
Se I n ao tem estrat egia vencedora, ent ao X e de Baire.

Demonstra c ao.
Suponha que n ao. Ent ao existem (Dn )nN sequ encia de abertos densos e U aberto tal que nN Dn U = .

Leandro Fiorini Aurichi (ICMC-USP)

Jogos topol ogicos

7 / 16

Voltando ao exemplo
Proposi c ao
Se I n ao tem estrat egia vencedora, ent ao X e de Baire.

Demonstra c ao.
Suponha que n ao. Ent ao existem (Dn )nN sequ encia de abertos densos e U aberto tal que nN Dn U = . Tome A0 = D0 U . Da , a cada rodada n + 1, o jogador I escolhe An+1 = Bn Dn+1 . Note que nN An = . Logo, tal estrat egia e vencedora para I.

Leandro Fiorini Aurichi (ICMC-USP)

Jogos topol ogicos

7 / 16

Voltando ao exemplo
Proposi c ao
Se I n ao tem estrat egia vencedora, ent ao X e de Baire.

Demonstra c ao.
Suponha que n ao. Ent ao existem (Dn )nN sequ encia de abertos densos e U aberto tal que nN Dn U = . Tome A0 = D0 U . Da , a cada rodada n + 1, o jogador I escolhe An+1 = Bn Dn+1 . Note que nN An = . Logo, tal estrat egia e vencedora para I.

Proposi c ao
Se X e compacto, ent ao II tem estrat egia vencedora.

Leandro Fiorini Aurichi (ICMC-USP)

Jogos topol ogicos

7 / 16

Voltando ao exemplo
Proposi c ao
Se I n ao tem estrat egia vencedora, ent ao X e de Baire.

Demonstra c ao.
Suponha que n ao. Ent ao existem (Dn )nN sequ encia de abertos densos e U aberto tal que nN Dn U = . Tome A0 = D0 U . Da , a cada rodada n + 1, o jogador I escolhe An+1 = Bn Dn+1 . Note que nN An = . Logo, tal estrat egia e vencedora para I.

Proposi c ao
Se X e compacto, ent ao II tem estrat egia vencedora.

Demonstra c ao.
A cada jogada An de I , escolha, pela regularidade, um aberto n ao vazio Bn Bn An . Note que nN An = nN Bn = (pela compacidade).
Leandro Fiorini Aurichi (ICMC-USP) Jogos topol ogicos 7 / 16

Aplica c ao

Leandro Fiorini Aurichi (ICMC-USP)

Jogos topol ogicos

8 / 16

Aplica c ao
Proposi c ao
Existem X e Y espa cos de Baire tais que X Y n ao e de Baire.

Leandro Fiorini Aurichi (ICMC-USP)

Jogos topol ogicos

8 / 16

Aplica c ao
Proposi c ao
Existem X e Y espa cos de Baire tais que X Y n ao e de Baire.

Proposi c ao
Se X e Y s ao tais que II tem estrat egia vencedora, ent ao X Y tamb em e tal que II possui estrat egia vencedora (e, portanto, e de Baire).

Leandro Fiorini Aurichi (ICMC-USP)

Jogos topol ogicos

8 / 16

Aplica c ao
Proposi c ao
Existem X e Y espa cos de Baire tais que X Y n ao e de Baire.

Proposi c ao
Se X e Y s ao tais que II tem estrat egia vencedora, ent ao X Y tamb em e tal que II possui estrat egia vencedora (e, portanto, e de Baire).

Demonstra c ao.
Seja An a jogada de I na rodada n (jogando-se em X Y ). Podemos supor An = Un Vn .

Leandro Fiorini Aurichi (ICMC-USP)

Jogos topol ogicos

8 / 16

Aplica c ao
Proposi c ao
Existem X e Y espa cos de Baire tais que X Y n ao e de Baire.

Proposi c ao
Se X e Y s ao tais que II tem estrat egia vencedora, ent ao X Y tamb em e tal que II possui estrat egia vencedora (e, portanto, e de Baire).

Demonstra c ao.
Seja An a jogada de I na rodada n (jogando-se em X Y ). Podemos supor egias vencedoras em X e Y An = Un Vn . Sejam Un e Vn as respostas via estrat respectivamente, se na rodada n foram escolhidos Un e Vn .

Leandro Fiorini Aurichi (ICMC-USP)

Jogos topol ogicos

8 / 16

Aplica c ao
Proposi c ao
Existem X e Y espa cos de Baire tais que X Y n ao e de Baire.

Proposi c ao
Se X e Y s ao tais que II tem estrat egia vencedora, ent ao X Y tamb em e tal que II possui estrat egia vencedora (e, portanto, e de Baire).

Demonstra c ao.
Seja An a jogada de I na rodada n (jogando-se em X Y ). Podemos supor egias vencedoras em X e Y An = Un Vn . Sejam Un e Vn as respostas via estrat ao respectivamente, se na rodada n foram escolhidos Un e Vn . O jogador II ent responde com Bn = Un Vn .

Leandro Fiorini Aurichi (ICMC-USP)

Jogos topol ogicos

8 / 16

Aplica c ao
Proposi c ao
Existem X e Y espa cos de Baire tais que X Y n ao e de Baire.

Proposi c ao
Se X e Y s ao tais que II tem estrat egia vencedora, ent ao X Y tamb em e tal que II possui estrat egia vencedora (e, portanto, e de Baire).

Demonstra c ao.
Seja An a jogada de I na rodada n (jogando-se em X Y ). Podemos supor egias vencedoras em X e Y An = Un Vn . Sejam Un e Vn as respostas via estrat ao respectivamente, se na rodada n foram escolhidos Un e Vn . O jogador II ent egias eram vencedoras, nN Un e responde com Bn = Un Vn . Como as estrat ao n ao vazios. Logo, nN An tamb em n ao e vazio. nN Vn s

Leandro Fiorini Aurichi (ICMC-USP)

Jogos topol ogicos

8 / 16

Rothberger

Deni c ao
Dizemos que X e um espa co de Lindel of se todo recobrimento aberto admite um subrecobrimento enumer avel.

Leandro Fiorini Aurichi (ICMC-USP)

Jogos topol ogicos

9 / 16

Rothberger

Deni c ao
Dizemos que X e um espa co de Lindel of se todo recobrimento aberto admite um subrecobrimento enumer avel.

Deni c ao (Jogo de Rothberger)


Considere o seguinte jogo entre os jogadores I e II . A cada rodada n N, o jogador I escolhe Cn um recobrimento aberto para X e o jogador II escolhe Cn Cn . Dizemos que II e o vencedor se nN Cn = X .

Leandro Fiorini Aurichi (ICMC-USP)

Jogos topol ogicos

9 / 16

Rothberger

Deni c ao
Dizemos que X e um espa co de Lindel of se todo recobrimento aberto admite um subrecobrimento enumer avel.

Deni c ao (Jogo de Rothberger)


Considere o seguinte jogo entre os jogadores I e II . A cada rodada n N, o jogador I escolhe Cn um recobrimento aberto para X e o jogador II escolhe Cn Cn . Dizemos que II e o vencedor se nN Cn = X .

Deni c ao
Dizemos que X e um espa co de Rothberger se o jogador I n ao tem estrat egia vencedora no jogo de Rothberger.

Leandro Fiorini Aurichi (ICMC-USP)

Jogos topol ogicos

9 / 16

Resultados b asicos
Proposi c ao
Se X e de Rothberger, ent ao X e de Lindel of.

Leandro Fiorini Aurichi (ICMC-USP)

Jogos topol ogicos

10 / 16

Resultados b asicos
Proposi c ao
Se X e de Rothberger, ent ao X e de Lindel of.

Demonstra c ao.
Se X n ao e de Lindel of, basta que o jogador I jogue sempre um mesmo recobrimento sem subrecobrimento enumer avel.

Leandro Fiorini Aurichi (ICMC-USP)

Jogos topol ogicos

10 / 16

Resultados b asicos
Proposi c ao
Se X e de Rothberger, ent ao X e de Lindel of.

Demonstra c ao.
Se X n ao e de Lindel of, basta que o jogador I jogue sempre um mesmo recobrimento sem subrecobrimento enumer avel.

Proposi c ao
Se X e enumer avel, ent ao II tem estrat egia vencedora (e, portanto, X e de Rothberger).

Leandro Fiorini Aurichi (ICMC-USP)

Jogos topol ogicos

10 / 16

Resultados b asicos
Proposi c ao
Se X e de Rothberger, ent ao X e de Lindel of.

Demonstra c ao.
Se X n ao e de Lindel of, basta que o jogador I jogue sempre um mesmo recobrimento sem subrecobrimento enumer avel.

Proposi c ao
Se X e enumer avel, ent ao II tem estrat egia vencedora (e, portanto, X e de Rothberger).

Demonstra c ao.
Enumere X = {xn : n N} e basta que o jogador II na rodada n cubra xn .

Leandro Fiorini Aurichi (ICMC-USP)

Jogos topol ogicos

10 / 16

Resultados b asicos
Proposi c ao
Se X e de Rothberger, ent ao X e de Lindel of.

Demonstra c ao.
Se X n ao e de Lindel of, basta que o jogador I jogue sempre um mesmo recobrimento sem subrecobrimento enumer avel.

Proposi c ao
Se X e enumer avel, ent ao II tem estrat egia vencedora (e, portanto, X e de Rothberger).

Demonstra c ao.
Enumere X = {xn : n N} e basta que o jogador II na rodada n cubra xn . Tem um resultado parecido com o Axioma de Martin.
Leandro Fiorini Aurichi (ICMC-USP) Jogos topol ogicos 10 / 16

Aplica co es

Teorema ([2])
Seja X um espa co m etrico. Ent ao X e de Rothberger se, e somente se, X tem medida nula forte.

Leandro Fiorini Aurichi (ICMC-USP)

Jogos topol ogicos

11 / 16

Aplica co es

Teorema ([2])
Seja X um espa co m etrico. Ent ao X e de Rothberger se, e somente se, X tem medida nula forte.

Proposi c ao (Folclore, uma demonstra c ao em [1])


Seja X compacto. Ent ao X e de Rothberger se, e somente se, X e disperso.

Leandro Fiorini Aurichi (ICMC-USP)

Jogos topol ogicos

11 / 16

Compacto n ao de Rothberger

Proposi c ao
{0, 1}N e um compacto que n ao e de Rothberger.

Leandro Fiorini Aurichi (ICMC-USP)

Jogos topol ogicos

12 / 16

Compacto n ao de Rothberger

Proposi c ao
{0, 1}N e um compacto que n ao e de Rothberger.

Demonstra c ao.
Em cada rodada n, o jogador I escolhe Cn = {Un , Zn } onde Un e o conjunto de todos os pontos cuja n- esima coordenada e igual a 1 e Zn e o conjunto de todos os pontos cuja n- esima coordenada e igual 0.

Leandro Fiorini Aurichi (ICMC-USP)

Jogos topol ogicos

12 / 16

Compacto n ao de Rothberger

Proposi c ao
{0, 1}N e um compacto que n ao e de Rothberger.

Demonstra c ao.
Em cada rodada n, o jogador I escolhe Cn = {Un , Zn } onde Un e o conjunto de todos os pontos cuja n- esima coordenada e igual a 1 e Zn e o conjunto de todos egia e os pontos cuja n- esima coordenada e igual 0. Note que tal estrat vencedora.

Leandro Fiorini Aurichi (ICMC-USP)

Jogos topol ogicos

12 / 16

Compacto n ao de Rothberger

Proposi c ao
{0, 1}N e um compacto que n ao e de Rothberger.

Demonstra c ao.
Em cada rodada n, o jogador I escolhe Cn = {Un , Zn } onde Un e o conjunto de todos os pontos cuja n- esima coordenada e igual a 1 e Zn e o conjunto de todos egia e os pontos cuja n- esima coordenada e igual 0. Note que tal estrat vencedora. Tamb em se pode caracterizar espa cos de Rothberger via preserva c ao de compacidade via forcing (ver, por exemplo, [1]).

Leandro Fiorini Aurichi (ICMC-USP)

Jogos topol ogicos

12 / 16

Menger

Deni c ao (Jogo de Menger)


Considere o seguinte jogo entre os jogadores I e II . A cada rodada n N, o jogador I escolhe Cn um recobrimento para X . Ent ao o jogador II escolhe Cn Cn nito. Dizemos que II vence o jogo se nN Cn = X .

Leandro Fiorini Aurichi (ICMC-USP)

Jogos topol ogicos

13 / 16

Menger

Deni c ao (Jogo de Menger)


Considere o seguinte jogo entre os jogadores I e II . A cada rodada n N, o jogador I escolhe Cn um recobrimento para X . Ent ao o jogador II escolhe Cn Cn nito. Dizemos que II vence o jogo se nN Cn = X .

Deni c ao
Dizemos que X e um espa co de Menger se o jogador I n ao tem uma estrat egia vencedora para o jogo de Menger.

Leandro Fiorini Aurichi (ICMC-USP)

Jogos topol ogicos

13 / 16

Resultados b asicos
Proposi c ao
Todo espa co de Rothberger e de Menger. Todo espa co de Menger e de Lindel of.

Leandro Fiorini Aurichi (ICMC-USP)

Jogos topol ogicos

14 / 16

Resultados b asicos
Proposi c ao
Todo espa co de Rothberger e de Menger. Todo espa co de Menger e de Lindel of.

Proposi c ao
Se X e compacto, ent ao II tem estrat egia vencedora (e, portanto, X e de Menger).

Leandro Fiorini Aurichi (ICMC-USP)

Jogos topol ogicos

14 / 16

Resultados b asicos
Proposi c ao
Todo espa co de Rothberger e de Menger. Todo espa co de Menger e de Lindel of.

Proposi c ao
Se X e compacto, ent ao II tem estrat egia vencedora (e, portanto, X e de Menger).

Proposi c ao
Se X -compacto, ent ao II tem estrat egia vencedora (e, portanto, X e de Menger).

Leandro Fiorini Aurichi (ICMC-USP)

Jogos topol ogicos

14 / 16

Resultados b asicos
Proposi c ao
Todo espa co de Rothberger e de Menger. Todo espa co de Menger e de Lindel of.

Proposi c ao
Se X e compacto, ent ao II tem estrat egia vencedora (e, portanto, X e de Menger).

Proposi c ao
Se X -compacto, ent ao II tem estrat egia vencedora (e, portanto, X e de Menger).

Demonstra c ao.
Sejam (Kn )nN compactos tais que X =
nN

Kn .

Leandro Fiorini Aurichi (ICMC-USP)

Jogos topol ogicos

14 / 16

Resultados b asicos
Proposi c ao
Todo espa co de Rothberger e de Menger. Todo espa co de Menger e de Lindel of.

Proposi c ao
Se X e compacto, ent ao II tem estrat egia vencedora (e, portanto, X e de Menger).

Proposi c ao
Se X -compacto, ent ao II tem estrat egia vencedora (e, portanto, X e de Menger).

Demonstra c ao.
Sejam (Kn )nN compactos tais que X = rodada n.
nN

Kn . Basta o jogador II cobrir Kn na

Leandro Fiorini Aurichi (ICMC-USP)

Jogos topol ogicos

14 / 16

Resultados b asicos
Proposi c ao
Todo espa co de Rothberger e de Menger. Todo espa co de Menger e de Lindel of.

Proposi c ao
Se X e compacto, ent ao II tem estrat egia vencedora (e, portanto, X e de Menger).

Proposi c ao
Se X -compacto, ent ao II tem estrat egia vencedora (e, portanto, X e de Menger).

Demonstra c ao.
Sejam (Kn )nN compactos tais que X = rodada n.
nN

Kn . Basta o jogador II cobrir Kn na

H a um resultado similar utilizando o axioma de Martin.


Leandro Fiorini Aurichi (ICMC-USP) Jogos topol ogicos 14 / 16

Aplica co es

Problema ([4] )
Todo espa co de Lindel of regular e um D-espa co?

Leandro Fiorini Aurichi (ICMC-USP)

Jogos topol ogicos

15 / 16

Aplica co es

Problema ([4] )
Todo espa co de Lindel of regular e um D-espa co?

Proposi c ao ([1])
Todo espa co de Menger (T1 ) e um D-espa co.

Leandro Fiorini Aurichi (ICMC-USP)

Jogos topol ogicos

15 / 16

Aplica co es

Problema ([4] )
Todo espa co de Lindel of regular e um D-espa co?

Proposi c ao ([1])
Todo espa co de Menger (T1 ) e um D-espa co.

Proposi c ao ([3])
consistente que existe um espa E co (T2 ) (hereditariamente) de Lindel of que n ao e um D-espa co.

Leandro Fiorini Aurichi (ICMC-USP)

Jogos topol ogicos

15 / 16

Bibliograa

L. F. Aurichi. D-Spaces, topological games, and selection principles. Topology Proceedings, 36:107122, 2010. A. W. Miller and D. H. Fremlin. On some properties of Hurewicz, Menger, and Rothberger. Fundamenta Mathematicae, 129(1):1733, 1986. P. J. Szeptycki and D. T. Soukup. A counterexample in the theory of d-spaces. Preprint, pages 115, 2011. E. K. van Douwen and W. F. Pfeer. Some properties of the sorgenfrey line and related spaces. Pacic Journal of Mathematics, 81(2):371378, 1979.

Leandro Fiorini Aurichi (ICMC-USP)

Jogos topol ogicos

16 / 16

Você também pode gostar