for all integers and . The basis set is orthonormal since . The coefficient of projection of onto is given by
so that the expansion of in terms of the natural basis is simply
This expansion was used in Book II  to derive the impulse-response representation of an arbitrary linear, time-invariant filter.
Normalized DFT Basis for
Example: Upsampling by 2