定义 1.3.2 (两个事件独立)

设 $\left(\Omega ,\mathcal{F},P\right)$ 为概率空间, $A,B\in \mathcal{F}$, 如果

$$P\left(AB\right)=P\left(A\right)P\left(B\right),\text{\hspace{1em}(1.3.7)}$$

则称 $A$ 与 $B$ 相互独立.