stringtranslate.com

Politopo 5 uniforme

En geometría , un politopo uniforme de 5 dimensiones es un politopo uniforme de cinco dimensiones . Por definición, un politopo uniforme de 5 dimensiones es transitivo en cuanto a vértices y está construido a partir de facetas de politopo uniforme de 4 dimensiones .

No se ha determinado el conjunto completo de 5-politopos convexos uniformes , pero muchos pueden realizarse como construcciones de Wythoff a partir de un pequeño conjunto de grupos de simetría . Estas operaciones de construcción están representadas por las permutaciones de anillos de los diagramas de Coxeter .

Historia del descubrimiento

5-politopos regulares

Los politopos regulares de 5 elementos se pueden representar mediante el símbolo de Schläfli {p,q,r,s}, con s {p,q,r} facetas de politopos de 4 elementos alrededor de cada cara . Existen exactamente tres politopos regulares de este tipo, todos convexos:

No hay politopos regulares no convexos en 5 dimensiones o más.

5-politopos convexos uniformes

Problema sin resolver en matemáticas :
¿Cuál es el conjunto completo de 5-politopos convexos uniformes? [6]

Se conocen 104 politopos 5-convexos uniformes, además de una cantidad infinita de familias de prismas duoprismáticos y duoprismas poligonales-poliédricos. Todos, excepto el gran antiprisma, se basan en construcciones de Wythoff , simetría de reflexión generada con grupos de Coxeter . [ cita requerida ]

Simetría de 5-politopos uniformes en cuatro dimensiones

El 5-símplex es la forma regular de la familia A 5 . El 5-cubo y el 5-ortoplex son las formas regulares de la familia B 5 . El grafo bifurcado de la familia D 5 contiene el 5-ortoplex , así como un 5-demicubo que es un 5-cubo alternado .

Cada 5-politopo uniforme reflexivo se puede construir en uno o más grupos puntuales reflexivos en 5 dimensiones mediante una construcción de Wythoff , representada por anillos alrededor de permutaciones de nodos en un diagrama de Coxeter . Los hiperplanos especulares se pueden agrupar, como se ve por los nodos coloreados, separados por ramas pares. Los grupos de simetría de la forma [a,b,b,a], tienen una simetría extendida, [[a,b,b,a]], como [3,3,3,3], duplicando el orden de simetría. Los politopos uniformes en estos grupos con anillos simétricos contienen esta simetría extendida.

Si todos los espejos de un color determinado están sin anillar (inactivos) en un politopo uniforme dado, tendrá una construcción de simetría inferior al eliminar todos los espejos inactivos. Si todos los nodos de un color determinado están anillados (activos), una operación de alternancia puede generar un nuevo 5-politopo con simetría quiral, que se muestra como nodos "vacíos" encerrados en un círculo, pero la geometría no suele ser ajustable para crear soluciones uniformes.

Correspondencias entre familias y mayor simetría en los diagramas de Coxeter. Los nodos del mismo color en cada fila representan espejos idénticos. Los nodos negros no están activos en la correspondencia.
Familias fundamentales [7]
Prismas uniformes

Hay 5 familias finitas de politopos prismáticos uniformes categóricos basados ​​en los 4-politopos uniformes no prismáticos . Hay una familia infinita de 5-politopos basada en prismas de los duoprismas uniformes {p}×{q}×{ }.

Duoprismas uniformes

Hay tres familias categóricas uniformes duoprismáticas de politopos basadas en productos cartesianos de los poliedros uniformes y polígonos regulares : { q , r }×{ p }.

Enumeración de los 5-politopos uniformes convexos

Esto eleva el total a: 19+31+8+45+1=104

Además hay:

La A5familia

Hay 19 formas basadas en todas las permutaciones de los diagramas de Coxeter con uno o más anillos. (16+4-1 casos)

Reciben su nombre de Norman Johnson a partir de las operaciones de construcción de Wythoff sobre el 5-símplex regular (hexateron).

La familia A5 tiene simetría de orden 720 ( factorial 6 ). 7 de las 19 figuras, con diagramas de Coxeter simétricamente anillados, tienen simetría doble, orden 1440 .

Las coordenadas de 5-politopos uniformes con simetría 5-símplex se pueden generar como permutaciones de números enteros simples en el espacio 6, todos en hiperplanos con vector normal (1,1,1,1,1,1).

El B5familia

La familia B 5 tiene simetría de orden 3840 (5!×2 5 ).

Esta familia tiene 2 5 −1=31 politopos uniformes Wythoffianos generados al marcar uno o más nodos del diagrama de Coxeter . También se agregan 8 politopos uniformes generados como alternancias con la mitad de la simetría, que forman un duplicado completo de la familia D 5 como... =..... (Hay más alternancias que no se enumeran porque sólo producen repeticiones, como... =.... y... =.... Estos darían una duplicación completa de los 5-politopos uniformes numerados del 20 al 34 con la simetría rota a la mitad).

Para simplificar se divide en dos subgrupos, cada uno con 12 formas, y 7 formas "intermedias" que pertenecen igualmente a ambos.

La familia de 5 cubos de 5 politopos está dada por las envolturas convexas de los puntos base que se enumeran en la siguiente tabla, con todas las permutaciones de coordenadas y signos tomados. Cada punto base genera un 5 politopo uniforme distinto. Todas las coordenadas corresponden a 5 politopos uniformes con una longitud de arista de 2.

La D5familia

La familia D 5 tiene simetría de orden 1920 (5! x 2 4 ).

Esta familia tiene 23 politopos uniformes Wythoffianos, de 3×8-1 permutaciones del diagrama de Coxeter D 5 con uno o más anillos. 15 (2×8-1) se repiten de la familia B 5 y 8 son exclusivos de esta familia, aunque incluso esos 8 duplican las alternancias de la familia B 5 .

En las 15 repeticiones, ambos nodos que terminan las ramas de longitud 1 están anillados, por lo que los dos tipos deLos elementos son idénticos y la simetría se duplica: las relaciones son... =.... y... =..., creando una duplicación completa de los 5-politopos uniformes 20 a 34 anteriores. Las 8 nuevas formas tienen un nodo de este tipo anillado y otro no, con la relación... =...duplicando los 5-politopos uniformes 51 a 58 anteriores.

Formas prismáticas uniformes

Existen 5 familias finitas de politopos prismáticos uniformes categóricos basados ​​en los 4-politopos uniformes no prismáticos . Para simplificar, no se muestran la mayoría de las alternancias.

A4× Un1

Esta familia prismática tiene 9 formas :

La familia A 1 x A 4 tiene simetría de orden 240 (2*5!).

B4× Un1

Esta familia prismática tiene 16 formas (tres de ellas compartidas con la familia [3,4,3]×[ ])

La familia A 1 × B 4 tiene simetría de orden 768 (2 5 4!).

Los últimos tres snubs se pueden realizar con aristas de igual longitud, pero de todos modos resultan no uniformes porque algunas de sus 4 caras no son 4-politopos uniformes.

F4× Un1

Esta familia prismática tiene 10 formas .

La familia A 1 x F 4 tiene simetría de orden 2304 (2*1152). Tres politopos 85, 86 y 89 (fondo verde) tienen simetría doble [[3,4,3],2], orden 4608. El último, prisma romo de 24 celdas (fondo azul) tiene simetría [3 + ,4,3,2], orden 1152.

yo4× Un1

Esta familia prismática tiene 15 formas :

La familia A 1 x H 4 tiene simetría de orden 28800 (2*14400).

Prismas duoprismáticos

Los prismas de duoprisma uniformes, { p }×{ q }×{ }, forman una clase infinita para todos los números enteros p , q >2. {4}×{4}×{ } forma una forma de simetría inferior del 5-cubo .

El vector f extendido de { p }×{ q }×{ } se calcula como ( p , p , 1 )*( q , q , 1 )*(2, 1 ) = (2 pq ,5 pq ,4 pq +2 p +2 q ,3 pq +3 p +3 q , p + q +2, 1 ).

Gran prisma antiprisma

El gran antiprisma es el único prisma de 5 politopos uniforme no Wythoffiano convexo conocido. Tiene 200 vértices, 1100 aristas, 1940 caras (40 pentágonos, 500 cuadrados, 1400 triángulos), 1360 celdas (600 tetraedros , 40 antiprismas pentagonales , 700 prismas triangulares , 20 prismas pentagonales ) y 322 hiperceldas (2 grandes antiprismas , 20 prismas antiprisma pentagonales, y 300 prismas tetraédricos ).

Notas sobre la construcción de Wythoff para los 5-politopos uniformes

La construcción de los politopos uniformes de 5 dimensiones reflectantes se realiza mediante un proceso de construcción de Wythoff y se representa mediante un diagrama de Coxeter , donde cada nodo representa un espejo. Los nodos están rodeados por anillos para indicar qué espejos están activos. El conjunto completo de politopos uniformes generados se basa en las permutaciones únicas de los nodos rodeados por anillos. Los politopos de 5 dimensiones uniformes se nombran en relación con los politopos regulares de cada familia. Algunas familias tienen dos constructores regulares y, por lo tanto, pueden tener dos formas de nombrarlos.

Aquí están los operadores principales disponibles para construir y nombrar los 5-politopos uniformes.

La última operación, el desvío, y más generalmente la alternancia, son las operaciones que permiten crear formas no reflectantes. Éstas se dibujan con "anillos huecos" en los nodos.

Las formas prismáticas y los gráficos bifurcados pueden utilizar la misma notación de indexación de truncamiento, pero requieren un sistema de numeración explícito en los nodos para mayor claridad.

Panales regulares y uniformes

Correspondencias entre familias y mayor simetría en los diagramas de Coxeter. Los nodos del mismo color en cada fila representan espejos idénticos. Los nodos negros no están activos en la correspondencia.

Hay cinco grupos de Coxeter afines fundamentales y 13 grupos prismáticos que generan teselaciones regulares y uniformes en el espacio euclidiano 4-espacial. [11] [12]

Hay tres panales regulares del 4-espacio euclidiano:

Otras familias que generan panales uniformes:

También existen teselaciones uniformes no Wythoffianas en el espacio 4 por elongación (inserción de capas) y giro (rotación de capas) a partir de estas formas reflectantes.

Panales hiperbólicos regulares y uniformes

Grupos compactos hiperbólicos

Hay 5 grupos de Coxeter hiperbólicos compactos de rango 5, cada uno de los cuales genera panales uniformes en el 4-espacio hiperbólico como permutaciones de anillos de los diagramas de Coxeter.

Hay 5 panales hiperbólicos convexos compactos regulares en el espacio H 4 : [13]

También hay 4 panales estelares hiperbólicos compactos regulares en el espacio H 4 :

Grupos paracompactos hiperbólicos

Existen 9 grupos de Coxeter hiperbólicos paracompactos de rango 5 , cada uno de los cuales genera panales uniformes en el espacio cuatridimensional como permutaciones de anillos de los diagramas de Coxeter. Los grupos paracompactos generan panales con infinitas facetas o figuras de vértices .

Notas

  1. ^ T. Gosset : Sobre las figuras regulares y semirregulares en el espacio de n dimensiones , Messenger of Mathematics, Macmillan, 1900
  2. ^ Glosario multidimensional, George Olshevsky
  3. ^ Bowers, Jonathan (2000). "Polichora uniforme" (PDF) . En Reza Sarhagi (ed.). Bridges 2000. Conferencia Bridges. págs. 239–246.
  4. ^ Politera uniforme, Jonathan Bowers
  5. ^ Polítopo uniforme
  6. ^ ACW (24 de mayo de 2012), "5-politopos uniformes convexos", Open Problem Garden , archivado desde el original el 5 de octubre de 2016 , consultado el 4 de octubre de 2016
  7. ^ Politopos regulares y semirregulares III, p.315 Tres grupos finitos de 5 dimensiones
  8. ^ Coxeter , Politopos regulares , §12.6 El número de reflexiones, ecuación 12.61
  9. ^ "N,k-dippip".
  10. ^ "Golpe de puño".
  11. ^ Politopos regulares, p.297. Tabla IV, Regiones fundamentales para grupos irreducibles generados por reflexiones.
  12. ^ Politopos regulares y semirregulares, II, pp.298-302 Panales de abejas cuatridimensionales
  13. ^ Coxeter, La belleza de la geometría: Doce ensayos, Capítulo 10: Panales regulares en el espacio hiperbólico, Tablas de resumen IV pág. 213

Referencias

Enlaces externos