Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2018/iii/paper-340/1/b/solution

Let be the orthogonal projection onto . The dilation property and the orthonormal basis property give the orthonormal basis of . The periodized nonnegative function
has period one and , by Tonelli theorem. For a function with compact support contained in a bounded interval , Cauchy-Schwarz inequality and the Parseval identity give
as . The last step uses absolute continuity of the integral of a locally function, since the interval's length tends to zero. If , then
Functions with compact support are dense in , so . Consequently
This proof needs neither the density axiom nor any compact support assumption on the scaling function.

New to topics? Read the docs here!