Lemme de Lebesgue

Un article de Wikipédia, l'encyclopédie libre.

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.

[modifier] Enoncé

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