Lemme de Lebesgue

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher

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 (V, \|.\|) un espace vectoriel normé, U un sous-espace vectoriel de V et soit P un projecteur lineaire sur U. Alors, pour chaque v \in V :

\|v-Pv\|\leq (1+\|P\|)\inf_{u\in U}\|v-u\|.