Mostrar páginaRevisões anterioresLinks reversosVoltar ao topo Essa página está em modo somente de leitura. Você pode visualizar a fonte, mas não alterá-la. Informe-se com o administrador do Wiki, caso você ache que isso está incorreto. ==== Todo espaço normal é regular ==== === Demonstração === Sejam $(X,\tau)$ um [[topologia:espaconormal|espaço normal]], $x \in X$ qualquer e $F \subset X$ fechado tal que $x\notin F$. Por definição, $(X,\tau)$ é [[topologia:espacot1|$T_1$]] e, portanto, o conjunto unitário $\{x\}$ é fechado. Perceba que, como $x \notin F$, então $\{x\}\cap F = \emptyset$. Como $(X,\tau)$ é $T_4$, existem $A,B \in \tau$ abertos disjuntos tais que $\{x\} \subset A$ (isto é, $x \in A$) e $F \subset B$. Desta forma, $(X,\tau)$ é $T_3$ e, por também ser $T_1$, é [[topologia:espacoregular|espaço regular]]. topologia/norm_reg.txt Última modificação: 2021/04/22 12:39por aires