La simetría icosaédrica es una propiedad matemática de los objetos que indica que un objeto tiene las mismas simetrías que un icosaedro regular .
Como grupo de puntos
Aparte de las dos series infinitas de simetría prismática y antiprismática, la simetría icosaédrica rotacional o simetría icosaédrica quiral de los objetos quirales y la simetría icosaédrica completa o simetría icosaédrica aquiral son las simetrías puntuales discretas (o equivalentemente, simetrías en la esfera ) con los grupos de simetría más grandes .
Cada poliedro con simetría icosaédrica tiene 60 simetrías rotacionales (o que preservan la orientación) y 60 simetrías de inversión de la orientación (que combinan una rotación y una reflexión ), para un orden de simetría total de 120.
Las aristas de un compuesto esférico de cinco octaedros representan los 15 planos especulares como círculos máximos coloreados. Cada octaedro puede representar 3 planos especulares ortogonales por sus aristas.
La simetría piritoédrica es un subgrupo de índice 5 de la simetría icosaédrica, con 3 líneas de reflexión verdes ortogonales y 8 puntos de giro rojos de orden 3. Existen 5 orientaciones diferentes de simetría piritoédrica.
ElEl grupo de rotación icosaédrica I es de orden 60. El grupoIesisomorfoaA5, elgrupo alternantede permutaciones pares de cinco objetos. Este isomorfismo puede realizarse medianteIactuando sobre varios compuestos, en particular elcompuesto de cinco cubos(que se inscriben en eldodecaedro), elcompuesto de cinco octaedroso cualquiera de los doscompuestos de cinco tetraedros(que sonenantiomorfosy se inscriben en el dodecaedro). El grupo contiene 5 versiones deThcon 20 versiones deD 3 (10 ejes, 2 por eje) y 6 versiones deD 5 .
ElEl grupo icosaédrico completo I h tiene orden 120. Tienea Icomosubgrupo normaldeíndice2. El grupoI h es isomorfo aI×Z2, oA5×Z2, con lainversión en el centrocorrespondiente al elemento (identidad, -1), dondeZ2se escribe multiplicativamente.
I h actúa sobre el compuesto de cinco cubos y el compuesto de cinco octaedros , pero −1 actúa como identidad (ya que los cubos y los octaedros son simétricos centralmente). Actúa sobre el compuesto de diez tetraedros : I actúa sobre las dos mitades quirales ( compuestos de cinco tetraedros ), y −1 intercambia las dos mitades. Cabe destacar que no actúa como S 5 , y estos grupos no son isomorfos; consulte a continuación para obtener más detalles.
El grupo contiene 10 versiones de D 3d y 6 versiones de D 5d (simetrías como antiprismas).
I también es isomorfo a PSL 2 (5), pero I h no es isomorfo a SL 2 (5).
Isomorfismo deIcon una5
Es útil describir explícitamente cómo se ve el isomorfismo entre I y A 5 . En la siguiente tabla, las permutaciones P i y Q i actúan sobre 5 y 12 elementos respectivamente, mientras que las matrices de rotación M i son los elementos de I . Si P k es el producto de tomar la permutación P i y aplicarle P j , entonces para los mismos valores de i , j y k , también es cierto que Q k es el producto de tomar Q i y aplicarle Q j , y también que premultiplicar un vector por M k es lo mismo que premultiplicar ese vector por M i y luego premultiplicar ese resultado por M j , es decir M k = M j × M i . Dado que las permutaciones P i son todas las 60 permutaciones pares de 12345, la correspondencia uno a uno se hace explícita, por lo tanto, también el isomorfismo.
Matriz de rotación
Permutación de 5 en 1 2 3 4 5
Permutación de 12 en 1 2 3 4 5 6 7 8 9 10 11 12
= ()
= ()
= (3 4 5)
= (1 11 8)(2 9 6)(3 5 12)(4 7 10)
= (3 5 4)
= (1 8 11)(2 6 9)(3 12 5)(4 10 7)
= (2 3)(4 5)
= (1 12)(2 8)(3 6)(4 9)(5 10)(7 11)
= (2 3 4)
= (1 2 3)(4 5 6)(7 9 8)(10 11 12)
= (2 3 5)
= (1 7 5)(2 4 11)(3 10 9)(6 8 12)
= (2 4 3)
= (1 3 2)(4 6 5)(7 8 9)(10 12 11)
= (2 4 5)
= (1 10 6)(2 7 12)(3 4 8)(5 11 9)
= (2 4)(3 5)
= (1 9)(2 5)(3 11)(4 12)(6 7)(8 10)
= (2 5 3)
= (1 5 7)(2 11 4)(3 9 10)(6 12 8)
= (2 5 4)
= (1 6 10)(2 12 7)(3 8 4)(5 9 11)
= (2 5)(3 4)
= (1 4)(2 10)(3 7)(5 8)(6 11)(9 12)
= (1 2)(4 5)
= (1 3)(2 4)(5 8)(6 7)(9 10)(11 12)
= (1 2)(3 4)
= (1 5)(2 7)(3 11)(4 9)(6 10)(8 12)
= (1 2)(3 5)
= (1 12)(2 10)(3 8)(4 6)(5 11)(7 9)
= (1 2 3)
= (1 11 6)(2 5 9)(3 7 12)(4 10 8)
= (1 2 3 4 5)
= (1 6 5 3 9)(4 12 7 8 11)
= (1 2 3 5 4)
= (1 4 8 6 2)(5 7 10 12 9)
= (1 2 4 5 3)
= (1 8 7 3 10)(2 12 5 6 11)
= (1 2 4)
= (1 7 4)(2 11 8)(3 5 10)(6 9 12)
= (1 2 4 3 5)
= (1 2 9 11 7)(3 6 12 10 4)
= (1 2 5 4 3)
= (2 3 4 7 5)(6 8 10 11 9)
= (1 2 5)
= (1 9 8)(2 6 3)(4 5 12)(7 11 10)
= (1 2 5 3 4)
= (1 10 5 4 11)(2 8 9 3 12)
= (1 3 2)
= (1 6 11)(2 9 5)(3 12 7)(4 8 10)
= (1 3 4 5 2)
= (2 5 7 4 3)(6 9 11 10 8)
= (1 3 5 4 2)
= (1 10 3 7 8)(2 11 6 5 12)
= (1 3)(4 5)
= (1 7)(2 10)(3 11)(4 5)(6 12)(8 9)
= (1 3 4)
= (1 9 10)(2 12 4)(3 6 8)(5 11 7)
= (1 3 5)
= (1 3 4)(2 8 7)(5 6 10)(9 12 11)
= (1 3)(2 4)
= (1 12)(2 6)(3 9)(4 11)(5 8)(7 10)
= (1 3 2 4 5)
= (1 4 10 11 5)(2 3 8 12 9)
= (1 3 5 2 4)
= (1 5 9 6 3)(4 7 11 12 8)
= (1 3)(2 5)
= (1 2)(3 5)(4 9)(6 7)(8 11)(10 12)
= (1 3 2 5 4)
= (1 11 2 7 9)(3 10 6 4 12)
= (1 3 4 2 5)
= (1 8 2 4 6)(5 10 9 7 12)
= (1 4 5 3 2)
= (1 2 6 8 4)(5 9 12 10 7)
= (1 4 2)
= (1 4 7)(2 8 11)(3 10 5)(6 12 9)
= (1 4 3 5 2)
= (1 11 4 5 10)(2 12 3 9 8)
= (1 4 3)
= (1 10 9)(2 4 12)(3 8 6)(5 7 11)
= (1 4 5)
= (1 5 2)(3 7 9)(4 11 6)(8 10 12)
= (1 4)(3 5)
= (1 6)(2 3)(4 9)(5 8)(7 12)(10 11)
= (1 4 5 2 3)
= (1 9 7 2 11)(3 12 4 6 10)
= (1 4)(2 3)
= (1 8)(2 10)(3 4)(5 12)(6 7)(9 11)
= (1 4 2 3 5)
= (2 7 3 5 4)(6 11 8 9 10)
= (1 4 2 5 3)
= (1 3 6 9 5)(4 8 12 11 7)
= (1 4 3 2 5)
= (1 7 10 8 3)(2 5 11 12 6)
= (1 4)(2 5)
= (1 12)(2 9)(3 11)(4 10)(5 6)(7 8)
= (1 5 4 3 2)
= (1 9 3 5 6)(4 11 8 7 12)
= (1 5 2)
= (1 8 9)(2 3 6)(4 12 5)(7 10 11)
= (1 5 3 4 2)
= (1 7 11 9 2)(3 4 10 12 6)
= (1 5 3)
= (1 4 3)(2 7 8)(5 10 6)(9 11 12)
= (1 5 4)
= (1 2 5)(3 9 7)(4 6 11)(8 12 10)
= (1 5)(3 4)
= (1 12)(2 11)(3 10)(4 8)(5 9)(6 7)
= (1 5 4 2 3)
= (1 5 11 10 4)(2 9 12 8 3)
= (1 5)(2 3)
= (1 10)(2 12)(3 11)(4 7)(5 8)(6 9)
= (1 5 2 3 4)
= (1 3 8 10 7)(2 6 12 11 5)
= (1 5 2 4 3)
= (1 6 4 2 8)(5 12 7 9 10)
= (1 5 3 2 4)
= (2 4 5 3 7)(6 10 9 8 11)
= (1 5)(2 4)
= (1 11)(2 10)(3 12)(4 9)(5 7)(6 8)
Grupos que se confunden comúnmente
Los siguientes grupos tienen orden 120, pero no son isomorfos:
Nótese que tiene una representación tridimensional irreducible excepcional (como el grupo de rotación icosaédrica), pero no tiene una representación tridimensional irreducible, lo que corresponde a que el grupo icosaédrico completo no sea el grupo simétrico.
Estos también pueden relacionarse con grupos lineales sobre el campo finito con cinco elementos, que exhiben los subgrupos y grupos de cobertura directamente; ninguno de estos es el grupo icosaédrico completo:
12 × rotación de ±72°, orden 5, alrededor de los 6 ejes a través de los centros de las caras del dodecaedro
12 × rotación de ±144°, orden 5, alrededor de los 6 ejes a través de los centros de las caras del dodecaedro
20 × rotación de ±120°, orden 3, alrededor de los 10 ejes que pasan por los vértices del dodecaedro
15 × rotación de 180°, orden 2, alrededor de los 15 ejes a través de los puntos medios de las aristas del dodecaedro
inversión central, orden 2
12 × rotorreflexión de ±36°, orden 10, alrededor de los 6 ejes que pasan por los centros de las caras del dodecaedro
12 × rotorreflexión de ±108°, orden 10, alrededor de los 6 ejes que pasan por los centros de las caras del dodecaedro
20 × rotorreflexión de ±60°, orden 6, alrededor de los 10 ejes que pasan por los vértices del dodecaedro
15 × reflexión, orden 2, en 15 planos a través de los bordes del dodecaedro
Subgrupos del grupo de simetría icosaédrica completa
Cada línea de la siguiente tabla representa una clase de subgrupos conjugados (es decir, geométricamente equivalentes). La columna "Mult." (multiplicidad) indica el número de subgrupos diferentes en la clase de conjugación.
Explicación de los colores: verde = los grupos que se generan por reflexiones, rojo = los grupos quirales (que preservan la orientación), que contienen solo rotaciones.
Los grupos se describen geométricamente en términos del dodecaedro.
La abreviatura "hts(edge)" significa "media vuelta intercambiando este borde con su borde opuesto", y lo mismo ocurre con "cara" y "vértice".
estabilizadores de un par de aristas en I doy cuatro grupos de Klein ; hay 5 de estos, dados por rotación de 180° en 3 ejes perpendiculares.
Los estabilizadores de un par de aristas en I h dan ; hay 5 de estos, dados por reflexiones en 3 ejes perpendiculares.
Estabilizadores faciales
Los estabilizadores de un par opuesto de caras pueden interpretarse como estabilizadores del antiprisma que generan.
Los estabilizadores faciales en I dan grupos cíclicos C 5
Los estabilizadores faciales en I h dan grupos diedros D 5
estabilizadores de un par opuesto de caras en I dan grupos diedros D 5
estabilizadores de un par opuesto de caras en I h dan
Estabilizadores de poliedros
Para cada uno de éstos, hay 5 copias conjugadas, y la acción de conjugación da un mapa, de hecho un isomorfismo, .
Los estabilizadores de los tetraedros inscritos en I son una copia de T
Los estabilizadores de los tetraedros inscritos en I h son una copia de T
Los estabilizadores de los cubos inscritos (o pares opuestos de tetraedros u octaedros) en I son una copia de T
Los estabilizadores de los cubos inscritos (o pares opuestos de tetraedros u octaedros) en I h son una copia de T h
Generadores del grupo Coxeter
El grupo de simetría icosaédrica completo [5,3] () de orden 120 tiene generadores representados por las matrices de reflexión R 0 , R 1 , R 2 a continuación, con relaciones R 0 2 = R 1 2 = R 2 2 = (R 0 ×R 1 ) 5 = (R 1 ×R 2 ) 3 = (R 0 ×R 2 ) 2 = Identidad. El grupo [5,3] + () de orden 60 se genera por dos rotaciones cualesquiera S 0,1 , S 1,2 , S 0,2 . Una rotorreflexión de orden 10 se genera por V 0,1,2 , el producto de las 3 reflexiones. Aquí denota la proporción áurea .
[5,3],
Reflexiones
Rotaciones
Reflexión rotatoria
Nombre
R0
R1
R2
S 0,1
S 1,2
S 0,2
V 0,1,2
Grupo
Orden
2
2
2
5
3
2
10
Matriz
(1,0,0) n
norte
(0,1,0) n
eje
eje
eje
Dominio fundamental
Los dominios fundamentales para el grupo de rotación icosaédrica y el grupo icosaédrico completo están dados por:
En el triacontaedro de Disdyakis, una cara completa es un dominio fundamental; se pueden obtener otros sólidos con la misma simetría ajustando la orientación de las caras, por ejemplo, aplanando subconjuntos seleccionados de caras para combinar cada subconjunto en una cara, o reemplazando cada cara por múltiples caras o una superficie curva.
Para la fase intermedia del material llamado cristal líquido, la existencia de simetría icosaédrica fue propuesta por H. Kleinert y K. Maki [2]
y su estructura fue analizada en detalle por primera vez en ese artículo. Vea el artículo de revisión aquí. En el aluminio, la estructura icosaédrica fue descubierta experimentalmente tres años después por Dan Shechtman , lo que le valió el Premio Nobel en 2011.
Geometrías relacionadas
La simetría icosaédrica es equivalentemente el grupo lineal especial proyectivo PSL(2,5), y es el grupo de simetría de la curva modular X(5), y más generalmente PSL(2, p ) es el grupo de simetría de la curva modular X( p ). La curva modular X(5) es geométricamente un dodecaedro con una cúspide en el centro de cada cara poligonal, lo que demuestra el grupo de simetría.
Esta geometría, y el grupo de simetría asociado, fue estudiado por Felix Klein como los grupos de monodromía de una superficie de Belyi, una superficie de Riemann con una función holomorfa en la esfera de Riemann, ramificada solo en 0, 1 e infinito (una función de Belyi ): las cúspides son los puntos que se encuentran sobre el infinito, mientras que los vértices y los centros de cada arista se encuentran sobre 0 y 1; el grado de la cubierta (número de láminas) es igual a 5.
Esto surgió de sus esfuerzos por dar un marco geométrico para el porqué de la simetría icosaédrica en la solución de la ecuación quíntica , con la teoría dada en el famoso (Klein 1888); una exposición moderna se da en (Tóth 2002, Sección 1.6, Tema adicional: Teoría del icosaedro de Klein, p. 66).
Las investigaciones de Klein continuaron con su descubrimiento de las simetrías de orden 7 y orden 11 en (Klein 1878) y (Klein 1879) (y recubrimientos asociados de grado 7 y 11) y dessins d'enfants , el primero produciendo el cuartico de Klein , cuya geometría asociada tiene un mosaico de 24 heptágonos (con una cúspide en el centro de cada uno).
Se producen geometrías similares para PSL(2, n ) y grupos más generales para otras curvas modulares.
De manera más exótica, existen conexiones especiales entre los grupos PSL(2,5) (orden 60), PSL(2,7) (orden 168) y PSL(2,11) (orden 660), que también admiten interpretaciones geométricas: PSL(2,5) son las simetrías del icosaedro (género 0), PSL(2,7) de la cuártica de Klein (género 3) y PSL(2,11) la superficie de buckyball (género 70). Estos grupos forman una " trinidad " en el sentido de Vladimir Arnold , que proporciona un marco para las diversas relaciones; consulte trinidades para obtener más detalles.
^ Kleinert, H. y Maki, K. (1981). "Texturas reticulares en cristales líquidos colestéricos" (PDF) . Fortschritte der Physik . 29 (5): 219–259. doi :10.1002/prop.19810290503.
Klein, F. (1878). "Ueber die Transformation siebenter Ordnung der elliptischen Functionen" [Sobre la transformación de orden siete de funciones elípticas]. Annalen Matemáticas . 14 (3): 428–471. doi :10.1007/BF01677143. S2CID 121407539.Traducido por Levy, Silvio, ed. (1999). El camino óctuple. Cambridge University Press. ISBN978-0-521-66066-2.Señor 1722410 .
Klein, F. (1879), "Ueber die Transformation elfter Ordnung der elliptischen Functionen (Sobre la transformación de undécimo orden de funciones elípticas)", Mathematische Annalen , 15 (3–4): 533–555, doi :10.1007/BF02086276, S2CID 120316938, recopilado como págs. 140-165 en Oeuvres, tomo 3
Klein, Felix (1888), Lecciones sobre el icosaedro y la solución de ecuaciones de quinto grado , Trübner & Co., ISBN0-486-49528-0Trad . George Gavin Morrice{{citation}}: CS1 maint: postscript (link)
Tóth, Gábor (2002), Grupos finitos de Möbius, inmersiones mínimas de esferas y módulos
Peter R. Cromwell, Poliedros (1997), pág. 296
Las simetrías de las cosas 2008, John H. Conway, Heidi Burgiel, Chaim Goodman-Strauss, ISBN 978-1-56881-220-5
Caleidoscopios: escritos selectos de HSM Coxeter , editado por F. Arthur Sherk, Peter McMullen, Anthony C. Thompson, Asia Ivic Weiss, Wiley-Interscience Publication, 1995, ISBN 978-0-471-01003-6 [1]
NW Johnson : Geometrías y transformaciones , (2018) ISBN 978-1-107-10340-5 Capítulo 11: Grupos de simetría finitos , 11.5 Grupos de Coxeter esféricos
LOS SUBGRUPOS DE W(H3) Archivado 2021-08-30 en Wayback Machine. (Subgrupos de otros grupos de Coxeter Archivado 2020-08-02 en Wayback Machine .) Gotz Pfeiffer