MATTotal Probability & Bayes’ Theorem
Total Probability Theorem
The total probability theorem computes by splitting the sample space into mutually exclusive, exhaustive cases and adding up the contribution of through each. It is the forward, two-stage "tree" calculation (e.g.
choose a bag, then draw a ball) and is also the denominator that Bayes' theorem relies on.
Total probability theorem
partition the sample space (mutually exclusive, exhaustive, each ); = probability of stage-one case , = probability of within that case.
Two-case version
For exactly two cases (e.g. Bag I vs Bag II), with .
Partition condition
The cases must not overlap and must cover all possibilities; this is what makes the theorem valid.
- Picture a tree: the first branches are the cases with probabilities , the second branches are with probabilities .
- Each complete path contributes ; sum the contributions of all paths leading to .
- Choosing a bag or coin at random from equally likely options gives for each.
- If a fair coin (prior ) and a double-headed coin (prior ) are used, then .
- The cases must be mutually exclusive and exhaustive; verify before summing.
- This theorem gives the unconditional ; if the question instead asks "given , which case?" you continue with Bayes' theorem using this as the denominator.
- Conditional probabilities come from the composition of each case (e.g. white balls total balls in that bag).
Using the theorem on a two-stage experiment
- 1Check the first-stage events really do partition the sample space: they must be pairwise exclusive and exhaustive, so .
- 2Draw the tree: one branch per cause, then one branch per outcome of the second stage.
- 3Multiply along each path to get .
- 4Add the paths that end in : .
- 5If the experiment changes the pot between stages (a ball transferred, a card not replaced), recompute the second-stage probabilities for each branch separately — they are no longer the same number.
- Adding the case probabilities directly without multiplying by the conditional on each branch.
- Using cases that overlap or that do not cover all outcomes, so they fail to form a partition and the sum is wrong.
- Forgetting the stage-one factor when a bag or coin is "chosen at random".
- Confusing this forward calculation of with the reverse question , which needs Bayes' theorem.
- Applicationthe two-stage bag-and-ball treeBag A contains white and black balls; Bag B contains white and black balls. A bag is chosen at random and a ball is drawn from it. Find the probability that the ball drawn is white.
- Applicationproduction percentages as the priorsIn a factory, machines , and produce , and of the bolts, of which , and respectively are defective. A bolt is drawn at random from the total output. Find the probability that it is defective.
- NumericalA box contains coins: one is fair, one has heads on both faces and the third has tails on both faces. A coin is picked at random and tossed once. Calculate the probability of obtaining a head.
- Applicationtransfer-of-ball staged experiment4 mkAn urn contains red and white balls. One ball is drawn at random and transferred to a second urn containing red and white balls; a ball is then drawn from the second urn. Find the probability that the ball drawn from the second urn is red.
- Give reasonsthe exhaustiveness conditionA student writes for events with and . State, with reasons, whether and form a valid partition for applying the total probability theorem.
Written for Sublevo. Question text quoted anywhere in these notes is the Council’s and carries its year and paper; the board’s own diagrams are not reproduced.