记号 AC 表示事件交集 A∩C。条件概率分子应为 (A∩C)∩(A∪B) 的概率,因为 A∩C 已包含在 A 内,额外的条件事件不改变它。分母用并事件公式,独立性用于计算交事件概率。
详细步骤
根据条件概率定义,
P(AC∣A∪B)=P(A∪B)P((A∩C)∩(A∪B)).
由于 A∩C⊆A⊆A∪B,分子就是 P(A∩C)。
相互独立蕴含 A,C 独立和 A,B 独立,所以
P(A∩C)=P(A)P(C)=41,
P(A∪B)=P(A)+P(B)−P(A∩B)=21+21−41=43.
分母为正,条件概率合法,代入得
P(AC∣A∪B)=3/41/4=31.
这里不需要把分子再乘 P(A∪B);虽然三个事件彼此独立,但复合事件 AC 与 A∪B 共享事件 A,它们并不独立。
条件事件 A∪B 把总体样本空间缩小到并集,再问同时发生 A 和 C 的结果在其中占多少比例。因为该目标事件已落在并集内部,分子无需改变,只需重新归一化分母。得到三分之一大于原来的四分之一,原因是条件排除了全部不在 A 或 B 中的结果;这与事件空间缩小后的直观方向一致,也能帮助检查条件概率是否被反除。
∣P∣=3−14−1=1=0,故 P 可逆,确认 a=2 时确实可通过初等列变换实现,不只是一个必要参数。
相同秩只是必要条件,还需要给出可实现的变换来确认参数充分。这里构造的 P 虽然把第二、第三列映射为相同的列,却仍然可逆,因为 A 本身有一个非零零空间方向,不同的系数向量可以被 A 送到同一个像。奇异矩阵的这个性质解释了为什么 B 有重复列,并不妨碍右乘矩阵 P 可逆。逐列构造与最终行列式检查共同完成了充分性。