Past exam of the mathematics course of the University of Cambridge / 2018 / iii / Paper 340 / 1 / b

Let $P_j$ be the orthogonal projection onto $V_j$. The dilation property and the orthonormal basis property give the orthonormal basis ${\phi }_{j,k}(x)=2^{j/2}\phi (2^{j}x-k)$ of $V_j$. The periodized nonnegative functionhas period one and ${\int }_0^{1}F=\Vert \phi {\Vert }_2^2=1$, by Tonelli theorem. For a function $g\in L^2(\mathbb{R})$ with compact support contained in a bounded interval $I$, Cauchy-Schwarz inequality and the Parseval identity giveas $j\to -\infty$. The last step uses absolute continuity of the integral of a locally $L^1$ function, since the interval's length tends to zero. If $f\in {\bigcap }_j{V}_j$, thenFunctions with compact support are dense in $L^2$, so $f=0$. ConsequentlyThis proof needs neither the density axiom nor any compact support assumption on the scaling function.