Nyquist–Shannon sampling theorem
下面将频域信号转化为有限长离散信号。与对时域信号的处理类似，假设频域信号是带限的，再经过离散化，即可得到有限长离散信号。依据采样定理，频域采样若要能完全重建原信号，频域信号formula_14应当带限于formula_27。由于时域信号时限于formula_18，由采样定理以及时频对偶的关系，频域的采样间隔应为formula_29。故，频域采样点数为：