Downsampling and Aliasing
The downsampling operator selects every sample of a signal:
where the operator is defined as
for . The summation terms for are called aliasing components.
In z transform notation, the operator can be expressed as 
where is a common notation for the primitive th root of unity. On the unit circle of the plane, this becomes
The frequency scaling corresponds to having a sampling interval of after downsampling, which corresponds to the interval prior to downsampling.
The aliasing theorem makes it clear that, in order to downsample by factor without aliasing, we must first lowpass-filter the spectrum to . This filtering (when ideal) zeroes out the spectral regions which alias upon downsampling.
Note that any rational sampling-rate conversion factor may be implemented as an upsampling by the factor followed by downsampling by the factor [50,287]. Conceptually, a stretch-by- is followed by a lowpass filter cutting off at , followed by downsample-by- , i.e.,
In practice, there are more efficient algorithms for sampling-rate conversion [270,135,78] based on a more direct approach to bandlimited interpolation.
where we have chosen to keep frequency samples in terms of the original frequency axis prior to downsampling, i.e., for both and . This choice allows us to easily take the limit as by simply replacing by :
Replacing by and converting to -transform notation instead of Fourier transform notation , with , yields the final result.
Differentiation Theorem Dual
Stretch/Repeat (Scaling) Theorem