Diferenças

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

--- dem:demo2 [2021/06/13 09:41] – criada paulo
+++ dem:demo2 [2021/06/15 20:56] (atual) – paulo
@@ Linha 1: / Linha 1: @@
 **Proposição.** Sejam $(X, \tau)$ um espaço compacto de Hausdorff e $F \subset X$ um conjunto. Então, $F$ é fechado se, e somente se, $F$ é compacto.
-**Demonstração:**
+**Demonstração:** Provamos anteriormente que, nestas hipóteses, se $F$ é fechado então $F$ é compacto (nesta parte $X$ não precisa ser Hausdorff). Agora, supondo $F$ compacto e lembrando que [[topologia:separacompacto| Espaços de Hausdorff separam pontos de compactos]], então caso $x \in X-F$ temos que existe $A$ aberto tal que $x \in A \subset X-F$, ou seja, $X-F$ é aberto e $F$ é fechado.