Regular 4-polytopeIn mathematics, a regular 4-polytope is a regular four-dimensional polytope. They are the four-dimensional analogues of the regular polyhedra in three dimensions and the regular polygons in two dimensions. There are six convex and ten star regular 4-polytopes, giving a total of sixteen. The convex regular 4-polytopes were first described by the Swiss mathematician Ludwig Schläfli in the mid-19th century. He discovered that there are precisely six such figures.
PentachoreEn géométrie euclidienne de dimension quatre, le pentachore, ou 5-cellules, aussi appelé un pentatope ou 4-simplexe, est le polychore régulier convexe le plus simple. C'est la généralisation d'un triangle du plan ou d'un tétraèdre de l'espace. Le pentachore est constitué de 5 cellules, toutes des tétraèdres. C'est un polytope auto-dual. Sa figure de sommet est un tétraèdre. Son intersection maximale avec l'espace tridimensionnel est le prisme triangulaire. Le symbole de Schläfli du pentachore est {3,3,3}.
HexadécachoreL'hexadécachore est, en géométrie, un 4-polytope régulier convexe, c'est-à-dire un polytope à 4 dimensions à la fois régulier et convexe. Il est constitué de 16 cellules tétraédriques. L'hexadécachore est l'hyperoctaèdre de dimension 4. Son dual est le tesseract (ou hypercube). Il pave l'espace euclidien à quatre dimensions.
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)}.
SimplexeEn mathématiques, et plus particulièrement en géométrie, un simplexe est une généralisation du triangle à une dimension quelconque. En géométrie, un simplexe ou n-simplexe est l'analogue à n dimensions du triangle. Il doit son nom au fait que c'est l'objet géométrique clos le « plus simple » qui ait n dimensions. Par exemple sur une droite (1 dimension) l'objet le plus simple à 1 dimension est le segment, alors que dans le plan (2 dimensions) l'objet géométrique clos le plus simple à 2 dimensions est le triangle, et dans l'espace (3 dimensions) l'objet géométrique clos le plus simple à 3 dimensions est le tétraèdre (pyramide à base triangulaire).
Diagramme de Coxeter-DynkinEn géométrie, un diagramme de Coxeter-Dynkin est un graphe représentant un ensemble relationnel de miroirs (ou d'hyperplans de réflexion) dans l'espace pour une construction kaléidoscopique. En tant que graphe lui-même, le diagramme représente les groupes de Coxeter, chaque nœud du graphe représente un miroir (facette du domaine) et chaque branche du graphe représente l'ordre de l'angle diédral entre deux miroirs (sur une arête du domaine). En plus, les graphes ont des anneaux (cercles) autour des nœuds pour les miroirs actifs représentant un polytope précis.
HexacosichoreEn géométrie, l'hexacosichore ou « 600-cellules » est le 4-polytope régulier convexe qui a comme symbole de Schläfli {3, 3, 5}. Il est composé de 600 cellules tétraédriques dont 20 qui se rencontrent à chaque sommet. Ensemble, ils forment triangulaires, 720 arêtes et 120 sommets. Les arêtes forment 72 décagones réguliers plans. Chaque sommet du 600-cellules est le sommet de six de ces décagones.
IcositétrachoreL'icositétrachore, ou « 24-cellules » est un 4-polytope régulier convexe. Il est spécifique à la dimension 4 dans le sens où il ne possède aucun équivalent dans une autre dimension. On le dénomme aussi « 24-cellules », « icositétratope », ou « hypergranatoèdre ». On peut définir un icositétrachore dans au moyen des sommets de coordonnées , ainsi que ceux obtenus en permutant ces coordonnées. Ils sont au nombre de 24.
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 .
HécatonicosachoreIn geometry, the 120-cell is the convex regular 4-polytope (four-dimensional analogue of a Platonic solid) with Schläfli symbol {5,3,3}. It is also called a C120, dodecaplex (short for "dodecahedral complex"), hyperdodecahedron, polydodecahedron, hecatonicosachoron, dodecacontachoron and hecatonicosahedroid. The boundary of the 120-cell is composed of 120 dodecahedral cells with 4 meeting at each vertex. Together they form 720 pentagonal faces, 1200 edges, and 600 vertices.