Movimiento (geometría)

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 ${\displaystyle \ x^{2}-y^{2}\ }$ en el American Mathematical Monthly.^[6]

Los movimientos en el espacio-tiempo de Minkowski fueron descritos por Sergei Novikov en 2006:^[7]

El principio físico de la velocidad constante de la luz se expresa mediante el requisito de que el cambio de un sistema de referencia inercial a otro esté determinado por un movimiento del espacio de Minkowski, es decir, por una transformación

${\displaystyle \phi :R^{1,3}\mapsto R^{1,3}}$

preservando los intervalos espacio-tiempo. Esto significa que

${\displaystyle \langle \phi (x)-\phi (y),\ \phi (x)-\phi (y)\rangle \ =\ \langle x-y,\ x-y\rangle }$

para cada par de puntos x e y en R^1,3.

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: ${\displaystyle z\mapsto \omega z\ }$ donde ${\displaystyle \ \omega =\cos \theta +i\sin \theta ,\quad i^{2}=-1}$. 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:

Por un movimiento o desplazamiento en el sentido general no se entiende un cambio de posición de un solo punto o de cualquier figura delimitada, sino un desplazamiento de todo el espacio o, si estamos tratando con solo dos dimensiones, de todo el plano. Un movimiento es una transformación que cambia cada punto P en otro punto P' de tal manera que las distancias y los ángulos no cambian.