==== Espaço $T_0$ ====
{{ :topologia:diagram-20210421.png?300|}}

<WRAP round box 70%>
=== Definição ===

Um [[topologia:espacotopologico|espaço topológico]] $(X, \tau)$ é chamado de $T_0$ quando dados quaisquer $x,y \in X$ tais que $x \neq y$, existe um [[topologia:espacotopologico|aberto]] $A$ tal que $$ (x \in A ~~ \text{e} ~~ y \notin A) ~~~~~~ \text{ou} ~~~~~~ (x \notin A ~~ \text{e} ~~ y \in A). $$
</WRAP>

Na figura ao lado, se $(X,\tau)$ é $T_0$ então pelo menos um dos abertos $A$ ou $B$ devem existir, de acordo com a definição. 

<WRAP round info 70%>
Para provar que um espaço topológico não é $T_0$, basta negar a definição, ou seja, é necessário encontrar pontos distintos $x$ e $y$ tais que, para qualquer aberto $A$, tem-se $x \in A \iff y \in A$.
</WRAP>

=== Exemplos ===

  * O conjunto $X = \{ x \}$ munido da [[topologia:espacotopologico|topologia]] $\tau = \{ \varnothing, \{x\} \}$ (a única possível) é $T_0$, pois sequer existem $x$ e $y$ distintos em $X$ para se negar a definição.
  * Qualquer conjunto $X$ de cardinalidade maior que $1$, munido da topologia  $\tau = \{ \varnothing, X \}$, não é $T_0$. De fato, dados $x,y \in X$ distintos, o único aberto que pode conter $x$ ou $y$ é o próprio $X$, mas $X \supset \{ x,y \}$, portanto, o axioma $T_0$ não pode ser satisfeito.

A proposição seguinte fornece uma caracterização para espaços $T_0$.
<WRAP round box 70%>
=== Proposição ===

Um espaço topológico $(X,\tau)$ é $T_0$ se, e somente se, para todos $x,y \in X$ distintos e bases locais $\mathcal{B}_x$ e $\mathcal{B}_y$ de $x$ e $y$, respectivamente, tem-se $\mathcal{B}_x \neq \mathcal{B}_y$.

[[.:dem:demot0|Demonstração]]
</WRAP>

=== Veja também ===

  *   [[topologia:espacot1|Espaço $T_1$]]
  *   [[topologia:espacohausdorff|Espaço de Hausdorff]]
  *   [[topologia:espacoregular|Espaço regular]]
  *   [[topologia:espaconormal|Espaço normal]]

=== Exemplos ===

== Espaços que satisfazem tal axioma ==
---- struct table ----
schema   : axiomaSeparacao
cols     : %title%
filter   : t0 = sim
max      : 10
----

== Espaços que não satisfazem tal axioma ==
---- struct table ----
schema   : axiomaSeparacao
cols     : %title%
filter   : t0 = não
max      : 10
----