Demihexeract (6 demicubo) | ||
---|---|---|
Proyección del polígono de Petrie | ||
Tipo | Politopo uniforme de 6 elementos | |
Familia | semihipercubo | |
Símbolo de Schläfli | {3,3 3,1 } = h{4,3 4 } s{2 1,1,1,1,1 } | |
Diagramas de Coxeter | = = | |
Símbolo de Coxeter | 1 31 | |
5 caras | 44 | 12 {3 1,2,1 } 32 {3 4 } |
4 caras | 252 | 60 {3 1,1,1 } 192 {3 3 } |
Células | 640 | 160 {3 1,0,1 } 480 {3,3} |
Caras | 640 | {3} |
Bordes | 240 | |
Vértices | 32 | |
Figura de vértice | Rectificado 5-simplex | |
Grupo de simetría | D 6 , [3 3,1,1 ] = [1 + ,4,3 4 ] [2 5 ] + | |
Polígono de Petrie | decágono | |
Propiedades | convexo |
En geometría , un 6-demicube o semihexeracto es un 6-politopo uniforme , construido a partir de un 6-cubo ( hexeracto ) al que se le han quitado los vértices alternados . Forma parte de una familia dimensionalmente infinita de politopos uniformes llamados semihipercubos .
EL Elte lo identificó en 1912 como un politopo semirregular, etiquetándolo como HM 6 para un politopo de media medida de 6 dimensiones .
Coxeter nombró a este politopo como 1 31 a partir de su diagrama de Coxeter , con un anillo en una de las ramas de 1 longitud,Se puede nombrar de manera similar mediante un símbolo de Schläfli exponencial tridimensional o {3,3 3,1 }.
Las coordenadas cartesianas de los vértices de un semihexerato centrado en el origen son mitades alternas del hexerato :
con un número impar de signos más.
Esta matriz de configuración representa el semicubeo de 6 caras. Las filas y columnas corresponden a vértices, aristas, caras, celdas, caras de 4 y caras de 5 caras. Los números diagonales indican cuántos elementos de cada tipo se encuentran en el semicubeo de 6 caras. Los números no diagonales indican cuántos elementos de la columna se encuentran en el elemento de la fila o en su interior. [1] [2]
Los números del vector f diagonal se derivan a través de la construcción de Wythoff , dividiendo el orden de grupo completo de un orden de subgrupo eliminando un espejo a la vez. [3]
D6 | cara k | por favor | o0 | el 1 | el 2 | F3 | F4 | 5 | k -figura | notas | ||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Un 4 | ( ) | o0 | 32 | 15 | 60 | 20 | 60 | 15 | 30 | 6 | 6 | r{3,3,3,3} | D6 /A4 = 32* 6 !/5! = 32 | |
Un 3 Un 1 Un 1 | { } | el 1 | 2 | 240 | 8 | 4 | 12 | 6 | 8 | 4 | 2 | {}x{3,3} | D6 / A3A1A1 = 32 * 6 !/4!/2/ 2 = 240 | |
Un 3 Un 2 | {3} | el 2 | 3 | 3 | 640 | 1 | 3 | 3 | 3 | 3 | 1 | {3}v( ) | D6 / A3A2 = 32 * 6 !/ 4 !/3! = 640 | |
Un 3 Un 1 | h{4,3} | F3 | 4 | 6 | 4 | 160 | * | 3 | 0 | 3 | 0 | {3} | D6 / A3A1 = 32 * 6 !/4!/2 = 160 | |
Un 3 Un 2 | {3,3} | 4 | 6 | 4 | * | 480 | 1 | 2 | 2 | 1 | {}v( ) | D6 / A3A2 = 32 * 6 !/4!/3! = 480 | ||
D4A1 | h{4,3,3} | F4 | 8 | 24 | 32 | 8 | 8 | 60 | * | 2 | 0 | { } | D6 / D4A1 = 32 * 6 !/ 8 /4!/2 = 60 | |
Un 4 | {3,3,3} | 5 | 10 | 10 | 0 | 5 | * | 192 | 1 | 1 | D6 /A4 = 32* 6 !/5! = 192 | |||
D 5 | h{4,3,3,3} | 5 | 16 | 80 | 160 | 40 | 80 | 10 | 16 | 12 | * | ( ) | D6 /D5 = 32* 6 !/16/5! = 12 | |
Un 5 | {3,3,3,3} | 6 | 15 | 20 | 0 | 15 | 0 | 6 | * | 32 | D6 /A5 = 32* 6 !/6! = 32 |
Avión Coxeter | B6 | |
---|---|---|
Gráfico | ||
Simetría diedral | [12/2] | |
Avión Coxeter | D6 | D 5 |
Gráfico | ||
Simetría diedral | [10] | [8] |
Avión Coxeter | D4 | D3 |
Gráfico | ||
Simetría diedral | [6] | [4] |
Avión Coxeter | Un 5 | Un 3 |
Gráfico | ||
Simetría diedral | [6] | [4] |
Hay 47 politopos uniformes con simetría D 6 , 31 son compartidos por la simetría B 6 y 16 son únicos:
El 6-demicubo, 1 31 es el tercero en una serie dimensional de politopos uniformes, expresado por Coxeter como la serie k 31 . La quinta figura es un panal euclidiano, 3 31 , y la última es un panal hiperbólico no compacto, 4 31 . Cada politopo uniforme progresivo se construye a partir del anterior como su figura de vértice .
norte | 4 | 5 | 6 | 7 | 8 | 9 |
---|---|---|---|---|---|---|
Grupo Coxeter | Un 3 Un 1 | Un 5 | D6 | E7 | = E7 + | = E7 ++ |
Diagrama de Coxeter | ||||||
Simetría | [3 −1,3,1 ] | [3 0,3,1 ] | [3 1,3,1 ] | [3 2,3,1 ] | [3 3,3,1 ] | [3 4,3,1 ] |
Orden | 48 | 720 | 23.040 | 2.903.040 | ∞ | |
Gráfico | - | - | ||||
Nombre | -1 31 | 0 31 | 131 | 2 31 | 3 31 | 4 31 |
También es la segunda de una serie dimensional de politopos y panales uniformes, expresada por Coxeter como la serie 1 3k . La cuarta figura es el panal euclidiano 1 33 y la última es un panal hiperbólico no compacto, 1 34 .
Espacio | Finito | Euclidiano | Hiperbólico | |||
---|---|---|---|---|---|---|
norte | 4 | 5 | 6 | 7 | 8 | 9 |
Grupo Coxeter | Un 3 Un 1 | Un 5 | D6 | E7 | =E 7 + | = E7 ++ |
Diagrama de Coxeter | ||||||
Simetría | [3 −1,3,1 ] | [3 0,3,1 ] | [3 1,3,1 ] | [3 2,3,1 ] | [[3 3,3,1 ]] | [3 4,3,1 ] |
Orden | 48 | 720 | 23.040 | 2.903.040 | ∞ | |
Gráfico | - | - | ||||
Nombre | 1 3,-1 | 1 30 | 131 | 1 32 | 1 33 | 134 |
Coxeter identificó un subconjunto de 12 vértices que forman un icosaedro oblicuo regular {3, 5} con las mismas simetrías que el propio icosaedro, pero en ángulos diferentes. Lo denominó icosaedro oblicuo regular . [4] [5]