Solution

ID: past-exam-of-the-options-ii-course-of-the-university-of-oxford/2010/p/p4/a/solution

Assume the usual nondegenerate interval . The integral is bilinear and symmetric because the functions and weight are real. It is nonnegative on . If is nonzero at a point, continuity makes bounded below by a positive number on a nontrivial relative interval nearby, and the positive continuous weight is also bounded below there. Hence . Thus the formula is positive definite and defines an inner product.
The functions are orthogonal precisely when
A singleton interval would make this integral zero for every function, so the condition is necessary.

New to topics? Read the docs here!