En el estudio matemático de los espacios métricos , se puede considerar la longitud de arco de los caminos en el espacio. Si dos puntos están a una distancia determinada el uno del otro, es natural esperar que uno pueda llegar del primer punto al segundo a lo largo de un camino cuya longitud de arco sea igual (o muy cercana) a esa distancia. La distancia entre dos puntos de un espacio métrico en relación con la métrica intrínseca se define como el mínimo de las longitudes de todos los caminos desde el primer punto hasta el segundo. Un espacio métrico es un espacio métrico de longitud si la métrica intrínseca concuerda con la métrica original del espacio.
Si el espacio tiene la propiedad más fuerte de que siempre existe un camino que alcanza el mínimo de longitud (una geodésica ), entonces puede llamarse espacio métrico geodésico o espacio geodésico . Por ejemplo, el plano euclidiano es un espacio geodésico, con segmentos de línea como geodésicos. El plano euclidiano con el origen eliminado no es geodésico, pero sigue siendo un espacio métrico de longitud.
Definiciones
Dejar ser un espacio métrico , es decir, es una colección de puntos (como todos los puntos del plano o todos los puntos del círculo) y es una función que nos proporciona la distancia entre puntos. Definimos una nueva métrica en , conocida como métrica intrínseca inducida , como sigue:es el mínimo de las longitudes de todos los caminos desde a .
Aquí, un camino desde a es un mapa continuo
con y . La longitud de dicha trayectoria se define como se explica para las curvas rectificables . Establecimos si no hay un camino de longitud finita desde a . Si
para todos los puntos y en , Nosotros decimos eso es un espacio de longitud o un espacio métrico de ruta y la métricaes intrínseco .
Decimos que la métrica tiene puntos medios aproximados si para alguno y cualquier par de puntos y en existe en tal que y son ambos más pequeños que
- .
Ejemplos de
- Espacio euclidiano con la métrica euclidiana ordinaria es un espacio métrico de trayectoria. es también.
- El círculo unitario con la métrica heredada de la métrica euclidiana de (la métrica cordal ) no es un espacio métrico de ruta. La métrica intrínseca inducida enmide distancias como ángulos en radianes , y el espacio métrico de longitud resultante se llama círculo de Riemann . En dos dimensiones, la métrica cordal en la esfera no es intrínseca y la métrica intrínseca inducida viene dada por la distancia del círculo máximo .
- Cada variedad de Riemann se puede convertir en un espacio métrico de trayectoria definiendo la distancia de dos puntos como el mínimo de las longitudes de las curvas continuamente diferenciables que conectan los dos puntos. (La estructura de Riemann permite definir la longitud de tales curvas.) De manera análoga, otras variedades en las que se define una longitud incluyen las variedades de Finsler y las variedades subriemannianas .
- Cualquier espacio métrico completo y convexo es un espacio métrico de longitud ( Khamsi & Kirk 2001 , Teorema 2.16), resultado de Karl Menger . Sin embargo, lo contrario no se cumple en general: hay espacios métricos de longitud que no son convexos.
Propiedades
- En general, tenemos y la topología definida pores por tanto siempre más fino o igual que el definido por.
- El espacio es siempre un espacio métrico de ruta (con la advertencia, como se mencionó anteriormente, de que puede ser infinito).
- La métrica de un espacio de longitud tiene puntos medios aproximados. Por el contrario, todo espacio métrico completo con puntos medios aproximados es un espacio de longitud.
- El teorema de Hopf-Rinow establece que si un espacio de longitudes completo y localmente compacto, entonces dos puntos ense puede conectar mediante una geodésica minimizadora y todos los conjuntos cerrados delimitados enson compactos .
Referencias
- Herbert Busemann, Obras seleccionadas, (Athanase Papadopoulos, ed.) Volumen I, 908 p., Springer International Publishing, 2018.
- Herbert Busemann, Obras seleccionadas, (Athanase Papadopoulos, ed.) Volumen II, 842 p., Springer International Publishing, 2018.
- Gromov, Mikhail (1999), Estructuras métricas para espacios riemannianos y no riemannianos , Progreso en matemáticas, 152 , Birkhäuser, ISBN 0-8176-3898-9
- Khamsi, Mohamed A .; Kirk, William A. (2001), Introducción a los espacios métricos y la teoría del punto fijo , Wiley-IEEE, ISBN 0-471-41825-0