Un criterio suficiente para que un espacio topológico admita una métrica compatible: un espacio regular Hausdorff con base numerable (segunda numerabilidad) es metrizable, es decir, existe una métrica que induce la topología dada.

Principio

Una base contable permite indexar y combinar los datos locales de separación en una única métrica; la regularidad (separación de puntos y cerrados por entornos) garantiza el control local necesario para que la distancia construida sea coherente con la topología.

Demostración

Cualquier variedad de dimensión finita o R^n es regular Hausdorff y tiene base numerable, por lo que el teorema asegura la existencia de una métrica compatible; constructivamente puede formarse una métrica sumando funciones al estilo Urysohn asociadas a la base numerable con pesos adecuados.

Aplicación incorrecta

Suponer que la metrizabilidad sigue de hipótesis más débiles como la primera numerabilidad sola, o aplicar el teorema a espacios sin base numerable o sin regularidad; confundir segunda numerabilidad con separabilidad es una fuente común de error.

Consecuencia

Permite importar resultados de espacios métricos (sucesiones, completitud, teorema de Baire) al marco topológico y simplifica el análisis al hacer posibles construcciones y invariantes basados en una distancia concreta.

Inversión

La recíproca falla en general: un espacio metrizable no tiene por qué ser segunda numerable en todos los marcos (según cuestiones de teoría de conjuntos), y la metrizabilidad también puede caracterizarse por otros criterios (Nagata–Smirnov, Bing) con hipótesis distintas.

Límite

Ofrece condiciones suficientes pero no necesarias; exige una base contable y regularidad/Hausdorff y no agota otros criterios de metrizabilidad ni cubre ejemplos patológicos según distintos axiomas.

Tensión semántica

Compite con otros teoremas de metrización (Nagata–Smirnov, Bing) que usan hipótesis alternativas (p. ej. paracompacidad, desarrollo) — la elección del criterio apropiado depende de las hipótesis estructurales disponibles.

Síntesis

El Teorema de Metrización de Urysohn afirma que la conjunción de una base numerable con propiedades regulares de separación basta para producir una métrica que induce la topología, convirtiendo ciertos espacios topológicos en espacios métricos y permitiendo técnicas métricas.