ir para o conteúdo
Topologia e conjuntos em exercícios
Mantido pelo grupo "Topologia do Interior"
Ferramentas do usuário
Entrar
Ferramentas do site
Pesquisar
Ferramentas
Mostrar página
Revisões anteriores
Links reversos
Alterações recentes
Gerenciador de mídias
Índice
Entrar
>
Alterações recentes
Gerenciador de mídias
Índice
Visitou:
lista:bmbaire
===== Jogo de Banach-Mazur e espaços de Baire ===== <WRAP info> Dizemos que um espaço topológico $(X, \tau)$ é um {{entry>espaço/ de Baire; espaço de Baire}} se qualquer intersecção enumerável de abertos densos em $X$ é densa em $X$. </WRAP> **~~#~~** Seja $X$ um espaço de Baire. Mostre que todo aberto $U\subset X$ não vazio é um espaço de Baire. <wrap help>[[solucao:abertodebaireebaire|Solução]]</wrap> <WRAP info> Dado $(X, \tau)$ espaço topológico, chamamos de {{entry>jogo/ de Banach-Mazur; jogo de Banach-Mazur}} (ou {{entry>jogo/ de Choquet; jogo de Choquet}}) o seguinte jogo entre o Jogador I e o Jogador II: A princípio o Jogador I escolhe $U_0 \in\tau$ não vazio. Então, o Jogador II escolhe $V_0 \in \tau$ tal que $V_0\subset U_0$. Posteriormente, em cada rodada $n \in \omega$, o Jogador I escolhe $U_n \in\tau$ não vazio tal que $U_n\subset V_{n-1}$ e em seguida o Jogador II escolhe $V_n \in \tau$ tal que $V_n\subset U_n$. Dizemos que o Jogador II vence o jogo se $\bigcap_{n \in \omega} V_n\neq \emptyset$. Denotamos este jogo por $BM(X)$. </WRAP> **~~#~~** Mostre que o Jogador II vence o jogo $BM(X)$ se e somente se $\bigcap_{n \in \omega} U_n\neq \emptyset$, onde $(U_n:n\in\omega)$ é a sequência de jogadas do Jogador I. <wrap help>[[solucao:doisganhaiffunnvazio|Solução]]</wrap> **~~#~~** Mostre que se o Jogador I não possui estratégia vencedora em $BM(X)$, então $X$ é um espaço de Baire. <wrap help>[[solucao:bmimplicabaire|Solução]]</wrap> <WRAP tip> Se você pegou os itens [[lista:esquemasconjuntos|Esquemas de conjuntos]] e [[pibase|$\pi$-base]], [[OxtobyComEsquemas|esta lista]] é um caminho alternativo para derrotar o //boss// abaixo. Caso contrário, siga com a leitura. </WRAP> <WRAP info> Seja \(A\) um conjunto e $n\in\omega$. Nesta lista consideraremos \({^n A}\) como o conjunto de todas as funções $f:n\rightarrow A$, ou seja, sequências de comprimento $n$ de elementos de $A$. Note que, em particular, ${^0A}=\{(\,)\}$ (onde $(\,)=\emptyset$). \\ Se $s=(s_0,\dots,s_n)\in {^{n}A}$ e $a\in A$, então $s^{\smallfrown}a:=(s_0,\dots,s_n,a)$. </WRAP> **~~#~~** Seja $\gamma$ uma estratégia para o Jogador I em $BM(X)$. Mostre que se \(t = (V_0,\dots, V_n)\) é uma sequência de abertos no domínio de $\gamma$, então existe uma família maximal \(\mathcal B_t\) de abertos contidos em $\gamma(t)$ tal que \(\{\gamma(t^\smallfrown V):V\in\mathcal B_t\}\) é uma família de abertos dois a dois disjuntos. <wrap tip>[[tip:existef2a2disjuntas|Dica]]</wrap> **~~#~~** Mostraremos neste exercício que se $X$ é um espaço de Baire, então o Jogador I não tem estratégia vencedora em $BM(X)$. Para isso, fixe uma estratégia $\gamma$ para o Jogador I e considere a subárvore $T\subset dom(\gamma)$ definida com a seguinte recursão: - $(\,)\in T$; - Se $t\in T$, então $t^\smallfrown V\in T$ se, e somente se, $V\in \mathcal B_t$ (onde $\mathcal B_t$ é a família maximal obtida no exercício anterior). **~~#.#~~** Mostre que, para todo $t\in T$, $\bigcup_{V\in \mathcal B_t}\gamma(t^\smallfrown V)$ é um aberto denso em $\gamma(t)$. <wrap tip>[[dica:ColecaoDeSucessoresEhDensa|Dica]]</wrap> **~~#.#~~** Para cada $n\in\omega$, defina $\mathcal A_n = \{t\in T: |t|=n\}$ e \[ A_n=\bigcup_{t\in \mathcal A_n}\gamma(t). \] Mostre que $A_n$ é um aberto denso em $A_0=\gamma((\,))$.<wrap tip>[[dica:CadaAndarEhDenso|Dica]]</wrap> **~~#.#~~** Mostre que se $t\in \mathcal A_n$ e $s\in\mathcal A_{n+1}$ para algum $n\in\omega$ e $\gamma(t)\cap\gamma(s)\neq\emptyset$, então $s=t^\smallfrown V$ para algum $V\in\mathcal B_t$.<wrap tip>[[dica:unicidade_subarvore_J1|Dica]]</wrap> **~~#.#~~** Finalmente, mostre que se $X$ é um espaço de Baire, então existe $(V_n:n\in\omega)$ tal que $(V_n:n\le k)\in T$ para todo $k\in\omega$ e tal que $\bigcap_{n\in\omega} V_n\neq\emptyset$. <wrap tip>[[dica:BaireImplicaNao1|Dica]]</wrap> <wrap help>[[solucao:baireinaoganha|Solução]]</wrap>
lista/bmbaire.txt
· Última modificação: 2021/10/13 16:05 por
aurichi
Ferramentas da página
Mostrar página
Revisões anteriores
Links reversos
Voltar ao topo