Diferenças
Aqui você vê as diferenças entre duas revisões dessa página.
| Ambos lados da revisão anterior Revisão anterior Próxima revisão | Revisão anterior | ||
| grafos:tessssteee [2022/06/14 23:40] – criada leofm10 | grafos:tessssteee [2023/03/01 15:06] (atual) – removida aurichi | ||
|---|---|---|---|
| Linha 1: | Linha 1: | ||
| - | ===Definição=== | ||
| - | |||
| - | Seja $ (X, \tau) $ espaço de Hausdorf. Dizemos que $ (K,\sigma)$ é uma **compactificação** de $X$ se $(K, | ||
| - | |||
| - | ===Definição=== | ||
| - | |||
| - | Seja $ (X, \tau) $ completamente regular. Chamamos de $ \beta X = \overline{ \{(f(x))_{f\in\mathcal{F}}: | ||
| - | |||
| - | ===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 | ||
| - | |||
| - | ===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$. | ||
| - | |||
| - | ===Proposição=== | ||
| - | |||
| - | $\beta X$ é o único espaço que satisfaz as condições (a) e (b) | ||
| - | do Teorema 2 (a menos de homeomorfismo). | ||
| - | |||
| - | ===Proposição=== | ||
| - | |||
| - | Seja $F \subset \beta\mathbb{N}$ fechado infinito. Então $F$ contém um | ||
| - | subespaço homeomorfo a $\beta\mathbb{N}$. | ||
| - | |||
| - | |||
| - | ===Corolário=== | ||
| - | |||
| - | Seja $F\subset \beta\mathbb{N}$ fechado infinito. Então $|F|=|\beta\mathbb{N}|$. | ||
| - | |||
| - | |||
| - | ===Corolário=== | ||
| - | |||
| - | $\beta\mathbb{N}$ é um compacto onde nenhuma sequência não trivial é convergente. | ||
| - | |||
| - | ===Exercício=== | ||
| - | |||
| - | Podemos mostrar facilmente que esta compactificação não acrescenta apenas um ponto. Mais que isso | ||
| - | |||
| - | 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$ | ||
| - | |||
| - | (a) Mostre que $X$ é homeomorfo ao espaço da sequência convergente. | ||
| - | |||
| - | (b) Mostre que $f: | ||
| - | |||
| - | (c) Conclua que $X$ não é a compactificação de Stone-Čech de $\mathbb{N}$. | ||
| - | |||
| - | \textbullet Seja $G: \mathbb{N} \to [0,1]$ dado por $G(x) = \begin{cases} g(a_k), & se x\in\mathbb{Q} \\ -1, & se x\in\mathbb{R}\setminus\mathbb{Q} | ||
| - | \end{cases}$ | ||