4.2 相干函数的定义