12.4.1 DFT的定义和性质