hypertétraèdre

Imaginez cinq points tous reliés deux à deux, comme cinq sommets dont aucune paire ne serait oubliée. Cette règle donne 10 arêtes, mais l'objet complet ne peut pas être installé dans notre espace à trois dimensions. L'hypertétraèdre est le simplexe régulier de dimension 4 : son analogue du triangle en dimension 2 et du tétraèdre en dimension 3. On le décrit en observant ses cinq cellules, qui sont des tétraèdres réguliers, ainsi que leurs faces communes. La quatrième dimension est ici un cadre géométrique, pas une direction que l'on pourrait regarder directement.

Un hypertétraèdre est le polytope régulier de dimension 4 dont chaque cellule tridimensionnelle est un tétraèdre régulier. Une cellule est une composante de dimension 3, de la même façon qu'une face est une composante de dimension 2. Le même objet porte les noms de pentachore, pentatope, 5-cellules et simplexe de dimension 4. Il possède 5 sommets, 10 arêtes, 10 faces triangulaires équilatérales et 5 cellules tétraédriques régulières. Toutes ses arêtes ont une même longueur, notée a, et chaque arête appartient à 3 faces et à 3 cellules. Chaque face appartient exactement à 2 cellules. En chacun des 5 sommets se rencontrent 4 arêtes, 6 faces et 4 cellules. Ces incidences caractérisent la structure combinatoire du simplexe régulier ; elles ne dépendent ni d'une couleur ni d'une orientation choisie pour le représenter.

Considérons cinq sommets nommés A, B, C, D et E. Pour retrouver les nombres caractéristiques de l'hypertétraèdre, on compte les sous-ensembles de sommets. Données : 5 sommets ; une arête pour chaque paire ; une face pour chaque triplet ; une cellule pour chaque quadruplet.

Les paires de sommets donnent $\left(\genfrac{}{}{0px}{}{5}{2}\right)=10\backslash binom\{5\}\{2\}=10$ arêtes. Les triplets donnent $\left(\genfrac{}{}{0px}{}{5}{3}\right)=10\backslash binom\{5\}\{3\}=10$ faces triangulaires. Les quadruplets donnent $\left(\genfrac{}{}{0px}{}{5}{4}\right)=5\backslash binom\{5\}\{4\}=5$ cellules tétraédriques.

Une cellule omet exactement un sommet. Il y a donc 5 choix pour le sommet omis, ce qui confirme le résultat précédent. De même, une arête appartient à 3 cellules : parmi les 3 sommets restants, il faut en choisir 2 pour compléter l'arête en cellule.

Le contrôle final est cohérent : les 5 cellules possèdent chacune 6 arêtes, et chaque arête est comptée 3 fois. On obtient $5\times 6=3\times 10=305\backslash times\; 6=3\backslash times\; 10=30$.

En géométrie, l'hypertétraèdre sert de modèle minimal pour raisonner en dimension 4. Une représentation en projection permet de suivre ses sommets, ses arêtes et ses cellules, même si l'objet lui-même n'est pas contenu dans l'espace ordinaire.

Pour vérifier une description, le comptage par sous-ensembles est une méthode directe : les paires repèrent les arêtes, les triplets les faces et les quadruplets les cellules. Si l'on doit montrer les distances ou les angles, on préfère une réalisation coordonnée ou un modèle en réalité virtuelle à un simple dessin de projection.

Dans une figure imprimée, les croisements de traits ne sont pas des sommets supplémentaires. Le bon réflexe consiste à lire les étiquettes et les incidences annoncées, puis à contrôler le nombre total d'éléments.

L'hypertétraèdre n'est pas un tétraèdre ordinaire. Un tétraèdre est de dimension 3 et possède 4 sommets et 4 faces ; l'hypertétraèdre est de dimension 4 et possède 5 sommets, 10 faces et 5 cellules tétraédriques. Le nombre de sommets observé est donc un critère qui tranche immédiatement.

Il ne faut pas non plus confondre une projection de l'hypertétraèdre avec son enveloppe géométrique en dimension 4. La projection peut faire apparaître des segments qui se croisent dans le plan sans créer de nouvelle incidence dans le polytope. Une cellule reste un tétraèdre régulier tridimensionnel, même lorsque sa représentation est aplatie.

Une image plane ne montre jamais directement la quatrième dimension. Son symptôme le plus trompeur est un croisement de segments : deux traits qui se coupent sur le papier peuvent seulement être des arêtes distinctes dans la projection. Il faut alors revenir aux cinq étiquettes A, B, C, D et E et aux relations entre paires, plutôt que compter les croisements comme des sommets.

Le terme « hypertétraèdre » peut aussi être employé sans préciser la régularité. Dans cette fiche, il désigne le simplexe régulier de dimension 4, dont les cinq cellules sont des tétraèdres réguliers. Une déformation qui rend les arêtes inégales n'est plus cet objet régulier, même si sa structure combinatoire peut rester celle d'un simplexe.

Enfin, le nombre 120 concerne les isométries du pentachore régulier, c'est-à-dire ses symétries qui préservent sa structure. Il ne compte ni toutes les transformations de l'espace ambiant ni toutes les façons de le dessiner.

Le passage du triangle au tétraèdre puis à l'hypertétraèdre illustre une règle générale des simplexes : dans une dimension donnée, un simplexe possède un sommet de plus que cette dimension, et chaque cellule de dimension maximale s'obtient en retirant un sommet. Cette lecture prépare l'étude des polytopes réguliers de dimensions supérieures.