En matemáticas , el grupo conforme de un espacio es el grupo de transformaciones del espacio a sí mismo que preservan los ángulos. Más formalmente, es el grupo de transformaciones que preservan la geometría conforme del espacio.
Varios grupos conformales específicos son particularmente importantes:
- El grupo ortogonal conforme . Si V es un espacio vectorial con una forma cuadrática Q , entonces el grupo ortogonal conforme CO ( V , Q ) es el grupo de transformaciones lineales T de V para las cuales existe un escalar λ tal que para todo x en V
- Para una forma cuadrática definida , el grupo ortogonal conforme es igual al grupo ortogonal multiplicado por el grupo de dilataciones .
- El grupo conforme de la esfera es generado por las inversiones en círculos . Este grupo también se conoce como el grupo de Möbius .
- En el espacio euclidiano E n , n > 2 , el grupo conforme se genera por inversiones en hiperesferas .
- En un espacio pseudo-euclidiano E p , q , el grupo conforme es Conf ( p , q ) ≃ O ( p + 1, q + 1) / Z 2 . [1]
Todos los grupos conformes son grupos de Lie .
Análisis de ángulos
En la geometría euclidiana se puede esperar que el ángulo circular estándar sea característico, pero en el espacio pseudoeuclidiano también existe el ángulo hiperbólico . En el estudio de la relatividad especial, los diversos marcos de referencia, para variar la velocidad con respecto a un marco en reposo, están relacionados por la rapidez , un ángulo hiperbólico. Una forma de describir un impulso de Lorentz es como una rotación hiperbólica que conserva el ángulo diferencial entre las velocidades. Por tanto, son transformaciones conformes con respecto al ángulo hiperbólico.
Un método para generar un grupo conforme apropiado es imitar los pasos del grupo de Möbius como el grupo conforme del plano complejo ordinario . La geometría pseudoeuclidiana está respaldada por planos complejos alternativos donde los puntos son números complejos divididos o números duales . Así como el grupo de Möbius requiere la esfera de Riemann , un espacio compacto , para una descripción completa, los planos complejos alternativos requieren compactificación para una descripción completa del mapeo conforme. Sin embargo, el grupo conforme en cada caso viene dado por transformaciones fraccionarias lineales en el plano apropiado. [2]
Grupo conformal de espacio-tiempo
En 1908, Harry Bateman y Ebenezer Cunningham , dos jóvenes investigadores de la Universidad de Liverpool , abordaron la idea de un grupo conforme de espacio-tiempo. [3] [4] [5] Argumentaron que los grupos cinemáticos son necesariamente conformes ya que preservan la forma cuadrática. del espacio-tiempo y son similares a las transformaciones ortogonales , aunque con respecto a una forma cuadrática isotrópica . Las libertades de un campo electromagnético no se limitan a los movimientos cinemáticos, sino que solo deben ser localmente proporcionales a una transformación que conserva la forma cuadrática. El artículo de Harry Bateman en 1910 estudió la matriz jacobiana de una transformación que conserva el cono de luz y mostró que tenía la propiedad conforme (proporcional a un preservador de forma). [6] Bateman y Cunningham demostraron que este grupo conforme es "el grupo más grande de transformaciones que dejan las ecuaciones de Maxwell estructuralmente invariantes". [7] El grupo conforme del espacio-tiempo se ha denominado C (1,3) [8]
Isaak Yaglom ha contribuido a las matemáticas de las transformaciones conformes del espacio-tiempo en números duales y complejos divididos . [9] Dado que los números complejos divididos y los números duales forman anillos , no campos , las transformaciones fraccionarias lineales requieren una línea proyectiva sobre un anillo para ser asignaciones biyectivas.
Ha sido tradicional desde el trabajo de Ludwik Silberstein en 1914 usar el anillo de biquaternions para representar al grupo de Lorentz. Para el grupo conforme del espacio-tiempo, es suficiente considerar transformaciones fraccionarias lineales en la línea proyectiva sobre ese anillo. Los elementos del grupo conforme del espacio-tiempo fueron llamados transformaciones de ondas esféricas por Bateman. Los detalles del estudio de la forma cuadrática del espacio-tiempo se han absorbido en la geometría de la esfera de Lie .
Al comentar sobre el continuo interés mostrado en la ciencia física, AO Barut escribió en 1985, "Una de las principales razones del interés en el grupo conformal es que es quizás el más importante de los grupos más grandes que contienen el grupo de Poincaré ". [10]
Ver también
- Mapa conforme
- Simetría conforme
Referencias
- ^ Jayme Vaz, Jr .; Roldão da Rocha, Jr. (2016). Una introducción a las álgebras y espinores de Clifford . Prensa de la Universidad de Oxford. pag. 140. ISBN 9780191085789.
- ^ Tsurusaburo Takasu (1941) "Gemeinsame Behandlungsweise der elliptischen konformen, hyperbolischen konformen und parabolischen konformen Differentialgeometrie", 2 , Actas de la Academia Imperial 17 (8): 330-8, enlace del Proyecto Euclides , MR14282
- ^ Bateman, Harry (1908). . Actas de la London Mathematical Society . 7 : 70–89. doi : 10.1112 / plms / s2-7.1.70 .
- ^ Bateman, Harry (1910). . Actas de la London Mathematical Society . 8 : 223-264. doi : 10.1112 / plms / s2-8.1.223 .
- ^ Cunningham, Ebenezer (1910). . Actas de la London Mathematical Society . 8 : 77–98. doi : 10.1112 / plms / s2-8.1.77 .
- ^ Warwick, Andrew (2003). Maestros de la teoría: Cambridge y el auge de la física matemática . Chicago: Prensa de la Universidad de Chicago . págs. 416-24 . ISBN 0-226-87375-7.
- ^ Robert Gilmore (1994) [1974] Grupos de mentiras, Álgebras de mentiras y algunas de sus aplicaciones , página 349, Publicación de Robert E. Krieger ISBN 0-89464-759-8 MR1275599
- ^ Boris Kosyakov (2007) Introducción a la teoría clásica de partículas y campos , página 216, libros de Springer a través de Google Books
- ^ Isaak Yaglom (1979) Una geometría no euclidiana simple y su base física , Springer, ISBN 0387-90332-1 , MR520230
- ^ AO Barut y H.-D. Doebner (1985) Grupos conformales y simetrías relacionadas: resultados físicos y antecedentes matemáticos , notas de clase en física # 261 libros de Springer , véase el prefacio para la cita
Otras lecturas
- Kobayashi, S. (1972). Grupos de transformación en geometría diferencial . Clásicos de las matemáticas. Saltador. ISBN 3-540-58659-8. OCLC 31374337 .
- Sharpe, RW (1997), Geometría diferencial: Generalización de Cartan del programa Erlangen de Klein , Springer-Verlag, Nueva York, ISBN 0-387-94732-9.
- Peter Scherk (1960) "Algunos conceptos de geometría conformal", American Mathematical Monthly 67 (1): 1-30 doi : 10.2307 / 2308920