DFT的推导基于傅里叶变换公式(Fourier Transform),但需要引入离散时间信号的概念。 假设有一个连续时间信号$S(t)$和一个离散时间信号$F(k)$,其中$t$是离散时间,$k$是离散频率,那么它们可以组成一个离散傅里叶变换矩阵$F$和DFT矩阵$D$: $$ S(t)=sum_{k=0}^{N-1} f_k e^{-i 2 pi k t} ...