Espaço T1

Em topologia, um espaço topológico é T1 quando dois pontos quaisquer podem ser separados por um aberto, no seguinte sentido: para cada ponto, existe um aberto que o inclui e não inclui o outro ponto.

DefiniçãoEditar

Um espaço topológico é T1 quando, para todo x e y existem abertos A e B satisfazendo:

  1.  

Relação com outras propriedades de separaçãoEditar

  • É uma condição mais fraca que Hausdorff ou T2, em que a separação é por dois abertos disjuntos
  • É uma condição mais forte que ser um espaço de Kolmogorov ou T0, em que dois pontos devem ser topologicamente distintos.
  Este artigo é um esboço. Você pode ajudar a Wikipédia expandindo-o. Editor: considere marcar com um esboço mais específico.