Topologia e conjuntos em exercícios

=====$\beta\omega$ como espaço dos ultrafiltros em $\omega$=====

<WRAP tip>
Você provavelmente vai precisar de alguns conceitos básicos de [[:topologia|Topologia]] e alguns conhecimentos sobre ultrafiltros.
</WRAP>

<WRAP info>
O conjunto $\beta\omega$ é definido como $\beta\omega \doteq \{p \subseteq \wp(\omega) : p \text{ é ultrafiltro em } \omega\}$.
</WRAP>

**~~#~~** Esse é um roteiro para construir uma base para uma topologia em $\beta\omega$.

**~~#.#~~** Para cada subconjunto $A \subseteq \omega$ defina $\bar{A} \doteq \{p \in \beta\omega : A \in p\}$. Note que $p \in \bar{A}$ se, e somente se, $A \in p$.

**~~#.#~~** Para $A,B \subseteq \omega$ mostre que vale $\bar{A} \cap \bar{B} = \overline{A \cap B}$.

**~~#.#~~** Para $A \subseteq \omega$ mostre que vale $\beta\omega \setminus \bar{A} = \overline{\omega \setminus A}$.

**~~#.#~~** Mostre que $\overline{\omega} = \beta\omega$.

**~~#.#~~** Defina $\mathcal{B} \doteq \{\bar{A} : A \subseteq \omega\}$. Mostre que $\mathcal{B}$ é uma base para uma topologia em $\beta\omega$.

De agora em diante sempre consideraremos $\beta\omega$ como um espaço topológico munido da topologia gerada por $\mathcal{B}$,e $\omega$ como espaço topológico munido da topologia usual (que é a topologia discreta).

**~~#~~** Dado $A \subseteq \omega$ mostre que $\bar{A} \subseteq \beta\omega$ é fechado. Portanto, $\mathcal{B}$ é uma base de abertos fechados para $\beta\omega$.

**~~#~~** Mostre que $\beta\omega$ é um espaço Hausdorff. <wrap help>[[Solucao:betaomegaHausdorff|Solução]]</wrap>

**~~#~~** Esse é um roteiro para mostrar que $\beta\omega$ é compacto.

**~~#.#~~** Seja $\{\bar{A_i}:i \in I\}$ família de fechados básicos com a propriedade da interseção finita, isto é, para cada $E \subseteq I$ finito temos $\bigcap_{i \in E} \bar{A_i} \neq \emptyset$. Mostre que a família $\{A_i : i \in I\}$ também tem a propriedade da interseção finita. 

**~~#.#~~** Mostre que o conjunto $\mathcal{F} \doteq \{X \subseteq \omega : X \supseteq \bigcap_{i \in E} A_i \text{ para algum } E \subseteq I \text{ finito}\}$ é um filtro em $\omega$.

**~~#.#~~** Note que podemos estender $\mathcal{F}$ por um ultrafiltro $p$ em $\omega$. Mostre que $p \in \bigcap_{i \in I} \bar{A_i}$.

**~~#.#~~** Conclua que $\beta\omega$ é compacto.

**~~#~~** Esse é um roteiro para mostrar que $\beta\omega$ contém uma cópia homeomórfica densa do espaço $\omega$.

**~~#.#~~** Considere o mergulho natural $\beta: \omega \rightarrow \beta\omega$ dado por $n \mapsto \beta(n) \doteq \{X \subseteq \omega : n \in X\}$. Note que $\beta[\omega]$ é o conjunto de todos os ultrafiltros principais em $\omega$. Mostre que $\beta$ é injetiva.

**~~#.#~~** Mostre que $\beta$ é contínua.

**~~#.#~~** Mostre que $\beta$ é uma função aberta. Note que isso é suficiente para mostrar que a inversa $\beta^{-1} : \beta[\omega] \rightarrow \omega$ é contínua.

**~~#.#~~** Dado $\bar{A} \in \mathcal{B}$ mostre que $\bar{A} \cap \beta[\omega] = \{\beta(n):n \in A\}$. Conclua que $\beta[\omega] \subseteq \beta\omega$ é denso.

**~~#~~** Mostre que $\beta\omega \setminus \omega$ é compacto.

**~~#~~** Esse é um roteiro para mostrar que nenhum ponto de $\beta\omega \setminus \omega$ possui base local enumerável.

**~~#.#~~** Dado $p \in \beta\omega$ mostre que $\mathcal{B}(p) \doteq \{\bar{A}:p \in \bar{A}\}$ é uma base local para $p$ e $|\mathcal{B}(p)| = 2^{\aleph_0}$. Note que é suficiente analisarmos apenas as bases locais para $p$ da forma $\{\bar{A_i}:i \in I\} \subseteq \mathcal{B}(p)$.

**~~#.#~~** Mostre que se $\{\bar{A_i}:i \in I\}$ é uma base local para $p \in \beta\omega$, então $\bigcap_{i \in I} \bar{A_i} = \{p\}$.

**~~#.#~~** Seja $\{\bar{A_i}:i \in I\}$ uma família infinita de vizinhanças de $p \in \beta\omega \setminus \omega$ tal que $\bigcap_{i \in I} \bar{A_i} = \{p\}$. Sem perda de generalidade podemos supor que essa família satisfaz a propriedade da interseção finita. Mostre que o filtro gerado por essa família $\mathcal{F} \doteq \{X \subseteq \omega: X \supseteq A_i \text{ para algum } i \in I\}$ é de fato um filtro.

**~~#.#~~** Mostre que $p$ é um ultrafiltro que estende $\mathcal{F}$. Mostre que $\mathcal{F}$ é um ultrafiltro. Conclua que $\mathcal{F} = p$.

**~~#.#~~** Conclua que $\{A_i:i \in I\}$ é uma família que gera o ultrafiltro não principal $p$, logo, é não enumerável.

<WRAP tip>
A próxima parte da lista busca mostrar que $\beta\omega$ como definido até aqui é de fato a compactificação de Stone-Cech de $\omega$, provavelmente você vai precisar da lista [[lista:stonecech|sobre a compactificação de Stone-Cech]].
</WRAP>

**~~#~~** Seja $Y$ um compacto Hausdorff e $f:\omega \rightarrow Y$ uma função. Esse é um roteiro para construir uma função contínua $\tilde{f}:\beta\omega \rightarrow Y$ extensão de $f$.

**~~#.#~~** Para cada ultrafiltro $p \in \beta\omega$ considere $\displaystyle \bigcap_{A \in p} \overline{f[A]}$. Mostre que $\displaystyle \bigcap_{A \in p} \overline{f[A]} \neq \emptyset$.

**~~#.#~~** Tome $p \in \beta\omega$ e $y \in Y$ e seja $\mathcal{U}(y)$ a coleção de vizinhanças de $y$. Mostre que $$y \in \bigcap_{A \in p} \overline{f[A]} \iff \forall U \in \mathcal{U}(y) \,\, f^{-1}[U] \in p$$

**~~#.#~~** Conclua que se $p \in \beta\omega$, então $\displaystyle \bigcap_{A \in p} \overline{f[A]} = \{y\}$ para algum $y \in Y$.

**~~#.#~~** Podemos então definir a função $$\tilde{f}: \beta\omega \rightarrow Y \hspace{2cm} p \mapsto \bigcap_{A \in p} \overline{f[A]}.$$ Mostre que $\tilde{f} |_{\omega} = f$.

**~~#.#~~** Dado $p \in \beta\omega$ e $V \in \mathcal{U}(\tilde{f}(p))$, como $Y$ é regular existe $V'$ vizinhança fechada de $\tilde{f}(p)$ tal que $V' \subseteq V$. Defina $A_0 \doteq f^{-1}[V']$ e mostre que $f[\bar{A_0}] \subseteq V'$. Conclua que $\tilde{f}$ é contínua.
Topologia e conjuntos em exercícios

Ferramentas do usuário

Ferramentas do site

Ferramentas da página
