Ferramentas do usuário
Provavelmente você vai querer saber os resultados da lista do Teorema da imersão
Seja $(X, \tau)$ um espaço topológico de Hausdorff. Dizemos que $cX$ é uma compactificação de $X$ se $cX$ é de Hausdorff, $\overline X = cX$ e $cX$ é compacto.
Seja $(X,\tau)$ um espaço completamente regular. Chamamos de $\beta X = \overline{\{(f(x))_{f \in \mathcal{F}}:x \in X\}} \subset [0,1]^{\mathcal{F}}$(Lembre que $[0,1]^{\mathcal{F}} = \prod_{f \in \mathcal{F}}[0,1]$), onde $\mathcal{F}$ é o conjunto de todas as funções contínuas $f : X \rightarrow [0,1]$. $\beta X$ é chamada de Compatificação de Stone-Cech.
1 (Teorema)Seja $(X,\tau)$ espaço completamente regular
1.1 Mostre que $\beta X$ é compacto de Hausdorff Dica
1.2 Mostre que $\beta X = X$ Dica
1.3 Mostre que para toda $f : X \rightarrow [0,1]$ contínua, existe $\tilde{f} : \beta X \rightarrow [0,1]$ extensão contínua de $f$ Dica
2 Seja $(X,\tau)$ espaço completamente regular e $Y$ um compacto de Hausdorff tal que $\overline{X} = Y$ e $\forall f : X \rightarrow [0,1]$ contínua, $\exists \tilde{f} : Y \rightarrow [0,1]$ extensão contínua de $f$
2.1 Suponha $K \subset [0,1]^I$ pelo Teorema da Imersão, para algum conjunto $I$
2.2 Seja $f : X \rightarrow K$ contínua, considere para cada $i \in I$, $f_i : X \rightarrow [0,1]$, onde $f_i = \pi_i \circ f$ e considere, por hipótese, $\exists \tilde{f_i} : Y \rightarrow [0,1]$ extensão contínua de $f_i$
2.3 Mostre que $f : Y \rightarrow K$, $\forall A \subset Y$, temos $f[\overline{A}] \subset \overline{f[A]}$
2.4 Mostre que dada $f : X \rightarrow K$ contínua, onde $K$ é compacto de Hausdorff, $\exists \tilde{f} : Y \rightarrow K$ extensão contínua de $f$
3 Mostre que $\beta X$ é o único espaço que satisfaz os itens $1.1$,$1.2$ e $1.3$ (a menos de homeomorfismo) Dica
Ferramentas da página
