9-cubeIn geometry, a 9-cube is a nine-dimensional hypercube with 512 vertices, 2304 edges, 4608 square faces, 5376 cubic cells, 4032 tesseract 4-faces, 2016 5-cube 5-faces, 672 6-cube 6-faces, 144 7-cube 7-faces, and 18 8-cube 8-faces. It can be named by its Schläfli symbol {4,37}, being composed of three 8-cubes around each 7-face. It is also called an enneract, a portmanteau of tesseract (the 4-cube) and enne for nine (dimensions) in Greek. It can also be called a regular octadeca-9-tope or octadecayotton, as a nine-dimensional polytope constructed with 18 regular facets.
Demi-hypercubevignette|Les deux demi-hypercubes du cube de dimension 3 sont des tétraèdres. En géométrie, un demi-hypercube est un polytope de dimension n formé en les sommets d'un hypercube de dimension n, c'est-à-dire en ne conservant qu'un sommet sur deux. Il est également appelé polytope de demi-mesure. À partir d'un hypercube donné, on peut obtenir deux demi-hypercubes distincts, en fonction des sommets que l'on élimine et de ceux que l'on garde (il y a deux choix possibles).
Uniform 10-polytopeIn ten-dimensional geometry, a 10-polytope is a 10-dimensional polytope whose boundary consists of 9-polytope facets, exactly two such facets meeting at each 8-polytope ridge. A uniform 10-polytope is one which is vertex-transitive, and constructed from uniform facets. Regular 10-polytopes can be represented by the Schläfli symbol {p,q,r,s,t,u,v,w,x}, with x {p,q,r,s,t,u,v,w} 9-polytope facets around each peak.
9-orthoplexIn geometry, a 9-orthoplex or 9-cross polytope, is a regular 9-polytope with 18 vertices, 144 edges, 672 triangle faces, 2016 tetrahedron cells, 4032 5-cells 4-faces, 5376 5-simplex 5-faces, 4608 6-simplex 6-faces, 2304 7-simplex 7-faces, and 512 8-simplex 8-faces. It has two constructed forms, the first being regular with Schläfli symbol {37,4}, and the second with alternately labeled (checkerboarded) facets, with Schläfli symbol {36,31,1} or Coxeter symbol 611. It is one of an infinite family of polytopes, called cross-polytopes or orthoplexes.
5 21 honeycombDISPLAYTITLE:5 21 honeycomb In geometry, the 521 honeycomb is a uniform tessellation of 8-dimensional Euclidean space. The symbol 521 is from Coxeter, named for the length of the 3 branches of its Coxeter-Dynkin diagram. By putting spheres at its vertices one obtains the densest-possible packing of spheres in 8 dimensions. This was proven by Maryna Viazovska in 2016 using the theory of modular forms. Viazovska was awarded the Fields Medal for this work in 2022.
Uniform polytopeIn geometry, a uniform polytope of dimension three or higher is a vertex-transitive polytope bounded by uniform facets. The uniform polytopes in two dimensions are the regular polygons (the definition is different in 2 dimensions to exclude vertex-transitive even-sided polygons that alternate two different lengths of edges). This is a generalization of the older category of semiregular polytopes, but also includes the regular polytopes. Further, star regular faces and vertex figures (star polygons) are allowed, which greatly expand the possible solutions.
Uniform 8-polytopeIn eight-dimensional geometry, an eight-dimensional polytope or 8-polytope is a polytope contained by 7-polytope facets. Each 6-polytope ridge being shared by exactly two 7-polytope facets. A uniform 8-polytope is one which is vertex-transitive, and constructed from uniform 7-polytope facets. Regular 8-polytopes can be represented by the Schläfli symbol {p,q,r,s,t,u,v}, with v {p,q,r,s,t,u} 7-polytope facets around each peak.
Hyperoctaèdrethumb|Diagramme de Schlegel de l'hexadécachore, hyperoctaèdre en dimension 4. Un hyperoctaèdre est, en géométrie, un polytope régulier convexe, généralisation de l'octaèdre en dimension quelconque. Un hyperoctaèdre de dimension n est également parfois nommé polytope croisé, n-orthoplexe ou cocube. Un hyperoctaèdre est l'enveloppe convexe des points formés par toutes les permutations des coordonnées (±1, 0, 0, ..., 0). En dimension 1, l'hyperoctaèdre est simplement le segment de droite [-1, +1] ; en dimension 2, il s'agit d'un carré de sommets {(1, 0), (-1, 0), (0, 1), (0, -1)}.
HypercubeUn hypercube est, en géométrie, un analogue n-dimensionnel d'un carré (n = 2) et d'un cube (n = 3). C'est une figure fermée, compacte, convexe constituée de groupes de segments parallèles opposés alignés dans chacune des dimensions de l'espace, à angle droit les uns par rapport aux autres. Un hypercube n-dimensionnel est aussi appelé un n-cube. Le terme « polytope de mesure » a aussi été utilisé (notamment par Coxeter), mais il est tombé en désuétude. Enfin, le cas particulier du 4-cube est souvent désigné par le terme de tesseract.
Groupe de CoxeterUn groupe de Coxeter est un groupe engendré par des réflexions sur un espace. Les groupes de Coxeter se retrouvent dans de nombreux domaines des mathématiques et de la géométrie. En particulier, les groupes diédraux, ou les groupes d'isométries de polyèdres réguliers, sont des groupes de Coxeter. Les groupes de Weyl sont d'autres exemples de groupes de Coxeter. Ces groupes sont nommés d'après le mathématicien H.S.M. Coxeter. Un groupe de Coxeter est un groupe W ayant une présentation du type: où est à valeurs dans , est symétrique () et vérifie , si .