En matemáticas , el grupo de isometría de un espacio métrico es el conjunto de todas las isometrías biyectivas (es decir, mapas biyectivos que preservan la distancia) desde el espacio métrico sobre sí mismo, con la composición de la función como operación de grupo . Su elemento de identidad es la función de identidad . [1] Los elementos del grupo de isometría a veces se denominan movimientos del espacio.
Cada grupo de isometrías de un espacio métrico es un subgrupo de isometrías. Representa en la mayoría de los casos un posible conjunto de simetrías de objetos / figuras en el espacio, o funciones definidas en el espacio. Ver grupo de simetría .
Un grupo de isometría discreta es un grupo de isometría tal que para cada punto del espacio el conjunto de imágenes del punto debajo de las isometrías es un conjunto discreto .
En el espacio pseudo-euclidiano, la métrica se reemplaza por una forma cuadrática isotrópica ; las transformaciones que conservan esta forma a veces se denominan "isometrías", y luego se dice que la colección de ellas forma un grupo de isometría del espacio pseudoeuclidiano.
Ejemplos de
- El grupo de isometría del subespacio de un espacio métrico que consta de los puntos de un triángulo escaleno es el grupo trivial . Un espacio similar para un triángulo isósceles es el grupo cíclico de orden dos, C 2 . Un espacio similar para un triángulo equilátero es D 3 , el grupo diedro de orden 6 .
- El grupo de isometría de una esfera bidimensional es el grupo ortogonal O (3). [2]
- El grupo de isometría del espacio euclidiano n- dimensional es el grupo euclidiano E ( n ). [3]
- El grupo de isometría del modelo de disco de Poincaré del plano hiperbólico es el grupo unitario especial proyectivo SU (1,1) .
- El grupo de isometría del modelo de semiplano de Poincaré del plano hiperbólico es PSL (2, R) .
- El grupo de isometría del espacio de Minkowski es el grupo de Poincaré . [4]
- Los espacios simétricos de Riemann son casos importantes en los que el grupo de isometría es un grupo de Lie .
Ver también
- Grupo de puntos
- Grupos de puntos en dos dimensiones
- Grupos de puntos en tres dimensiones
- Puntos fijos de grupos de isometría en el espacio euclidiano
Referencias
- ^ Burago, Dmitri; Burago, Yuri; Ivanov, Sergei (2001), Un curso de geometría métrica , Estudios de posgrado en matemáticas , 33 , Providence, RI: American Mathematical Society, p. 75, ISBN 0-8218-2129-6, MR 1835418.
- ^ Berger, Marcel (1987), Geometría. II , Universitext, Berlín: Springer-Verlag, pág. 281, doi : 10.1007 / 978-3-540-93816-3 , ISBN 3-540-17015-4, MR 0882916.
- ^ Olver, Peter J. (1999), Teoría invariante clásica , Textos estudiantiles de la Sociedad Matemática de Londres, 44 , Cambridge: Cambridge University Press, p. 53, doi : 10.1017 / CBO9780511623660 , ISBN 0-521-55821-2, MR 1694364.
- ^ Müller-Kirsten, Harald JW; Wiedemann, Armin (2010), Introducción a la supersimetría , World Scientific Lecture Notes in Physics, 80 (2ª ed.), Hackensack, Nueva Jersey: World Scientific Publishing Co. Pte. Ltd., pág. 22, doi : 10.1142 / 7594 , ISBN 978-981-4293-42-6, MR 2681020.