En matemáticas , un espacio métrico es un conjunto con una noción de distancia entre sus elementos , normalmente llamados puntos . La distancia se mide mediante una función llamada métrica o función de distancia . [1] Los espacios métricos son el escenario más general para estudiar muchos de los conceptos de análisis matemático y geometría .
El ejemplo más familiar de espacio métrico es el espacio euclidiano tridimensional con su noción habitual de distancia. Otros ejemplos bien conocidos son una esfera equipada con la distancia angular y el plano hiperbólico . Una métrica puede corresponder a una noción de distancia metafórica, más que física: por ejemplo, el conjunto de cadenas Unicode de 100 caracteres puede equiparse con la distancia de Hamming , que mide el número de caracteres que deben cambiarse para pasar de uno a uno. cuerda a otra.
Dado que son muy generales, los espacios métricos son una herramienta utilizada en muchas ramas diferentes de las matemáticas. Muchos tipos de objetos matemáticos tienen una noción natural de distancia y por lo tanto admiten la estructura de un espacio métrico, incluidas las variedades de Riemann , los espacios vectoriales normados y las gráficas . En álgebra abstracta , los números p -ádicos surgen como elementos de la compleción de una estructura métrica sobre los números racionales . Los espacios métricos también se estudian por derecho propio en geometría métrica [2] y análisis de espacios métricos . [3]
Muchas de las nociones básicas del análisis matemático , incluidas las bolas , la completitud , así como la continuidad uniforme , Lipschitz y Hölder , se pueden definir en el marco de espacios métricos. Otras nociones, como continuidad , compacidad y conjuntos abiertos y cerrados , pueden definirse para espacios métricos, pero también en el ámbito aún más general de los espacios topológicos .
Para ver la utilidad de diferentes nociones de distancia, consideremos la superficie de la Tierra como un conjunto de puntos. Podemos medir la distancia entre dos de esos puntos por la longitud del camino más corto a lo largo de la superficie , " en línea recta "; esto es particularmente útil para el transporte marítimo y la aviación. También podemos medir la distancia en línea recta entre dos puntos a través del interior de la Tierra; esta noción es, por ejemplo, natural en sismología , ya que corresponde aproximadamente al tiempo que tardan las ondas sísmicas en viajar entre esos dos puntos.
La noción de distancia codificada por los axiomas del espacio métrico tiene relativamente pocos requisitos. Esta generalidad da mucha flexibilidad a los espacios métricos. Al mismo tiempo, la noción es lo suficientemente fuerte como para codificar muchos hechos intuitivos sobre lo que significa la distancia. Esto significa que los resultados generales sobre espacios métricos se pueden aplicar en muchos contextos diferentes.
Como muchos conceptos matemáticos fundamentales, la métrica en un espacio métrico se puede interpretar de muchas maneras diferentes. Es posible que no se considere mejor una métrica particular como una medida de distancia física, sino, en cambio, como el costo de cambiar de un estado a otro (como ocurre con las métricas de Wasserstein en espacios de medidas ) o el grado de diferencia entre dos objetos (por ejemplo, la distancia de Hamming entre dos cadenas de caracteres, o la distancia de Gromov-Hausdorff entre los propios espacios métricos).
Formalmente, un espacio métrico es un par ordenado ( M , d ) donde M es un conjunto y d es una métrica en M , es decir, una función que satisface los siguientes axiomas para todos los puntos : [4] [5]
Si la métrica d es inequívoca, a menudo se hace referencia, por abuso de notación, al "espacio métrico M ".
Al tomar todos los axiomas excepto el segundo, se puede demostrar que la distancia siempre es no negativa: por lo tanto, el segundo axioma puede debilitarse y combinarse con el primero para formar . [6]
Los números reales con la función distancia dada por la diferencia absoluta forman un espacio métrico. Muchas propiedades de los espacios métricos y funciones entre ellos son generalizaciones de conceptos en análisis real y coinciden con esos conceptos cuando se aplican a la recta real.
El plano euclidiano puede equiparse con muchas métricas diferentes. La distancia euclidiana familiar de las matemáticas escolares se puede definir mediante
La distancia del taxi o Manhattan se define y se puede considerar como la distancia que necesita recorrer a lo largo de líneas horizontales y verticales para llegar de un punto a otro, como se ilustra en la parte superior del artículo.
La distancia máxima de , , o Chebyshev se define por Esta distancia no tiene una explicación fácil en términos de trayectorias en el plano, pero aun así satisface los axiomas del espacio métrico. Se puede pensar de manera similar al número de movimientos que un rey tendría que hacer en un tablero de ajedrez para viajar de un punto a otro en el espacio dado.
De hecho, estas tres distancias, si bien tienen propiedades distintas, son similares en algunos aspectos. Informalmente, los puntos que están cerca en uno también lo están en los demás. Esta observación se puede cuantificar con la fórmula que vale para cada par de puntos .
Se puede definir una distancia radicalmente diferente estableciendo el uso de corchetes de Iverson . En esta métrica discreta , todos los puntos distintos están separados por 1 unidad: ninguno de ellos está cerca uno del otro y ninguno está muy lejos el uno del otro tampoco. Intuitivamente, la métrica discreta ya no recuerda que el conjunto es un plano, sino que lo trata simplemente como un conjunto indiferenciado de puntos.
Todas estas métricas tienen sentido tanto en .
Dado un espacio métrico ( M , d ) y un subconjunto , podemos considerar que A es un espacio métrico midiendo distancias de la misma manera que lo haríamos en M. Formalmente, la métrica inducida en A es una función definida por Por ejemplo, si tomamos la esfera bidimensional S 2 como un subconjunto de , la métrica euclidiana en induce la métrica de línea recta en S 2 descrita anteriormente. Dos ejemplos más útiles son el intervalo abierto (0, 1) y el intervalo cerrado [0, 1] considerados como subespacios de la recta real.
En 1906 René Maurice Fréchet introdujo los espacios métricos en su obra Sur quelques point du calcul fonctionnel [7] en el contexto del análisis funcional : su principal interés era estudiar las funciones de valores reales a partir de un espacio métrico, generalizando la teoría de funciones de varios o incluso infinitas variables, como fueron iniciadas por matemáticos como Cesare Arzelà . La idea fue desarrollada aún más y colocada en su contexto adecuado por Felix Hausdorff en su obra maestra Principios de la teoría de conjuntos , que también introdujo la noción de un espacio topológico (Hausdorff) . [8]
Los espacios métricos generales se han convertido en una parte fundamental del plan de estudios de matemáticas. [9] Ejemplos destacados de espacios métricos en la investigación matemática incluyen las variedades de Riemann y los espacios vectoriales normados, que son el dominio de la geometría diferencial y el análisis funcional , respectivamente. [10] La geometría fractal es una fuente de algunos espacios métricos exóticos. Otros han surgido como límites a través del estudio de objetos discretos o suaves, incluidos los límites invariantes de escala en física estadística , los espacios de Alexandrov que surgen como límites de Gromov-Hausdorff de secuencias de variedades de Riemann y los límites y conos asintóticos en la teoría geométrica de grupos . Finalmente, han surgido en informática muchas aplicaciones nuevas de espacios métricos finitos y discretos .
Una función de distancia es suficiente para definir nociones de cercanía y convergencia que se desarrollaron por primera vez en el análisis real . Las propiedades que dependen de la estructura de un espacio métrico se denominan propiedades métricas . Todo espacio métrico es también un espacio topológico , y algunas propiedades métricas también pueden reformularse sin referencia a la distancia en el lenguaje de la topología; es decir, son realmente propiedades topológicas .
Para cualquier punto x en un espacio métrico M y cualquier número real r > 0 , la bola abierta de radio r alrededor de x se define como el conjunto de puntos que están estrictamente a menos de la distancia r de x : esta es una forma natural de definir un conjunto de puntos que están relativamente cerca de x . Por lo tanto, un conjunto es una vecindad de x (informalmente, contiene todos los puntos "lo suficientemente cerca" de x ) si contiene una bola abierta de radio r alrededor de x para algún r > 0 .
Un conjunto abierto es un conjunto que es vecino de todos sus puntos. De ello se deduce que las bolas abiertas forman una base para una topología en M. En otras palabras, los conjuntos abiertos de M son exactamente las uniones de bolas abiertas. Como en cualquier topología, los conjuntos cerrados son complementos de los conjuntos abiertos. Los conjuntos pueden ser tanto abiertos como cerrados, así como ni abiertos ni cerrados.
Esta topología no contiene toda la información sobre el espacio métrico. Por ejemplo, las distancias d 1 , d 2 y d ∞ definidas anteriormente inducen la misma topología en , aunque se comportan de manera diferente en muchos aspectos. De manera similar, con la métrica euclidiana y su subespacio, el intervalo (0, 1) con la métrica inducida son homeomórficos pero tienen propiedades métricas muy diferentes.
Por el contrario, no a todos los espacios topológicos se les puede dar una métrica. Los espacios topológicos que son compatibles con una métrica se denominan metrizables y se comportan particularmente bien en muchos sentidos: en particular, son espacios paracompactos [11] de Hausdorff (por lo tanto, normales ) y primeros contables . [a] El teorema de metrización de Nagata-Smirnov da una caracterización de la metrizabilidad en términos de otras propiedades topológicas, sin referencia a métricas.
La convergencia de secuencias en el espacio euclidiano se define de la siguiente manera:
La convergencia de secuencias en un espacio topológico se define de la siguiente manera:
En espacios métricos, ambas definiciones tienen sentido y son equivalentes. Este es un patrón general para las propiedades topológicas de los espacios métricos: si bien se pueden definir de una manera puramente topológica, a menudo hay una forma que utiliza la métrica que es más fácil de enunciar o más familiar a partir del análisis real.
Informalmente, un espacio métrico está completo si no le faltan "puntos": cada secuencia que parece que debería converger en algo en realidad converge.
Para hacer esto preciso: una secuencia ( x n ) en un espacio métrico M es Cauchy si para cada ε > 0 hay un número entero N tal que para todo m , n > N , d ( x m , x n ) < ε . Según la desigualdad del triángulo, cualquier secuencia convergente es Cauchy: si x m y x n están a menos de ε del límite, entonces están a menos de 2 ε entre sí. Si lo contrario es cierto (toda secuencia de Cauchy en M converge), entonces M es completo.
Los espacios euclidianos están completos, al igual que las otras métricas descritas anteriormente. Dos ejemplos de espacios que no están completos son (0, 1) y los racionales, cada uno con la métrica inducida de . Se puede pensar que (0, 1) "faltan" sus puntos finales 0 y 1. A los racionales les faltan todos los irracionales, ya que cualquier irracional tiene una secuencia de racionales que convergen hacia él (por ejemplo, sus sucesivas aproximaciones decimales). Estos ejemplos muestran que la completitud no es una propiedad topológica, ya que es completa pero el espacio homeomorfo (0, 1) no lo es.
Esta noción de "puntos faltantes" puede precisarse. De hecho, cada espacio métrico tiene una terminación única , que es un espacio completo que contiene el espacio dado como un subconjunto denso . Por ejemplo, [0, 1] es la compleción de (0, 1) y los números reales son la compleción de los racionales.
Dado que generalmente es más fácil trabajar con espacios completos, las terminaciones son importantes en todas las matemáticas. Por ejemplo, en álgebra abstracta, los números p -ádicos se definen como la finalización de los racionales bajo una métrica diferente. La finalización es particularmente común como herramienta en el análisis funcional . A menudo uno tiene un conjunto de funciones interesantes y una forma de medir distancias entre ellas. Al completar este espacio métrico se obtiene un nuevo conjunto de funciones que pueden ser menos agradables, pero no obstante útiles porque se comportan de manera similar a las funciones originales en aspectos importantes. Por ejemplo, las soluciones débiles de ecuaciones diferenciales suelen vivir en una terminación (un espacio de Sobolev ) en lugar del espacio original de funciones agradables para las cuales la ecuación diferencial realmente tiene sentido.
Un espacio métrico M está acotado si hay un r tal que ningún par de puntos en M estén separados por más de una distancia r . [b] El menor de estos r se llamadiámetro deM.
El espacio M se llama precompacto o totalmente acotado si para todo r > 0 existe una cobertura finita de M por bolas abiertas de radio r . Todo espacio totalmente acotado está acotado. Para ver esto, comience con una cobertura finita de r -balls para algún r arbitrario . Dado que el subconjunto de M que consta de los centros de estas bolas es finito, tiene un diámetro finito, digamos D. Según la desigualdad del triángulo, el diámetro de todo el espacio es como máximo D + 2 r . Lo contrario no se cumple: un ejemplo de un espacio métrico que está acotado pero no totalmente acotado es (o cualquier otro conjunto infinito) con la métrica discreta.
La compacidad es una propiedad topológica que generaliza las propiedades de un subconjunto cerrado y acotado del espacio euclidiano. Existen varias definiciones equivalentes de compacidad en espacios métricos:
Un ejemplo de espacio compacto es el intervalo cerrado [0, 1] .
La compacidad es importante por razones similares a la integridad: facilita encontrar límites. Otra herramienta importante es el lema numérico de Lebesgue , que muestra que para cualquier cubierta abierta de un espacio compacto, cada punto está relativamente profundo dentro de uno de los conjuntos de la cubierta.
A diferencia del caso de espacios topológicos o estructuras algebraicas como grupos o anillos , no existe un único tipo "correcto" de función que preserve la estructura entre espacios métricos. En cambio, se trabaja con diferentes tipos de funciones según los objetivos de cada uno. A lo largo de esta sección, supongamos que y son dos espacios métricos. Las palabras "función" y "mapa" se usan indistintamente.
Una interpretación de un mapa que "conserva la estructura" es aquella que preserva completamente la función de distancia:
De los axiomas del espacio métrico se deduce que una función que preserva la distancia es inyectiva. Una función biyectiva que preserva la distancia se llama isometría . [13] Un ejemplo quizás no obvio de una isometría entre espacios descritos en este artículo es el mapa definido por
Si existe una isometría entre los espacios M 1 y M 2 , se dice que son isométricos . Los espacios métricos que son isométricos son esencialmente idénticos .
En el otro extremo del espectro, uno puede olvidarse por completo de la estructura métrica y estudiar mapas continuos , que sólo conservan la estructura topológica. Existen varias definiciones equivalentes de continuidad para espacios métricos. Los más importantes son:
Un homeomorfismo es una biyección continua cuya inversa también es continua; si existe un homeomorfismo entre M 1 y M 2 , se dice que son homeomorfismos . Los espacios homeomórficos son iguales desde el punto de vista topológico, pero pueden tener propiedades métricas muy diferentes. Por ejemplo, es ilimitado y completo, mientras que (0, 1) es limitado pero no completo.
Una función es uniformemente continua si para todo número real ε > 0 existe δ > 0 tal que para todos los puntos xey en M 1 tales que , tenemos
La única diferencia entre esta definición y la definición de continuidad ε-δ es el orden de los cuantificadores: la elección de δ debe depender sólo de ε y no del punto x . Sin embargo, este cambio sutil marca una gran diferencia. Por ejemplo, los mapas uniformemente continuos toman secuencias de Cauchy en M 1 a secuencias de Cauchy en M 2 . En otras palabras, la continuidad uniforme preserva algunas propiedades métricas que no son puramente topológicas.
Por otro lado, el teorema de Heine-Cantor establece que si M 1 es compacto, entonces todo mapa continuo es uniformemente continuo. En otras palabras, la continuidad uniforme no puede distinguir ninguna característica no topológica de espacios métricos compactos.
Un mapa de Lipschitz es aquel que extiende distancias como máximo en un factor acotado. Formalmente, dado un número real K > 0 , el mapa es K - Lipschitz si los mapas de Lipschitz son particularmente importantes en geometría métrica, ya que proporcionan más flexibilidad que los mapas que preservan la distancia, pero aún hacen un uso esencial de la métrica. [14] Por ejemplo, una curva en un espacio métrico es rectificable (tiene longitud finita) si y sólo si tiene una reparametrización de Lipschitz.
Un mapa de 1-Lipschitz a veces se denomina mapa métrico o no expandible . Los mapas métricos se consideran comúnmente como morfismos de la categoría de espacios métricos .
Un mapa de K -Lipschitz para K < 1 se llama contracción . El teorema del punto fijo de Banach establece que si M es un espacio métrico completo, entonces toda contracción admite un único punto fijo . Si el espacio métrico M es compacto, el resultado es válido para una condición ligeramente más débil en f : un mapa admite un punto fijo único si
Una cuasiisometría es un mapa que preserva la "estructura a gran escala" de un espacio métrico. Las cuasiisometrías no tienen por qué ser continuas. Por ejemplo, y su subespacio son cuasi isométricos, aunque uno esté conexo y el otro sea discreto. La relación de equivalencia de la cuasiisometría es importante en la teoría geométrica de grupos : el lema de Švarc-Milnor establece que todos los espacios sobre los que actúa geométricamente un grupo son cuasiisométricos. [15]
Formalmente, el mapa es una incrustación cuasi isométrica si existen constantes A ≥ 1 y B ≥ 0 tales que Es una cuasi isometría si además es cuasi sobreyectiva , es decir, hay una constante C ≥ 0 tal que cada punto in está a una distancia máxima de C de algún punto de la imagen .
Dados dos espacios métricos y :
Un espacio vectorial normado es un espacio vectorial equipado con una norma , que es una función que mide la longitud de los vectores. La norma de un vector v normalmente se denota por . Cualquier espacio vectorial normado puede equiparse con una métrica en la que la distancia entre dos vectores xey esté dada por La métrica d se dice que es inducida por la norma . Por el contrario, [16] si una métrica d en un espacio vectorial X es
entonces es la métrica inducida por la norma. Una relación similar se cumple entre las seminormas y las pseudométricas .
Entre ejemplos de métricas inducidas por una norma se encuentran las métricas d 1 , d 2 y d ∞ on , que son inducidas por la norma de Manhattan , la norma euclidiana y la norma máxima , respectivamente. De manera más general, la incrustación de Kuratowski permite ver cualquier espacio métrico como un subespacio de un espacio vectorial normado.
Los espacios vectoriales normados de dimensión infinita, particularmente los espacios de funciones, se estudian en el análisis funcional . La completitud es particularmente importante en este contexto: un espacio vectorial normado completo se conoce como espacio de Banach . Una propiedad inusual de los espacios vectoriales normados es que las transformaciones lineales entre ellos son continuas si y sólo si son Lipschitz. Estas transformaciones se conocen como operadores acotados .
Una curva en un espacio métrico ( M , d ) es una función continua . La longitud de γ se mide por En general, este supremo puede ser infinito; una curva de longitud finita se llama rectificable . [17] Supongamos que la longitud de la curva γ es igual a la distancia entre sus puntos finales, es decir, es el camino más corto posible entre sus puntos finales. Después de la reparametrización por longitud de arco, γ se convierte en una geodésica : una curva que es una función que preserva la distancia. [15] Una geodésica es el camino más corto posible entre dos de sus puntos. [C]
Un espacio métrico geodésico es un espacio métrico que admite una geodésica entre dos de sus puntos cualesquiera. Los espacios y son ambos espacios métricos geodésicos. En , las geodésicas son únicas, pero en , a menudo hay infinitas geodésicas entre dos puntos, como se muestra en la figura en la parte superior del artículo.
El espacio M es un espacio de longitud (o la métrica d es intrínseca ) si la distancia entre dos puntos cualesquiera xey es el mínimo de longitudes de caminos entre ellos. A diferencia de un espacio métrico geodésico, no es necesario alcanzar el mínimo. Un ejemplo de un espacio de longitud que no es geodésico es el plano euclidiano menos el origen: los puntos (1, 0) y (-1, 0) pueden estar unidos por caminos de longitud arbitrariamente cercana a 2, pero no por un camino de longitud 2. Un ejemplo de un espacio métrico que no es un espacio de longitud lo da la línea métrica recta en la esfera: la línea recta entre dos puntos que pasan por el centro de la Tierra es más corta que cualquier camino a lo largo de la superficie.
Dado cualquier espacio métrico ( M , d ) , se puede definir una nueva función de distancia intrínseca d intrínseca en M estableciendo la distancia entre los puntos xey como mínima de las d longitudes de los caminos entre ellos. Por ejemplo, si d es la distancia en línea recta en la esfera, entonces d intrínseca es la distancia del círculo máximo. Sin embargo, en algunos casos d intrínseco puede tener valores infinitos. Por ejemplo, si M es el copo de nieve de Koch con la métrica subespacial d inducida desde , entonces la distancia intrínseca resultante es infinita para cualquier par de puntos distintos.
Una variedad de Riemann es un espacio equipado con un tensor métrico de Riemann , que determina las longitudes de los vectores tangentes en cada punto. Se puede pensar en definir una noción de distancia de manera infinitesimal. En particular, una trayectoria diferenciable en una variedad de Riemann M tiene una longitud definida como la integral de la longitud del vector tangente a la trayectoria: En una variedad de Riemann conexa, se define la distancia entre dos puntos como el mínimo de longitudes de trayectorias suaves entre ellos. Esta construcción se generaliza a otros tipos de métricas infinitesimales en variedades, como las métricas subriemannianas y de Finsler .
La métrica de Riemann está determinada únicamente por la función de distancia; esto significa que, en principio, toda la información sobre una variedad de Riemann se puede recuperar a partir de su función de distancia. Una dirección en la geometría métrica es encontrar formulaciones puramente métricas ( "sintéticas" ) de las propiedades de las variedades de Riemann. Por ejemplo, una variedad de Riemann es un espacio CAT( k ) (una condición sintética que depende puramente de la métrica) si y sólo si su curvatura seccional está limitada arriba por k . [20] Así, los espacios CAT( k ) generalizan los límites de curvatura superiores a espacios métricos generales.
El análisis real hace uso tanto de la métrica on como de la medida de Lebesgue . Por lo tanto, las generalizaciones de muchas ideas del análisis residen naturalmente en espacios de medidas métricas: espacios que tienen tanto una medida como una métrica que son compatibles entre sí. Formalmente, un espacio de medida métrica es un espacio métrico equipado con una medida regular de Borel de modo que cada bola tiene medida positiva. [21] Por ejemplo, los espacios euclidianos de dimensión n , y más generalmente las variedades de Riemann n -dimensionales, tienen naturalmente la estructura de un espacio de medidas métricas, equipado con la medida de Lebesgue . Ciertos espacios métricos fractales , como la junta de Sierpiński, pueden equiparse con la medida de Hausdorff α-dimensional donde α es la dimensión de Hausdorff . Sin embargo, en general, es posible que un espacio métrico no tenga una elección de medida "obvia".
Una aplicación de los espacios de medidas métricas es generalizar la noción de curvatura de Ricci más allá de las variedades de Riemann. Así como los espacios CAT( k ) y Alexandrov generalizan los límites de curvatura seccional, los espacios RCD son una clase de espacios de medidas métricas que generalizan los límites inferiores de la curvatura de Ricci. [22]
AEl espacio métrico es discreto si su topología inducida es la topología discreta . Aunque muchos conceptos, como completitud y compacidad, no son interesantes para tales espacios, son objeto de estudio en varias ramas de las matemáticas. En particular,Los espacios métricos finitos (los que tienen un número finito de puntos) se estudian en combinatoria e informática teórica . [23] Las incrustaciones en otros espacios métricos están particularmente bien estudiadas. Por ejemplo, no todo espacio métrico finito puede incrustarse isométricamente en un espacio euclidiano o en un espacio de Hilbert . Por otra parte, en el peor de los casos la distorsión requerida (constante de bilipschitz) es sólo logarítmica en el número de puntos. [24] [25]
Para cualquier gráfico conectado no dirigido G , el conjunto V de vértices de G se puede convertir en un espacio métrico definiendo la distancia entre los vértices xey como la longitud del camino de borde más corto que los conecta . A esto también se le llama distancia del camino más corto o distancia geodésica . En la teoría geométrica de grupos, esta construcción se aplica al gráfico de Cayley de un grupo (típicamente infinito) finitamente generado , dando como resultado la palabra métrica . Hasta un homeomorfismo bilipschitz, la palabra métrica depende sólo del grupo y no del conjunto generador finito elegido. [15]
En las matemáticas modernas, a menudo se estudian espacios cuyos puntos son en sí mismos objetos matemáticos. Una función de distancia en dicho espacio generalmente tiene como objetivo medir la disimilitud entre dos objetos. Aquí hay unos ejemplos:
La idea de espacios de objetos matemáticos también se puede aplicar a subconjuntos de un espacio métrico, así como a los propios espacios métricos. La distancia de Hausdorff y Gromov-Hausdorff define métricas en el conjunto de subconjuntos compactos de un espacio métrico y el conjunto de espacios métricos compactos, respectivamente.
Supongamos que ( M , d ) es un espacio métrico y sea S un subconjunto de M. La distancia de S a un punto x de M es, informalmente, la distancia de x al punto más cercano de S. Sin embargo, dado que puede no haber un único punto más cercano , se define mediante un mínimo : en particular, si y sólo si x pertenece a la clausura de S. Además, las distancias entre puntos y conjuntos satisfacen una versión de la desigualdad del triángulo: y por lo tanto el mapa definido por es continuo. Por cierto, esto demuestra que los espacios métricos son completamente regulares .
Dados dos subconjuntos S y T de M , su distancia de Hausdorff es Informalmente, dos conjuntos S y T están cerca entre sí en la distancia de Hausdorff si ningún elemento de S está demasiado lejos de T y viceversa. Por ejemplo, si S es un conjunto abierto en el espacio euclidiano, T es una red ε dentro de S , entonces . En general, la distancia de Hausdorff puede ser infinita o cero. Sin embargo, la distancia de Hausdorff entre dos conjuntos compactos distintos es siempre positiva y finita. Así , la distancia de Hausdorff define una métrica en el conjunto de subconjuntos compactos de M.
La métrica de Gromov-Hausdorff define una distancia entre (clases de isometría de) espacios métricos compactos. La distancia de Gromov-Hausdorff entre espacios compactos X e Y es el mínimo de la distancia de Hausdorff sobre todos los espacios métricos Z que contienen X e Y como subespacios. Si bien rara vez es útil conocer el valor exacto de la distancia Gromov-Hausdorff, la topología resultante ha encontrado muchas aplicaciones.
Si son espacios métricos y N es la norma euclidiana en , entonces es un espacio métrico, donde la métrica del producto está definida por y la topología inducida concuerda con la topología del producto . Por la equivalencia de normas en dimensiones finitas, se obtiene una métrica topológicamente equivalente si N es la norma del taxi , una norma p , la norma máxima o cualquier otra norma que no sea decreciente a medida que aumentan las coordenadas de una n -tupla positiva. (produciendo la desigualdad del triángulo).
De manera similar, se puede obtener una métrica sobre el producto topológico de un número contable de espacios métricos utilizando la métrica
El producto topológico de incontables espacios métricos no necesita ser metrizable. Por ejemplo, un producto incontable de copias de no es contable primero y, por lo tanto, no es metrizable.
Si M es un espacio métrico con métrica d y es una relación de equivalencia en M , entonces podemos dotar al conjunto cociente de una pseudométrica. La distancia entre dos clases de equivalencia y se define como donde se toma el mínimo sobre todas las secuencias finitas y con , , . [29] En general, esto sólo definirá una pseudométrica , es decir, no implica necesariamente que . Sin embargo, para algunas relaciones de equivalencia (por ejemplo, aquellas que se obtienen al pegar poliedros a lo largo de caras), es una métrica.
La métrica del cociente se caracteriza por la siguiente propiedad universal . Si es una aplicación métrica (es decir, 1-Lipschitz) entre espacios métricos que satisfacen f ( x ) = f ( y ) siempre que , entonces la función inducida , dada por , es una aplicación métrica
La métrica del cociente no siempre induce la topología del cociente . Por ejemplo, el cociente topológico del espacio métrico que identifica todos los puntos de la forma no es metrizable ya que no es contable en primer lugar , pero la métrica del cociente es una métrica bien definida en el mismo conjunto que induce una topología más burda . Además, diferentes métricas en el espacio topológico original (una unión disjunta de un número contable de intervalos) conducen a diferentes topologías en el cociente. [30]
Un espacio topológico es secuencial si y sólo si es un cociente (topológico) de un espacio métrico. [31]
Hay varias nociones de espacios que tienen menos estructura que un espacio métrico, pero más que un espacio topológico.
También existen numerosas formas de relajar los axiomas de una métrica, dando lugar a diversas nociones de espacios métricos generalizados. Estas generalizaciones también se pueden combinar. La terminología utilizada para describirlos no está completamente estandarizada. En particular, en el análisis funcional , las pseudométricas a menudo provienen de seminormas en espacios vectoriales, por lo que es natural llamarlas "semimétricas". Esto entra en conflicto con el uso del término en topología .
Algunos autores definen métricas para permitir que la función de distancia d alcance el valor ∞, es decir, las distancias son números no negativos en la recta numérica real extendida . [4] Esta función también se denomina métrica extendida o "∞-métrica". Cada métrica extendida se puede reemplazar por una métrica de valor real que sea topológicamente equivalente. Esto se puede hacer usando una función acotada subaditiva que aumenta monótonamente y que es cero en cero, por ejemplo, o .
El requisito de que la métrica tome valores se puede relajar para considerar métricas con valores en otras estructuras, que incluyen:
Estas generalizaciones todavía inducen una estructura uniforme en el espacio.
Una pseudométrica on es una función que satisface los axiomas de una métrica, excepto que en lugar del segundo (identidad de indiscernibles) solo se requiere para todos . [33] En otras palabras, los axiomas de una pseudométrica son:
En algunos contextos, las pseudométricas se denominan semimétricas [34] debido a su relación con las seminormas .
Ocasionalmente, una función cuasimétrica se define como una función que satisface todos los axiomas de una métrica con la posible excepción de la simetría. [35] El nombre de esta generalización no está del todo estandarizado. [36]
Las cuasimétricas son comunes en la vida real. Por ejemplo, dado un conjunto X de pueblos de montaña, los tiempos típicos de caminata entre elementos de X forman un cuasimétrico porque viajar cuesta arriba lleva más tiempo que viajar cuesta abajo. Otro ejemplo es la duración de los viajes en automóvil en una ciudad con calles de un solo sentido: aquí, el camino más corto del punto A al punto B recorre un conjunto de calles diferente al camino más corto de B a A y puede tener una longitud diferente.
Un cuasimétrico en los reales se puede definir estableciendo El 1 se puede reemplazar, por ejemplo, por infinito o por cualquier otra función subaditiva de y - x . Este cuasimétrico describe el coste de modificar una barra de metal: es fácil reducir su tamaño limándola , pero es difícil o imposible hacerla crecer.
Dado un cuasimétrico en X , se puede definir una bola R alrededor de x como el conjunto . Como en el caso de una métrica, tales bolas forman una base para una topología en X , pero esta topología no necesita ser metrizable. Por ejemplo, la topología inducida por lo cuasimétrico sobre los reales descrita anteriormente es la línea de Sorgenfrey (invertida) .
En una metamétrica , se satisfacen todos los axiomas de una métrica excepto que la distancia entre puntos idénticos no es necesariamente cero. En otras palabras, los axiomas de una metamétrica son:
La metametría aparece en el estudio de los espacios métricos hiperbólicos de Gromov y sus límites. La metamétrica visual en dicho espacio satisface los puntos en el límite, pero por lo demás es aproximadamente la distancia desde el límite. La metametría fue definida por primera vez por Jussi Väisälä. [37] En otros trabajos, una función que satisface estos axiomas se llama métrica parcial [38] [39] o métrica dislocada . [33]
Una on semimétrica es una función que satisface los primeros tres axiomas, pero no necesariamente la desigualdad del triángulo:
Algunos autores trabajan con una forma más débil de la desigualdad triangular, como por ejemplo:
La desigualdad ρ-inframétrica implica la desigualdad triangular ρ-relajada (asumiendo el primer axioma), y la desigualdad triangular ρ-relajada implica la desigualdad 2ρ-inframétrica. Los semimétricos que satisfacen estas condiciones equivalentes a veces se denominan cuasimétricos , [40] casimétricos [41] o inframétricos . [42]
Las desigualdades ρ-inframétricas se introdujeron para modelar tiempos de retraso de ida y vuelta en Internet . [42] La desigualdad triangular implica la desigualdad 2-inframétrica, y la desigualdad ultramétrica es exactamente la desigualdad 1-inframétrica.
Relajar los últimos tres axiomas conduce a la noción de premétrica , es decir, una función que satisface las siguientes condiciones:
Este no es un término estándar. En ocasiones se utiliza para referirse a otras generalizaciones de métricas como pseudosemimétricas [43] o pseudométricas; [44] en las traducciones de libros rusos a veces aparece como "pramétrico". [45] Una premétrica que satisface la simetría, es decir, una pseudosemimétrica, también se llama distancia. [46]
Cualquier premétrica da lugar a una topología de la siguiente manera. Para un real positivo , la bola centrada en un punto se define como
Un conjunto se llama abierto si para cualquier punto del conjunto hay una bola centrada en la que está contenida en el conjunto. Todo espacio premétrico es un espacio topológico y, de hecho, un espacio secuencial . En general, las propias bolas no necesitan ser conjuntos abiertos con respecto a esta topología. En cuanto a las métricas, la distancia entre dos conjuntos y , se define como
Esto define una premétrica en el conjunto de potencias de un espacio premétrico. Si comenzamos con un espacio (pseudosemi-)métrico, obtenemos un espacio pseudosemimétrico, es decir, un premétrico simétrico. Cualquier premétrica da lugar a un operador de precierre de la siguiente manera:
Los prefijos pseudo- , cuasi- y semi- también se pueden combinar, por ejemplo, un pseudocuasimétrico (a veces llamado hemimétrico ) relaja tanto el axioma de indiscernibilidad como el axioma de simetría y es simplemente un premétrico que satisface la desigualdad del triángulo. Para espacios pseudocuasimétricos, las bolas abiertas forman una base de conjuntos abiertos. Un ejemplo muy básico de espacio pseudocuasimétrico es el conjunto con la premétrica dada por y El espacio topológico asociado es el espacio de Sierpiński .
William Lawvere estudió los conjuntos equipados con un pseudocuasimétrico extendido como "espacios métricos generalizados". [47] Desde un punto de vista categórico , los espacios pseudométricos extendidos y los espacios pseudocuasimétricos extendidos, junto con sus correspondientes mapas no expansivos, son los que mejor se comportan de las categorías de espacios métricos . Se pueden tomar productos y coproductos arbitrarios y formar objetos cocientes dentro de la categoría dada. Si se deja de lado "extendido", sólo se pueden tomar productos y coproductos finitos. Si se deja caer "pseudo", no se pueden tomar cocientes.
Lawvere también dio una definición alternativa de dichos espacios como categorías enriquecidas . El conjunto ordenado puede verse como una categoría con un morfismo si y ninguno en caso contrario. Usar + como producto tensorial y 0 como identidad convierte esta categoría en una categoría monoide . Cada espacio (pseudocuasi-)métrico extendido ahora puede verse como una categoría enriquecida en :
La noción de métrica se puede generalizar desde una distancia entre dos elementos hasta un número asignado a un conjunto múltiple de elementos. Un multiconjunto es una generalización de la noción de conjunto en el que un elemento puede aparecer más de una vez. Defina la unión multiconjunto de la siguiente manera: si un elemento x ocurre m veces en X y n veces en Y , entonces ocurre m + n veces en U. Una función d sobre el conjunto de multiconjuntos finitos no vacíos de elementos de un conjunto M es una métrica [48] si
Al considerar los casos de los axiomas 1 y 2 en los que el multiconjunto X tiene dos elementos y el caso del axioma 3 en el que los multiconjuntos X , Y y Z tienen un elemento cada uno, se recuperan los axiomas habituales para una métrica. Es decir, cada métrica multiconjunto produce una métrica ordinaria cuando se restringe a conjuntos de dos elementos.
Un ejemplo simple es el conjunto de todos los multiconjuntos finitos de números enteros no vacíos con . Ejemplos más complejos son la distancia de información en conjuntos múltiples; [48] y distancia de compresión normalizada (NCD) en series múltiples. [49]
... durante la mayor parte del siglo pasado fue una creencia común que la "geometría de variedades" se reducía básicamente al "análisis de variedades". Los métodos geométricos dependían en gran medida de maquinaria diferencial, como se puede adivinar por el nombre "Geometría diferencial".