Lemme de Mazur

En analyse fonctionnelle (mathématique), le lemme de Mazur — ou théorème de Mazur — assure que dans un espace vectoriel normé, toute limite faible d'une suite (xn)n∈ℕ est limite forte d'une suite de 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).

Texte : extrait de l'article Wikipédia « Lemme de Mazur », sous licence CC BY-SA 4.0.