Un conjunto X provisto de una función distancia d: X×X → [0,∞) tal que para todos x,y,z en X: d(x,y)=0 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

Las distancias actúan como longitudes reales no negativas que distinguen puntos, son simétricas y se componen de forma subaditiva, de modo que las distancias locales controlan la separación global.

Demostración

La recta real R con d(x,y)=|x−y| es un espacio métrico: puntos distintos tienen distancia positiva, la simetría proviene del valor absoluto y la desigualdad triangular es |x−z| ≤ |x−y|+|y−z|.

Aplicación incorrecta

Tratar cualquier función no negativa como métrica sin verificar la desigualdad triangular o la condición de identidad —por ejemplo d(x,y)=|x|+|y| no cumple identidad— conduce a conclusiones topológicas erróneas.

Consecuencia

Si se cumplen los axiomas, la métrica induce una topología, se definen convergencia y continuidad, y existen construcciones como sucesiones de Cauchy y completaciones.

Inversión

Si se abandona la identidad de indiscernibles se obtiene una pseudométrica; si la desigualdad triangular se refuerza a d(x,z) ≤ max{d(x,y),d(y,z)} se obtiene una ultramétrica con geometría muy distinta (p. ej. fuerte jerarquía).

Límite

Excluye estructuras parecidas a distancia que carecen de uno de los tres axiomas (pseudométricas, cuasimétricas sin simetría, semimétricas) y no exige estructura algebraica adicional como un espacio vectorial salvo que se especifique.

Tensión semántica

Compite con el uso coloquial de «métrica» como indicador o medida de rendimiento; en matemáticas es una función con axiomas precisos y no debe confundirse con otros sentidos.

Síntesis

Un espacio métrico (X,d) es el par formado por un conjunto y una distancia que satisface identidad, simetría y desigualdad triangular, proporcionando una topología y herramientas analíticas para estudiar proximidad, límites y completitud.