Accueil🇫🇷Chercher

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é :

  1. l'adhérence de tout convexe est convexe ;
  2. tout convexe fermé est faiblement fermé ;
  3. 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

(de) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en allemand intitulé « Satz von Mazur » (voir la liste des auteurs).
  1. Haïm Brezis, Analyse fonctionnelle : théorie et applications [détail des éditions], p. 38.
  2. (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.
  3. (en) Fei-tsen Liang, « Nonlinear Variational Problems ».
  4. (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.
  5. (en) Ivar Ekeland et Roger Temam, Convex Analysis and Variational Problems, SIAM, (1re éd. 1976, North-Holland) (lire en ligne), p. 6.
Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.