Espacio metrizable
En topología y áreas relacionadas de las matemáticas, un espacio metrizable es un espacio topológico que
es homeomorfo a un espacio métrico. Esto es, se dice que un espacio topológico es metrizable si
existe una métrica
tal que la topología inducida por d es .1 2 Los teoremas de metrización son teoremas que dan
condiciones suficientes para que un espacio topológico sea metrizable.
Índice
Propiedades
Teoremas de metrización
Ejemplos
Ejemplos de espacios no metrizables
Véase también
Referencias
Propiedades
Los espacios metrizables heredan todas las propiedades topológicas de los espacios métricos. Por ejemplo,
son espacios paracompactos de Hausdorff (y por tanto normales y de Tíjonov) y primero-numerables. Sin
embargo, algunas propiedades de los espacios métricos, como la completitud, no se heredan de forma
inmediata. Un espacio uniforme metrizable, por ejemplo, puede tener un conjunto diferente de aplicaciones
contractivas al de un espacio métrico al que sea homeomorfo.
Teoremas de metrización
Uno de los teoremas de metrización más conocidos es el teorema de metrización de Urysón. Este afirma
que todo espacio regular segundo-numerable de Hausdorff es metrizable. Así, por ejemplo, toda variedad
segundo-numerable es metrizable. Este enunciado fue probado por Tíjonov en 1926. El teorema original
que probó Urysón, en un artículo publicado póstumamente en 1925, decía que todo espacio de Hausdorff
normal segundo-numerable es metrizable. El recíproco del teorema no es cierto, existen espacios métricos
que no son segundo-numerables, como por ejemplo un conjunto no numerable dotado con la métrica
discreta.3 El teorema de metrización de Nagata-Smírnov, que se desarrolla más adelante, da unas
condiciones más específicas en las que se cumple el recíproco.
Existen otros teoremas de metrización que son simples corolarios del teorema de Urysón. Por ejemplo, un
espacio de Hausdorff compacto es metrizable si y solo si es segundo-numerable.
El teorema de Urysón se puede reformular de la siguiente forma: Un espacio topológico es separable y
metrizable si y solo si es regular, de Hausdorff y segundo-numerable. El teorema de metrización de Nagata-
Smírnov extiende este resultado al caso no separable. Afirma que un espacio topológico es metrizable si y
solo si es regular, de Hausdorff y tiene una base σ-localmente finita. Una base σ-localmente finita es una
base que es unión de una cantidad numerable de colecciones localmente finitas de conjuntos abiertos. El
teorema de metrización de Bing es un resultado muy relacionado con este.
Los espacios metrizables separables también se pueden caracterizar como aquellos espacios que son
homeomorfos a un subespacio del cubo de Hilbert , esto es, el producto infinito numerable del
intervalo unidad (con su topología de subespacio natural de los reales), equipado con la topología producto.
Se dice que un espacio es localmente metrizable si todo punto tiene un entorno numerable. Smírnov probó
que un espacio localmente metrizable es metrizable si y solo si es Hausdorff y paracompacto. En particular,
una variedad es metrizable si y solo si es paracompacta.
Ejemplos
El grupo de operadores unitarios en un espacio de Hilbert separable equipado con la topología
fuerte de operadores es metrizable.4
Ejemplos de espacios no metrizables
Los espacios no normales no pueden ser metrizables. Entre ellos se cuentan:
La topología de Zariski sobre una variedad algebraica o sobre el espectro de un anillo,
usado en geometría algebraica.
El espacio vectorial topológico de las funciones de la recta real R en sí misma, con la
topología de convergencia puntual.
La recta real con la topología del límite inferior no es metrizable. La función distancia usual no es una
métrica en este espacio ya que la topología que determina es la topología usual, no la topología del límite
inferior. Este espacio es Hausdorff, paracompacto y primero-numerable.
La recta larga es localmente metrizable pero no es metrizable, en cierto sentido es «demasiado larga».
Véase también
Uniformizabilidad
Espacio de Moore
Teorema de metrización de Nagata-Smírnov
Teorema de metrización de Bing
Referencias
1. Simon, Jonathan. «Metrization Theorems» ([Link]
SES/M132Fall07/MetrizationTheorem_v5.pdf). Consultado el 16 de junio de 2016.
2. Munkres, James (1999). Topology (second edition). Pearson. p. 119.
3. [Link]
4. Neeb, Karl-Hermann,
On a theorem of S. Banach. J. Lie Theory 7 (1997), no. 2, 293–300.
Este artículo incorpora material de Metrizable en PlanetMath, que tiene licencia Creative Commons
Atribución Compartir-Igual.
Obtenido de «[Link]
Esta página se editó por última vez el 20 mar 2020 a las 13:14.
El texto está disponible bajo la Licencia Creative Commons Atribución Compartir Igual 3.0;
pueden aplicarse
cláusulas adicionales. Al usar este sitio, usted acepta nuestros términos de uso y nuestra política de privacidad.
Wikipedia® es una marca registrada de la Fundación Wikimedia, Inc., una organización sin ánimo de lucro.