Théorème de Carathéodory
Théorème (Carathéodory) : Soit $E$ un espace vectoriel normé ou un espace affine de dimension $n$, et $A$ une partie de $E$. Alors tout élément
de l'enveloppe convexe de $A$ est combinaison convexe de $(n+1)$ éléments de $A.$
On sait que si $y$ est dans l'enveloppe convexe de $A$, alors il peut s'écrire $$y=t_1a_1+\cdots+t_p a_p,$$ où $a_i\in A$ et $t_i\in \mathbb R_+$ avec $t_1+\cdots+t_p=1$. Le théorème de Carathéodory dit que l'on peut toujours choisir les points $a_i$ et les réels $t_i$ de sorte que $p\leq n+1$.
Le théorème de Carathéodory admet le très intéressant corollaire suivant :
Corollaire : Dans un espace vectoriel normé ou un espace affine de dimension finie,
l'enveloppe convexe d'un compact est compact.
Consulter aussi...
Recherche alphabétique
Recherche thématique