Solved – If the sum of the probabilities of events is equal to the probability of their union, does that imply that the events are disjoint

kolmogorov-axiomsprobability

Axiomatically, probability is a function $P$ that assigns a real number $P(A)$ to each event $A$ if it satisfies the three fundamental assumptions (Kolmogorov's assumptions):

  1. $P(A) \geq 0 \ \text{for every} A$
  2. $P(\Omega) = 1$
  3. $\text{If} \ A_1, A_2, \cdots \text{are disjoint, then}\\
    P\left(\bigcup_{i=1}^{\infty}A_i\right) = \sum\limits_{i=1}^{\infty}P(A_i)$

My question is, in the last assumption, is the converse assumed? If I show that the probabilities for a certain number of events can be added to get the probability of their union, can I directly use this axiom to claim that the events are disjoint?

Best Answer

No, but you can conclude that the probability of any shared events is zero.

Disjoint means that $A_i \cap A_j=\emptyset$ for any $i\ne j$. You cannot conclude that, but you can conclude that $P(A_i \cap A_j)=0$ for all $i\ne j$. Any shared elements must have probability zero. Same goes for all higher-order intersections as well.

In other words, you can say, with probability 1, that none of the sets can occur together. I have seen such sets called almost disjoint or almost surely disjoint but such terminology is not standard I think.

Related Question