Topologa de un espacio mtrico[editar]

La distancia del espacio mtrico induce en una topologa, y por tanto el espacio es, a su
vez, un espacio topolgico al tomar como subconjuntos abiertos para la topologa a todos
los subconjuntos que cumplen
.
Esto es a todos los subconjuntos para los cuales cualquier punto en es el centro de
alguna bola de radio positivo totalmente incluida en , o lo que es lo mismo: U no tiene
puntos en la frontera; no tiene frontera.
Dicha topologa se denomina topologa inducida por en .
Podemos entonces interpretar intuitivamente que un conjunto abierto es entonces una
parte que tiene un cierto "espesor" alrededor de cada uno de sus puntos.
Un subespacio mtrico de un espacio mtrico es subespacio topolgico del espacio
topolgico , donde es la topologa en inducida por . Es decir, hereda de la topologa
inducida por .
Un entorno de un punto de un espacio mtrico no es ms que un subconjunto de
forma que exista un tal que la bola abierta . El conjunto es base de la topologa
inducida por , y tambin es base de entornos de dicha topologa. Como es denso en ,
resulta entonces que tambin es base de entornos de la topologa inducida por . En
consecuencia, todo espacio mtrico cumple el Primer Axioma de Numerabilidad.
Todo espacio mtrico es espacio de Hausdorff. Adems, al igual que ocurre en
espacios pseudomtricos, para los espacios mtricos son equivalentes las siguientes
propiedades: ser espacio de Lindelf, cumplir el Primer Axioma de Numerabilidad y
ser separable.

Sistemas axiomticos alternativos[editar]

La propiedad 1 () se sigue de la 4 y la 5. Algunos autores usan la recta real extendida y
admiten que la distancia tome el valor . Cualquier mtrica tal puede ser reescalada a
una mtrica finita (usando o ) y los dos conceptos de espacio mtrico son
equivalentes en lo que a topologa se refiere. Una mtrica es llamada ultramtrica si
satisface la siguiente versin, ms fuerte, de la desigualdad triangular:
.
Si se elimina la propiedad 3, se obtiene un espacio pseudomtrico. Sacando, en
cambio, la propiedad 4, se obtiene un espacio quasimtrico. No obstante,
perdindose simetra en este caso, se cambia, usualmente, la propiedad 3 tal que
ambas y son necesarias para que e se identifiquen. Todas las combinaciones de
lo anterior son posibles y referidas por sus nomenclaturas respectivas (por ejemplo
como quasi-pseudo-ultramtrico).

EjemplosSea X un conjunto cualquiera no vaco y definamos d

Entonces d es una mtrica en X, llamada mtrica discreta y (X,d) es espacio
mtrico; (X, d) se llama espacio discreto; ver Anlisis real de Haaser y Sullivan.

Los nmeros reales con la funcin distancia d(x, y) = |y - x| dada por el valor
absoluto, y ms generalmente n-espacio eucldeo con la distancia euclidiana,
son espacios mtricos completos. El sistema de los nmeros complejos C es
un espacio mtrico . C como espacio mtrico es igual a RxR.
 Ms generalmente an, cualquier espacio vectorial normado es un espacio
mtrico definiendo d(x, y) = ||y - x||. Si tal espacio es completo, lo
llamamos espacio de Banach.

Si X es un conjunto y M es un espacio mtrico, entonces el conjunto de todas

las funciones acotadas f : X -> M (i.e. aquellas funciones cuya imagen es un
subconjunto acotado de M) puede ser convertido en un espacio mtrico
definiendo d(f, g) = supx en X d(f(x), g(x)) para cualesquiera funciones
acotadas f y g. Si M es completo, entonces este espacio es completo tambin.

Si X es un espacio topolgico y M es un espacio mtrico, entonces el conjunto

de todas las funciones continuas acotadas de X a M forma un espacio mtrico
si definimos la mtrica como antes: d(f, g) = supx en X d(f(x), g(x)) para
cualesquiera funciones continuas acotadas f y g. Si M es completo, entonces
este espacio es completo tambin.

Si M es un espacio mtrico, podemos convertir al conjunto K(M) de todos los

subconjuntos compactos de M en un espacio mtrico definiendo distancia de
Hausdorff d(X, Y) = inf{r: para cada x en X existe un y en Y con d(x, y) < r y
para cada y en Y existe un x en X con d(x, y) < r). En este mtrica, dos
elementos estn cerca uno de otro si cada elemento de un conjunto est cerca
de un cierto elemento del otro conjunto. Se puede demostrar que K(M) es
completo si M es completo.

Un anlisis lgico El concepto mtrico fundamental es el de funcin

corta, los morfismos de la categora mtrica (los isomorfismos, i.e. aplicaciones bi-
cortas, son las isometras), pero su expresin usual usa el orden y la suma en los
reales positivos luego,

1) Es obvio que : | x - |x - y | | = y es lo mismo que x = 0 o y x, luego

distancia en los reales positivos da orden dbil all, orden fuerte (y x ssi ... )
es difcil, pero posible, si se acepta una solucin de |x - y | = y i.e. y = x / 2.

2) | d(y, z) - |d(y, z) - d(f(y), f(z)) | | = d(f(y), f(z)) expresa que f es una funcin
corta, sin ninguna referencia a un orden en los reales positivos.

3) La siguiente equivalencia de la desigualdad triangular

| d(x, y) - d(x, z) | d(y, z)
expresa (sin ninguna referencia a una operacin en los reales positivos, |
x - y| es la distancia all) el hecho que d(x, -) es funcin corta (luego uniforme,
luego continua). d: x - > d(x,-) es una isometra.

Reuniendo ambas : | d(y, z) - |d(y, z) - | d(x, y) - d(x, z) | | | = | d(x, y)

- d(x, z) | expresa desigualdad triangular directamente.

un leve cambio : | d(y, z) - |d(z, y) - | d(x, y) - d(x, z) | | | = | d(x, y) - d(x, z) |

expresa desigualdad triangular y simetra (hacer z = x y usar | x - d(y, y)|
= x).

Espacios metrizables
Un espacio topolgico se dice que es metrizable cuando existe una
distancia cuya topologa inducida sea precisamente la topologa .
Un problema fundamental en Topologa es determinar si un espacio topolgico
dado es o no metrizable. Existen diversos resultados al respecto.

Teorema de metrizacin de Urysohn

Todo espacio topolgico regular que cumpla el segundo axioma de
numerabilidad es metrizable.

Teorema de metrizacin de Nagata-Smirnov

(condicin suficiente)
Todo espacio regular con una base numerable localmente finita es metrizable.

Teorema de metrizacin de Nagata-Smirnov

(condicin necesaria)
Todo espacio metrizable tiene una base numerable localmente finita.

Teorema de metrizacin de Stone

Todo espacio metrizable es paracompacto.

Teorema de metrizacin de Smirnov

Un espacio topolgico es metrizable si y solo si es paracompacto y localmente
metrizable.

Teorema de metrizacin de espacios completamente

separables
Un espacio topolgico completamente separable es metrizable si y solo si es
regular.