随机变量的分布函数及其性质