已知 $n$ 维向量 $v\in\mathbb{C}^n$，它的 离散傅立叶变换 $\mathcal{F}(v)$ 是一个 $n\times n$ 矩阵 $M_n$ 与它的乘积： $$ \mathcal{F}(v) = M_n v. $$