Terpene

For Lebesgue's lemma for open covers of compact spaces in topology see Lebesgue's number lemma

In mathematics, Lebesgue's lemma is an important statement in approximation theory. It provides a bound for the projection error, controlling the error of approximation by a linear subspace based on a linear projection relative to the optimal error together with the operator norm of the projection.

Statement[edit]

Let (V, ||·||) be a normed vector space, U a subspace of V, and P a linear projector on U. Then for each v in V:

The proof is a one-line application of the triangle inequality: for any u in U, by writing vPv as (vu) + (uPu) + P(uv), it follows that

where the last inequality uses the fact that u = Pu together with the definition of the operator norm ||P||.

See also[edit]

References[edit]

Leave a Reply