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 $(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

↑ 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

[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

[1]