Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2005/ib/paper-4/10b/i/solution

Apply the Gram-Schmidt process explicitly. Start with , and for set
Assume inductively that the previous form an orthonormal basis for the span of . Inner products give for every . Moreover : otherwise would lie in the span of its predecessors, contradicting that the form a basis. Thus is well defined and has unit norm. The definition expresses in the span of , and also expresses in the span of . The two spans therefore agree at each stage. Induction proves the required orthonormal, span-preserving basis.

New to topics? Read the docs here!