En geometría de ocho dimensiones , un politopo de ocho dimensiones o 8-politopo es un politopo contenido en facetas de 7 politopos. Cada cresta de 6 politopos es compartida por exactamente dos facetas de 7 politopos .
Un 8-politopo uniforme es uno que es transitivo por vértice y está construido a partir de facetas de 7-politopo uniforme .
8-politopos regulares
Los 8-politopos regulares se pueden representar mediante el símbolo de Schläfli {p,q,r,s,t,u,v}, con v {p,q,r,s,t,u} facetas de 7-politopos alrededor de cada pico .
Hay exactamente tres de estos 8-politopos convexos regulares :
- {3,3,3,3,3,3,3} - 8-símplex
- {4,3,3,3,3,3,3} - 8 cubos
- {3,3,3,3,3,3,4} - 8-ortoplex
No existen 8-politopos regulares no convexos.
Características
La topología de cualquier 8-politopo dado se define por sus números de Betti y coeficientes de torsión . [1]
El valor de la característica de Euler utilizada para caracterizar poliedros no se puede generalizar de forma útil a dimensiones superiores y es cero para todos los 8-politopos, cualquiera sea su topología subyacente. Esta inadecuación de la característica de Euler para distinguir de forma fiable entre diferentes topologías en dimensiones superiores condujo al descubrimiento de los números de Betti, más sofisticados. [1]
De manera similar, la noción de orientabilidad de un poliedro es insuficiente para caracterizar las torsiones superficiales de los politopos toroidales, y esto condujo al uso de coeficientes de torsión. [1]
8-politopos uniformes por grupos fundamentales de Coxeter
Se pueden generar 8-politopos uniformes con simetría reflexiva mediante estos cuatro grupos de Coxeter, representados por permutaciones de anillos de los diagramas de Coxeter-Dynkin :
Los 8-politopos regulares y uniformes seleccionados de cada familia incluyen:
- Familia simplex : A 8 [3 7 ] -














- 135 8-politopos uniformes como permutaciones de anillos en el diagrama de grupo, incluido uno regular:
- {3 7 } - 8-símplex o enea-9-topo o eneazetton -















- {3 7 } - 8-símplex o enea-9-topo o eneazetton -
- 135 8-politopos uniformes como permutaciones de anillos en el diagrama de grupo, incluido uno regular:
- Familia de hipercubos / ortoplex : B 8 [4,3 6 ] -














- 255 8-politopos uniformes como permutaciones de anillos en el diagrama de grupo, incluidos dos regulares:
- {4,3 6 } - 8-cubo u octágono -















- {3 6 ,4} - 8-ortoplex u octacruz -















- {4,3 6 } - 8-cubo u octágono -
- 255 8-politopos uniformes como permutaciones de anillos en el diagrama de grupo, incluidos dos regulares:
- Familia de semihipercubos D 8 : [3 5,1,1 ] -












- 191 8-politopos uniformes como permutaciones de anillos en el diagrama de grupo, incluidos:
- {3,3 5,1 } - 8-demicubo o demiocteracto , 1 51 -












; también como h{4,3 6 }













. - {3,3,3,3,3,3 1,1 } - 8-ortoplex , 5 11 -













- {3,3 5,1 } - 8-demicubo o demiocteracto , 1 51 -
- 191 8-politopos uniformes como permutaciones de anillos en el diagrama de grupo, incluidos:
- Familia de politopos E Familia E 8 : [3 4,1,1 ] -












- 255 8-politopos uniformes como permutaciones de anillos en el diagrama de grupo, incluidos:
- {3,3,3,3,3 2,1 } - Semirregular de Thorold Gosset 4 21 ,













- {3,3 4,2 } - el uniforme 1 42 ,












, - {3,3,3 4,1 } - el uniforme 2 41 ,













- {3,3,3,3,3 2,1 } - Semirregular de Thorold Gosset 4 21 ,
- 255 8-politopos uniformes como permutaciones de anillos en el diagrama de grupo, incluidos:
Formas prismáticas uniformes
Existen muchas familias prismáticas uniformes , entre ellas:
La A8familia
La familia A8 tiene simetría de orden 362880 ( factorial 9 ).
Existen 135 formas basadas en todas las permutaciones de los diagramas de Coxeter-Dynkin con uno o más anillos (128+8-1 casos). Todas ellas se enumeran a continuación. Los acrónimos de estilo Bowers se dan entre paréntesis para referencias cruzadas.
Consulte también una lista de politopos 8-símplex para obtener gráficos simétricos del plano de Coxeter de estos politopos.
El B8familia
La familia B 8 tiene simetría de orden 10321920 (8 factorial x 2 8 ). Hay 255 formas basadas en todas las permutaciones de los diagramas de Coxeter-Dynkin con uno o más anillos.
Consulte también una lista de politopos B8 para obtener gráficos simétricos del plano de Coxeter de estos politopos.
The D8 family
The D8 family has symmetry of order 5,160,960 (8 factorial x 27).
This family has 191 Wythoffian uniform polytopes, from 3x64-1 permutations of the D8 Coxeter-Dynkin diagram with one or more rings. 127 (2x64-1) are repeated from the B8 family and 64 are unique to this family, all listed below.
See list of D8 polytopes for Coxeter plane graphs of these polytopes.
The E8 family
The E8 family has symmetry order 696,729,600.
There are 255 forms based on all permutations of the Coxeter-Dynkin diagrams with one or more rings. Eight forms are shown below, 4 single-ringed, 3 truncations (2 rings), and the final omnitruncation are given below. Bowers-style acronym names are given for cross-referencing.
See also list of E8 polytopes for Coxeter plane graphs of this family.
Regular and uniform honeycombs

There are five fundamental affine Coxeter groups that generate regular and uniform tessellations in 7-space:
Regular and uniform tessellations include:
- 29 uniquely ringed forms, including:
- 7-simplex honeycomb: {3[8]}









- 7-simplex honeycomb: {3[8]}
- 135 uniquely ringed forms, including:
- Regular 7-cube honeycomb: {4,34,4} = {4,34,31,1},












= 














- Regular 7-cube honeycomb: {4,34,4} = {4,34,31,1},
- 191 uniquely ringed forms, 127 shared with , and 64 new, including:
- 7-demicube honeycomb: h{4,34,4} = {31,1,34,4},












= 












- 7-demicube honeycomb: h{4,34,4} = {31,1,34,4},
- , [31,1,33,31,1]: 77 unique ring permutations, and 10 are new, the first Coxeter called a quarter 7-cubic honeycomb.










, 









, 









, 









, 









, 









, 









, 









, 









, 










- 143 uniquely ringed forms, including:
- 133 honeycomb: {3,33,3},









- 331 honeycomb: {3,3,3,33,1},









- 133 honeycomb: {3,33,3},
Regular and uniform hyperbolic honeycombs
There are no compact hyperbolic Coxeter groups of rank 8, groups that can generate honeycombs with all finite facets, and a finite vertex figure. However, there are 4 paracompact hyperbolic Coxeter groups of rank 8, each generating uniform honeycombs in 7-space as permutations of rings of the Coxeter diagrams.
References
- ^ a b c Richeson, D.; Euler's Gem: The Polyhedron Formula and the Birth of Topoplogy, Princeton, 2008.
- T. Gosset: On the Regular and Semi-Regular Figures in Space of n Dimensions, Messenger of Mathematics, Macmillan, 1900
- A. Boole Stott: Geometrical deduction of semiregular from regular polytopes and space fillings, Verhandelingen of the Koninklijke academy van Wetenschappen width unit Amsterdam, Eerste Sectie 11,1, Amsterdam, 1910
- H.S.M. Coxeter:
- H.S.M. Coxeter, M.S. Longuet-Higgins und J.C.P. Miller: Uniform Polyhedra, Philosophical Transactions of the Royal Society of London, Londne, 1954
- H.S.M. Coxeter, Regular Polytopes, 3rd Edition, Dover New York, 1973
- Kaleidoscopes: Selected Writings of H.S.M. Coxeter, edited by F. Arthur Sherk, Peter McMullen, Anthony C. Thompson, Asia Ivic Weiss, Wiley-Interscience Publication, 1995, ISBN 978-0-471-01003-6 Wiley::Kaleidoscopes: Selected Writings of H.S.M. Coxeter
- (Paper 22) H.S.M. Coxeter, Regular and Semi Regular Polytopes I, [Math. Zeit. 46 (1940) 380–407, MR 2,10]
- (Paper 23) H.S.M. Coxeter, Regular and Semi-Regular Polytopes II, [Math. Zeit. 188 (1985) 559-591]
- (Paper 24) H.S.M. Coxeter, Regular and Semi-Regular Polytopes III, [Math. Zeit. 200 (1988) 3-45]
- N.W. Johnson: The Theory of Uniform Polytopes and Honeycombs, Ph.D. Dissertation, University of Toronto, 1966
- Klitzing, Richard. "8D uniform polytopes (polyzetta)".
External links
- Polytope names
- Polytopes of Various Dimensions
- Multi-dimensional Glossary