Espaço de Kolmogorov

Em topologia, um ramo da matemática, um espaço topológico é Kolmogorov ou T₀ quando dois pontos quaisquer são topologicamente distintos, ou seja, existe alguma propriedade topológica que distingue um ponto do outro.[1] Mais precisamente: Um espaço topológico é T₀ quando, para todos pontos x e y, existe um aberto A tal que ${\displaystyle (x\in A\land \neg (y\in A))\lor (y\in A\land \neg (x\in A))\,}$

Em palavras, dados dois pontos, existe um aberto que contém um deles mas não contém o outro.

Referências

1. Steen, Lynn Arthur; Seebach, J. Arthur (1978). «Counterexamples». New York, NY: Springer New York: 39–158. ISBN 978-0-387-90312-5. Consultado em 4 de agosto de 2021