离散型随机变量的基本性质