Enveloppe convexe

L'enveloppe convexe d'un objet ou d'un regroupement d'objets

gomtriques est l'ensemble convexe le plus petit parmi ceux qui le
contiennent.

Dans un plan, l'enveloppe convexe peut tre compare la rgion

limite par un lastique qui englobe tous les points qu'on relche jusqu'
ce qu'il se contracte au maximum. L'ide serait la mme dans l'espace
avec un ballon qui se dgonflerait jusqu' tre en contact avec tous les
points qui sont la surface de l'enveloppe convexe.

Analogie avec un lastique entourant

Sommaire des points dans le plan, l'enveloppe
convexe est la rgion dlimite par la
1 Dfinition et proprits lmentaires ligne bleue.
1.1 Description en termes de barycentres
2 Le cas de la dimension finie : un thorme de Carathodory
3 Aspects algorithmiques
3.1 En 2D
3.2 Dimensions d'ordres suprieurs
4 Rfrences
5 Voir aussi
5.1 Articles connexes
5.2 Lien externe

Dfinition et proprits lmentaires

On supposera tre dans un contexte o la notion de sous-ensemble convexe a un sens (par exemple en
gomtrie affine sur les rels), et l'on notera E le cadre gomtrique o l'on se place.

Dfinition Soit A une partie de E. L'enveloppe convexe de A est l'intersection de toutes les
parties convexes de E qui contiennent A.

Cette dfinition a un sens, puisqu'il existe au moins une partie convexe de E qui contient A, savoir E lui-
mme.

De cette dfinition et du fait qu'une intersection quelconque d'ensembles convexes est un ensemble convexe, on
dduit la caractrisation suivante de l'enveloppe convexe.

Proposition L'enveloppe convexe de A est la plus petite partie convexe de E qui contient A.

Dvelopp de faon plus dtaille, ce rsultat caractrise l'enveloppe convexe Conv(A) comme l'unique sous-
ensemble de E qui vrifie les trois conditions suivantes :

Conv(A) est convexe ;

A est inclus dans Conv(A) ;
si C est un sous-ensemble convexe de E contenant A, alors Conv(A) est inclus dans C.
 si C est un sous-ensemble convexe de E contenant A, alors Conv(A) est inclus dans C.

Par exemple, Conv() = .

Description en termes de barycentres

Dans la suite de cette section, on supposera que E est un espace affine rel. On peut alors noncer 1 :

Proposition L'enveloppe convexe de A est l'ensemble des combinaisons convexes (c'est--

dire des barycentres coefficients positifs ou nuls) de familles de points de A.

Autrement dit : les lments de l'enveloppe convexe de A sont exactement les points x de E qu'on peut crire
sous la forme :

, expression dans laquelle p est un entier, les ai sont dans A, les coefficients i sont rels

positifs et de somme

Le cas de la dimension finie : un thorme de Carathodory

L'nonc qui prcde peut tre amlior en dimension finie, comme remarqu par Constantin Carathodory en
1907. Si l'on note n la dimension de E, le thorme affirme qu'on peut utiliser des barycentres de p points en se
bornant au cas p = n + 1 pour reconstituer toute l'enveloppe convexe. Ainsi dans un plan, tant donn A, on
construit mentalement son enveloppe convexe en noircissant par la pense tous les triangles sommets dans A ;
en dimension 3 on utiliserait des ttradres, et ainsi de suite.

Le thorme s'nonce prcisment ainsi :

Thorme Dans un espace affine de dimension n, l'enveloppe convexe d'un sous-ensemble A

est l'ensemble des combinaisons convexes de familles de n + 1 points de A.

Une fois cet nonc connu, il est facile d'en dduire un corollaire important :

Corollaire Dans un espace affine de dimension finie, l'enveloppe convexe d'un compact est
compacte.

(Alors que par exemple dans l'espace de Hilbert 2, de base hilbertienne (n)n, la suite (n/n)n et sa limite
0 forment un compact, dont l'enveloppe convexe n'est mme pas ferme 2.)

Aspects algorithmiques
En 2D
Le calcul de l'enveloppe convexe d'un
ensemble de points est un problme
classique en gomtrie algorithmique.
Plusieurs algorithmes ont t invents
pour rsoudre ce problme, leur
complexit varie :

marche de Jarvis, en ,
tant le nombre de points de
l'enveloppe convexe ;
algorithme de Chan, en
;
parcours de Graham, en
;
heuristique de Akl-Toussaint ;
utilisation du diagramme de
3
Vorono , en : les
Construction itrative de l'enveloppe convexe d'un nuage de points par un
points de l'enveloppe convexe
dfinissent des cellules de Vorono algorithme de pseudo Quickhull (en).
ouvertes, il suffit de dtecter ces
cellules et de relier les germes des cellules adjacentes.

Dimensions d'ordr es suprieurs

Pour un ensemble fini de points, l'enveloppe convexe est un polydre convexe. Cependant, sa reprsentation
n'est pas aussi facile que dans le cas du plan. Pour les dimensions strictement suprieures 2, mme si les
artes du polydre sont connues, la construction des facettes n'est pas une tche triviale. Un certain nombre
d'algorithmes sont quand mme connus pour la dimension 3, mais aussi dans le cas gnral. [rf. ncessaire]

Rfrences
1. Marcel Berger, Gomtrie [dtail des ditions ], Prop. 11.1.8.4, tome 3, p. 26 dans l'dition de 1978.
2. (en) Charalambos D. Aliprantis et Kim C. Border, Infinite Dimensional Analysis: A Hitchhiker's Guide , Springer , 2007
(lire en ligne (http://books.google.fr/books?id=4hIq6ExH7NoC&pg=P A185)), p. 185.
3. (en) Michael Ian Shamos, Computational Geometry : thse de doctorat , universit Yale, 1975
(en) Michael Ian Shamos et Dan Hoey, Closest-point problems , dans Proceeding of 16th Annual IEEE Symposium
on Foundations of Computer Science , Los Angeles, IEEE Computer Society Press, 1975 (lire en ligne (http://euro.ecom.
cmu.edu/people/faculty/mshamos/1975ClosestPoint.pdf) ), p. 151-162 .

Voir aussi
Articles connexes

Enveloppe convexe ferme

Problme du cercle minimum
Surface de sustentation
Thorme de Krein-Milman

Lien externe

(en) Convex Hull Algorithms, Applet Java en 3D

Ce document provient de https://fr.wikipedia.org/w/index.php?
title=Enveloppe_convexe&oldid=133786209 .

Cette page a t modifie pour la dernire fois le 19 janvier 2017 15:59.

Droit d'auteur : les textes sont disponibles sous licence Creative Commons attribution, partage dans les mmes
conditions ; dautres conditions peuvent sappliquer. Voyez les conditions dutilisation pour plus de dtails,
ainsi que les crdits graphiques. En cas de rutilisation des textes de cette page, voyez comment citer les
auteurs et mentionner la licence.
Wikipedia est une marque dpose de la Wikimedia Foundation, Inc., organisation de bienfaisance rgie par
le paragraphe 501(c)(3) du code fiscal des tats-Unis.