Law of Total Probability
- if {π1,Β π2, β¦, ππ} are mutually disjoint events in the sample space πΊ and βπππ = πΊ, then:
- π(π) = π΄1β€πβ€ππ(π,ππ)Β = π΄1β€πβ€ππ(π|ππ)π(ππ)
- in other words: the marginal probability π(π) is the weighted average of the conditional probabilitiesΒ π(π|ππ) weighted byΒ π(ππ)
-
proof
Prove that π(π) = π΄1β€πβ€ππ(π,ππ):
- π΄1β€πβ€ππ(π,ππ) = π΄1β€πβ€ππ(ππ|π)π(π) # by bayeβs theorem
- π΄1β€πβ€ππ(π,ππ) = π(π) π΄1β€πβ€ππ(ππ|π) # multiplication distributes over addition
- π΄1β€πβ€ππ(ππ|π) = π(βπππ|π) # because {π1,Β π2, β¦, ππ} mutually disjoint events
- π΄1β€πβ€ππ(ππ|π) = π(πΊ|π) # becauseΒ βπππ = πΊ
- π΄1β€πβ€ππ(ππ|π) = 1 # the probability of πΊ occurring given π is equal to 1
- π΄1β€πβ€ππ(π,ππ) = π(π)
Together With Bayeβs Theorem
- π(π|π) = π(π|π)π(π) / [π΄1β€πβ€ππ(π|ππ)π(ππ)]