Un espacio métrico convierte la idea de distancia en cuatro reglas
Un espacio métrico es un conjunto de puntos acompañado por una función que asigna una distancia no negativa a cada pareja. La distancia entre x e y es cero solo cuando son el mismo punto, es simétrica y cumple la desigualdad triangular: ir directamente no puede costar más que pasar por un tercero. Estas reglas permiten hablar de cercanía sin exigir coordenadas ni líneas rectas. A partir de una métrica se definen bolas, convergencia, continuidad y completitud, de modo que una sola función organiza buena parte del análisis matemático.
El plano con distancia euclídea es el ejemplo familiar, pero no el único. En una ciudad cuadriculada puede usarse |x₁-y₁| + |x₂-y₂|, llamada distancia Manhattan. Para cadenas, la distancia de Hamming cuenta posiciones diferentes. Todas obedecen los axiomas aunque sus bolas tengan formas distintas. Elegir métrica expresa qué diferencias importan en el problema.
Las bolas abiertas construyen la noción de entorno
La bola abierta de centro x y radio r reúne puntos cuya distancia a x es menor que r. Un conjunto es abierto si cada uno de sus puntos contiene alguna bola completamente incluida en él. A partir de esta idea se definen cerrados, interior, frontera y continuidad. La métrica produce así una topología.
Dos métricas diferentes pueden generar los mismos conjuntos abiertos y, por tanto, la misma topología. En un espacio vectorial de dimensión finita, muchas normas habituales son equivalentes topológicamente aunque midan longitudes distintas. La topología conserva continuidad y convergencia cualitativa; la métrica añade tamaños concretos. Por eso todo espacio métrico es topológico, pero no todo espacio topológico admite una métrica.
Convergencia y sucesiones de Cauchy separan aproximación de existencia
Una sucesión converge a x si sus términos terminan dentro de cualquier bola alrededor de x. Una sucesión de Cauchy exige que sus términos se acerquen entre sí, sin mencionar un límite conocido. En los números racionales puede aproximar √2 y ser de Cauchy sin converger a un racional. Un espacio completo contiene el límite de todas sus sucesiones de Cauchy.
La completitud depende de la métrica, no solo del conjunto. Completar un espacio significa añadir los límites que faltan de manera controlada, como pasar de racionales a reales. Este concepto sostiene análisis numérico y ecuaciones: iteraciones que se acercan entre sí necesitan un espacio completo para garantizar que su límite pertenece al lugar donde se busca la solución.
La métrica permite cuantificar continuidad y encontrar puntos fijos
Una función es continua si puntos suficientemente cercanos tienen imágenes cercanas. La continuidad uniforme exige una misma escala de control para todo el dominio; la condición de Lipschitz impone una cota lineal. Estas distinciones importan al aproximar datos: una función continua puede variar cada vez más rápido en regiones lejanas aunque no tenga saltos.
El teorema de la contracción afirma que una aplicación que reduce distancias por un factor fijo en un espacio completo posee un único punto fijo y que iterarla conduce a él. Esta idea simple justifica algoritmos y soluciones de ecuaciones diferenciales. No basta observar que una iteración parece estabilizarse: deben comprobarse completitud, invariancia del dominio y factor de contracción.
La métrica correcta depende del fenómeno, y algunas deforman la intuición
En espacios métricos, compacidad equivale a que toda sucesión tenga una subsucesión convergente, y también a poder cubrir el espacio con finitas bolas pequeñas para cada escala. En ℝⁿ, cerrado y acotado caracteriza compactos, pero esa equivalencia no vale en todos los espacios. En dimensión infinita, una bola cerrada y acotada puede no ser compacta.
En aprendizaje automático o clasificación, escoger distancia decide qué ejemplos se consideran vecinos. Variables con unidades grandes pueden dominar y la distancia euclídea pierde utilidad en dimensiones altas. Una pseudométrica permite distancia cero entre puntos distintos; una ultramétrica refuerza la desigualdad triangular y crea jerarquías. Los axiomas orientan, pero la validez del modelo depende de que la distancia represente diferencias significativas.
Una isometría conserva exactamente distancias; un homeomorfismo solo conserva estructura topológica. Doblar una hoja sin pegar ni cortar puede representarse topológicamente, pero cambia distancias. Dos espacios isométricos son indistinguibles como espacios métricos. Esta jerarquía aclara qué significa equivalencia en cada pregunta y evita pedir conservación de longitudes cuando solo interesa continuidad.
La distancia entre funciones puede definirse por su máxima diferencia en un intervalo, por una integral o mediante derivadas. Cada elección produce convergencias distintas. Una sucesión puede converger en promedio y conservar picos estrechos que impiden convergencia uniforme. En ecuaciones y aproximación, escoger métrica es escoger qué errores se consideran pequeños y qué límites permiten intercambiar integral, derivada o evaluación puntual.
Los espacios separables contienen un subconjunto numerable denso, lo que permite aproximar cualquier punto con una lista. La completitud y separabilidad juntas aparecen en espacios polacos, esenciales en probabilidad. Una medida de probabilidad puede compararse con métricas sobre distribuciones, como Wasserstein, que incorpora coste de transportar masa. El marco métrico conecta así geometría, análisis y datos sin reducir todos los objetos a vectores finitos.
La distancia discreta asigna cero a puntos iguales y uno a cualesquiera distintos. Cumple todos los axiomas, pero cada punto queda aislado y una sucesión solo converge si termina siendo constante. Este ejemplo extremo demuestra que los axiomas no garantizan una geometría parecida al plano: la riqueza del espacio depende de la métrica concreta y del conjunto sobre el que actúa.
