- Symbole de Schläfli
-
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 régulier 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.
Sommaire
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 (en), 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 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 des sommets est entouré par trois autres.
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 (en), 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 nid d'abeille dodécaédrique d'ordre 4 (en), qui remplit l'espace avec des cellules dodécaédriques.
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 : {p1,p2,...,pn − 1} si les facettes ont un symbole de Schläfli {p1,p2,...,pn − 2} et les figures de sommet : {p2,p3,...,pn − 1}.
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 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 {p1,p2,p3,...,pn − 1} alors son dual possède un symbole de Schläfli {pn − 1,...,p3,p2,p1}.
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 formes prismatiques
Les polytopes prismatiques peuvent être définis et nommés comme un produit cartésien de polytopes de dimensions inférieures :
- Un prisme p-gonal, avec une figure de sommet p.4.4 comme .
- Un hyperprisme uniforme {p,q}-èdrique comme .
- Un duoprisme uniforme p-q comme .
Un prisme peut aussi être représenté comme la troncature d'un hosoèdre (en) comme .
Les symboles de Schläfli étendus pour les polytopes uniformes
Les polytopes uniformes (en), 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 énumératif de 1954 par Coxeter intitulé Uniform polyhedra.
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 (en) 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 nœuds 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 (en) et le développement (en), les relations duales s'appliquant différemment dans chaque dimension.
Opération Symboles
de Schläfli
étendusDiagramme
de Coxeter-
DynkinSymbole
de WythoffParent t0{p,q} q | 2 p (Quasi-régulier) t1{p,q} 2 | p q Birectifié
(ou dual)t2{p,q} p | 2 q Tronqué (en) t0,1{p,q} 2 q | p Bitronqué (en)
(ou dual tronqué)t1,2{p,q} 2 p | q Biseauté (en)
(ou développé (en))t0,2{p,q} p q | 2 Biseauté-tronqué
(ou omnitronqué (en))t0,1,2{p,q} 2 p q | Adouci (en) s{p,q} | 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 (en).
La notation avec le t en indice est parallèle au diagramme de Coxeter-Dynkin graphique, dont chaque nœud graphique représente les 4 hyperplans des réflexions miroirs dans le domaine fondamental.
Opération Symboles
de Schläfli
étendusDiagramme
de Coxeter-
DynkinParent t0{p,q,r} Birectifié
(ou dual rectifié)t2{p,q,r} Trirectifié
(ou dual)t3{p,q,r} Tronqué (en) t0,1{p,q,r} Bitronqué (en) t1,2{p,q,r} Tritronqué
(ou dual tronqué)t2,3{p,q,r} Biseauté (en) t0,2{p,q,r} Bi-biseauté
(ou dual biseauté)t1,3{p,q,r} Développé (en) t0,3{p,q,r} Biseauté-tronqué t0,1,2{p,q,r} Bi-biseauté-tronqué
(ou dual biseauté-tronqué)t1,2,3{p,q,r} Développé t0,1,3{p,q,r} Développé-biseauté
(ou dual développé-tronqué)t0,2,3{p,q,r} Développé-biseauté-tronqué
(ou omnitronqué (en))t0,1,2,3{p,q,r} Références
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Schläfli symbol » (voir la liste des auteurs)
- (en) H. S. M. Coxeter, The Beauty of Geometry: Twelve Essays, Dover, 1999 (ISBN 978-0-486-40919-1) (Chapter 3: Wythoff's construction for uniform polytopes, p41-53)
- (en) H. S. M. Coxeter, Regular Polytopes (en), Methuen and Co., 1948 (pp. 14, 69, 149)
- (en) Coxeter, Longuet-Higgins, Miller, « Uniform polyhedra », Phil. Trans. 1954, 246 A, 401-50. (Extended Schläfli notation defined: Table 1: p 403)
- (en) N. W. Johnson, Uniform Polytopes, Manuscript, 1991
- (en) N. W. Johnson, The Theory of Uniform Polytopes and Honeycombs, Ph.D. Dissertation, University of Toronto, 1966
Wikimedia Foundation. 2010.