9.2 Conditional Probability and Independence
Section 9.1 measured events inside a complete sample space. New information can rule out some outcomes. When that happens, the denominator must change because the set of outcomes still under consideration has changed.
Suppose a card is chosen uniformly from
Before receiving any information, the event “the card is greater than ” is , so .
Now someone tells us that the selected card is even. Let
The possible cards are no longer all eight members of ; only the four members of remain possible. Among them, and also belong to . The revised probability is therefore .
Conditional probability restricts the sample space
The probability of given that has occurred is called a conditional probability. It is written
The vertical bar is read “given.” It is not division. The event on the right of the bar is the information we are assuming.
Inside the restricted space , the successful outcomes are exactly . This gives the definition
The condition is necessary because division by zero is undefined. In a finite equally likely sample space, the probability ratio becomes a count ratio:
For the card example,
The order around the bar matters
and usually answer different questions.
For the same cards,
because after learning that the card is greater than , the restricted space is . The numerator is the same intersection, but the denominator is different.
Reading conditional probability from a table
A two-way table organizes two yes-or-no events. Imagine students classified by whether they use Python () and SQL ():
| Uses SQL | Does not use SQL | Row total | |
|---|---|---|---|
| Uses Python | |||
| Does not use Python | |||
| Column total |
To find , first restrict attention to the column. Its total, , becomes the denominator. The cell, , becomes the numerator:
To find , use the row instead:
A dependable rule is: the condition chooses the denominator.
Operate a filter lens over a population grid. Define two events by changing thresholds, then place either event behind the conditioning bar. Outcomes outside the condition fade away, leaving the new denominator and intersection visible.
The multiplication rule reverses the definition
Starting from
multiply both sides by :
The same intersection can be reached in the opposite order:
This is the multiplication rule. It describes a two-stage route: first reach the condition, then reach the second event inside that restricted branch.
For example, a box contains red and blue tokens. Draw two tokens uniformly without replacement, meaning the first token is not returned before the second draw. Let mean “the first token is red” and mean “the second token is red.” Then
After a red token is drawn, only red tokens remain among total tokens, so
Thus
A probability tree is a branching diagram for this multiplication. Each branch records a conditional probability, and the probability of a complete root-to-end route is the product of its branch labels. This is only a diagramming convention; the formal rule is the multiplication equation above.
Independence means information does not change probability
Events and are independent when learning that one occurred does not change the probability of the other. When , this idea can be written
Substituting the conditional-probability definition gives the symmetric test
This product equation is usually the safest definition because it also works when one event has probability .
Example: two separate coin tosses
Let be “the first toss is heads” and be “the second toss is heads.” In
we have
Because
the events are independent.
Example: drawing without replacement
In the token box, before any draw because each token is equally likely to occupy the second position. But
The first red draw changes the composition of the box, so and are dependent.
Mutually exclusive is not the same as independent
Events are mutually exclusive if they cannot occur together:
For one die roll, “roll a ” and “roll a ” are mutually exclusive. Observing a makes a impossible on that same roll, so the events strongly affect each other.
If mutually exclusive events both have positive probability, then
Therefore they are not independent. Independence allows overlap at exactly the rate predicted by the product of the separate probabilities; mutual exclusion forbids overlap entirely.
Redistribute a fixed population among the four cells of a two-way table. A live balance compares the observed overlap with the overlap predicted by independence, while a cross-product seal gives an exact integer test with no rounding.
Section checklist
- The event after the bar is the restricted sample space.
- and usually have different denominators.
- The multiplication rule reconstructs an intersection from a route.
- Independence means .
- Sampling without replacement usually creates dependence.
- Mutually exclusive positive-probability events are not independent.
Conditional probability tells us how evidence changes a probability. In the next section, Bayes' theorem will reverse the direction of a condition: it will turn a known probability of evidence under a cause into the probability of that cause after seeing the evidence.