Symbole de Schläfli - Définition
La liste des auteurs de cet article est disponible ici.
Introduction
En mathématiques, le symbole de Schläfli est une notation de la forme {p,q,r, ...} qui permet de définir les polyèdres réguliers et les tessellations. Cette notation donne un résumé de certaines propriétés importantes d'un polytope rectangulaire particulier.
Le symbole de Schläfli fut nommé ainsi en l'honneur du mathématicien du XIXe siècle Ludwig Schläfli qui fit d'importantes contributions en géométrie et dans d'autres domaines.
Les polygones réguliers (plan)
Le symbole de Schläfli pour un polygone régulier convexe à n côtés est {n}. Par exemple, un pentagone régulier est représenté par {5}.
Pour représenter des polygones étoilés, les fractions sont utilisées. Ainsi le pentagramme, qui est le pentagone étoilé, est représenté par {5/2}, ce qui signifie que ce polyèdre possède 5 arêtes et que chacune de ces arêtes relie les sommets de numéro s et s + 2. Ainsi la première arête relie le premier et le troisième sommet, la deuxième le troisième et le cinquième, ...
Les polychores réguliers (4-espace)
Le symbole de Schläfli pour un polychore régulier est de la forme {p,q,r}. Il possède {p} faces polygonales régulières, {p,q} cellules, {q,r} figures de sommet polyèdriques régulières et {r} figures d'arêtes polygonales régulières.
Voir les six polychores réguliers convexes et les dix non-convexes.
Par exemple, le 120-cellules est représenté par {5,3,3}. Il est construit par des cellules dodécaédriques {5,3}, et possède 3 cellules autour de chaque arêtes.
Il existe aussi un pavage régulier du 3-espace euclidien : le nid d'abeille cubique, avec un symbole de Schläfli de {4,3,4}, fait de cellules cubiques, et 4 cubes autour de chaque sommet.
Il existe aussi 4 pavages réguliers hyperboliques incluant {5,3,4}, le petit nid d'abeille dodécaédrique hyperbolique, qui remplit l'espace avec des cellules dodécaédriques.
Les polyèdres réguliers (3-espace)
Le symbole de Schläfli d'un polyèdre régulier est {p,q} si ses faces sont des p-gones, et chaque sommet est entouré par q faces (la figure de sommet est un q-gone).
Par exemple {5,3} est le dodécaèdre régulier. Il possède des faces pentagonales, et trois pentagones autour de chaque sommet.
Voir les 5 solides de Platon, les 4 solides de Kepler-Poinsot.
Les symboles de Schläfli peuvent aussi être définis pour les pavages réguliers des espaces euclidiens ou hyperboliques d'une manière similaire.
Par exemple, le pavage hexagonal est représenté par {6,3}. Il est en effet formé d'hexagones et chacun de ces hexagones est entouré par trois autres.
Les polytopes duaux
Pour la dimension 2 ou au-dessus, chaque polytope possède un dual.
Si un polytope possède un symbole de Schläfli {
} alors son dual possède un symbole de Schläfli {
}.
Si la suite est la même vers la gauche et vers la droite, le polytope est auto-dual. Chaque polytope régulier en 2 dimensions (polygone) est auto-dual, chaque simplexe est autodual, chaque pyramide de dimension 3 est autoduale, et le 24-cellules est autodual.
Les dimensions plus élevées
Pour les polytopes de dimensions plus élevées, le symbole de Schläfli est défini par récurrence comme : 
si les facettes ont un symbole de Schläfli 
et les figures de sommet : 
.
Il existe seulement 3 polytopes réguliers en 5 dimensions et au-dessus : le simplexe, {3,3,3,...,3}; le polytope croisé, {3,3, ... ,3,4}; et l'hypercube, {4,3,3,...,3}. Il n'existe pas de polytopes réguliers non-convexes au-dessus de 4 dimensions.
Les symboles de Schläfli étendus pour les polytopes uniformes
Les polytopes uniformes, construits à partir d'une construction de Wythoff, sont représentés par une notation de troncature étendue à partir d'une forme régulière {p,q,...}. Il existe un quantité de formes parallèles symboliques qui référencent les éléments du symbole de Schläfli, discutées par dimensions ci-dessous.
Les polyèdres uniformes et les pavages
Pour les polyèdres, un symbole de Schläfli étendu est utilisé dans l'article de 1954 par Coxeter énumérant l'article intitulé polyèdres uniformes.
Chaque polyèdre régulier ou pavage {p,q} possède 7 formes, incluant la forme régulière et son dual, correspondant aux positions dans le triangle rectangle fondamental. Un huitième forme spéciale, les adoucis, correspondent à une alternance de la forme omnitronquée.
Par exemple, t{3,3} signifie simplement un tétraèdre tronqué.
Une deuxième notation, plus générale, aussi utilisée par Coxeter, s'applique à toutes les dimensions, et est précisée par un t suivit d'une liste d'indices correspondant aux miroirs de construction de Wythoff (ils correspondent aussi aux noeuds annelés dans un diagramme de Coxeter-Dynkin).
Par exemple, le cube tronqué peut être représenté par t0,1{4,3} et il peut être regardé comme à mi-chemin entre le cube, t0{4,3} et le cuboctaèdre, t1{4,3}.
Dans chacun, un nom désignant l'opération de la construction de Wythoff est donné en premier lieu. En deuxième lieu, certains ont une terminologie alternative (donnée entre parenthèses) s'appliquant seulement pour une dimension donnée. Précisément, l'omnitroncature et le développement, les relations duales s'appliquant différemment dans chaque dimension.
| Opération | Symboles de Schläfli étendus | Diagramme de Coxeter- Dynkin | Symbole de Wythoff | |
|---|---|---|---|---|
| Parent |  | t0{p,q} | Fichier:Dynkins-100.png | q | 2 p |
| Rectifié (Quasi-régulier) |  | t1{p,q} | Fichier:Dynkins-010.png | 2 | p q |
| Birectifié (ou dual) |  | t2{p,q} | Fichier:Dynkins-001.png | p | 2 q |
| Tronqué |  | t0,1{p,q} | Fichier:Dynkins-110.png | 2 q | p |
| Bitronqué (ou dual tronqué) |  | t2,3{p,q} | Fichier:Dynkins-011.png | 2 p | q |
| Biseauté (ou développé) |  | t0,2{p,q} | Fichier:Dynkins-101.png | p q | 2 |
| Biseauté-tronqué (ou omnitronqué) |  | t0,1,2{p,q} | Fichier:Dynkins-111.png | 2 p q | |
| Adouci |  | s{p,q} | Fichier:Dynkins-sss.png | | 2 p q |
Les polychores uniformes et les nids d'abeille
Il existe au plus 15 formes tronquées pour les polychores et les nids d'abeille basés sur chaque forme régulière {p,q,r}.
Voir les articles polychore et nid d'abeille uniforme convexe.
La notation avec le t en indice est parallèle au diagramme de Coxeter-Dynkin graphique, dont chaque noeud graphique représente les 4 hyperplans des réflexions miroirs dans le domaine fondamental.
| Opération | Symboles de Schläfli étendus | Diagramme de Coxeter- Dynkin |
|---|---|---|
| Parent | t0{p,q,r} | Fichier:Dynkins-1000.png |
| Rectifié | t1{p,q,r} | Fichier:Dynkins-0100.png |
| Birectifié (ou dual rectifié) | t2{p,q,r} | Fichier:Dynkins-0010.png |
| Trirectifié (ou dual) | t3{p,q,r} | Fichier:Dynkins-0001.png |
| Tronqué | t0,1{p,q,r} | Fichier:Dynkins-1100.png |
| Bitronqué | t1,2{p,q,r} | Fichier:Dynkins-0110.png |
| Tritronqué (ou dual tronqué) | t2,3{p,q,r} | Fichier:Dynkins-0011.png |
| biseauté | t0,2{p,q,r} | Fichier:Dynkins-1010.png |
| Bi-biseauté (ou dual biseauté) | t1,3{p,q,r} | Fichier:Dynkins-0101.png |
| Développé) | t0,3{p,q,r} | Fichier:Dynkins-1001.png |
| Biseauté-tronqué | t0,1,2{p,q,r} | Fichier:Dynkins-1110.png |
| Bi-biseauté-tronqué (ou dual biseauté-tronqué) | t1,2,3{p,q,r} | Fichier:Dynkins-0111.png |
| Développé | t0,1,3{p,q,r} | Fichier:Dynkins-1101.png |
| Développé-biseauté (ou dual développé-tronqué) | t0,2,3{p,q,r} | Fichier:Dynkins-1011.png |
| Développé-biseauté-tronqué (ou omnitronqué) | t0,1,2,3{p,q,r} | Fichier:Dynkins-1111.png |