Théorème de Carathéodory (géométrie)
Le théorème de Carathéodory est un théorème de géométrie relatif aux enveloppes convexes dans le contexte des espaces affines de dimension finie. Dans le plan, il affirme que tout point dans l'enveloppe convexe d'un ensemble de points est dans l'intérieur d'un triangle dont les sommets sont dans (l'enveloppe convexe d'un ensemble de points est l'ensemble des barycentres de trois points de ).
![](http://upload.wikimedia.org/wikipedia/commons/thumb/5/5a/Caratheodorys_theorem_example.svg/220px-Caratheodorys_theorem_example.svg.png)
Énoncé
modifierLe théorème, établi par le mathématicien grec Constantin Carathéodory[1], affirme que :
Théorème — Dans un espace affine de dimension , l'enveloppe convexe d'un sous-ensemble est l'ensemble des barycentres à coefficients positifs ou nuls de familles de points de .
Preuves
modifierLa preuve usuelle
modifierNotons l'enveloppe convexe de , et l'ensemble des barycentres à coefficients positifs ou nuls d'au plus points de . On veut montrer l'égalité de ces deux ensembles.
L'inclusion est évidente. Pour montrer , la démarche de la preuve est de montrer que pour tout , si un élément de l'enveloppe convexe s'écrit comme combinaison convexe de points (c'est-à-dire comme barycentre à coefficients positifs ou nuls de ces points), alors c'est une combinaison convexe de points bien choisis parmi ces ; on réitère alors le procédé jusqu'à obtenir .
Soit . Ainsi s'écrit , où est un entier, les sont des réels positifs ou nuls de somme 1, et les sont des points de .
Si , alors . Si , alors est affinement lié, c'est-à-dire que l'un des points, disons par exemple , est barycentre des autres : il existe des réels de somme 1 tels que .
En posant et pour , , on obtient : , et .
Choisissons tel que : et remplaçons, dans l'expression de , le point par .
Par "associativité du barycentre" on obtient , où les , définis par , sont des réels de somme 1, dont il reste à montrer qu'ils sont tous positifs ou nuls.
Si , alors et donc . Si , alors est positif en tant que somme de deux termes positifs.
est donc barycentre à coefficients positifs ou nuls de éléments de .
Une preuve comme conséquence du théorème de Helly
modifierLes possibilités de déduire l'un de l'autre les théorèmes de Helly et de Caratheodory, le premier parlant d'intersections finies de convexes, qu'on peut ramener au seul problème d'intersections finies de demi-espaces, tandis que le second parle d'enveloppe convexe d'un nombre fini de points sont fort instructives pour illustrer les techniques de dualité en géométrie convexe, qui échangent points et demi-espaces. Deux preuves du théorème de Helly dans l'article qui lui est consacré en font une conséquence de Carathéodory, dont une fort instructive via le lemme de Farkas ; aller dans l'autre sens (tirer Carathéodory de Helly) est plus facile encore, et on peut se borner à utiliser un théorème de Gordan d'esprit voisin du lemme de Farkas, mais de démonstration nettement plus aisée.
Soit un point de l'enveloppe convexe de . Quitte à translater la figure, on peut supposer que . Il existe donc une famille finie de points de , soit dont est un barycentre à coefficients positifs ou nuls. Si il n'y a rien à faire, supposons donc . On munit d'une structure euclidienne, et pour chacun des on considère la forme linéaire définie sur par et le demi-espace .
Le théorème de Gordan (en réalité le sens évident de celui-ci) assure que les demi-espaces ( variant entre et ) ont une intersection vide. Le théorème de Helly assure à son tour qu'il en existe une sous-famille avec seulement membres qui a à son tour une intersection vide. Le sens plus significatif du théorème de Gordan permet alors de conclure que les points correspondant à cette liste ont à leur tour dans leur enveloppe convexe[2].
Corollaire : un résultat de compacité
modifierCorollaire — Dans un espace affine de dimension finie, l'enveloppe convexe d'un compact est compacte.
Soit A le compact et l'ensemble des (p+1)-uples de nombres positifs de somme 1. Alors est l'image du compact par l'application continue
Un théorème de Fenchel et Bunt
modifierSi l'on suppose en outre que A est connexe (ou même seulement qu'il n'a pas trop de morceaux), on peut limiter le nombre de sommets des simplexes nécessaires pour construire l'enveloppe convexe à la dimension de l'espace ambiant. L'énoncé précis, dû à W. Fenchel et L. Bunt est le suivant[3] :
Théorème — Dans un espace affine de dimension , soit un sous-ensemble ayant au plus composantes connexes. Alors l'enveloppe convexe de est l'ensemble des barycentres à coefficients positifs ou nuls de familles de points de .
Ainsi dans le cas le plus simple, celui de la dimension , si une figure plane est formée d'au plus deux morceaux, on peut reconstituer son enveloppe convexe en faisant la réunion de tous les segments ayant leurs deux extrémités dans .
Références
modifier- Constantin Carathéodory, Über den Variabilitätsbereich der Koeffizienten von Potenzreihen, die gegebene Werte nicht annehmen, Math. Ann., 64:95-115, 1907. On trouvera un exposé moderne du théorème par exemple dans Marcel Berger, Géométrie [détail des éditions], Théorème 11.1.8.6, tome 3, p. 27.
- Cette preuve figure dans H.G. Eggleston, Convexity, Cambridge University Press, coll. « Tracts in Mathematics and Mathematical Physics » n° 47, 1958, réimpression avec corrections 1969, p. 40-41
- L'énoncé et sa démonstration figurent dans H.G. Eggleston, op. cit. p. 37-38 ; pour l'attribution du résultat à Fenchel et Butt, voir Fundamentals of convex analysis, Jean-Baptiste Hiriart-Urruty et Claude Lemaréchal, coll. « Grundlehren Text Editions », Springer, 2001 (ISBN 3540422056), Th. 1.3.7, p. 30.