Polytope

Polytope
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 <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 polytope est une sorte de polyèdre.

L'usage le plus répandu veut que, dans l'espace Euclidien \mathbb R^n , 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.

P=\{x\in \mathbb R^n:\, Ax\le b\} ,

où A \in \mathbb R^{m\times n} et b \in \mathbb R^m; tandis que le polytope \bar P est une enveloppe convexe, i.e.

\bar P=\{x\in \mathbb R^n:\, x=\sum_i \lambda_i x_i,\, \sum_i \lambda_i=1,\, \lambda_i \ge 0\} ,

où x_i \in \mathbb R^n et \lambda_i \in \mathbb R 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é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 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 d'optimisation 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.

Références


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Polytope de Wikipédia en français (auteurs)

Игры ⚽ Нужно сделать НИР?

Regardez d'autres dictionnaires:

  • Polytope — Not to be confused with polytrope. In elementary geometry, a polytope is a geometric object with flat sides, which exists in any general number of dimensions. A polygon is a polytope in two dimensions, a polyhedron in three dimensions, and so on… …   Wikipedia

  • Polytope regulier — Polytope régulier Pour les articles homonymes, voir régulier. Le Dodécaèdre, un des cinq solides platoniciens. E …   Wikipédia en Français

  • Polytope régulier — Pour les articles homonymes, voir régulier. Le dodécaèdre régulier, un des cinq solides platoniciens. En mathématiques, plus précisément …   Wikipédia en Français

  • Polytope model — The polyhedral model (also called the polytope method) is a mathematical framework for loop nest optimization in compiler theory. The polytope method models operations within nested manifest loops as mathematical objects called polytopes,… …   Wikipedia

  • Polytope convexe — Ensemble convexe  Pour les autres sens du mot « convexe », voir convexité. Un objet géométrique est dit convexe lorsque, chaque fois qu on y prend deux points A et B, le segment [A,B] qui les joint y est entièrement contenu. Ainsi… …   Wikipédia en Français

  • Polytope croisé — Octaèdre Octaèdre Type Polyèdre régulier Faces Triangle Éléments :  · Faces  · Arêtes  · Sommets  · Caractéristique   8 12 6 2 Faces par sommet 4 Sommets par face …   Wikipédia en Français

  • Polytope dual — Le concept de polytope dual est étroitement lié à la notion de convexité. De plus, il permet d associer des entités d un polyèdre à celle de son dual de manière biunivoque. Soit x un point de , on définit le demi espace par ou <> désigne le …   Wikipédia en Français

  • Polytope des stables — Un stable est un ensemble de sommets deux à deux non adjacents. Le polytope des stables de G est l enveloppe convexe des fonctions caractéristiques de ses stables. Plus précisément, soit G un graphe à n sommets. Un choix de numérotation fait… …   Wikipédia en Français

  • polytope — noun A finite region of n dimensional space bounded by hyperplanes; the geometrical entity represented by the general term of the infinite sequence point, line, polygon, polyhedron …   Wiktionary

  • Convex polytope — A 3 dimensional convex polytope A convex polytope is a special case of a polytope, having the additional property that it is also a convex set of points in the n dimensional space Rn.[1] Some authors use the terms convex polytope and convex… …   Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”