Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2003/ib/paper-3/1f/solution

The integral is finite because a continuous function on a compact closed interval is bounded. Nonnegativity is immediate, and absolute homogeneity of a norm follows from . The pointwise triangle inequality gives
For positive definiteness, if , continuity gives a relative interval of positive length on which . Its integral is positive, including when is an endpoint. Thus implies , and this is a norm on the given vector space.
For the given sequence,
The last bound tends to zero as both indices tend to infinity, proving the Cauchy sequence property. Moreover, the sequence converges to the zero function in this norm:
There is no conflict with the nonzero endpoint values: convergence in this norm does not imply pointwise convergence.

New to topics? Read the docs here!