En geometría , un politopo uniforme k 21 es un politopo en k + 4 dimensiones construido a partir del grupo E n Coxeter y que tiene solo facetas de politopo regulares . La familia fue nombrada por su símbolo de Coxeter k 21 por su diagrama de Coxeter-Dynkin bifurcado , con un solo anillo en el extremo de la secuencia de k nodos.
Thorold Gosset descubrió esta familia como parte de su enumeración de 1900 de los politopos regulares y semirregulares , por lo que a veces se los llama figuras semirregulares de Gosset . Gosset los nombró por su dimensión de 5 a 9, por ejemplo, la figura semirregular 5-ic .
La secuencia identificada por Gosset termina como una teselación infinita (panal que llena el espacio) en el espacio 8, llamada red E8 . (Gosset no descubrió una forma final y se llama red E9 : 6 21. Es una teselación del espacio 9 hiperbólico construida con facetas ∞ 9- símplex y ∞ 9- ortoplex con todos los vértices en el infinito).
La familia comienza únicamente con 6-politopos . El prisma triangular y el de 5 celdas rectificado se incluyen al principio para completar. El demipenteracto también existe en la familia de los demihipercubos .
A veces también se les nombra por su grupo de simetría, como el politopo E6 , aunque hay muchos politopos uniformes dentro de la simetría E6 .
La familia completa de politopos semirregulares de Gosset son:
Cada politopo se construye a partir de facetas ( n − 1) -símplex y ( n − 1) -ortoplex .
Las caras ortoplex se construyen a partir del grupo de Coxeter D n −1 y tienen un símbolo de Schläfli de {3 1, n −1,1 } en lugar del habitual {3 n −2 ,4}. Esta construcción es una implicación de dos "tipos de facetas". La mitad de las facetas alrededor de cada cresta ortoplex están unidas a otro ortoplex, y las otras están unidas a un símplex. Por el contrario, cada cresta símplex está unida a un ortoplex.
Cada una tiene una figura de vértice como la forma anterior. Por ejemplo, la celda rectificada de 5 celdas tiene una figura de vértice como un prisma triangular .
n -ico | k21 | Gráfico | Diagrama de nombres de Coxeter | Facetas | Elementos | ||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
( n − 1)- símplex {3 n −2 } | ( n − 1)- ortoplex {3 n −4,1,1 } | Vértices | Bordes | Caras | Células | 4 caras | 5 caras | 6 caras | 7 caras | ||||
3-ic | -1 21 | Prisma triangular | 2 triángulos | 3 cuadrados | 6 | 9 | 5 | ||||||
4-ic | 0 21 | Rectificado de 5 celdas | 5 tetraedro | 5 octaedro | 10 | 30 | 30 | 10 | |||||
5-ic | 1 21 | Demipenteracto | 16 5 celdas | 10 de 16 celdas | 16 | 80 | 160 | 120 | 26 | ||||
6-ic | 2 21 | 2 21 politopo | 72 5-símplex | 27 5-ortoplexes | 27 | 216 | 720 | 1080 | 648 | 99 | |||
7-ic | 3 21 | 3 21 politopo | 576 6-símplex | 126 6-ortoplexes | 56 | 756 | 4032 | 10080 | 12096 | 6048 | 702 | ||
8-ic | 4 21 | 4 21 politopo | 17280 7-símplex | 2160 7-ortoplexes | 240 | 6720 | 60480 | 241920 | 483840 | 483840 | 207360 | 19440 | |
9-ic | 5 21 | 5 21 panal | ∞ 8-símplex | ∞ 8-ortoplexes | ∞ | ||||||||
10-ic | 6 21 | 6 21 panal | ∞ 9-símplex | ∞ 9-ortoplexes | ∞ |
Espacio | Familia | / / | ||||
---|---|---|---|---|---|---|
Y 2 | Azulejos uniformes | 0 [3] | delta 3 | hδ3 | qδ3 | Hexagonal |
Y 3 | Panal de abeja convexo uniforme | 0 [4] | delta 4 | hδ4 | qδ4 | |
E4 | Uniforme de 4 panales | 0 [5] | del 5 | hδ5 | qδ5 | Panal de abeja de 24 celdas |
E 5 | Uniforme de 5 panales | 0 [6] | delta 6 | hδ6 | qδ6 | |
E6 | Uniforme de 6 panales | 0 [7] | delta 7 | hδ7 | qδ7 | 2 22 |
E7 | Uniforme de 7 panales | 0 [8] | del 8 | hδ8 | qδ8 | 1 33 • 3 31 |
E8 | Uniforme de 8 panales | 0 [9] | del 9 | hδ9 | qδ9 | 1 52 • 2 51 • 5 21 |
E9 | Uniforme de 9 panales | 0 [10] | delta 10 | hδ10 | qδ10 | |
E10 | Uniforme de 10 panales | 0 [11] | delta 11 | hδ11 | qδ11 | |
En -1 | Uniforme ( n -1)- panal | 0 [ n ] | delta n | hδn | qδn | 1 k2 • 2 k1 • k21 |