= Solution
An <orthonormal wavelet> is $\psi\in L^2(\mathbb R)$ such that $\{2^{j/2}\psi(2^jx-k)\}_{j,k\in\mathbb Z}$ is an orthonormal basis. A <multiresolution analysis> is a nested family of closed spaces $V_j$ with trivial intersection, dense union, dyadic scaling, integer-translation invariance of $V_0$, and a generator $\phi$ whose integer translates form an orthonormal basis of $V_0$. The <Meyer-Mallat theorem> says every such analysis has an orthonormal wavelet whose translates span $V_{j+1}\ominus V_j$.
Back to article page
