Mostrar páginaRevisões anterioresLinks reversosVoltar ao topo Se $(X,\tau)$ e $(Y,\sigma)$ são [[topologia:espacohausdorff|espaços de Hausdorff]], então $X\times Y$ é espaço de Hausdorff. **Demonstração** Sejam $(a,b)\neq(x,y)\in X\times Y$. Suponha, sem perda de generalidade, $x\neq a$. Como $(X,\tau)$ é espaço de Hausdorff, existem $U,V\in\tau$ disjuntos tais que $a\in U, x\in V$. Mas $(a,b)\in U\times Y, (x,y)\in V\times Y$ e $U\times Y, V\times Y$ são abertos disjuntos. Logo $X\times Y$ é espaço de Hausdorff. topologia/produtofinitodemo2.txt Última modificação: 2021/05/20 11:20por dory