stringtranslate.com

Movimiento (geometría)

Una reflexión deslizante es un tipo de movimiento euclidiano.

En geometría , un movimiento es una isometría de un espacio métrico . Por ejemplo, un plano dotado de la métrica de distancias euclidianas es un espacio métrico en el que una aplicación que asocia figuras congruentes es un movimiento. [1] De manera más general, el término movimiento es sinónimo de isometría sobreyectiva en geometría métrica, [2] incluyendo la geometría elíptica y la geometría hiperbólica . En este último caso, los movimientos hiperbólicos proporcionan una aproximación al tema para principiantes.

Los movimientos se pueden dividir en movimientos directos e indirectos. Los movimientos directos, propios o rígidos son movimientos como las traslaciones y rotaciones que conservan la orientación de una forma quiral . Los movimientos indirectos o impropios son movimientos como las reflexiones , las reflexiones de deslizamiento y las rotaciones impropias que invierten la orientación de una forma quiral . Algunos geómetras definen el movimiento de tal manera que solo los movimientos directos son movimientos [ cita requerida ] .

En geometría diferencial

En geometría diferencial , un difeomorfismo se denomina movimiento si induce una isometría entre el espacio tangente en un punto de la variedad y el espacio tangente en la imagen de ese punto. [3] [4]

Grupo de mociones

Dada una geometría, el conjunto de movimientos forma un grupo bajo composición de aplicaciones. Este grupo de movimientos se destaca por sus propiedades. Por ejemplo, el grupo euclidiano se destaca por el subgrupo normal de traslaciones . En el plano, un movimiento euclidiano directo es una traslación o una rotación , mientras que en el espacio todo movimiento euclidiano directo puede expresarse como un desplazamiento helicoidal según 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 variedad tiene curvatura constante si y solo si, para cada par de puntos y cada isometría, hay un movimiento que lleva un punto al otro para el cual el movimiento induce la isometría. [5]

La idea de un grupo de movimientos para la relatividad especial se ha planteado como movimientos lorentzianos. Por ejemplo, se expusieron ideas fundamentales para un plano caracterizado por la forma cuadrática en American Mathematical Monthly . [6] Los movimientos del espacio 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 inercial a otro está determinado por un movimiento del espacio de Minkowski, es decir, por una transformación.
preservando los intervalos espacio-temporales. Esto significa que
para cada par de puntos x e y en R 1,3 .

Historia

Alhazen (965-1039) fue el primero en valorar el papel del movimiento en la geometría . Su obra "El espacio y su naturaleza" [8] utiliza comparaciones de las dimensiones de un cuerpo móvil para cuantificar el vacío del espacio imaginario. Fue criticado por Omar Khayyam, quien señaló que Aristóteles había condenado el uso del movimiento en la geometría. [9]

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 según sus "grupos de movimientos". Propuso utilizar grupos de simetría en su programa de Erlangen , una sugerencia que fue ampliamente adoptada. Observó que cada congruencia euclidiana es una aplicación afín , y cada una de estas es una transformación proyectiva ; 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 corto que transformación , pone más énfasis en los adjetivos: proyectivo, afín, euclidiano. El contexto se amplió así, tanto que "En topología , los movimientos permitidos son deformaciones invertibles continuas que podrían llamarse movimientos elásticos". [10]

La ciencia de la cinemática se dedica a expresar el movimiento físico como una transformación matemática. Con frecuencia, la transformación se puede escribir utilizando álgebra vectorial y mapeo lineal. Un ejemplo simple es un giro escrito como una multiplicación de números complejos : donde . La rotación en el espacio se logra mediante el uso de cuaterniones , y las transformaciones de Lorentz del espacio-tiempo mediante el uso de bicuaterniones . A principios del siglo XX, se examinaron los sistemas numéricos hipercomplejos . Más tarde, sus grupos de automorfismos dieron lugar a grupos excepcionales como G2 .

En la década de 1890, los lógicos redujeron las nociones primitivas 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 las nociones primitivas a meramente punto y movimiento en su informe al Congreso Internacional de Filosofía de 1900. Fue en este congreso donde Bertrand Russell conoció la lógica continental a través de Peano. En su libro Principles of Mathematics (1903), Russell consideró que el movimiento era una isometría euclidiana que preserva la orientación . [11]

En 1914, DMY Sommerville utilizó la idea de un movimiento geométrico para establecer la idea de distancia en la geometría hiperbólica cuando escribió Elementos de geometría no euclidiana . [12] Explica:

Por movimiento o desplazamiento en sentido general no se entiende un cambio de posición de un único punto o de una figura acotada, sino un desplazamiento de todo el espacio o, si se trata de dos dimensiones, de todo el plano. Un movimiento es una transformación que convierte cada punto P en otro punto P ′ de tal manera que las distancias y los ángulos permanecen invariables.

Axiomas del movimiento

László Rédei da como axiomas de movimiento: [13]

  1. Cualquier movimiento es una aplicación biunívoca del espacio R sobre sí mismo, de modo que cada tres puntos de una línea se transformarán en (tres) puntos de una línea.
  2. La aplicación idéntica del espacio R es un movimiento.
  3. El producto de dos movimientos es un movimiento.
  4. La aplicación inversa de un movimiento es un movimiento.
  5. Si tenemos dos planos A, A', dos rectas g, g' y dos puntos P, P' tales que P está en g, g está en A, P' está en g' y g' está en A', entonces existe una aplicación de movimiento A a A', g a g' y P a P'.
  6. Hay un plano A, una línea g y un punto P tales que P está en g y g está en A, entonces existen cuatro movimientos que proyectan A, g y P sobre sí mismos, respectivamente, y no más de dos de estos movimientos pueden tener cada punto de g como punto fijo, mientras que hay uno de ellos (es decir, la identidad) para el cual cada punto de A está fijo.
  7. Existen tres puntos A, B, P en la línea g tales que P está entre A y B y para cada punto C (P desigual) entre A y B hay un punto D entre C y P para el cual no se puede encontrar ningún movimiento con P como punto fijo que lleve C a un punto que se encuentre entre D y P.

Los axiomas 2 a 4 implican que los movimientos forman un grupo .

El axioma 5 significa que el grupo de movimientos proporciona acciones grupales en R que son transitivas , de modo que hay un movimiento que asigna cada línea a cada línea.

Notas y referencias

  1. ^ Gunter Ewald (1971) Geometría: una introducción , pág. 179, Belmont: Wadsworth ISBN  0-534-00034-7
  2. ^ MA Khamsi y WA Kirk (2001) Introducción a los espacios métricos y teoremas de punto fijo , pág. 15, John Wiley & Sons ISBN 0-471-41825-0 
  3. ^ AZ Petrov (1969) Espacios de Einstein , pág. 60, Pergamon Press
  4. ^ BA Dubrovin, AT Fomenko, SP Novikov (1992) Geometría moderna: métodos y aplicaciones , segunda edición, pág. 24, Springer, ISBN 978-0-387-97663-1 
  5. ^ DV Alekseevskij, EB Vinberg, AS Solodonikov (1993) Geometría II , p. 9, Springer, ISBN 0-387-52000-7 
  6. ^ Graciela S. Birman y Katsumi Nomizu (1984) "Trigonometría en geometría lorentziana", American Mathematical Monthly 91(9):543–9, grupo de movimientos: p 545
  7. ^ Sergei Novikov y IA Taimov (2006) Estructuras y campos geométricos modernos , traductor de Dmitry Chibisov, página 45, American Mathematical Society ISBN 0-8218-3929-2 
  8. ^ Ibn Al_Haitham: Actas de las celebraciones del 1000 aniversario , Hakim Mohammed Said, editor, páginas 224-7, Hamdard National Foundation, Karachi: The Times Press
  9. ^ Boyer, Carl B.; Merzbach, Uta C. (25 de enero de 2011). Una historia de las matemáticas. John Wiley & Sons. ISBN 978-0-470-63056-3.
  10. ^ Ari Ben-Menahem (2009) Enciclopedia histórica de las ciencias naturales y matemáticas , v. I, p. 1789
  11. ^ B. Russell (1903) Principios de las matemáticas, pág. 418. Véase también las págs. 406 y 436.
  12. ^ DMT Sommerville (1914) Elementos de geometría no euclidiana, página 179, enlace de la Colección histórica de matemáticas de la Universidad de Michigan
  13. ^ Redei, L (1968). Fundamentos de geometrías euclidianas y no euclidianas según F. Klein . Nueva York: Pergamon. pp. 3–4.

Enlaces externos