En matemáticas , un espacio topológico X es uniformizable si existe una estructura uniforme en X que induce la topología de X. De manera equivalente, X es uniformizable si y solo si es homeomorfo a un espacio uniforme (equipado con la topología inducida por la estructura uniforme).
Cualquier espacio ( pseudo ) metrizable es uniformizable puesto que la uniformidad (pseudo)métrica induce la topología (pseudo)métrica. La inversa no es válida: hay espacios uniformizables que no son (pseudo)metrizables. Sin embargo, es cierto que la topología de un espacio uniformizable siempre puede ser inducida por una familia de pseudométricas ; de hecho, esto se debe a que cualquier uniformidad en un conjunto X puede ser definida por una familia de pseudométricas.
Demostrar que un espacio es uniformizable es mucho más sencillo que demostrar que es metrizable. De hecho, la uniformizabilidad es equivalente a un axioma de separación común :
Una forma de construir una estructura uniforme en un espacio topológico X es tomar la uniformidad inicial en X inducida por C ( X ), la familia de funciones continuas de valor real en X . Esta es la uniformidad más burda en X para la cual todas esas funciones son uniformemente continuas . Una subbase para esta uniformidad está dada por el conjunto de todos los entornos
donde f ∈ C ( X ) y ε > 0.
La topología uniforme generada por la uniformidad anterior es la topología inicial inducida por la familia C ( X ). En general, esta topología será más burda que la topología dada en X . Las dos topologías coincidirán si y solo si X es completamente regular.
Dado un espacio uniformizable X existe una uniformidad fina en X compatible con la topología de X llamada uniformidad fina o uniformidad universal . Se dice que un espacio uniforme es fino si tiene la uniformidad fina generada por su topología uniforme.
La uniformidad fina se caracteriza por la propiedad universal : cualquier función continua f desde un espacio fino X a un espacio uniforme Y es uniformemente continua. Esto implica que el funtor F : CReg → Uni que asigna a cualquier espacio completamente regular X la uniformidad fina en X es adjunto por la izquierda al funtor olvidadizo que envía un espacio uniforme a su espacio completamente regular subyacente.
Explícitamente, la uniformidad fina en un espacio completamente regular X es generada por todos los vecindarios abiertos D de la diagonal en X × X (con la topología de producto ) tales que existe una secuencia D 1 , D 2 , … de vecindarios abiertos de la diagonal con D = D 1 y .
La uniformidad en un espacio completamente regular X inducida por C ( X ) (ver la sección anterior) no es siempre la uniformidad fina.
