En matemáticas , una cuasiisometría es una función entre dos espacios métricos que respeta la geometría a gran escala de estos espacios e ignora sus detalles a pequeña escala. Dos espacios métricos son cuasi isométricos si existe una cuasi isometría entre ellos. La propiedad de ser cuasi isométrica se comporta como una relación de equivalencia en la clase de espacios métricos.
El concepto de cuasi-isometría es especialmente importante en la teoría geométrica de grupos , siguiendo los trabajos de Gromov . [1]
Supongamos que es una función (no necesariamente continua) de un espacio métrico a un segundo espacio métrico . Entonces se llama cuasi-isometría de a si existen constantes , y tales que se cumplan las dos propiedades siguientes: [2]
Los dos espacios métricos y se llaman cuasi-isométricos si existe una cuasi-isometría de a .
Un mapa se denomina incrustación cuasi-isométrica si satisface la primera condición pero no necesariamente la segunda (es decir, es burdamente Lipschitz pero puede no ser burdamente sobreyectivo). En otras palabras, si a través del mapa, es cuasi-isométrico a un subespacio de .
Se dice que dos espacios métricos M 1 y M 2 son cuasi isométricos , denotados , si existe una cuasi isometría .
El mapa entre el plano euclidiano y el plano con la distancia de Manhattan que envía cada punto hacia sí mismo es una cuasi-isometría: en él, las distancias se multiplican por un factor de como máximo . Tenga en cuenta que no puede haber isometría, ya que, por ejemplo, los puntos están a la misma distancia entre sí en la distancia de Manhattan, pero en el plano euclidiano, no hay 4 puntos que estén a la misma distancia entre sí.
El mapa (ambos con la métrica euclidiana ) que envía cada tupla de números enteros a sí misma es una cuasiisometría: las distancias se conservan exactamente y cada tupla real está a una distancia de una tupla de enteros. En la otra dirección, la función discontinua que redondea cada tupla de números reales a la tupla entera más cercana también es una cuasi-isometría: cada punto es llevado por este mapa a un punto dentro de una distancia de él, por lo que el redondeo cambia la distancia entre pares de puntos sumando o restando como máximo .
Todo par de espacios métricos finitos o acotados es cuasi isométrico. En este caso, toda función de un espacio a otro es una cuasiisometría.
Si es una cuasiisometría, entonces existe una cuasiisometría . De hecho, puede definirse dejando ser cualquier punto en la imagen de que esté a una distancia de y dejando ser cualquier punto en .
Dado que el mapa de identidad es una cuasi-isometría, y la composición de dos cuasi-isometrías es una cuasi-isometría, se deduce que la propiedad de ser cuasi-isométrica se comporta como una relación de equivalencia en la clase de espacios métricos.
Dado un conjunto generador finito S de un grupo G generado finitamente , podemos formar el gráfico de Cayley correspondiente de S y G. Este gráfico se convierte en un espacio métrico si declaramos que la longitud de cada arista es 1. Tomar un conjunto generador finito T diferente da como resultado un gráfico diferente y un espacio métrico diferente; sin embargo, los dos espacios son cuasi isométricos. [3] Esta clase de cuasi-isometría es, por tanto, una invariante del grupo G. Cualquier propiedad de los espacios métricos que sólo dependa de la clase de cuasiisometría de un espacio produce inmediatamente otro invariante de grupos, abriendo el campo de la teoría de grupos a los métodos geométricos.
De manera más general, el lema de Švarc-Milnor establece que si un grupo G actúa adecuadamente de manera discontinua con un cociente compacto en un espacio geodésico adecuado X, entonces G es cuasi isométrico de X (lo que significa que cualquier gráfico de Cayley para G lo es). Esto da nuevos ejemplos de grupos cuasi isométricos entre sí:
Una cuasi geodésica en un espacio métrico es una incrustación cuasi isométrica de en . Más precisamente un mapa tal que existe para que
se llama -cuasi-geodésico. Obviamente, las geodésicas (parametrizadas por la longitud del arco) son cuasigeodésicas. El hecho de que en algunos espacios lo contrario sea aproximadamente cierto, es decir, que cada cuasi geodésica permanezca dentro de una distancia limitada de una geodésica verdadera, se denomina lema Morse (que no debe confundirse con el lema Morse en topología diferencial). Formalmente la declaración es:
Es una herramienta importante en la teoría de grupos geométricos. Una aplicación inmediata es que cualquier cuasiisometría entre espacios hiperbólicos propios induce un homeomorfismo entre sus límites. Este resultado es el primer paso en la demostración del teorema de rigidez de Mostow .
Además, este resultado ha resultado útil para analizar el diseño de interacción del usuario en aplicaciones similares a Google Maps . [5]
Los siguientes son algunos ejemplos de propiedades de gráficos de Cayley de grupo que son invariantes bajo cuasiisometría: [2]
Un grupo se llama hiperbólico si uno de sus gráficos de Cayley es un espacio δ-hiperbólico para algún δ. Al traducir entre diferentes definiciones de hiperbolicidad, el valor particular de δ puede cambiar, pero las nociones resultantes de un grupo hiperbólico resultan ser equivalentes.
Los grupos hiperbólicos tienen un problema verbal que se puede resolver . Son biautomáticos y automáticos : [6] de hecho, son fuertemente geodésicamente automáticos , es decir, hay una estructura automática en el grupo, donde el lenguaje aceptado por el aceptador de palabras es el conjunto de todas las palabras geodésicas.
La tasa de crecimiento de un grupo con respecto a un grupo electrógeno simétrico describe el tamaño de las bolas del grupo. Cada elemento del grupo se puede escribir como un producto de generadores, y la tasa de crecimiento cuenta la cantidad de elementos que se pueden escribir como un producto de longitud n .
Según el teorema de Gromov , un grupo de crecimiento polinómico es prácticamente nilpotente , es decir, tiene un subgrupo nilpotente de índice finito . En particular, el orden de crecimiento del polinomio tiene que ser un número natural y de hecho .
Si crece más lentamente que cualquier función exponencial, G tiene una tasa de crecimiento subexponencial . Cualquier grupo de este tipo es susceptible .
Los extremos de un espacio topológico son, en términos generales, los componentes conectados del "límite ideal" del espacio. Es decir, cada extremo representa una forma topológicamente distinta de moverse hacia el infinito dentro del espacio. Agregar un punto en cada extremo produce una compactación del espacio original, conocida como compactificación final .
Los extremos de un grupo finitamente generado se definen como los extremos del correspondiente gráfico de Cayley ; esta definición es independiente de la elección de un grupo electrógeno finito. Cada grupo infinito generado finitamente tiene 0, 1, 2 o una cantidad infinita de extremos, y el teorema de Stallings sobre los extremos de los grupos proporciona una descomposición para grupos con más de un extremo.
Si dos gráficos localmente finitos conectados son cuasi isométricos, entonces tienen el mismo número de extremos. [7] En particular, dos grupos cuasi isométricos finitamente generados tienen el mismo número de extremos.
Un grupo susceptible es un grupo topológico localmente compacto G que lleva una especie de operación de promedio en funciones acotadas que es invariante bajo traducción por elementos del grupo. La definición original, en términos de una medida (o media) invariante finitamente aditiva en subconjuntos de G , fue introducida por John von Neumann en 1929 bajo el nombre alemán "messbar" ("medible" en inglés) en respuesta a la propuesta de Banach-Tarski. paradoja . En 1949, Mahlon M. Day introdujo la traducción al inglés "amenable", aparentemente como un juego de palabras. [8]
En teoría de grupos discretos , donde G tiene la topología discreta , se utiliza una definición más simple. En este contexto, un grupo es aceptable si se puede decir qué proporción de G ocupa cualquier subconjunto dado.
Si un grupo tiene una secuencia de Følner , automáticamente se acepta.
Un ultralímite es una construcción geométrica que asigna a una secuencia de espacios métricos X n un espacio métrico límite. Una clase importante de ultralímites son los llamados conos asintóticos de espacios métricos. Sea ( X , d ) un espacio métrico, sea ω un ultrafiltro no principal y sea p n ∈ X una secuencia de puntos base. Entonces el ω –ultralímite de la secuencia se llama cono asintótico de X con respecto a ω y y se denota . A menudo se considera constante la secuencia del punto base, p n = p para algún p ∈ X ; en este caso el cono asintótico no depende de la elección de p ∈ X y se denota por o just .
La noción de cono asintótico juega un papel importante en la teoría de grupos geométricos, ya que los conos asintóticos (o, más precisamente, sus tipos topológicos y tipos bi-Lipschitz ) proporcionan invariantes cuasiisométricos de espacios métricos en general y de grupos finitamente generados en particular. [9] Los conos asintóticos también resultan ser una herramienta útil en el estudio de grupos relativamente hiperbólicos y sus generalizaciones. [10]