Un espacio métrico es un conjunto X junto con una función d: X × X → [0, ∞) (la métrica) que satisface para todos x,y,z: d(x,y) ≥ 0 con igualdad si y solo si x = y (identidad de los indiscernibles), d(x,y) = d(y,x) (simetría) y d(x,z) ≤ d(x,y) + d(y,z) (desigualdad triangular).

Principio

La distancia cuantifica la proximidad entre puntos con una estructura suficiente para inducir topología, convergencia y continuidad; los axiomas métricos garantizan una noción coherente de separación y cotas independientes del camino.

Demostración

El espacio euclidiano R^n con la distancia euclidiana usual es un espacio métrico; la métrica discreta d(x,y)=1 para x ≠ y y 0 en caso contrario es un ejemplo donde todo subconjunto es abierto; normas en espacios vectoriales inducen métricas mediante d(x,y)=||x-y||.

Aplicación incorrecta

Confundir métricas con pseudométricas (permiten puntos distintos a distancia cero) o cuasi-métricas (pueden carecer de simetría), o aplicar criterios de compacidad métricos a topologías no metrizable sin verificar la existencia de una métrica.

Consecuencia

Una métrica induce una topología y nociones de sucesión de Cauchy, completitud, compacidad, continuidad y continuidad uniforme; muchas construcciones analíticas (límites, espacios de funciones) dependen de propiedades métricas como la completitud o la separabilidad.

Inversión

Un espacio topológico sin métrica compatible (no metrizable) invierte el requisito: se pueden definir abiertos/cerrados y continuidad pero sin distancias; una ultramétrica refuerza la desigualdad triangular a d(x,z) ≤ max(d(x,y),d(y,z)).

Límite

Requiere una distancia real no negativa y los tres axiomas métricos; excluye pseudométricas, cuasi-métricas, distancias generalizadas con valores en otras estructuras ordenadas y espacios puramente topológicos o uniformes sin métrica concreta.

Tensión semántica

Métrica versus espacio topológico: todo espacio métrico es topológico, pero no toda topología es metrizable. Métrica versus pseudométrica: la pseudométrica admite identidad de indiscernibles fallida. Métrica versus ultramétrica: la ultramétrica intensifica la desigualdad triangular.

Síntesis

Un espacio métrico es un conjunto provisto de una distancia real que cumple no negatividad, identidad, simetría y desigualdad triangular, proporcionando un marco cuantitativo para topología, convergencia y estructura analítica.