Lemme de Lebesgue

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