Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2018/iii/paper-340/1/b/solution
Past exam of the mathematics course of the University of Cambridge 2018 iii Paper 340 1 b Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-05
Let be the orthogonal projection onto . The dilation property and the orthonormal basis property give the orthonormal basis of . The periodized nonnegative functionhas period one and , by Tonelli theorem. For a function with compact support contained in a bounded interval , Cauchy-Schwarz inequality and the Parseval identity giveas . The last step uses absolute continuity of the integral of a locally function, since the interval's length tends to zero. If , thenFunctions with compact support are dense in , so . ConsequentlyThis proof needs neither the density axiom nor any compact support assumption on the scaling function.
New to topics? Read the docs here!