Lemme de Lebesgue

Cet article est une ébauche concernant l’analyse.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

En mathématiques, le lemme de Lebesgue est un résultat important en théorie de l'approximation. Il permet d'obtenir une borne sur l'erreur de projection.

Soit ${\displaystyle (V,\|.\|)}$ un espace vectoriel normé, U un sous-espace vectoriel de V et soit P un projecteur linéaire sur U. Alors, pour chaque ${\displaystyle v\in V}$ :

${\displaystyle \|v-Pv\|\leq (1+\|P\|)\inf _{u\in U}\|v-u\|.}$

• Constante de Lebesgue

• Portail de l'analyse