随机变量的分布函数的定义是什么意思