stringtranslate.com

Politopo 4 uniforme

Diagrama de Schlegel para el sistema truncado de 120 celdas con celdas tetraédricas visibles
Proyección ortográfica de la celda truncada de 120 celdas, en el plano de Coxeter H 3 ( simetría D 10 ). Solo se dibujan vértices y aristas.

En geometría , un 4-politopo uniforme (o policoron uniforme ) [1] es un politopo de 4 dimensiones que es transitivo por vértices y cuyas celdas son poliedros uniformes y sus caras son polígonos regulares .

Existen 47 politopos cuaternarios convexos uniformes no prismáticos . Existen dos conjuntos infinitos de formas prismáticas convexas, junto con 17 casos que surgen como prismas de los poliedros convexos uniformes. También existe un número desconocido de formas estelares no convexas.

Historia del descubrimiento

4-politopos regulares

Los 4-politopos regulares son un subconjunto de los 4-politopos uniformes, que satisfacen requisitos adicionales. Los 4-politopos regulares se pueden expresar con el símbolo de Schläfli { p , q , r } y tienen celdas de tipo { p , q }, caras de tipo { p }, figuras de arista { r } y figuras de vértice { q , r }.

La existencia de un 4-politopo regular { p , q , r } está restringida por la existencia de los poliedros regulares { p , q } que se convierten en celdas, y { q , r } que se convierte en la figura del vértice .

La existencia como un 4-politopo finito depende de una desigualdad: [15]

Los 16 4-politopos regulares , con la propiedad de que todas las celdas, caras, aristas y vértices son congruentes:

Politopos convexos uniformes de 4 elementos

Simetría de 4-politopos uniformes en cuatro dimensiones

Hay 5 familias fundamentales de grupos puntuales de simetría especular en 4 dimensiones: A 4 =, B4 =, D4 =, F4 =, H4 =. [7] También hay 3 grupos prismáticos A 3 A 1 =, B3A1 =, H3A1 =, y grupos duoprismáticos: I 2 (p)×I 2 (q) =. Cada grupo está definido por un dominio fundamental del tetraedro de Goursat delimitado por planos de espejo.

Cada 4-politopo uniforme reflexivo se puede construir en uno o más grupos puntuales reflexivos en 4 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,a], tienen una simetría extendida, [[a,b,a]], que duplica el orden de simetría. Esto incluye [3,3,3], [3,4,3] y [ p ,2, p ]. 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 determinado, 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 4-politopo con simetría quiral, que se muestra como nodos "vacíos" en círculos, pero la geometría no suele ser ajustable para crear soluciones uniformes.

Enumeración

Hay 64 4-politopos convexos uniformes, incluidos los 6 4-politopos convexos regulares y excluidos los conjuntos infinitos de duoprismas y prismas antiprismáticos .

Estos 64 4-politopos uniformes están indexados a continuación por George Olshevsky. Las formas de simetría repetidas están indexadas entre corchetes.

Además de los 64 anteriores, hay 2 conjuntos prismáticos infinitos que generan todas las formas convexas restantes:

La A4familia

La celda 5 tiene simetría pentacórica diploide [3,3,3] , [7] de orden 120, isomorfa a las permutaciones de cinco elementos, porque todos los pares de vértices están relacionados de la misma manera.

Se proporcionan facetas (celdas) agrupadas en sus ubicaciones en el diagrama de Coxeter eliminando nodos específicos.

Las tres formas uniformes de 4-politopos marcadas con un asterisco , * , tienen la simetría pentacórica extendida más alta , de orden 240, [[3,3,3]] porque el elemento correspondiente a cualquier elemento de la celda de 5 subyacente se puede intercambiar con uno de los correspondientes a un elemento de su dual. Hay un pequeño subgrupo de índice [3,3,3] + , orden 60, o su duplicación [[3,3,3]] + , orden 120, que define una celda de 5 omnisnub que se incluye para completar, pero no es uniforme.

El B4familia

Esta familia tiene simetría hexadecacórica diploide , [7] [4,3,3], de orden 24×16=384: 4!=24 permutaciones de los cuatro ejes, 2 4 =16 para la reflexión en cada eje. Hay 3 subgrupos de índices pequeños, y los dos primeros generan 4-politopos uniformes que también se repiten en otras familias, [1 + ,4,3,3], [4,(3,3) + ] y [4,3,3] + , todos de orden 192.

Truncamientos de Tesseract

Truncamientos de 16 celdas

(*) Así como rectificar el tetraedro produce el octaedro , rectificar el de 16 celdas produce el de 24 celdas, el miembro regular de la siguiente familia.

El snub de 24 celdas se repite en esta familia para completar. Es una alternancia del truncado de 16 celdas o truncado de 24 celdas , con el grupo de semisimetría [(3,3) + ,4]. Las celdas octaédricas truncadas se convierten en icosaedros. Los cubos se convierten en tetraedros y se crean 96 nuevos tetraedros en los huecos de los vértices eliminados.

La F4familia

Esta familia tiene simetría icositetracórica diploide , [7] [3,4,3], de orden 24×48=1152: las 48 simetrías del octaedro para cada una de las 24 celdas. Hay 3 pequeños subgrupos de índice, con los dos primeros pares isomorfos generando 4-politopos uniformes que también se repiten en otras familias, [3 + ,4,3], [3,4,3 + ] y [3,4,3] + , todos de orden 576.

(†) El cubo chato de 24 celdas que se muestra aquí, a pesar de su nombre común, no es análogo al cubo chato ; más bien, se deriva de una alternancia del cubo truncado de 24 celdas. Su número de simetría es solo 576 (el grupo icositetracórico disminuido iónico , [3 + ,4,3]).

Al igual que la de 5 células, la de 24 células es autodual, por lo que las tres formas siguientes tienen el doble de simetrías, lo que eleva su total a 2304 ( simetría icositetracórica extendida [[3,4,3]]).

La H4familia

Esta familia tiene simetría hexacosicórica diploide , [7] [5,3,3], de orden 120×120=24×600=14400: 120 para cada uno de los 120 dodecaedros, o 24 para cada uno de los 600 tetraedros. Hay un pequeño subgrupo de índice [5,3,3] + , todos de orden 7200.

Truncamientos de 120 celdas

Truncamientos de 600 celdas

La D4familia

Esta familia de semiteseractos , [3 1,1,1 ], no introduce nuevos 4-politopos uniformes, pero vale la pena repetir estas construcciones alternativas. Esta familia tiene orden 12×16=192: 4!/2=12 permutaciones de los cuatro ejes, la mitad alternadas, 2 4 =16 para la reflexión en cada eje. Hay un pequeño subgrupo de índices que genera 4-politopos uniformes, [3 1,1,1 ] + , orden 96.

Cuando los 3 nodos de la rama bifurcada están anillados de manera idéntica, la simetría se puede incrementar en 6, ya que [3[3 1,1,1 ]] = [3,4,3], y por lo tanto estos politopos se repiten a partir de la familia de 24 células .

Aquí nuevamente el snub de 24 celdas , con el grupo de simetría [3 1,1,1 ] + esta vez, representa un truncamiento alternado del truncado de 24 celdas creando 96 nuevos tetraedros en la posición de los vértices eliminados. En contraste con su apariencia dentro de los grupos anteriores como 4-politopo parcialmente snubeado, solo dentro de este grupo de simetría tiene la analogía completa con los snubs de Kepler, es decir, el cubo snub y el dodecaedro snub .

El gran antiprisma

Existe un 4-politopo uniforme convexo no wythoffiano, conocido como el gran antiprisma , que consta de 20 antiprismas pentagonales que forman dos anillos perpendiculares unidos por 300 tetraedros . Es vagamente análogo a los antiprismas tridimensionales , que consisten en dos polígonos paralelos unidos por una banda de triángulos . Sin embargo, a diferencia de ellos, el gran antiprisma no es miembro de una familia infinita de politopos uniformes.

Su simetría es el grupo de Coxeter iónico disminuido , [[10,2 + ,10]], orden 400.

Politopos prismáticos uniformes de 4

Un politopo prismático es un producto cartesiano de dos politopos de menor dimensión; ejemplos conocidos son los prismas tridimensionales , que son productos de un polígono y un segmento de línea . Los 4-politopos prismáticos uniformes constan de dos familias infinitas:

Prismas poliédricos convexos

La familia más obvia de 4-politopos prismáticos son los prismas poliédricos, es decir, productos de un poliedro con un segmento de línea . Las celdas de estos 4-politopos son dos poliedros uniformes idénticos que se encuentran en hiperplanos paralelos (las celdas de base ) y una capa de prismas que los une (las celdas laterales ). Esta familia incluye prismas para los 75 poliedros uniformes no prismáticos (de los cuales 18 son convexos; uno de ellos, el prisma cúbico, se menciona anteriormente como teseracto ). [ cita requerida ]

Hay 18 prismas poliédricos convexos creados a partir de 5 sólidos platónicos y 13 sólidos arquimedianos , así como para las infinitas familias de prismas y antiprismas tridimensionales . [ cita requerida ] El número de simetría de un prisma poliédrico es el doble del del poliedro base.

Prismas tetraédricos: A3× Un1

Esta simetría tetraédrica prismática es [3,3,2], orden 48. Hay dos subgrupos de índice 2, [(3,3) + ,2] y [3,3,2] + , pero el segundo no genera un 4-politopo uniforme.

Prismas octaédricos: B3× Un1

Esta familia de simetría octaédrica prismática es [4,3,2], orden 96. Hay 6 subgrupos de índice 2, orden 48 que se expresan en 4-politopos alternados a continuación. Las simetrías son [(4,3) + ,2], [1 + ,4,3,2], [4,3,2 + ], [4,3 + ,2], [4,(3,2) + ] y [4,3,2] + .

Prismas icosaédricos: H3× Un1

Esta simetría icosaédrica prismática es [5,3,2], orden 240. Hay dos subgrupos de índice 2, [(5,3) + ,2] y [5,3,2] + , pero el segundo no genera un policoron uniforme.

Duoprismas: [p] × [q]

El más simple de los duoprismas, el 3,3-duoprisma, en el diagrama de Schlegel , una de las 6 celdas de prisma triangular que se muestran.

La segunda es la familia infinita de duoprismas uniformes , productos de dos polígonos regulares . El diagrama de Coxeter-Dynkin de un duoprisma esSu figura de vértice es un tetraedro difenoide ..

Esta familia se superpone con la primera: cuando uno de los dos polígonos "factoriales" es un cuadrado, el producto es equivalente a un hiperprisma cuya base es un prisma tridimensional. El número de simetría de un duoprisma cuyos factores son un p -gono y un q -gono (un " p,q -duoprisma") es 4 pq si pq ; si los factores son ambos p -gonos, el número de simetría es 8 p 2 . El teseracto también puede considerarse un 4,4-duoprisma.

El vector f extendido de { p }×{ q } es ( p , p ,1)*( q , q ,1) = ( pq ,2 pq , pq + p + q , p + q ).

No existe un análogo uniforme en cuatro dimensiones para la familia infinita de antiprismas tridimensionales .

Conjunto infinito de duoprismas pq -- prismas p q -gonales, prismas q p -gonales:

Son posibles alteraciones.=da la familia de duoantiprismas , pero generalmente no se pueden hacer uniformes. p=q=2 es el único caso convexo que se puede hacer uniforme, dando las 16 celdas regulares. p=5, q=5/3 es el único caso no convexo que se puede hacer uniforme, dando el llamado gran duoantiprisma .da el prismantiprismoide p-2q-gonal (una alternancia de aristas del duoprisma 2p-4q), pero esto no se puede hacer uniforme en ningún caso. [20]

Prismas prismáticos poligonales: [p] × [ ] × [ ]

El conjunto infinito de prismas prismáticos uniformes se superpone con los duoprismas 4-p: (p≥3) -- p cubos y 4 prismas p -gonales - (Todos son iguales al duoprisma 4-p ) El segundo politopo de la serie es una simetría inferior del teseracto regular , {4}×{4}.



Prismas antiprismáticos poligonales: [p] × [ ] × [ ]

Los conjuntos infinitos de prismas antiprismáticos uniformes se construyen a partir de dos antiprismas uniformes paralelos ): (p≥2) -- 2 antiprismas p -gonales, conectados por 2 prismas p -gonales y 2 prismas triangulares p.

Un prisma antiprismático p-gonal tiene 4 caras p -triángulo, 4 caras p -cuadradas y 4 caras p-gonales. Tiene 10 caras p y 4 caras p -vértices.

Alternancias no uniformes

Al igual que el cubo tridimensional ,, una alternancia elimina la mitad de los vértices, en dos conjuntos quirales de vértices de la forma anillada, sin embargo, la solución uniforme requiere que las posiciones de los vértices se ajusten para longitudes iguales. En cuatro dimensiones, este ajuste solo es posible para 2 figuras alternadas, mientras que el resto solo existen como figuras alternadas no equiláteras.

Coxeter mostró solo dos soluciones uniformes para grupos de Coxeter de rango 4 con todos los anillos alternados (mostrados con nodos circulares vacíos). La primera es, s{2 1,1,1 } que representaba una forma de subgrupo de índice 24 ( simetría [2,2,2] + , orden 8) del semiteseracto ,, h{4,3,3} (simetría [1 + ,4,3,3] = [3 1,1,1 ], orden 192). El segundo es, s{3 1,1,1 }, que es una forma de subgrupo de índice 6 (simetría [3 1,1,1 ] + , orden 96) del snub de 24 celdas ,, s{3,4,3}, (simetría [3 + ,4,3], orden 576).

Otras alternancias, como, como una alternancia del teseracto omnitruncado , no se pueden hacer uniformes ya que la resolución de longitudes de aristas iguales está en general sobredeterminada (hay seis ecuaciones pero solo cuatro variables). Tales figuras alternadas no uniformes se pueden construir como 4-politopos transitivos de vértice mediante la eliminación de uno de los dos medios conjuntos de vértices de la figura anillada completa, pero tendrán longitudes de arista desiguales. Al igual que las alternancias uniformes, tendrán la mitad de la simetría de la figura uniforme, como [4,3,3] + , orden 192, es la simetría del teseracto omnitruncado alternado . [21]

Las construcciones de Wythoff con alternancias producen figuras transitivas de vértices que pueden hacerse equiláteras, pero no uniformes porque los huecos alternados (alrededor de los vértices eliminados) crean celdas que no son regulares ni semirregulares. Un nombre propuesto para tales figuras es politopos escaliformes . [22] Esta categoría permite un subconjunto de sólidos de Johnson como celdas, por ejemplo, la cúpula triangular .

Cada configuración de vértice dentro de un sólido de Johnson debe existir dentro de la figura de vértice. Por ejemplo, una pirámide cuadrada tiene dos configuraciones de vértice: 3.3.4 alrededor de la base y 3.3.3.3 en el vértice.

A continuación se muestran las redes y las figuras de vértices de los cuatro casos equiláteros convexos, junto con una lista de celdas alrededor de cada vértice.

Derivaciones geométricas para 46 policoras uniformes wythoffianas no prismáticas

Los 46 4-politopos de Wythoff incluyen los seis 4-politopos regulares convexos . Los otros cuarenta pueden derivarse de los policoros regulares mediante operaciones geométricas que preservan la mayoría o la totalidad de sus simetrías y, por lo tanto, pueden clasificarse por los grupos de simetría que tienen en común.

Las operaciones geométricas que derivan los 40 4-politopos uniformes a partir de los 4-politopos regulares son operaciones de truncamiento . Un 4-politopo puede truncarse en los vértices, aristas o caras, lo que lleva a la adición de celdas correspondientes a esos elementos, como se muestra en las columnas de las tablas siguientes.

El diagrama de Coxeter-Dynkin muestra los cuatro espejos del caleidoscopio de Wythoff como nodos, y los bordes entre los nodos están etiquetados con un número entero que muestra el ángulo entre los espejos ( π / n radianes o 180 / n grados). Los nodos en círculos muestran qué espejos están activos para cada forma; un espejo está activo con respecto a un vértice que no se encuentra sobre él.

Véase también los panales uniformes convexos , algunos de los cuales ilustran estas operaciones aplicadas al panal cúbico regular .

Si dos politopos son duales entre sí (como el teseracto y el de 16 celdas, o el de 120 celdas y el de 600 celdas), entonces bitruncating , runcinating u omnitruncating producen la misma figura que la misma operación en el otro. Por lo tanto, cuando solo aparece el participio en la tabla, debe entenderse que se aplica a cualquiera de los padres.

Resumen de construcciones por simetría extendida

Las 46 policoras uniformes construidas a partir de la simetría A 4 , B 4 , F 4 , H 4 se dan en esta tabla por su simetría extendida completa y diagramas de Coxeter. También se incluye la simetría D 4 , aunque solo crea duplicados. Las alternancias se agrupan por su simetría quiral. Se dan todas las alternancias, aunque la de 24 celdas chata , con sus 3 construcciones de diferentes familias, es la única que es uniforme. Los recuentos entre paréntesis son repeticiones o no uniformes. Los diagramas de Coxeter se dan con índices de subíndice del 1 al 46. Se incluye la familia duoprismática 3-3 y 4-4, la segunda por su relación con la familia B 4 .

Policora estrellada uniforme

Además de las familias de prismas de duoprismas y antiprismas infinitos antes mencionadas, que tienen infinitos miembros no convexos, se han descubierto muchas policoras estelares uniformes. En 1852, Ludwig Schläfli descubrió cuatro policoras estelares regulares : {5,3,5/2}, {5/2,3,5}, {3,3,5/2} y {5/2,3,3}. En 1883, Edmund Hess descubrió las otras seis: {3,5,5/2}, {5/2,5,3}, {5,5/2,5}, {5/2,5,5/2}, {5,5/2,3} y {3,5/2,5}. Norman Johnson describió tres policoras estelares uniformes de tipo antiprisma en su tesis doctoral de 1966: se basan en los tres poliedros ditrigonales que comparten las aristas y los vértices del dodecaedro regular. Desde entonces, otros investigadores, entre ellos Jonathan Bowers y George Olshevsky, han descubierto muchas más, con lo que se ha llegado a un total de 2127 policoros estelares uniformes conocidos en la actualidad (sin contar el conjunto infinito de duoprismas basados ​​en polígonos estelares). Actualmente no hay ninguna prueba de que el conjunto esté completo.

Véase también

Referencias

  1. ^ NW Johnson : Geometrías y transformaciones , (2018) ISBN  978-1-107-10340-5 Capítulo 11: Grupos de simetría finitos , 11.1 Politopos y panales , pág. 224
  2. ^ T. Gosset : Sobre las figuras regulares y semirregulares en el espacio de n dimensiones , Messenger of Mathematics, Macmillan, 1900
  3. ^ "Copia archivada" (PDF) . Archivado desde el original (PDF) el 29 de diciembre de 2009. Consultado el 13 de agosto de 2010 .{{cite web}}: CS1 maint: copia archivada como título ( enlace )
  4. ^ Elte (1912)
  5. ^ Politopos uniformes en cuatro dimensiones 6 de diciembre de 1998 archivo más antiguo
  6. ^ El libro universal de las matemáticas: del Abracadabra a las paradojas de Zenón Por David Darling, (2004) ASIN: B00SB4TU58
  7. ^ abcdefghijk Johnson (2015), Capítulo 11, sección 11.5 Grupos esféricos de Coxeter, 11.5.5 Grupos policóricos completos
  8. ^ Polítopos uniformes en cuatro dimensiones, George Olshevsky.
  9. ^ Möller, Marco (2004). Vierdimensionale Archimedische Polytope (PDF) (Tesis doctoral) (en alemán). Universidad de Hamburgo.
  10. ^ Conway (2008)
  11. ^ Glosario multidimensional, George Olshevsky
  12. ^ https://www.mit.edu/~hlb/Associahedron/program.pdf Taller sobre politopos convexos y abstractos (2005), N. Johnson — Resumen de "Polichora uniforme"
  13. ^ ab "Uniform Polychora". www.polytope.net . Consultado el 20 de febrero de 2020 .
  14. ^ "Polipotopo uniforme". Wiki de politopos . 6 de noviembre de 2023. Consultado el 11 de noviembre de 2023 .
  15. ^ Coxeter, Politopos regulares, 7.7 Criterio de Schlaefli, ecuación 7.78, pág. 135
  16. ^ "S3s3s3s".
  17. ^ "S3s3s4s".
  18. ^ "S3s4s3s".
  19. ^ "S3s3s5s".
  20. ^ sns2s2mx, Richard Klitzing
  21. ^ HSM Coxeter, Regular and Semi-Regular Polytopes II, [Math. Zeit. 188 (1985) p. 582-588 2.7 Los análogos de cuatro dimensiones del cubo romo
  22. ^ "Árbol politópico".
  23. ^ "tuta".
  24. ^ Categoría S1: Escaliformes simples
  25. ^ "Prissi".
  26. ^ Categoría S3: Prissi escaliformes especiales
  27. ^ "bidex". bendwavy.org . Consultado el 11 de noviembre de 2023 .
  28. ^ Categoría S3: Scaliformes especiales bidex
  29. ^ El Bi-icositetradisminuyó 600 células
  30. ^ "spidrox". bendwavy.org . Consultado el 11 de noviembre de 2023 .
  31. ^ Categoría S4: Prismas en espiral escaliformes spidrox

Enlaces externos