====== Compactificação de Stone–Čech =======

<WRAP round box 100%>
===Definição: Compactificação===

Seja $ (X, \tau) $  espaço de Hausdorff. Dizemos que $ (K,\sigma)$ é uma **compactificação** de $X$ se $(K,\sigma)$ é compacto de Hausdorff e $X$ é um subespaço denso de $K$.

</WRAP>

<WRAP round box 100%>
===Definição: Compactificação de Stone–Čech===

Seja $ (X, \tau) $ completamente regular. Chamamos de $ \beta X = \overline{ \{(f(x))_{f\in\mathcal{F}}:x\in X\}}\subset [0,1]^\mathcal{F} $, onde $\mathcal{F}$ é o conjunto de todas as funções contínuas $ f : X \rightarrow [0, 1]$. $ \beta X$ é a **compactificação de Stone-Čech**.

</WRAP>


<WRAP round box 100%>
===Teorema===

 Seja $ (X, \tau) $ completamente regular. Então,

(a) $ \beta X$ é um compacto de Hausdorff tal que $ \overline{X} = \beta X$.

(b) Para toda $f : X \rightarrow [0, 1] $ contínua, existe $\tilde{f} : \beta X \rightarrow  [0, 1]$ extensão contínua de $f$.

</WRAP>

//Roteiro de Demonstração://

a)

  * Confira que $\beta X \subset [0,1]^{\mathcal{F}} \implies \beta X$ compacto Hausdorff.
  * Use o teorema da imersão para verificar que $X$ é homeomorfo a $\{(f(x))_{f \in \mathcal{F}} : x \in X\}$
  * Conclua que $\beta X = \overline{X}$.

b)

  * Tome $g: X\to[0,1]$ e $a \in \beta X$.
  * Note que $a = (a_f)_{f\in\mathcal{F}}$, onde cada $a_f \in [0,1]$.
  * Lembre-se da relação $x=(f(x))_{f\in\mathcal{F}}$ (pelo Teorema da Imersão).
  * Note que $\pi_g:\beta X \to [0,1]$ (a projeção na $g$-ésima coordenada) satisfaz a proposição.

Podemos mostrar facilmente que a compactificação de Stone–Čech não acrescenta apenas um ponto. Mais que isso:

<WRAP round box 100%>

===Exercício=== 

Considere $X=\mathbb{N}\cup\{a\}$ é um compacto de Hausdorff tal que $\mathbb{N}$ tem a topologia usual (como subespaço) e $\overline{\mathbb{N}}=X$

  * Mostre que $X$ é homeomorfo ao espaço da sequência convergente.
  * Mostre que $f:\mathbb{N}\to [0,1]$ dada $f(n)=0$ se n é par e $f(n)=1$ se $n$ é ímpar, não admite extensão contínua para $X$.
  * Conclua que $X$ não é a compactificação de Stone-Čech de $\mathbb{N}$.

</WRAP>
<WRAP round box 100%>
===Proposição===

Seja $(X,\tau)$ espaço completamente regular e Y um compacto de Hausdorff tal que $X=Y$ e, para qualquer função $f : X\to[0,1]$
contínua, exista $\tilde{f}: Y\to[0,1]$ extensão contínua de $f$. Então, dada
$f: X\to K$ contínua, onde $K$ é compacto Hausdorff, existe $\tilde{f}: Y\to K$
extensão contínua de $f$.

</WRAP>

//Roteiro de Demonstração://
  * Pelo Teorema da imersão , suponha $K \subset [0,1]^\mathrm{I}$ para algum conjunto $\mathrm{I}$ e defina $f:X\rightarrow K$ contínua.
  * Para cada $i\in\mathrm{I}$, considere $f_i : X \rightarrow [0,1] $ dada por $f_i = \pi_i \circ f$.
  * Note que, pela hipótese, existe $\tilde{f_i}: Y\to[0,1]$.
  * Defina  $\tilde{f}: Y\to[0,1]^\mathrm{I}$ como $\tilde{f} = (\tilde{f_i}(y))_{i\in \mathrm{I}}$.
  * Mostre que $\tilde{f}[\overline{X}] \subset \overline{\tilde{f}[X] }$.
  * Verifique que $\tilde{f}[Y] \subset K$ e conclua o resultado.

<WRAP round box 100%>
===Exercício===

$\beta X$ é o único espaço que satisfaz as condições **(a)** e **(b)** do Teorema (a menos de homeomorfismo).



</WRAP>



<WRAP round box 100%>

===Proposição===

Seja $F \subset \beta\mathbb{N}$ fechado infinito. Então $F$ contém um
subespaço homeomorfo a $\beta\mathbb{N}$.

</WRAP>

//Roteiro de Demonstração://

  * Construa famílias $(a_n)_{n\in\mathbb{N}}$ e $(V_n)_{n\in\mathbb{N}}$, na qual, para todo $n\in\mathbb{N}$,
        * $a_n \in V_n\cap F$
        * $V_n$ é aberto
        * $V_n\cap V_m = \emptyset$ se $n\neq m$
  * Como $A = \{a_n:n\in\mathbb{N}\}$ é discreto, note que $A$ é homeomorfo a $\mathbb{N}$.
  * Seja $G: \mathbb{N} \to [0,1]$ dado por $G(x) = \begin{cases} \hspace{0,1cm} g(a_k), & se \hspace{0,1cm} n\in V_k \cap \mathbb{N} \\ \hspace{0,1cm} 0, & caso \hspace{0,1cm} contrário \end{cases}$, na qual $g: A \to [0,1]$ e defina $\tilde{G}:\beta \mathbb{N} \to [0,1]$ extensão contínua de $G$.
  * Mostre que $\tilde{G}[\overline{V_k}] = \tilde{G}[\overline{V_k\cap\mathbb{N}}] $ (Use que $V_k$ é aberto e $\mathbb{N}$ é denso).
  * Dado $a_k \in A$, conclua que $\tilde{G}[a_k] = \{g(a_k)\}$.
  * Por fim, verifique que como $\overline{A}$ é compacto, então $\overline{A}$ é homeomorfo a $\beta \mathbb{N}$.


<WRAP round box 100%>
===Corolário===

Seja $F\subset \beta\mathbb{N}$ fechado infinito. Então $|F|=|\beta\mathbb{N}|$.

</WRAP>


<WRAP round box 100%>
===Corolário=== 

$\beta\mathbb{N}$ é um compacto onde nenhuma sequência não trivial é convergente.
</WRAP>

//Roteiro de Demonstração://
  * Considere $\mathcal{F} = \{f:\mathbb{N}\to [0,1]\}$. Averigue que $|\mathcal{F}| = |\mathbb{R}|$.
  * Verifique que $\left|\underset{f \in \mathcal{F}}{\prod} [0,1]\right| = \wp(\mathbb{R})$.
  * Mostre que $|\beta\mathbb{N}|=|\wp(\mathbb{R})|$.
  * Prove que não pode haver uma sequência não trivial convergente em $\beta \mathbb{N}$.