2/12/23, 22:02 Espacio métrico - Wikipedia, la enciclopedia libre

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

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

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

tal que

https://es.wikipedia.org/wiki/Espacio_métrico 4/7