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.

Énoncé[modifier | modifier le code]

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\|.}$

Voir aussi[modifier | modifier le code]

• Constante de Lebesgue

• Portail de l'analyse