En geometría, un tetraedro de Goursat es un dominio fundamental tetraédrico de una construcción de Wythoff. Cada cara tetraédrica representa un hiperplano de reflexión en superficies tridimensionales: la 3-esfera, el espacio tridimensional euclídeo y el espacio tridimensional hiperbólico. Harold Scott MacDonald Coxeter los nombró en honor a Édouard Goursat, quien examinó por primera vez estos dominios. Es una extensión de la teoría del triángulo de Schwarz para construcciones de Wythoff en la esfera.
Representación gráfica
Un tetraedro de Goursat se puede representar gráficamente mediante un gráfico tetraédrico, que se encuentra en una configuración dual del tetraedro de dominio fundamental. En el gráfico, cada nodo representa una cara (espejo) del tetraedro de Goursat. Cada arista está etiquetada por un valor racional correspondiente al orden de reflexión, siendo π/ángulo diedro.
Un diagrama de Coxeter-Dynkin de 4 nodos representa este gráfico tetraédrico con aristas de orden 2 ocultas. Si muchas aristas son de orden 2, el grupo de Coxeter se puede representar mediante una notación de corchetes.
La existencia requiere que cada uno de los subgrafos de 3 nodos de este gráfico, (p q r), (p u s), (q t u) y (r s t), debe corresponder a un triángulo de Schwarz.
Simetría extendida
|
|
| La simetría de un tetraedro de Goursat puede ser la simetría tetraédrica de cualquier simetría de subgrupo mostrada en este árbol, con subgrupos debajo con índices de subgrupo etiquetados en las aristas coloreadas. | |
Una simetría extendida del tetraedro de Goursat es un producto semidirecto de la simetría del grupo de Coxeter y la simetría del dominio fundamental (el tetraedro de Goursat en estos casos). La notación de Coxeter admite esta simetría con corchetes dobles como [Y[X]], lo que denota una simetría completa del grupo de Coxeter [X], con Y como una simetría del tetraedro de Goursat. Si Y es una simetría de reflexión pura, el grupo representará otro grupo de espejos de Coxeter. Si solo hay una simetría de duplicación simple, Y puede estar implícita como [[X]] con simetría reflexiva o rotacional según el contexto.
La simetría extendida de cada tetraedro de Goursat también se proporciona a continuación. La simetría más alta posible es la del tetraedro regular como [3,3], y esto ocurre en el grupo de puntos prismáticos [2,2,2] o [2[3,3]] y el grupo hiperbólico paracompacto [3[3,3]].
Véase el artículo dedicado al tetraedro para conocer sus 7 isometrías de simetría inferior.
Soluciones con números enteros
Las siguientes secciones muestran todas las soluciones tetraédricas de Goursat con números enteros en las 3-esferas, el espacio 3-euclídeo y el espacio 3-hiperbólico. También se da la simetría extendida de cada tetraedro.
Los diagramas tetraédricos coloreados a continuación son figuras de vértice para politopos y panales omnitruncados de cada familia de simetría. Las etiquetas de las aristas representan órdenes de caras poligonales, que es el doble del orden de rama del gráfico de Coxeter. El ángulo diedro de una arista denominada 2n es π/n. Las aristas amarillas etiquetadas con 4 provienen de nodos espejo en ángulo recto (no conectados) en el diagrama de Coxeter.
Soluciones en 3-esferas (finitas)
Las soluciones para la 3-esfera con densidad 1 son: (Policoros uniformes)
| Grupo de Coxeter Diagrama de Coxeter |
[2,2,2] 
|
[p,2,2]
|
[p,2,q]
|
[p,2,p]
|
[3,3,2]
|
[4,3,2]
|
[5,3,2]
|
|---|---|---|---|---|---|---|---|
| Orden de la simetría del grupo | 16 | 8p | 4pq | 4p2 | 48 | 96 | 240 |
| Simetría tetraédrica |
[3,3] (orden 24) 
|
[2] (orden 4) 
|
[2] (orden 4)
|
[2+,4] (orden 8) 
|
[ ] (orden 2) 
|
[ ]+ (orden 1) 
|
[ ]+ (orden 1)
|
| Simetría extendida | [(3,3)[2,2,2]] =[4,3,3]
|
[2[p,2,2]] =[2p,2,4] 
|
[2[p,2,q]] =[2p,2,2q]
|
[(2+,4)[p,2,p]] =[2+[2p,2,2p]]
|
[1[3,3,2]] =[4,3,2]
|
[4,3,2]
|
[5,3,2]
|
| Orden de la simetría extendida | 384 | 32p | 16pq | 32p2 | 96 | 96 | 240 |
| Tipo de grafo | Lineal | Tridental | |||
|---|---|---|---|---|---|
| Grupo de Coxeter y diagrama |
Pentacórico [3,3,3]
|
Hexadecacórico [4,3,3]
|
Icositetracórico [3,4,3]
|
Hexacosicórico [5,3,3]
|
Demiteseráctico [3<sup>1,1,1</sup>]  
|
| Figura de vértice de los policoros uniformes omnitruncados | |||||
| Tetraedro | 
|
|
|
|
|
| Orden del grupo de simetría | 120 | 384 | 1152 | 14400 | 192 |
| Simetría tetraédrica |
[2]+ (orden 2) 
|
[ ]+ (orden 1)
|
[2]+ (orden 2)
|
[ ]+ (orden 1)
|
[3] (orden 6) 
|
| Simetría extendida | [2+[3,3,3]]  
|
[4,3,3]
|
[2+[3,4,3]]
|
[5,3,3]
|
[3[31,1,1]] =[3,4,3]
|
| Orden de la simetría extendida | 240 | 384 | 2304 | 14400 | 1152 |
Soluciones euclídeas (afines) en 3-espacios
Soluciones de densidad 1: (Panal uniforme convexo):
| Tipo de grafo | Lineal Ortoesquema |
Tri-dental Plagioesquema |
En bucle Cicloesquema |
Prismático | Degenerado | ||
|---|---|---|---|---|---|---|---|
| Grupo de Coxeter Diagrama de Coxeter |
[4,3,4]
|
[4,3<sup>1,1</sup>]
|
[3<sup>[4]</sup>]
|
[4,4,2]
|
[6,3,2]
|
[3[3],2]
|
[∞,2,∞]
|
| Figura de vértice de panales omnitruncados | |||||||
| Tetraedro | 
|
|
|
||||
| Simetría tetraédrica |
[2]+ (orden 2)
|
[ ] (orden 2)
|
[2+,4] (orden 8)
|
[ ] (orden 2)
|
[ ]+ (orden 1)
|
[3] (orden 6)
|
[2+,4] (orden 8)
|
| Simetría extendida | [(2+)[4,3,4]] 
|
[1[4,31,1]] =[4,3,4]
|
[(2+,4)[3[4]]] =[2+[4,3,4]]
|
[1[4,4,2]] =[4,4,2]
|
[6,3,2]
|
[3[3[3],2]] =[3,6,2]
|
[(2+,4)[∞,2,∞]] =[1[4,4]]
|
Soluciones hiperbólicas compactas en 3-espacios
Soluciones de densidad 1: (Panales uniformes convexos en el espacio hiperbólico) (Grupos de símplex de Lannér)
| Tipo de grafo | Lineal | Tri-dental | |||||
|---|---|---|---|---|---|---|---|
| Grupo de Coxeter Diagrama de Coxeter |
[3,5,3]
|
[5,3,4]
|
[5,3,5]
|
[5,31,1]
|
|||
| Figuras de vértice de panales omnitruncados | |||||||
| Tetraedro | 
|
|
|
|
|||
| Simetría tetraédrica |
[2]+ (orden 2)
|
[ ]+ (orden 1)
|
[2]+ (orden 2)
|
[ ] (orden 2)
|
|||
| Simetría extendida | [2+[3,5,3]]
|
[5,3,4]
|
[2+[5,3,5]]
|
[1[5,31,1]] =[5,3,4]
|
|||
| Tipo de grafo | Bucle | ||||||
| Grupo de Coxeter Diagrama de Coxeter |
[(4,3,3,3)]
|
[(4,3)2]
|
[(5,3,3,3)]
|
[(5,3,4,3)]
|
[(5,3)2]
| ||
| Figuras de vértice de panales omnitruncados | |||||||
| Tetraedro | 
|
|
|
|
| ||
| Simetría tetraédrica |
[2]+ (orden 2)
|
[2,2]+ (orden 4) 
|
[2]+ (orden 2)
|
[2]+ (orden 2)
|
[2,2]+ (orden 4)
| ||
| Simetría extendida | [2+[(4,3,3,3)]]
|
[(2,2)+[(4,3)2]]
|
[2+[(5,3,3,3)]]
|
[2+[(5,3,4,3)]]
|
[(2,2)+[(5,3)2]]
| ||
Soluciones hiperbólicas paracompactas de 3-espacios
Soluciones de densidad 1: (Véase grupos de símplex de Koszul)
| Tipo de grafo | Grafos lineales | |||||||
|---|---|---|---|---|---|---|---|---|
| Grupo de Coxeter Diagrama de Coxeter |
[6,3,3]
|
[3,6,3]
|
[6,3,4]
|
[6,3,5]
|
[6,3,6]
|
[4,4,3]
|
[4,4,4]
| |
| Simetría tetraédrica |
[ ]+ (orden 1)
|
[2]+ (orden 2)
|
[ ]+ (orden 1)
|
[ ]+ (orden 1)
|
[2]+ (orden 2)
|
[ ]+ (orden 1)
|
[2]+ (orden 2)
| |
| Simetría extendida | [6,3,3]
|
[2+[3,6,3]]
|
[6,3,4]
|
[6,3,5]
|
[2+[6,3,6]]
|
[4,4,3]
|
[2+[4,4,4]]
| |
| Tipo de grafo | Grafos en bucle | |||||||
| Grupo de Coxeter Diagrama de Coxeter |
[3[ ]×[ ]]
|
[(4,4,3,3)]
|
[(43,3)]
|
[4[4]]
|
[(6,33)]
|
[(6,3,4,3)]
|
[(6,3,5,3)]
|
[(6,3)[2]]
|
| Simetría tetraédrica |
[2] (orden 4)
|
[ ] (orden 2)
|
[2]+ (orden 2)
|
[2+,4] (orden 8)
|
[2]+ (orden 2)
|
[2]+ (orden 2)
|
[2]+ (orden 2)
|
[2,2]+ (orden 4)
|
| Simetría extendida | [2[3[ ]×[ ]]] =[6,3,4]
|
[1[(4,4,3,3)]] =[3,41,1]  
|
[2+[(43,3)]]
|
[(2+,4)[4[4]]] =[2+[4,4,4]]
|
[2+[(6,33)]]
|
[2+[(6,3,4,3)]]
|
[2+[(6,3,5,3)]]
|
[(2,2)+[(6,3)[2]]]
|
| Tipo de grafo | Tri-dental | Bucle-n-colas | Símplex | |||||
| Grupo de Coxeter Diagrama de Coxeter |
[6,31,1]
|
[3,41,1]
|
[41,1,1]
|
[3,3[3]]
|
[4,3[3]]
|
[5,3[3]]
|
[6,3[3]]
|
[3[3,3]]
|
| Simetría tetraédrica |
[ ] (orden 2)
|
[ ] (orden 2)
|
[3] (orden 6)
|
[ ] (orden 2)
|
[ ] (orden 2)
|
[ ] (orden 2)
|
[ ] (orden 2)
|
[3,3] (orden 24)
|
| Simetría extendida | [1[6,31,1]] =[6,3,4]
|
[1[3,41,1]] =[3,4,4]
|
[3[41,1,1]] =[4,4,3]
|
[1[3,3[3]]] =[3,3,6]
|
[1[4,3[3]]] =[4,3,6]
|
[1[5,3[3]]] =[5,3,6]
|
[1[6,3[3]]] =[6,3,6]
|
[(3,3)[3[3,3]]] =[6,3,3]
|
Soluciones racionales
Hay cientos de soluciones racionales para la 3-esfera, incluidos estos 6 grafos lineales que generan polícoros de Schläfli-Hess y las 11 soluciones no lineales de Coxeter:
Grafos lineales
|
Grafos bucle-n-cola:
|
En total, hay 59 tetraedros esporádicos con ángulos racionales y 2 familias infinitas.[1]
Véase también
- Grupo puntual para soluciones con n-símplex en una (n-1)-esfera.
Referencias
- ↑ https://arxiv.org/abs/2011.14232 Space vectors forming rational angles, Kiran S. Kedlaya, Alexander Kolpakov, Bjorn Poonen, Michael Rubinstein, 2020
Bibliografía
- Regular Polytopes, (3.ª edición, 1973), edición de Dover, ISBN 0-486-61480-8 (página 280, tetraedros de Goursat) [1]
- Norman Johnson La teoría de los politopos uniformes y los panales, Ph.D. (1966) Demostró que la enumeración de los tetraedros Goursat realizada por Coxeter es completa.
- Goursat, Edouard, Sur les substitutions orthogonales et les divisions régulières de l'espace, Annales Scientifiques de l'École Normale Supérieure, Ser. 3, 6 (1889), (págs. 9–102, págs. 80–81 tetraedros)
- Klitzing, Richard. «Dynkin Diagrams Goursat tetrahedra».
- Norman Johnson, Geometrías y Transformaciones (2018), Capítulos 11,12,13
- N. W. Johnson, R. Kellerhals, J. G. Ratcliffe, S. T. Tschantz, El tamaño de un símplex hiperbólico de Coxeter, Transformation Groups 1999, Volumen 4, Número 4, págs. 329–353 10,1007%2FBF01238563
| Control de autoridades |
|
|---|
Datos: Q5588468
Esta página se editó por última vez el 12 nov 2023 a las 10:17.