Proof of Downsampling/Aliasing Relationship

$$\zbox{\hbox{\sc Downsample}_N(x) \leftrightarrow \frac{1}{N} \hbox{\sc Alias}_N(X)}$$

or        

From the DFT case, we know this is true when $x$ and $X$ are each complex sequences of length $N_s$ , in which case $y$ and $Y$ are length $N_s/N$ . Thus,

$$x(nN) \leftrightarrow Y(\omega_k N) = \frac{1}{N} \sum_{m=0}^{N-1} X\left(\omega_k + \frac{2\pi}{N} m \right), \; k\in \left[0,\frac{N_s}{N}\right)$$

where we have chosen to keep frequency samples $\omega_k$ in terms of the original frequency axis prior to downsampling, i.e., $\omega_k = 2\pi k/ N_s$ for both $X$ and $Y$ . This choice allows us to easily take the limit as $N_s\to\infty$ by simply replacing $\omega_k$ by $\omega$ :

$$x(nN) \leftrightarrow Y(\omega N) = \frac{1}{N} \sum_{m=0}^{N-1} X\left(\omega + \frac{2\pi}{N} m \right), \; \omega\in\left[0,\frac{2\pi}{N}\right)$$

Replacing $\omega$ by $\omega^\prime =\omega N$ and converting to $z$ -transform notation $X(z)$ instead of Fourier transform notation $X(\omega)$ , with $z=e^{j\omega^\prime }$ , yields the final result.