Loading AI tools
isometría de un espacio métrico De Wikipedia, la enciclopedia libre
En geometría, un movimiento se define como una isometría de un espacio métrico, es decir, es una aplicación entre coordenadas que conserva las distancias entre puntos de la posición original en la nueva posición.
Por ejemplo, un plano que cuenta con la distancia euclidiana como métrica, es un espacio métrico, en el que cualquier aplicación que asocia figuras originales y sus imágenes mediante una relación de congruencia es un movimiento.[1] De forma más general, el término movimiento es un sinónimo de isometría para funciones sobreyectivas en geometría métrica,[2] incluyendo la geometría elíptica y la geometría hiperbólica. En este último caso, el movimiento hiperbólico proporcionan un enfoque muy útil para visualizar el concepto.
Los movimientos se pueden dividir en directos e indirectos:
Algunos geómetras definen el movimiento de tal manera que únicamente los movimientos directos son considerados movimientos propiamente dichos.
En geometría diferencial, un difeomorfismo se denomina movimiento si induce una isometría entre el espacio tangente en un punto de una variedad y el espacio tangente en la imagen de ese punto.[3][4]
Dada una geometría, el conjunto de movimientos forma una estructura de grupo bajo la composición de las aplicaciones que definen movimientos. Este grupo de movimientos se destaca por sus propiedades. Por ejemplo, el grupo euclídeo incluye el subgrupo normal de las traslaciones. En el plano, un movimiento euclidiano directo es una traslación o una rotación, mientras que en el espacio cada movimiento euclidiano directo puede expresarse como un desplazamiento sobre un eje helicoidal de acuerdo con el teorema de Chasles. Cuando el espacio subyacente es una variedad de Riemann, el grupo de movimientos es un grupo de Lie. Además, la trayectoria tiene curvatura constante si y solo si, para cada par de puntos existe un movimiento que lleva un punto al otro de forma que se induce una isometría.[5]
La idea de un grupo de movimientos para describir la teoría de la relatividad especial se desarrolló en el concepto de movimientos lorentzianos, sobre los que se presentaron desarrollos fundamentales para un plano caracterizado por la forma cuadrática en el American Mathematical Monthly.[6]
Los movimientos en el espacio-tiempo de Minkowski fueron descritos por Sergei Novikov en 2006:[7]
Alhacén (965 a 1039) dio una apreciación temprana del papel del movimiento en la geometría. Su trabajo "El espacio y su naturaleza"[8] utiliza comparaciones de las dimensiones de un cuerpo móvil para cuantificar el vacío del espacio imaginario.
En el siglo XIX, Felix Klein se convirtió en un defensor de la teoría de grupos como un medio para clasificar las geometrías de acuerdo con sus "grupos de movimientos". Propuso utilizar el grupo de simetría en su Programa de Erlangen, una sugerencia que fue ampliamente adoptada. Señaló que cada congruencia euclidiana es una transformación afín, y cada una de estas es una homografía; por lo tanto, el grupo de proyectividades contiene el grupo de aplicaciones afines, que a su vez contiene el grupo de congruencias euclidianas. El término movimiento, más conciso que transformación, pone más énfasis en los adjetivos: proyectivo, afín o euclidiano. De este modo, el contexto se amplió tanto que "En topología, los movimientos permitidos son deformaciones invertibles continuas, que pueden identificarse con elongamientos elásticos".[9]
La ciencia de la cinemática está dedicada a convertir el movimiento físico en su expresión como transformación matemática. Con frecuencia, la transformación se puede escribir utilizando álgebra vectorial y aplicaciones lineales. Un ejemplo simple es un giro descrito como una multiplicación de números complejos: donde . La rotación en el espacio se puede modelizar mediante el uso de cuaterniones, y las transformación de Lorentz del espacio-tiempo mediante el uso de bicuaterniones. A principios del siglo XX, se examinaron los sistemas de números hipercomplejos. Más tarde, los grupos de automorfismos llevaron a grupos excepcionales como el grupo G2.
En la década de 1890, los lógicos estaban reduciendo los conceptos fundamentales de la geometría sintética a un mínimo absoluto. Giuseppe Peano y Mario Pieri utilizaron la expresión movimiento para la congruencia de pares de puntos. Alessandro Padoa celebró la reducción de nociones primitivas a meramente punto y movimiento en su informe al Congreso de Filosofía Internacional de 1900. Fue en este congreso cuando Bertrand Russell recibió la influencia de la lógica desarrollada en la Europa continental a través de Peano. En su libro Principles of Mathematics (1903), Russell consideró que un movimiento era una isometría euclidiana que conserva la orientación.[10]
En 1914, D. M. Y. Sommerville utilizó la idea de un movimiento geométrico para establecer el concepto de la distancia en geometría hiperbólica cuando escribió "Elementos de la geometría no euclidiana".[11] Explica:
Laszio Redei da como axiomas del movimiento:[12]
Los axiomas 2 a 4 implican que los movimientos forman un grupo.
El Axioma 5 implica que existe un movimiento que aplica toda recta en otra recta.