Lemme de Mazur
En analyse fonctionnelle (mathématique), le lemme de Mazur — ou théorème de Mazur[1] — assure que dans un espace vectoriel normé, toute limite faible d'une suite (xn)n∈ℕ est limite forte (c'est-à-dire en norme) d'une suite combinaisons convexes des vecteurs xn. Cette propriété est utilisée en calcul des variations, par exemple pour démontrer le théorème de Tonelli (en)[2],[3].
Énoncé
Dans un espace vectoriel normé X, soit (xn)n∈ℕ une suite convergeant faiblement vers un vecteur x de X, c'est-à-dire que pour toute forme linéaire continue f sur X,
Alors il existe une suite (yn)n∈ℕ à valeurs dans l'enveloppe convexe de l'ensemble des valeurs de la suite (xn)n∈ℕ, et même[4] telle que pour tout entier n, le terme yn soit de la forme
qui converge en norme vers x, c'est-à-dire telle que
Démonstration
On[5] utilise les trois résultats suivants, valables dans tout espace vectoriel topologique localement convexe métrisable, en particulier dans un espace vectoriel normé :
- l'adhérence de tout convexe est convexe ;
- tout convexe fermé est faiblement fermé ;
- tout point adhérent à une partie est limite d'une suite à valeurs dans cette partie.
Pour tout entier n > 0, soit Cn l'enveloppe convexe de l'ensemble des xk pour k ≥ n. Son adhérence Cn est convexe d'après le point 1 donc faiblement fermée d'après le point 2, si bien que Cn contient l'adhérence faible de Cn, qui elle-même contient x par hypothèse. D'après le point 3, il existe donc yn ∈ Cn tel que ‖x – yn‖ < 1/n.
Notes et références
- Haïm Brezis, Analyse fonctionnelle : théorie et applications [détail des éditions], p. 38.
- (en) Ivar Ekeland et Roger Temam, Convex Analysis and Variational Problems, vol. 1, SIAM, , 402 p. (ISBN 978-0-89871-450-0, lire en ligne), p. 389.
- (en) Fei-tsen Liang, « Nonlinear Variational Problems ».
- (de) Dirk Werner (de), Funktionalanalysis, Springer, , 6e éd., 531 p. (ISBN 978-3-540-72533-6, lire en ligne), p. 108, ne mentionne pas cette légère amélioration dans l'énoncé du lemme de Mazur. (en) Haim Brezis, Functional Analysis, Sobolev Spaces and Partial Differential Equations, (lire en ligne), p. 61 non plus, mais il la propose en exercice p. 80.
- (en) Ivar Ekeland et Roger Temam, Convex Analysis and Variational Problems, SIAM, (1re éd. 1976, North-Holland) (lire en ligne), p. 6.
- Portail de l'analyse