Polytope
{{#invoke:Bandeau|ébauche}}
Un polytope est un objet mathématique géométrique. Le terme de polytope a été inventé par Alicia Boole Stott, la fille du logicien George Boole.
Plusieurs définitions
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 < 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).
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 <math> P </math> est une intersection d'un nombre fini de demi-espaces délimités par des hyperplans affines, Modèle:C.-à-d.Modèle:Retrait
où <math>A\in\R^{m\times n}</math> et <math>b\in\R^m</math>,
tandis que le polytope <math> \bar P </math> est une enveloppe convexe, Modèle:C.-à-d.Modèle:Retrait
où <math> x_i \in\R^n</math> pour un certain nombre fini d'indices <math> i </math>.
Un résultat fondamental établit que :Modèle:Énoncé
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, Modèle:Douteux et borné. Le plus simple que l'on puisse construire est le simplexe constitué de Modèle:Nobr 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).
Le terme de polytope a été inventé par Alicia Boole Stott, la fille du logicien George Boole.
Polyèdres réguliers
Modèle:Pertinence section 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 retrouve les polytopes dans de nombreuses applications d'optimisation linéaire ou en infographie notamment.
Exemple de polytope
Parmi les polytopes, on peut citer le polytope de Gosset, qui illustre une des propriétés du groupe de Lie E8.
Références
Voir aussi
Articles connexes
Bibliographie
{{#invoke:Langue|indicationDeLangue}} H.S.M. Coxeter, Regular Polytopes, New York, Dover, 1973 Modèle:ISBN
