Conditional Probability
The probability of one event once you know another has happened. The formula for folding new information into an old belief, and the engine underneath Bayes' theorem and every "trade the news" decision.
Prerequisites: Probability Spaces
Conditional probability answers one question: once you learn that some event happened, how should the probability of another event change? It is how you fold fresh information into an old belief. Almost every question about reacting to news, a signal, or a test result is, underneath, asking you to compute one.
What "given" means
The notation reads "the probability of given ." You are told that definitely occurred, and you ask how likely is inside that smaller world. Learning throws away every outcome where is false and leaves only the outcomes where is true. The question becomes: of that shrunken world, what fraction also has ?
The formula
The symbols: is the probability that and both happen (the symbol means "and"); is the probability of on its own; and we require , since you cannot condition on something that never occurs. In words: out of all the ways can happen, what share also has ? We divide by to renormalize, because is now the entire universe, so its probability has to climb back up to 1.
Multiply both sides by and you get the equally useful multiplication rule:
Conditioning shrinks the world to and then renormalizes by dividing by . Keep both forms: and the multiplication rule .
Independence is the special case where nothing changes
Sometimes learning tells you nothing about . Then , and the multiplication rule collapses to . That is exactly what independence means: the events do not move each other. Any time you multiply two probabilities together as if they were unrelated, you are quietly assuming independence, and if it is false your answer is wrong.
Every time you multiply you are silently assuming independence. Correlated trades, correlated defaults, and draws without replacement all break it, and then the product is simply wrong.
Worked example
Roll one fair die. Let be "the roll is even" and be "the roll is at least 4." You are told the roll came up even; how likely is it to be at least 4?
- , so .
- is "even and " , so .
Plug in:
So among the even rolls, two of the three ( and ) clear the bar, giving . Notice the unconditional answer was different: . Learning the roll was even pushed the probability up from to , which is the whole point of conditioning.
Common pitfalls
- Flipping the bar. is not . "The probability a test is positive given you are sick" is very different from "the probability you are sick given a positive test." Swapping them is the classic prosecutor's fallacy, and correcting it is exactly what Bayes' theorem is for.
- Forgetting to renormalize. The division by is not optional. Skip it and your "probabilities" inside the conditioned world will not add up to 1.
- Assuming independence for free. Multiplying is only valid when the events truly do not affect each other. Correlated trades, correlated defaults, and repeated draws without replacement all violate it.
- Ignoring the base rate. A conditional probability can be small even when the evidence looks strong, because a rare event stays rare. To combine the evidence with the base rate correctly you need the The Law of Total Probability in the denominator.
Conditional probability, the The Law of Total Probability, and Bayes' theorem are three views of the same identity. Master this one and the other two are a line of algebra away. For the formal ground it all sits on, see Probability Spaces.
Related concepts
Practice in interviews
Further reading
- Blitzstein & Hwang, Introduction to Probability, ch. 2
- Ross, A First Course in Probability