One of 30 numbered cards is drawn, each card equally likely. Twelve cards carry a blue mark, fifteen carry a star and five carry both. What is the probability that the drawn card is blue or starred? Adding and gives , but the five cards with both marks have been counted twice. This lesson derives the addition rule from the disjoint regions of two events, uses the same regions for exactly one and neither, and bounds the probability of a union when the overlap is not known.
Key terms
Overlap
Definition The overlap of two events and is their intersection , the set of outcomes that belong to both. The events are disjoint, or mutually exclusive, when . The sum includes the probability of the overlap twice, once inside each event.
In plain words Two descriptions can fit the same outcome without making it two outcomes. A card that is both blue and starred appears on both lists, but it is one card, so its probability belongs in the union once.
Example Number the cards 1 through 30, each drawn with probability . Let be the blue cards and the starred cards. The overlap is , with five cards. The total counts these five cards twice, and the union has cards.
Disjoint regions
Definition Two events and split into four pairwise disjoint regions,
the outcomes in only, in both, in only and in neither. Their union is , so their probabilities add to . Each event is the union of two regions, so and .
In plain words A Venn diagram of two events has four pieces, and every outcome lies in exactly one of them. A number written for a whole circle is an event total, the sum of the piece outside the other circle and the overlap.
Example For the cards, the region counts are blue only, with both marks, starred only and with no mark. They add to . The numbers and are event totals, not region counts.
Addition rule
Definition For any two events and of a probability model,
For the proof, the union is the disjoint union of , and , so additivity gives
Substituting and gives the rule. For disjoint events , and the rule reduces to . The rule assumes neither equally likely outcomes nor independence.
In plain words Add the two event probabilities, then subtract the overlap once, because the sum counted it twice. The outcomes in the overlap are still part of the union, and the subtraction removes only the second copy of their probability.
Example With equally likely cards every probability is a count divided by , so
Now move the stars but keep and . If the stars sit on cards 13 to 27, no card has both marks, and . If the stars sit on cards 1 to 15, every blue card is starred, so , the overlap is itself and . These two event probabilities alone do not determine the union. The overlap, or enough information to find it, is needed.
Exactly one of two events
Definition The event that exactly one of and occurs is , also written . Its probability is
The event that neither occurs is , and the complement rule gives it probability .
In plain words In probability “A or B” is the inclusive or, meaning or or both. “Exactly one” leaves out the outcomes in both, so the overlap is subtracted twice, once for the duplicate count and once more to remove it altogether. “Neither” is everything outside the union.
Example For the cards, exactly one mark covers the blue-only and the starred-only cards, so
Neither covers the unmarked cards, so its probability is , which agrees with . The events ” or ”, “exactly one” and “neither” are different events with different probabilities, , and .
Union bound
Definition For any two events and ,
The first inequality is the union bound. It follows from the addition rule because , and it is an equality exactly when . The other two follow from monotonicity, since and are contained in . Together with , they place the union between the larger of and and the smaller of and . Applying the two-event bound repeatedly gives the union bound for finitely many events,
In plain words When the overlap is unknown, the two event probabilities still bracket the probability of the union. The union is at least as likely as the more likely of the two events, and at most as likely as the two probabilities added, or if that sum is larger. No independence is assumed. The sum is a ceiling that holds in every model, and it equals the probability of the union exactly when the overlap has probability .
Example For the cards and , so any model with these two probabilities has . The original answer lies inside this range. The changed placements of the stars reach both ends, when blue is contained in starred and when the two events are disjoint. An answer below or above would signal a mistake, but a value inside the range still needs the overlap to be confirmed.
Check yourself
- One of the cards numbered 1 through 30 is drawn, each equally likely. Let be the event that the number is divisible by and the event that it is greater than . Find and the probability of .
Show the answer
The event has numbers and has . The overlap is , with numbers. The addition rule gives
The answer passes the bounds check, since it lies between and .
- For the same events, find the probability that exactly one of and occurs and the probability that neither occurs. A classmate answers for exactly one. What went wrong?
Show the answer
Exactly one removes the overlap twice,
The twelve numbers are in only and in only. Neither has the remaining numbers, so its probability is , and as it should. The classmate computed the inclusive or, which also counts the four numbers that are in both events.
- Two events have and . Can they be disjoint? Which values can and take?
Show the answer
They cannot be disjoint, because disjoint events would give , which is more than . The bounds give . The addition rule says , so the overlap lies between and .
Every value in these ranges is possible. For any with , give the four regions the probabilities for both, for only, for only and for neither. These are nonnegative and add to , so they define a valid model with and .