Polytope - Définition

Un polytope en dimension 3

Le 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

Le point sûr est qu'un polytope est une sorte de polyèdre.

L'usage le plus répandu veut que, dans l'espace Euclidien , on distingue le polyèdre du polytope de la manière suivante. Le polyèdre P est un sous-espace défini par des hyperplans, i.e.

,

où et ; tandis que le polytope est une enveloppe convexe, i.e.

,

où et pour un certain nombre fini d'indices i.

Un résultat fondamental (Minkowski 1896, Steinitz 1916, Weyl 1935) établit que

Tout polytope est un polyèdre borné.

Ce résultat est essentiel pour l'approche polyèdrale 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 convexe 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).

Les 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 les retrouve dans de nombreuses applications dans les domaines de la programmation linéaire ou en infographie notamment. Le terme de polytope a été inventé par Alicia Boole Stott, la fille du logicien George Boole.

Parmi les polytopes, on peut citer le Polytope de Gosset, qui illustre une des propriétés du Groupe de Lie E8.