Teorema de metrização de Urysohn
Um espaço topológico é dito metrizável se é regular e admite uma base enumerável.
Em termos práticos, isso significa o seguinte: se um espaço topológico regular pode ser descrito a partir de uma coleção enumerável de conjuntos abertos, então existe uma métrica, isto é, uma função distância, que gera exatamente a mesma topologia. Ou seja, podemos introduzir uma noção de distância sem alterar a estrutura do espaço.
- Regular significa que é possível separar um ponto de um conjunto fechado por meio de abertos disjuntos. Em termos intuitivos, conseguimos “isolar” um ponto de qualquer fechado que não o contenha.
- Uma base enumerável é uma coleção enumerável de conjuntos abertos a partir da qual todos os outros abertos podem ser obtidos por união. É como ter um conjunto de blocos fundamentais que descrevem toda a topologia.
Quando essas duas condições são satisfeitas, podemos construir uma métrica que reproduz fielmente a topologia original.
Observação: A recíproca não vale. Um espaço metrizável não precisa, em geral, possuir uma base enumerável. O teorema de Urysohn fornece uma condição suficiente de metrizabilidade, não uma condição necessária.
Como interpretar esse teorema?
O teorema de Urysohn responde a uma pergunta central da topologia: quando é possível descrever um espaço em termos de distância?
Na topologia, muitas vezes começamos apenas com a noção de conjuntos abertos. Isso já é suficiente para definir continuidade, convergência e outras propriedades fundamentais. No entanto, trabalhar com distâncias costuma ser mais intuitivo e mais próximo da geometria.
O teorema mostra exatamente quando essa transição é possível. Se o espaço for regular e tiver uma base enumerável, então ele pode ser tratado como um espaço métrico, sem alterar sua estrutura.
Em outras palavras, a topologia pode ser “traduzida” em linguagem geométrica.
Por que isso é importante? Porque permite aplicar ferramentas da análise e da geometria a muitos espaços topológicos. Sempre que um espaço é metrizável, podemos usar noções familiares como distância, limite e continuidade de forma concreta e eficaz.
Um exemplo clássico
Considere a reta real ℝ com a topologia usual, gerada pelos intervalos abertos. Esse espaço satisfaz as duas condições do teorema:
- ℝ é regular;
- ℝ possui uma base enumerável, formada pelos intervalos com extremidades racionais.
Portanto, ℝ é metrizável. A distância usual $ d(x, y) = |x - y| $ gera exatamente a mesma topologia.
Observação. Na topologia usual de ℝ, os conjuntos abertos são uniões de intervalos do tipo (a, b).
Um ponto $ x $ pertence a um conjunto aberto $ A $ se existe $ \varepsilon > 0 $ tal que o intervalo $ (x - \varepsilon, x + \varepsilon) $ está contido em $ A $. Essa topologia vem da métrica euclidiana $ |x - y| $ e é a base da análise matemática, onde conceitos como limite, continuidade e convergência têm interpretação geométrica clara.
Exemplo 2: Topologia discreta.
Considere agora ℝ equipado com a topologia discreta. Esse espaço também é metrizável, graças à métrica discreta:
$$ d(x, y) =
\begin{cases}
0, & \text{se } x = y \\ \\
1, & \text{se } x \ne y.
\end{cases}
$$
No entanto, nesse caso, o espaço não possui uma base enumerável, pois cada ponto é um conjunto aberto e ℝ é não enumerável.
Esse exemplo mostra claramente que o teorema fornece apenas uma condição suficiente, não necessária.
Observação. A topologia discreta é a mais fina possível: todo subconjunto é simultaneamente aberto e fechado. Em particular, cada ponto forma um conjunto aberto: $$ \{x\} \text{ é aberto para todo } x \in \mathbb{R}. $$ Nessa topologia, não há continuidade entre pontos distintos, pois cada ponto é completamente isolado. Trata-se de uma estrutura simples, mas extremamente detalhada, que não pode ser gerada por uma base enumerável quando o conjunto é não enumerável, como ℝ.
E assim por diante.
