Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2007/ib/paper-3/13h/solution

The proposed norm is finite because every continuous function on is bounded and integrable. It is nonnegative. If and at some point, continuity gives a nontrivial interval within on which is bounded below by a positive constant, contradicting the zero integral. Thus implies . The converse is immediate. Absolute homogeneity follows from , and the pointwise inequality integrates to the triangle inequality. These establish all the norm axioms, so is a normed vector space.
To test the Cauchy sequence condition, compare the terms with indices and . Put . The identities and give
Because , we have . Therefore
In particular, for all sufficiently large , these arbitrarily late pairs have norm distance greater than . This proves the sine sequence is not Cauchy in the integral norm. Thus the sequence is not Cauchy and does not converge to an element of , since every norm convergent sequence is Cauchy. This direct separation argument does not rely on completeness of .

New to topics? Read the docs here!