3.4.1 随机变量独立性的定义