随机变量变换后的分布函数