Espaço de Kolmogorov

Em topologia, um ramo da matemática, um espaço topológico é Kolmogorov ou T0 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 é T0 quando, para todos pontos x e y, existe um aberto A tal que ( x ∈ A ∧ ¬ ( y ∈ A ) ) ∨ ( y ∈ A ∧ ¬ ( x ∈ A ) ) {\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