En matemática, un espacio métrico es un conjunto que lleva asociada una función

distancia, es decir, que esta función está definida sobre dicho conjunto, cumpliendo
propiedades atribuidas a la distancia, de modo que para cualquier par de puntos del
conjunto, estos están a una cierta distancia asignada por dicha función.
En particular, cualquier espacio métrico será, además, un espacio topológico porque
cualquier función de distancia definida sobre un conjunto dado induce una topología sobre
dicho conjunto. Se trata de la topología inducida por las bolas abiertas asociadas a la
función distancia del espacio métrico.

Índice

 1Definiciones
o 1.1Definición de espacio métrico
o 1.2Algunas definiciones asociadas a un espacio métrico
 2Topología de un espacio métrico
 3Sistemas axiomáticos alternativos
 4Espacio métrico totalmente acotado
 5Ejemplos
 6Un análisis lógico
 7Espacios metrizables
o 7.1Teorema de metrización de Urysohn
o 7.2Teorema de metrización de Nagata-Smirnov (condición suficiente)
o 7.3Teorema de metrización de Nagata-Smirnov (condición necesaria)
o 7.4Teorema de metrización de Stone
o 7.5Teorema de metrización de Smirnov
o 7.6Teorema de metrización de espacios completamente separables
 8Véase también
 9Referencias

Definiciones[editar]
Definición de espacio métrico[editar]

Formalmente, un espacio métrico es un conjunto (a cuyos elementos se les

denomina puntos) con una función distancia asociada (también llamada

una métrica) (donde es el conjunto de los números reales). Decir que es

una distancia sobre es decir que para todo , , en , esta función

debe satisfacer las siguientes condiciones o propiedades de una distancia:

1.

2. (simetría)

3. (desigualdad triangular).
De estos también se deduce:

(no negatividad)
Algunas definiciones asociadas a un espacio métrico[editar]

Sea un espacio métrico, y sean y un punto de y un número real

positivo o cero, respectivamente:

 Se llama bola (abierta) centrada en y de radio , al subconjunto de

: , denotado usualmente como , o como .

 Se llama bola cerrada centrada en y de radio , al subconjunto de

: , denotado usualmente como o como o también como .

 En análisis funcional la terminología puede llevar un poco a confusión, pues a la bola

abierta de radio y centro se la suele denotar por o por , mientras

-y aquí viene la posible confusión- a la bola cerrada de centro y radio se la

denota por o por .

 Algunos autores utilizan la expresión disco en lugar de bola, así es que se puede
hablar en términos de disco abierto y disco cerrado. En particular, esta terminología
se utiliza en Variable Compleja, y cuando se considera la distancia euclídea sobre el

conjunto .

 Se llama esfera centrada en y de radio , al subconjunto de dado

por , denotado usualmente como , o como .

Topología de un espacio métrico[editar]

La distancia del espacio métrico induce en una topología, y por tanto el espacio
es, a su vez, un espacio topológico al tomar como subconjuntos abiertos para la topología

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 topología se denomina topología 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 métrico de un espacio métrico es subespacio topológico del

espacio topológico , donde es la topología en inducida por . Es

decir, hereda de la topología inducida por .

Un entorno de un punto de un espacio métrico no es más que un

subconjunto de forma que exista un tal que la bola abierta . El

conjunto es base de la topología inducida por , y también es base de

entornos de dicha topología. Como es denso en , resulta entonces

que también es base de entornos de la topología inducida por . En

consecuencia, todo espacio métrico cumple el Primer Axioma de Numerabilidad.
Todo espacio métrico es espacio de Hausdorff. Además, al igual que ocurre en
espacios pseudométricos, para los espacios métricos son equivalentes las siguientes
propiedades: ser espacio de Lindelöf, cumplir el Primer Axioma de Numerabilidad y
ser separable.

Sistemas axiomáticos 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 métrica tal puede

ser reescalada a una métrica finita (usando o ) y los dos conceptos de

espacio métrico son equivalentes en lo que a topología se refiere. Una métrica es
llamada ultramétrica si satisface la siguiente versión, más fuerte, de la desigualdad
triangular:

.
Si se elimina la propiedad 3, se obtiene un espacio pseudométrico. Sacando, en
cambio, la propiedad 4, se obtiene un espacio quasimétrico. No obstante,
perdiéndose simetría 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-ultramétrico).

Espacio métrico totalmente acotado[editar]

Un espacio métrico se dirá totalmente acotado si y solamente si cumple la
siguiente propiedad:

tal que
Se cumple que todo espacio totalmente acotado es también acotado. Además,
todo compacto es totalmente acotado. Esta propiedad es útil precisamente para
demostrar compacidad, pues se tiene que existe equivalencia entre ser compacto
y ser totalmente acotado y completo. De hecho, para muchas demostraciones es
precisamente esta caracterización de compacidad la que se utiliza.

Ejemplos[editar]

 Sea X un conjunto cualquiera no vacío y definamos como

Entonces es una métrica en , llamada métrica discreta y es un

espacio métrico. se llama espacio discreto; ver Análisis real de Haaser y

Sullivan.

 Los números reales con la función distancia dada por el valor absoluto,
y, más generalmente, un n-espacio euclídeo con la distancia euclidiana, son

espacios métricos completos. El sistema de los números complejos es

un espacio métrico que, como tal, es igual a .

 Más generalmente aún, cualquier espacio vectorial normado es un espacio

métrico definiendo . Si tal espacio es completo, lo llamamos espacio de

Banach.

 Si es un conjunto y es un espacio métrico, entonces el conjunto de

todas las funciones acotadas (i.e. aquellas funciones cuya imagen es un

subconjunto acotado de ) puede ser convertido en un espacio métrico

definiendo para cualesquiera funciones acotadas y .

Si es completo, entonces este espacio es completo también.

 Si X es un espacio topológico y M es un espacio métrico, entonces el conjunto
de todas las funciones continuas acotadas de X a M forma un espacio métrico
si definimos la métrica 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 también.

 Si M es un espacio métrico, podemos convertir al conjunto K(M) de todos los

subconjuntos compactos de M en un espacio métrico 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 métrica, dos
elementos están 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 análisis lógico[editar]
 El concepto métrico fundamental es el de función corta, los morfismos de
la categoría métrica (los isomorfismos, i.e. aplicaciones bi-cortas, son
las isometrías), pero su expresión 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 débil allí, orden fuerte (y ≤ x ssi ... )
es difícil, pero posible, si se acepta una solución 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 función
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 operación en los reales positivos,
|x - y| es la distancia allí) el hecho que d(x, -) es función corta (luego uniforme,
luego continua). d: x - > d(x,-) es una isometría.

 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 simetría (hacer z = x y usar | x - d(y, y)|
= x).

Espacios metrizables[editar]
Un espacio topológico se dice que es metrizable cuando existe una

distancia cuya topología inducida sea precisamente la topología .

Un problema fundamental en Topología es determinar si un espacio topológico
dado es o no metrizable. Existen diversos resultados al respecto.

Teorema de metrización de Urysohn[editar]

Todo espacio topológico regular que cumpla el segundo axioma de
numerabilidad es metrizable.

Teorema de metrización de Nagata-Smirnov

(condición suficiente)[editar]
Todo espacio regular con una base numerable localmente finita es metrizable.

Teorema de metrización de Nagata-Smirnov

(condición necesaria)[editar]
Todo espacio metrizable tiene una base numerable localmente finita.

Teorema de metrización de Stone[editar]

Todo espacio metrizable es paracompacto.

Teorema de metrización de Smirnov[editar]

Un espacio topológico es metrizable si y solo si es paracompacto y localmente
metrizable.
Teorema de metrización de espacios completamente
separables[editar]
Un espacio topológico completamente separable es metrizable si y solo si es
regular.