En mathématique, un polytope régulier convexe à 4 dimensions (ou polychore) est un polytope à 4 dimensions qui est à la fois régulier et convexe. Ce sont les analogues en 4 dimensions des solides de Platon (3 dimensions) et des polygones réguliers (2 dimensions).
Ces polytopes furent décrits la première fois par le mathématicien suisse Ludwig Schläfli au milieu du XIXe siècle. Schläfli découvrit qu'il y avait précisément six figures de ce type. Cinq d'entre elles sont considérées comme les analogues de dimension 4 des solides de Platon. Il y a une figure supplémentaire (l'icositétrachore) qui n'a aucun équivalent tri-dimensionnel.
Chaque polytope régulier convexe à 4 dimensions est limité par des cellules tri-dimensionnelles qui sont toutes des solides de Platon du même type et de même taille. Ceux-ci sont organisés ensemble le long de leur côtés de manière régulière.
Ils sont tous homéomorphes à une hypersphère à la surface tri-dimensionnelle, leur caractéristique d'Euler-Poincaré vaut donc 0.
Pentachore | Tesseract | Hexadécachore | Icosatétrachore | Hécatonicosachore | Hexacosichore | |
---|---|---|---|---|---|---|
cellules | 5 (tétraèdres) | 8 (cubes) | 16 (tétraèdres) | 24 (octaèdres) | 120 (dodécaèdres) | 600 (tétraèdres |
faces | 10 (triangles) | 24 (carrés) | 32 (triangles) | 96 (triangles) | 720 (pentagones) | 1200 (triangles) |
arêtes | 10 | 32 | 24 | 96 | 1200 | 720 |
sommets | 5 | 16 | 8 | 24 | 600 | 120 |
Dual | Pentachore | Hexadécachore | Tesseract | Icosatétrachore | Hexacosichore | Hécatonicosachore |
symbole de Schläfli | {3,3,3} | {4,3,3} | {3,3,4} | {3,4,3} | {5,3,3} | {3,3,5} |
figure de sommet | tétraèdre | tétraèdre | octaèdre | cube | tétraèdre | icosaèdre |
4-volume | ||||||
3-surface | ||||||
Rayon de la 4-sphère circonscrite | ||||||
Rayon de la 4-sphère inscrite | ||||||
θ |
Le pentachore est le simplexe régulier de dimension 4. Son symbole de Schläfli est {3,3,3}.
Ses autres noms sont : 5-cellules, pentatope, hyperpyramide à base tétraédrique, hypertétraèdre, 4-simplexe.
Ses éléments sont :
Comme tous les simplexes, il est son propre dual. Il fait partie du groupe de symétrie A4. Sa figure de sommet est un tétraèdre.
C'est un hypercube à 4 dimensions. Son symbole de Schläfli est {4,3,3}.
Ses autres noms sont : l'octachore, le 8-cellules, le 4-cube.
Ses éléments sont :
Son dual est le 16-cellules (un hypercube est en effet toujours dual d'un hyperoctaèdre et vice-versa). Il fait partie du groupe de symétrie B4. Sa figure de sommet est un tétraèdre.
C'est un hyperoctaèdre à 4 dimensions. Son symbole de Schläfli est {3,3,4}.
Ses autres noms sont : le 16-cellules, le 4-orthoplexe, le 4-octaèdre.
Ses éléments sont :
Il peut être considéré comme une double hyperpyramide à base octaédrique.
Son dual est le tesseract (un hyperoctaèdre est en effet toujours dual d'un hypercube et vice-versa). Il fait partie du groupe de symétrie B4. Sa figure de sommet est un octaèdre.
Il n'a aucun analogue en 3 dimensions. Son symbole de Schläfli est {3,4,3}.
Ses autres noms sont : le 24-cellules, l'octaplexe, le poly-octaèdre.
Ses éléments sont :
Ayant autant de sommets que de cellules, et autant d'arêtes que de faces, il est son propre dual. Il fait partie du groupe de symétrie F4. Sa figure de sommet est un cube.
Il est l'analogue quadri-dimensionnel du dodécaèdre régulier. Son symbole de Schläfli est {5,3,3}.
Ses autres noms sont : l'hécatonicosaédroïde, le 120-cellules, le dodécaplexe, l'hyperdodécaèdre, le polydodécaèdre.
Ses éléments sont :
Son dual est l'hexachosichore, de la même façon que l'icosaèdre était le dual du dodécaèdre. Son groupe de symétrie est H4. Sa figure de sommet est un tétraèdre.
Il est l'analogue quadri-dimensionnel de l'icosaèdre régulier. Son symbole de Schläfli est {3,3,5}.
Ses autres noms sont : le 600-cellules, le tétraplexe, l'hypericosaèdre, le polytétraèdre.
Ses éléments sont :
Son dual est l'hecatonicosachore, de la même façon que le dodécaèdre était le dual de l'icosaèdre. Son groupe de symétrie est H4. Sa figure de sommet est un icosaèdre.