El factor de estiramiento (es decir, constante de Bilipschitz ) de una incrustación mide el factor por el cual la incrustación distorsiona las distancias . Supongamos que un espacio métrico S está incrustado en otro espacio métrico T mediante un mapa métrico , una función continua uno a uno f que preserva o reduce la distancia entre cada par de puntos. Entonces la incrustación da lugar a dos nociones diferentes de distancia entre pares de puntos en S. Cualquier par de puntos ( x , y ) en S tiene una distancia intrínseca , la distancia de x a y en S , y una distancia extrínseca más pequeña, la distancia de f ( x ) a f ( y ) en T. El factor de estiramiento del par es la relación entre estas dos distancias, d ( f ( x ), f ( y ))/ d ( x , y ) . El factor de extensión de todo el mapeo es el supremo de los factores de extensión de todos los pares de puntos. El factor de estiramiento también ha sido llamado distorsión [ disputada ] o dilatación del mapeo.
El factor de estiramiento es importante en la teoría de las llaves geométricas , gráficos ponderados que aproximan las distancias euclidianas entre un conjunto de puntos en el plano euclidiano . En este caso, la métrica incrustada S es un espacio métrico finito, cuyas distancias son las longitudes de camino más cortas en un gráfico, y la métrica T en la que está incrustado S es el plano euclidiano. Cuando el gráfico y su incrustación son fijos, pero los pesos de los bordes del gráfico pueden variar, el factor de estiramiento se minimiza cuando los pesos son exactamente las distancias euclidianas entre los puntos finales de los bordes. La investigación en esta área se ha centrado en encontrar gráficos dispersos para un conjunto de puntos determinado que tengan un factor de estiramiento bajo. [1]
El lema de Johnson-Lindenstrauss afirma que cualquier conjunto finito con n puntos en un espacio euclidiano puede incrustarse en un espacio euclidiano de dimensión O (log n ) con distorsión 1 + ε , para cualquier constante ε > 0 , donde el factor constante en el La notación O depende de la elección de ε . [2] Este resultado, y los métodos relacionados para construir incorporaciones métricas de baja distorsión, son importantes en la teoría de los algoritmos de aproximación . Un problema abierto importante en esta área es la conjetura de GNRS , que (de ser cierta) caracterizaría las familias de gráficos que tienen incrustaciones acotadas y estiradas en espacios como familias de gráficos menores cerrados.
En la teoría de nudos , la distorsión de un nudo es una invariante del nudo , el factor de estiramiento mínimo de cualquier incrustación del nudo como una curva espacial en el espacio euclidiano . El investigador universitario John Pardon ganó el Premio Morgan 2012 por su investigación que demuestra que no existe un límite superior en la distorsión de los nudos toroidales , resolviendo un problema planteado originalmente por Mikhail Gromov . [3] [4]
En el estudio del flujo de acortamiento de curvas , en el que cada punto de una curva en el plano euclidiano se mueve perpendicularmente a la curva, con velocidad proporcional a la curvatura local, Huisken (1998) demostró que el factor de estiramiento de cualquier curva suave cerrada simple (con distancias intrínsecas medidas por la longitud del arco) cambia monótonamente. Más específicamente, en cada par ( x , y ) que forma un máximo local del factor de estiramiento, el factor de estiramiento es estrictamente decreciente, excepto cuando la curva es un círculo. Esta propiedad se utilizó más tarde para simplificar la prueba del teorema de Gage-Hamilton-Grayson, según el cual toda curva suave cerrada simple permanece simple y suave hasta que colapsa en un punto, convergiendo en forma a un círculo antes de hacerlo. [5] [6]
