Espacio métrico
Un espacio métrico es un conjunto en el que se define una distancia entre cualquier par de elementos .
Definiciones
El espacio métrico es un par , donde es un conjunto, y es una función numérica que se define sobre el producto cartesiano , toma valores en el conjunto de los números reales no negativos, y es tal que



( axioma de identidad ).
( axioma de simetría ).
( axioma del triángulo o desigualdad del triángulo ).
Donde
- el conjunto se denomina conjunto subyacente del espacio métrico.

- los elementos del conjunto se llaman puntos del espacio métrico.

- la función se llama métrica .

Notas
- De los axiomas se sigue que la función distancia no es negativa, ya que
.
- Si representamos la desigualdad triangular como
para todos , y ,


entonces el axioma de simetría se sigue del axioma de identidad y de la desigualdad triangular.
- Estas condiciones expresan nociones intuitivas sobre el concepto de distancia y por lo tanto se denominan axiomas de distancia . [1] Por ejemplo, que la distancia entre diferentes puntos sea positiva y la distancia de a sea la misma que la distancia de a . La desigualdad del triángulo significa que la distancia de a por no es menor que la recta de a .









Notación
Por lo general, la distancia entre puntos y en el espacio métrico se denota por o .





- En geometría métrica se acepta la designación o , si es necesario recalcar de que estamos hablando . También se utilizan los símbolos y (a pesar de que la expresión para puntos y no tiene sentido).








- En geometría clásica, se aceptan las designaciones o (los puntos generalmente se denotan con letras latinas mayúsculas).


Definiciones relacionadas
- Una biyección entre diferentes espacios métricos y que conserva distancias se llama isometría ;


- En este caso los espacios y se denominan
isométricos .

Si , y para , entonces decimos que converge a : [2] .





Si es un subconjunto del conjunto , entonces, considerando la restricción de la métrica al conjunto , podemos obtener un espacio métrico , que se denomina subespacio del espacio .





Un espacio métrico se dice completo si alguna secuencia fundamental en él converge a algún elemento de este espacio.
- Una métrica on se llama interna si dos puntos cualesquiera e in pueden conectarse mediante una curva con una longitud arbitrariamente cercana a .






- Un espacio se llama geodésico si dos puntos cualesquiera pueden estar conectados por una curva de longitud igual a .




- Todo espacio métrico tiene una topología natural , que se basa en un conjunto de bolas abiertas , es decir, conjuntos del siguiente tipo:

donde es un punto en y es un número real positivo llamado radio de la pelota. En otras palabras, un conjunto es abierto si, junto con cualquiera de sus puntos, contiene una bola abierta centrada en ese punto.



- Se dice que dos métricas que definen la misma topología son equivalentes .
- Se dice que un espacio topológico que se puede obtener de esta manera es metrizable .
- La distancia de un punto a un subconjunto en está determinada por la fórmula:



.
Entonces , sólo si pertenece al
cierre .

Ejemplos
La convergencia de mapeos con respecto a esta métrica es equivalente a su convergencia uniforme en todo el espacio .

En el caso particular cuando es un espacio compacto y es una recta real, se obtiene el espacio de todas las funciones continuas sobre un espacio con la métrica de convergencia uniforme.



- Sean , , los espacios de funciones en el intervalo , respectivamente integrable de Lebesgue, integrable de Riemann y continua. En ellos, la distancia se puede determinar mediante la fórmula:
![{\ estilo de visualización L ([a, b])}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bcb319de4e3b06bfa212123f07a0824fe630d2c8)
![{\ estilo de visualización R ([a, b])}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cba522669464cf28707706cbc69a8e1ab42f7287)
![{\ estilo de visualización C ([a, b])}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d8e4f44fa2823fcdffc5fc26981c0d4fa57cade9)
![[a,b]](https://wikimedia.org/api/rest_v1/media/math/render/svg/9c4b788fc5c637e26ee98b45f89a5c08c85f7935)

Para que esta función se convierta en una métrica, en los dos primeros espacios es necesario identificar funciones que difieren en un
conjunto de medida 0 . De lo contrario, esta función será solo una semimétrica. (En el espacio de funciones que son continuas en un intervalo, las funciones que difieren en un conjunto de medida 0 coinciden de todos modos).
- En el espacio de tiempos de funciones continuamente diferenciables, la métrica se introduce mediante la fórmula:

![{\displaystyle C^{k}([a,b])}](https://wikimedia.org/api/rest_v1/media/math/render/svg/60c881e92bbd45649dc2c7dc680e2a2fca01a48b)
,
donde es la métrica de convergencia uniforme en (ver arriba).

- Cualquier espacio normado se puede convertir en uno métrico definiendo la función de distancia
.

es una métrica que define la misma
topología . (Se puede reemplazar por cualquier
secuencia sumable de números estrictamente
positivos ).
- Cualquier variedad de Riemann conexa se puede convertir en un espacio métrico definiendo la distancia como el mínimo mínimo de las longitudes de los caminos que conectan un par de puntos.

- El conjunto de vértices de cualquier gráfico conectado se puede convertir en un espacio métrico definiendo la distancia como el número mínimo de aristas en un camino que conecta los vértices. Más generalmente, si a cada borde de un gráfico se le asigna un número positivo (longitud del borde), la distancia entre los vértices se puede definir como la suma mínima de las longitudes de los bordes a lo largo de cualquier camino de un vértice a otro.

- La distancia de edición de gráfico define la función de distancia entre gráficos .
- El conjunto de subconjuntos compactos de cualquier espacio métrico se puede convertir en un espacio métrico definiendo la distancia utilizando la llamada métrica de Hausdorff . En esta métrica, dos subconjuntos están cerca uno del otro si para cualquier punto de un conjunto es posible encontrar un punto cercano en el otro subconjunto. Aquí está la definición exacta:



.
Construcciones
- El producto cartesiano de espacios métricos se puede dotar de la estructura de un espacio métrico de muchas maneras, por ejemplo:



Estas métricas son equivalentes entre sí.
Propiedades
- Un espacio métrico es compacto si y solo si es posible elegir una subsecuencia convergente de cualquier secuencia de puntos (compacidad secuencial).
- Un espacio métrico puede no tener una base contable , pero siempre satisface el primer axioma de la contabilidad : tiene una base contable en cada punto.
- Además, todo conjunto compacto en un espacio métrico tiene una base vecinal contable.
- Además, en cada espacio métrico existe una base tal que cada punto del espacio pertenece solo a un conjunto numerable de sus elementos: una base numerable por puntos (pero esta propiedad es más débil que la metrizabilidad incluso en presencia de paracompactness y Hausdorffness ).
- los espacios métricos con asignaciones cortas forman una categoría , generalmente denominada Met .
Variaciones y generalizaciones
- Para un conjunto dado , una función se llama pseudométrica o semimétrica si para cualquiera de sus puntos satisface las siguientes condiciones:




;
( simetría );
( desigualdad triangular ).
Es decir, a diferencia de la métrica, diferentes puntos pueden estar a distancia cero. La pseudométrica define naturalmente una métrica en el
espacio del cociente , donde .

- Para un conjunto dado , una función se llama cuasi -métrica si para cualquier punto , , de ella satisface las siguientes condiciones:





;
( cuasi-simetría );
(desigualdad triangular generalizada).
- Una métrica en un espacio se llama ultramétrica si satisface la desigualdad del triángulo fuerte :
Para todos , y en .




- A veces conviene considerar -metrics , es decir, métricas con valores . Para cualquier métrica, se puede construir una métrica finita que defina la misma topología. Por ejemplo,

![{\ estilo de visualización [0; \ infinito]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2e2022ab7e87daaff1c398d2c87f7806815ca39b)

o
Además, para cualquier punto en tal espacio, el conjunto de puntos ubicados a una distancia finita de él forma un espacio métrico ordinario, llamado componente métrico . En particular, cualquier espacio con -metric se puede considerar como un conjunto de espacios métricos ordinarios y la distancia entre cualquier par de puntos en diferentes espacios se puede definir como .


- A veces , una 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 [3] [4] . El nombre de esta generalización no está del todo resuelto [5] . Smith [4] los llama "semimétricos" en su libro. El mismo término también se usa a menudo para otras dos generalizaciones de métricas.
( positividad )
( definición positiva )
- re ( x , y )= re ( y , x )( simetría tachada)
( desigualdad triangular )
En la vida real se encuentran ejemplos de cuasi-métricas. Por ejemplo, dado un conjunto de pueblos de montaña, el tiempo de caminata entre elementos forma una cuasi-métrica, ya que se tarda más en subir que en bajar. Otro ejemplo es la topología de
bloques de ciudad que tienen calles de un solo sentido, donde la ruta de un punto a otro consta de un conjunto diferente de calles en comparación con la ruta de a .





- En metametría , se cumplen todos los axiomas de la métrica, excepto que la distancia entre puntos idénticos no es necesariamente cero. En otras palabras, los axiomas para la metametría son:

- se sigue de (pero no al revés)



.
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 la igualdad de puntos en el límite, pero por lo demás es aproximadamente igual a la distancia desde el límite. La metametría fue definida por primera vez por Jussi Väisälä
[6] .



- El debilitamiento de los tres últimos axiomas conduce al concepto de premétrica , es decir, una función que satisface las condiciones:


El término no se ha asentado, en ocasiones se utiliza para generalizar otras métricas, como pseudosemimetría
[7] o pseudometría
[8] . En la literatura en lengua rusa (y en las traducciones del ruso), este término a veces aparece como "pramétrico"
[9] [10] .
Cualquier premétrica conduce a una topología de la siguiente manera. Para un real positivo , una bola centrada en un punto se define como



. Un conjunto se llama abierto si para cualquier punto del conjunto existe una bola centrada en que está contenida en el conjunto. Cualquier espacio premétrico es un espacio topológico y, de hecho,
un espacio secuencial . En general, las bolas en sí mismas no necesitan ser conjuntos abiertos de acuerdo con 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
booleano del espacio premétrico. Si partimos de un espacio (pseudo-semi-)métrico, obtenemos una pseudo-semi-métrica, es decir, una premétrica simétrica. Cualquier premétrica conduce al
operador de precierre :


.
- Los prefijos pseudo- , cuasi- y semi- se pueden combinar, por ejemplo, el pseudo- cuasimétrico (a veces llamado hemimétrico ) debilita tanto el axioma de indistinguibilidad como el axioma de simetría, y es simplemente una premétrica que satisface la desigualdad del triángulo. Para espacios pseudocuasimétricos, las bolas abiertas forman la base de conjuntos abiertos. El ejemplo más simple de un espacio pseudocuasimétrico es un conjunto con una premétrica dada por una función tal que y . El espacio topológico asociado es el espacio de Sierpinski .





William Lover estudió los conjuntos equipados con pseudocuasimétricas extendidas como "espacios métricos generalizados"
[11] [12] . Desde un punto de vista
categórico , los espacios pseudométricos extendidos y los espacios pseudocuasimétricos extendidos, junto con sus correspondientes
asignaciones no expansivas , funcionan mejor en categorías de espacios métricos.
Uno puede tomar productos y coproductos arbitrarios y formar
un objeto cociente con una categoría dada. Si omitimos la palabra "extendido", solo podemos tomar productos y coproductos finitos. Si se omite "pseudo", no se pueden obtener objetos de factor.
Los espacios de aproximación son una generalización de los espacios métricos que tienen en cuenta estas buenas propiedades categóricas.
- Un espacio lineal se llama espacio métrico lineal si la distancia entre sus elementos está dada en él y las operaciones algebraicas son continuas en su métrica, es decir, [2] :



- Ejemplo: El espacio lineal de todas las sucesiones complejas se puede convertir en un espacio métrico lineal introduciendo la distancia entre sus elementos mediante la fórmula:

- Un espacio hipermétrico es un espacio métrico en el que se cumplen desigualdades hipermétricas. Eso es,

para cualquier punto y entero tal que .
[13]

- Tenga en cuenta que para y , la desigualdad hipermétrica se convierte en la desigualdad triangular habitual


- Un ejemplo de un espacio hipermétrico: -space .

Historia
Maurice Fréchet introdujo por primera vez el concepto de espacio métrico [14] en relación con la consideración de espacios funcionales.
Notas
- ↑ Kudryavtsev L. D. Análisis matemático. II vol. - M., Escuela Superior , 1970. - p. 296
- ↑ 1 2 Kerin S. G. Análisis funcional. - M., Nauka , 1972. - pág. 22-24
- ↑ Steen, Seebach, 1995 .
- ↑ 12 Smyth , 1987 , pág. 236–253.
- ↑ Rolewicz, 1987 .
- ↑ Väisälä, 2005 , pág. 187–231.
- ↑ Buldyguin, Kozachenko, 1998 .
- ↑ Helemsky, 2004 .
- ↑ Arkhangelsky, Fedorchuk, 1988 , p. treinta.
- ↑ Pereira, Aldrovandi, 1995 .
- ↑ Lawvere, 2002 , pág. 1–37.
- ↑ Vickers, 2005 , pág. 328–356.
- ↑ MM Deza, M. Laurent, Geometry of cuts and metrics, Algorithms and Combinatorics, 15, Springer-Verlag, Berlín, 1997.
- ↑ Fréchet M. Sur quelques points du calcul fonctionnel. — Rendiconti del Circolo Matemático de Palermo. - 1906. - 22. - págs. 1-74.
Literatura
- Burago D. Yu., Burago Yu. D., Ivanov S. V. Un curso de geometría métrica. - 2004. - ISBN 5-93972-300-4 .
- Vasiliev N. Espacios métricos . — Cuántico . - 1990. - Nº 1.
- Vasiliev N. Espacios métricos . — Cuántico . - 1970. - Nº 10.
- Skvortsov V. A. Ejemplos de espacios métricos // Biblioteca de Educación Matemática Archivado el 12 de enero de 2014 en Wayback Machine . - 2001. - Número 9.
- Schreider Yu. A. ¿Qué es la distancia? // " Clases Populares de Matemáticas ". - M. : Fizmatgiz, 1963 - Número 38. - 76 p.
- Lawvere, F. William (2002), Espacios métricos, lógica generalizada y categorías cerradas , reimpresiones en teoría y aplicaciones de categorías (n.º 1): 1–37 , < http://tac.mta.ca/tac/reprints /articulos/1/tr1.pdf > ; reimpreso con comentario agregado de Lawvere, F. William (1973), Metric Spaces, Generalized logic, and Closed Categories , Rendiconti del Seminario Matematico e Fisico di Milano T. 43: 135–166 (1974) , DOI 10.1007/BF02924844
- Rubén Aldrovandi, JG Pereira. Una introducción a la física geométrica . ] . - Singapur: World Scientific, 1995. - 699 p. — ISBN 9810222327 . — ISBN 9789810222321 .
- Rolewicz, Stefan (1987), Análisis funcional y teoría de control: sistemas lineales , Springer , ISBN 90-277-2186-6
- Smyth, M. (1987), Cuasi uniformidades: reconciliación de dominios con espacios métricos , en Main, M.; Melton, A. & Mislove, M. et al., 3.ª Conferencia sobre fundamentos matemáticos de la semántica del lenguaje de programación , vol. 298, Lecture Notes in Computer Science, Springer-Verlag, p. 236–253 , DOI 10.1007/3-540-19020-1_12
- Steen, Lynn Arthur y Seebach, J. Arthur Jr. (1995), Contraejemplos en topología , Dover , ISBN 978-0-486-68735-3
- Väisälä, Jussi (2005), Espacios hiperbólicos de Gromov , Expositiones Mathematicae Vol. 23 (3): 187–231, doi : 10.1016/j.exmath.2005.01.010 , < http://www.helsinki.fi/~jvaisala/ grobok.pdf >
- Vickers, Steven (2005), Finalización local de espacios métricos generalizados, I , Teoría y aplicaciones de categorías Vol. 14 (15): 328–356 , < https://www.tac.mta.ca/tac/volumes/14 /15/14-15abs.html > Archivado el 26 de abril de 2021 en Wayback Machine .
- Arkhangelsky A. V. , Fedorchuk V. V. Resultados de la ciencia y la tecnología. Problemas modernos de las matemáticas. direcciones fundamentales. Tomo 17. - VINITI , 1988. - 232 p.
- Buldygin VV, Kozachenko Yu. V. Características métricas de variables y procesos aleatorios. - K. : TViMS, 1998. - 290 p.
- Helemsky A. Ya. Conferencias sobre análisis funcional . - Moscú: MTSNMO , 2004. - ISBN 5-94057-065-8 . (Ruso)
Enlaces