Isometría

En matemáticas, una isometría (o congruencia , o transformación congruente ) es una transformación que preserva la distancia entre espacios métricos , generalmente asumida como biyectiva . ^[a] La palabra isometría se deriva del griego antiguo : ἴσος isos que significa "igual", y μέτρον metron que significa "medida". Si la transformación es de un espacio métrico a sí mismo, es un tipo de transformación geométrica conocida como movimiento .

Dado un espacio métrico (en términos generales, un conjunto y un esquema para asignar distancias entre elementos del conjunto), una isometría es una transformación que asigna elementos al mismo espacio métrico o a otro espacio métrico de modo que la distancia entre los elementos de la imagen en el nuevo espacio métrico sea igual a la distancia entre los elementos en el espacio métrico original. En un espacio euclidiano bidimensional o tridimensional , dos figuras geométricas son congruentes si están relacionadas por una isometría; ^[b] la isometría que las relaciona es un movimiento rígido (traslación o rotación), o una composición de un movimiento rígido y una reflexión .

Las isometrías se utilizan a menudo en construcciones en las que un espacio está incrustado en otro espacio. Por ejemplo, la completitud de un espacio métrico implica una isometría de en un conjunto cociente del espacio de sucesiones de Cauchy en El espacio original es, por tanto, isométricamente isomorfo a un subespacio de un espacio métrico completo y suele identificarse con este subespacio. Otras construcciones de incrustación muestran que todo espacio métrico es isométricamente isomorfo a un subconjunto cerrado de algún espacio vectorial normado y que todo espacio métrico completo es isométricamente isomorfo a un subconjunto cerrado de algún espacio de Banach . ${\estilo de visualización M}$${\estilo de visualización M}$${\estilo de visualización M',}$${\estilo de visualización M.}$${\estilo de visualización M}$

Un operador lineal sobreyectivo isométrico en un espacio de Hilbert se denomina operador unitario .

Sean y espacios métricos con métricas (por ejemplo, distancias) y Un mapa se llama isometría o mapa que preserva la distancia si para cualquier , ${\estilo de visualización X}$${\estilo de visualización Y}$${\textstyle d_{X}}$${\textstyle d_{Y}.}$ ${\textstyle f\colon X\to Y}$${\displaystyle a,b\en X}$

${\displaystyle d_{X}(a,b)=d_{Y}\!\left(f(a),f(b)\right).}$^{[4] [c]}

Una isometría es automáticamente inyectiva ; ^[a] de lo contrario, dos puntos distintos, a y b , podrían mapearse al mismo punto, contradiciendo así el axioma de coincidencia de la métrica d , es decir, si y solo si . Esta prueba es similar a la prueba de que una incrustación de orden entre conjuntos parcialmente ordenados es inyectiva. Claramente, cada isometría entre espacios métricos es una incrustación topológica . ${\displaystyle d(a,b)=0}$${\estilo de visualización a=b}$

Una isometría global , isomorfismo isométrico o aplicación de congruencia es una isometría biyectiva . Como cualquier otra biyección, una isometría global tiene una función inversa . La inversa de una isometría global también es una isometría global.

Dos espacios métricos X e Y se denominan isométricos si existe una isometría biyectiva de X a Y. El conjunto de isometrías biyectivas de un espacio métrico a sí mismo forma un grupo respecto de la composición de funciones , llamado grupo de isometrías .

También existe la noción más débil de isometría de trayectoria o isometría de arco :

Una isometría de trayectoria o isometría en arco es una función que preserva las longitudes de las curvas ; una función de este tipo no es necesariamente una isometría en el sentido de preservar la distancia, y no necesariamente tiene que ser biyectiva, o incluso inyectiva. Este término se suele abreviar simplemente como isometría , por lo que se debe tener cuidado de determinar a partir del contexto qué tipo se pretende.

Ejemplos

• Toda reflexión , traslación y rotación es una isometría global en espacios euclidianos . Véase también Grupo euclidiano y Espacio euclidiano § Isometrías .
• El mapa en es una isometría de trayectoria pero no una isometría (general). Nótese que a diferencia de una isometría, esta isometría de trayectoria no necesita ser inyectiva.${\displaystyle x\mapsto |x|}$${\displaystyle \mathbb {R}}$

El siguiente teorema se debe a Mazur y Ulam.

Definición : ^[5] El punto medio de dos elementos x e y en un espacio vectorial es el vector ⁠1/2⁠ ( x + y ) .

Dados dos espacios vectoriales normados y una isometría lineal, existe una función lineal que preserva las normas: ${\estilo de visualización V}$${\estilo de visualización W,}$ ${\displaystyle A:V\to W}$

${\displaystyle \|Av\|_{W}=\|v\|_{V}}$

para todos ^[7] Las isometrías lineales son funciones que preservan la distancia en el sentido anterior. Son isometrías globales si y solo si son sobreyectivas . ${\displaystyle v\en V.}$

En un espacio de producto interno , la definición anterior se reduce a

${\displaystyle \langle v,v\rangle _{V}=\langle Av,Av\rangle _{W}}$

para todo lo cual es equivalente a decir que Esto también implica que las isometrías preservan los productos internos, como ${\displaystyle v\en V,}$${\displaystyle A^{\dagger }A=\operatorname {Id} _{V}.}$

${\displaystyle \langle Au,Av\rangle _ {W}=\langle u,A^{\dagger }Av\rangle _ {V}=\langle u,v\rangle _ {V}}$.

Sin embargo , las isometrías lineales no siempre son operadores unitarios , ya que requieren además que y (es decir, el dominio y el codominio coinciden y definen una coisometría ). ${\estilo de visualización V=W}$${\displaystyle AA^{\dagger }=\nombre del operador {Id} _{V}}$${\estilo de visualización A}$

Por el teorema de Mazur-Ulam , cualquier isometría de espacios vectoriales normados sobre es afín . ${\displaystyle \mathbb {R}}$

Una isometría lineal también preserva necesariamente los ángulos, por lo tanto, una transformación de isometría lineal es una transformación lineal conforme .

Ejemplos

• Una función lineal de a sí misma es una isometría (para el producto escalar ) si y sólo si su matriz es unitaria . ^{[8] [9] [10] [11]}${\displaystyle \mathbb {C} ^{n}}$

Una isometría de una variedad es cualquier aplicación (suave) de esa variedad en sí misma, o en otra variedad que preserva la noción de distancia entre puntos. La definición de una isometría requiere la noción de una métrica en la variedad; una variedad con una métrica (positiva-definida) es una variedad de Riemann , una con una métrica indefinida es una variedad pseudo-riemanniana . Por lo tanto, las isometrías se estudian en la geometría de Riemann .

Una isometría local de una variedad ( pseudo ) de Riemann a otra es una función que lleva el tensor métrico de la segunda variedad al tensor métrico de la primera. Cuando una función de este tipo es también un difeomorfismo , se denomina isometría (o isomorfismo isométrico ) y proporciona una noción de isomorfismo ("igualdad") en la categoría Rm de las variedades de Riemann.

Sean y dos variedades (pseudo)riemannianas y sea un difeomorfismo. Entonces se llama isometría (o isomorfismo isométrico ) si ${\displaystyle R=(M,g)}$${\displaystyle R'=(M',g')}$${\displaystyle f:R\to R'}$${\estilo de visualización f}$

${\displaystyle g=f^{*}g',}$

donde denota el retroceso del tensor métrico de rango (0, 2) por . De manera equivalente, en términos del avance tenemos que para cualesquiera dos campos vectoriales en (es decir, secciones del fibrado tangente ), ${\displaystyle f^{*}g'}$${\estilo de visualización g'}$${\estilo de visualización f}$ $estilo de visualización f_ {*},}$${\estilo de visualización v,w}$${\estilo de visualización M}$ ${\displaystyle \mathrm {T}M}$

${\displaystyle g(v,w)=g'\left(f_{*}v,f_{*}w\right).}$

Si es un difeomorfismo local tal que entonces se llama isometría local . ${\estilo de visualización f}$${\displaystyle g=f^{*}g',}$${\estilo de visualización f}$

Una colección de isometrías normalmente forma un grupo, el grupo de isometrías . Cuando el grupo es un grupo continuo , los generadores infinitesimales del grupo son los campos vectoriales de Killing .

El teorema de Myers-Steenrod establece que toda isometría entre dos variedades de Riemann conexas es suave (diferenciable). Una segunda forma de este teorema establece que el grupo de isometría de una variedad de Riemann es un grupo de Lie .

Las variedades de Riemann que tienen isometrías definidas en cada punto se denominan espacios simétricos .

• Dado un número real positivo ε, una ε-isometría o casi isometría (también llamada aproximación de Hausdorff ) es una función entre espacios métricos tal que ${\displaystyle f\colon X\to Y}$
  1. porque uno tiene y${\displaystyle x,x'\en X}$${\displaystyle |d_{Y}(f(x),f(x'))-d_{X}(x,x')|<\varepsilon ,}$
  2. Para cualquier punto existe un punto con${\displaystyle y\en Y}$${\displaystyle x\en X}$${\displaystyle d_{Y}(y,f(x))<\varepsilon }$

Es decir, una ε -isometría conserva distancias dentro de ε y no deja ningún elemento del codominio más allá de ε de la imagen de un elemento del dominio. Nótese que no se supone que las ε -isometrías sean continuas .

• La propiedad de isometría restringida caracteriza matrices casi isométricas para vectores dispersos.
• La cuasi-isometría es otra generalización útil.
• También se puede definir un elemento en un C*-álgebra unital abstracta como una isometría:

  ${\displaystyle a\in {\mathfrak {A}}}$es una isometría si y sólo si${\displaystyle a^{*}\cdot a=1.}$

Nótese que como se mencionó en la introducción, este no es necesariamente un elemento unitario porque en general no se tiene que la inversa izquierda es una inversa derecha.

• En un espacio pseudoeuclidiano , el término isometría significa una biyección lineal que preserva la magnitud. Véase también Espacios cuadráticos .