Polytope
Un polytope est un objet mathématique géométrique généralisant à la dimension n, ce que sont les polygones en dimension 2 et les polyèdres en dimension 3. Le terme de polytope a été introduit en anglais par Alicia Boole Stott, la fille du logicien George Boole, et est issu du terme allemand polytop, inventé par le mathématicien Reinhold Hoppe[1],[2].
![](http://upload.wikimedia.org/wikipedia/commons/thumb/1/1d/Deltoidalicositetrahedron.jpg/220px-Deltoidalicositetrahedron.jpg)
Plusieurs définitions
modifierLe terme polytope admet plusieurs définitions au sein des mathématiques. Principalement car les usages diffèrent en quelques points selon les pays, mais l'usage américain ayant tendance à s'imposer, on se retrouve confronté avec des usages contradictoires au sein d'un même pays. On retrouve ce genre de problème pour les définitions des faces et des facettes d'un polyèdre (pour un polyèdre de dimension n, Bourbaki définit les facettes comme les faces de dimension < n – 1, le suffixe faisant penser à la petitesse, alors que les américains définissent une facette comme une face de dimension n – 1, comme on dit en français d'ailleurs pour les facettes d'un diamant).
Le point sûr est qu'un polyèdre est une sorte de polytope[Information douteuse].
L'usage le plus répandu veut que, dans l'espace euclidien ℝn, on distingue le polyèdre du polytope de la manière suivante. Le polyèdre est une intersection d'un nombre fini de demi-espaces délimités par des hyperplans affines, c.-à-d.
où et ,
tandis que le polytope est une enveloppe convexe, c.-à-d.
où pour un certain nombre fini d'indices .
Un résultat fondamental établit que :
Ce résultat est essentiel pour l'approche polyédrique en optimisation combinatoire.
Toutefois on trouvera aussi la distinction suivante entre polytope et polyèdre. On entend parfois en géométrie, polytope comme la généralisation à toutes dimensions de la notion de polygone pour deux dimensions et de polyèdre pour trois dimensions. Quoi qu'il en soit, en général on suppose qu'un polytope est un polytope convexe[Information douteuse] et borné. Le plus simple que l'on puisse construire est le simplexe constitué de n + 1 sommets dans un espace de dimension n. Pour toute enveloppe convexe dans un espace de dimension n, on peut prendre des sous-ensembles de sommets linéairement indépendants et définir des n-simplexes à partir de ces sommets. Il est toujours possible de décomposer un polytope convexe en simplexes de sorte que leur union soit le polytope original, et que leurs intersections deux à deux soient l'ensemble vide ou un s-simplexe (avec s < n). Par exemple : dans le plan, un carré (l'enveloppe convexe de ses sommets) est l'union de deux triangles (2-simplexes) dont l'intersection est la diagonale du carré (1-simplexe).
Polyèdres réguliers
modifierLes polyèdres réguliers étaient un sujet d'étude majeur chez les anciens mathématiciens grecs (principalement Euclide), probablement à cause de leurs qualités esthétiques. De nos jours, on retrouve les polytopes dans de nombreuses applications d'optimisation linéaire ou en infographie notamment.
Exemple de polytope
modifierParmi les polytopes, on peut citer le polytope de Gosset, qui illustre une des propriétés du groupe de Lie E8.
Références
modifier- H. S. M. Coxeter, Regular polytopes, Dover Publications, (ISBN 978-0-486-61480-9)
- Voyages au pays des maths - Alicia Boole au pays des polytopes - Regarder le documentaire complet | ARTE, consulté le
- (de) Hermann Minkowski, Geometrie der Zahlen (erste Lieferung), Teubner, Leipzig, 1896.
- (de) Ernst Steinitz, « Bedingt konvergente Reihen und konvexe Systeme (Schluss) », J. reine angew. Math., vol. 146, , p. 1-52 (lire en ligne).
- (de) Hermann Weyl, « Elementare Theorie der konvexen Polyeder », Comment. Math. Helv., vol. 7, , p. 290-306 (lire en ligne).
- (en) Branko Grünbaum, Convex Polytopes, Springer, (lire en ligne), p. 31.
Voir aussi
modifierArticles connexes
modifierBibliographie
modifier(en) H.S.M. Coxeter, Regular Polytopes, New York, Dover, 1973 (ISBN 978-0-486-61480-9)
Lien externe
modifierOlivier Debarre, « Polytopes et points entiers », sur www.math.ens.fr