Diferenças

Aqui você vê as diferenças entre duas revisões dessa página.

solucao:compacthaursdorff_normal [2017/04/25 13:12] mayk criada		solucao:compacthaursdorff_normal [2020/11/06 16:05] (atual)
Próxima revisão		Revisão anterior
Linha 1:		Linha 1:
-	Seja $(X, \tau)$ um espaço de Hausdorff, considere $K \subset X$ compactos. Observe que $K$ é também é de Hausdorff, portanto é $T_1$. Considere $F,C \subset K$ fechados disjuntos. $F$ e $C$ são, portanto, compactos em $K$ e cada um admite uma cobertura finita por abertos $\mathcal{A}$ , $\mathcal{O}$ respectivamente.	+	Seja $K$ compacto de Hausdorff. $K$ então é $T_1$. Considere $F,C \subset K$ fechados disjuntos. $F$ e $C$ são, portanto, compactos em $K$. Do [[http://conteudo.icmc.usp.br/pessoas/aurichi/exerc/doku.php?id=lista:compactos#id0_1-28\|exercício anterior]], conseguimos para cada $x \in F$ abertos disjuntos $A_x,B_x$ tais que $x \in A_x$ e $C \subset B_x$, para cada $x \in F$. Note que $\mathcal{A} = \{A_x \| x \in F \} $ é uma cobertura de $F$, portanto existe uma subcobertura finita $\mathcal{A}'= \{ A_{x_1}, ..., A_{x_n} \} \subset \mathcal{A}$ de $F$. Temos que $F \subset U = \displaystyle \bigcup_{i = 1}^n A_{x_i}$, e $C \subset W = \displaystyle \bigcap_{i = 1}^n B_{C_{x_i}} $, onde $B_{C_{x_i}} \cap A_{x_i} = \emptyset $ e $ C \subset B_{C_{x_i}} $ para cada $ i \in \{ 1, ... , n \}$. Como $U$ e $W$ são abertos disjuntos, $K$ é $T_4$, e portanto é normal.

Topologia e conjuntos em exercícios