概率论中特征函数非负定性是什么意思?