Recall that
and that
. Putting these together and extending the idea
yields
If we take the limit as
, we find that
Moreover,
from which it follows that
or, in other words, all subspaces
are orthogonal to one another. Since the functions
form an orthonormal basis for
, the results above imply that
This implies that, for any
, we can write
This is the key idea behind the orthogonal wavelet system that
we have been developing!