Théorème de Krein-Milman

Le théorème de Krein-Milman est un théorème, démontré par Mark Krein et David Milman en 1940^[1], qui généralise à certains espaces vectoriels topologiques un résultat géométrique portant sur les ensembles convexes énoncé par Hermann Minkowski en dimension finie (et souvent improprement dénommé lui-même « théorème de Krein-Milman »).

Une forme particulièrement simplifiée du théorème s'énonce : tout polygone convexe est l'enveloppe convexe de l'ensemble de ses sommets. Cela est vrai aussi d'un polytope convexe.

Notion de « point extrémal »

Les points extrémaux sont ceux représentés en rouge

Soit ${\displaystyle C}$ un convexe et ${\displaystyle c}$ un point de ${\displaystyle C}$. On dit que ${\displaystyle c}$ est un point extrémal de ${\displaystyle C}$ lorsque ${\displaystyle C\setminus \{c\}}$ est encore convexe. Cela équivaut à dire que, avec ${\displaystyle c_{1},c_{2}\in C}$, l'égalité ${\displaystyle c={\frac {c_{1}+c_{2}}{2}}}$ implique ${\displaystyle c_{1}=c_{2}=c}$.

Énoncé en dimension finie

Théorème — Tout convexe compact d'un espace affine de dimension finie est enveloppe convexe de l'ensemble de ses points extrémaux.

La démonstration n'est pas très longue, l'outil essentiel étant le théorème d'existence d'un hyperplan d'appui en tout point de la frontière d'un convexe.

Démonstration

La démonstration est une récurrence sur la dimension du convexe. Le résultat est évident pour un singleton ; supposons désormais le résultat vrai pour tous les convexes de dimension strictement inférieure à un entier fixé ${\displaystyle k}$, et soit ${\displaystyle C}$ un convexe de dimension ${\displaystyle k}$.

Quitte à remplacer l'espace ambiant par l'enveloppe affine de ${\displaystyle C}$, on peut supposer que c'est un espace affine dont la dimension est également ${\displaystyle k}$.

Prenons maintenant un point ${\displaystyle m}$ de ${\displaystyle C}$ et montrons qu'il est dans l'enveloppe convexe des points extrémaux. Pour ce faire, on trace une droite ${\displaystyle D}$ passant par ${\displaystyle m}$. L'ensemble ${\displaystyle C\cap D}$ est alors un convexe de ${\displaystyle D}$, compact par l'hypothèse de compacité faite sur ${\displaystyle C}$. Il est donc de la forme ${\displaystyle [a,b]}$, où ${\displaystyle m\in [a,b]}$.

Maintenant ${\displaystyle a}$ comme ${\displaystyle b}$ sont adhérents au complémentaire de ${\displaystyle C}$, ce sont donc des points frontières de ce convexe. Il existe donc des hyperplans d'appui ${\displaystyle H_{a}}$ et ${\displaystyle H_{b}}$ en ces points. Introduisons les convexes ${\displaystyle C_{a}=C\cap H_{a}}$ et ${\displaystyle C_{b}=C\cap H_{b}}$.

On remarque alors que tout point extrémal de ${\displaystyle C_{a}}$ (rep. ${\displaystyle C_{b}}$) est encore un point extrémal de ${\displaystyle C}$. Soit en effet ${\displaystyle c}$ un tel point extrémal de ${\displaystyle C_{a}}$, puis ${\displaystyle x}$ et ${\displaystyle y}$ deux points de ${\displaystyle C\setminus \{c\}}$. Si l'un au moins des deux points ${\displaystyle x}$ et ${\displaystyle y}$ n'est pas dans ${\displaystyle H_{a}}$, vu le caractère séparant de cet hyperplan, tout le segment ouvert ${\displaystyle ]x,y[}$ reste dans un seul demi-espace ouvert délimité par ${\displaystyle H_{a}}$ et évite donc ${\displaystyle c}$ ; si ${\displaystyle x}$ et ${\displaystyle y}$ sont tous les deux sur ${\displaystyle H_{a}}$, c'est la convexité de ${\displaystyle C_{a}\setminus \{c\}}$ qui assure que ${\displaystyle [x,y]}$ évite ${\displaystyle c}$. Dans tous les cas le segment ${\displaystyle [x,y]}$ est donc bien tout entier dans ${\displaystyle C\setminus \{c\}}$ et ${\displaystyle c}$ est donc extrémal dans ${\displaystyle C.}$

Par ailleurs, comme ${\displaystyle H_{a}}$ et ${\displaystyle H_{b}}$ sont de dimension ${\displaystyle k-1}$, les deux convexes ${\displaystyle C_{a}}$ et ${\displaystyle C_{b}}$ sont de dimension strictement inférieure à ${\displaystyle k}$. On peut donc leur appliquer l'hypothèse de récurrence. Ceci montre que ${\displaystyle a}$ (resp. ${\displaystyle b}$) est combinaison linéaire de points extrémaux de ${\displaystyle C_{a}}$ (resp. ${\displaystyle C_{b}}$), donc de points extrémaux de ${\displaystyle C}$. Tant ${\displaystyle a}$ que ${\displaystyle b}$ appartient donc à l'enveloppe convexe de ces points extrémaux, puis à son tour ${\displaystyle m}$ puisqu'il est sur le segment ${\displaystyle [a,b]}$.

Généralisation en dimension infinie

Théorème — Tout convexe compact d'un espace localement convexe séparé est l'enveloppe convexe-fermée de l'ensemble de ses points extrémaux.

La « réciproque (partielle) de Milman »^[2] assure que cette représentation d'un convexe compact K comme enveloppe convexe-fermée d'une partie de K est, en un certain sens, optimale : l'adhérence d'une telle partie contient les points extrémaux de K.

Notes et références

1. (en) M. Krein et D. Milman, « On the extreme points of regularly convex sets », Studia Mathematica, vol. 9,‎ 1940, p. 133-138
2. (en) David Milman, « Characteristics of extremal points of regularly convex sets », Doklady Akad. Nauk SSSR (N.S.), vol. 57,‎ 1947, p. 119-122.

Jean-Baptiste Hiriart-Urruty et Claude Lemaréchal, Fundamentals of convex analysis, coll. « Grundlehren Text Editions », Springer, 2001 (ISBN 3540422056), p. 41-42, 57 et 246

Article connexe

Théorème de Russo-Dye (en)

• Portail de la géométrie