We observe that for j fixed the function are mutually
orthogonal as k varies and that the map
is the orthogonal projection on the space of functions which are constant on the intervals
(the sampling map). We will call this space and observe that
if . Then
. We also observe that the
orthogonal complement of
in
is spanned by the Haar
wavelets. We will write