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

Soit (V,‖.‖) un espace vectoriel normé, U un sous-espace vectoriel de V et soit P un projecteur linéaire sur U. Alors, pour chaque v∈V :

‖v−P(v)‖≤(1+‖P‖)infu∈U‖v−u‖.

Voir aussi

modifier