Independence versus mutually exclusive
◈ 5 cardsThree equivalent tests for independence, run on every pair; and why two disjoint events with positive probability must be dependent.
What independence means
Two events are independent when knowing one occurred tells you nothing about the other: . Substitute into the multiplication rule and two more forms fall out. Any one of the three is a test; all three agree:
The third is the one to run when the paper gives probabilities: multiply the two marginals and compare with the joint. Assume dependence until a test shows otherwise — independence is a property to be checked, not a default.
Worked example — are late and error independent?
From Maple Ledger's table, , but . Not equal, so dependent. The first test says the same: — a late invoice is more likely to carry an error than an invoice in general. Any one test settles it; run whichever the given numbers make easiest.
A pair that is independent
Georgian Bay Mutual finds that 40 % of its auto claims involve a rental car () and 50 % are filed online (), with 20 % both. — independent. For independent events the multiplication rule simplifies to , and the addition rule then gives .
Mutually exclusive is not independent
The two phrases sound alike and are opposites in the case that matters. Take a claim that is a total loss (, probability 0.30) or a partial loss (, 0.25), never both. Run the product test: , but . Unequal — dependent. In words: if you learn the claim was a total loss, you know for certain it was not a partial one. Knowing changed from 0.25 to 0. That is dependence in its strongest form.
The only way disjoint events pass the product test is if one of them has probability zero. So: two mutually exclusive events with positive probabilities are always dependent. The paper asks this, in some disguise, every year.
Keeping the two apart
| Mutually exclusive | Independent | |
|---|---|---|
| Definition | cannot both occur | one tells nothing about the other |
| Test | ||
| Effect on rules | addition rule loses its last term | multiplication rule loses its condition |
One is about the overlap being empty; the other is about the overlap being exactly what the margins predict.