Satsen om total sannolikhet

Utfallsrummet är uppdelat i $A_1,\dots ,A_n$, medan vi är intresserade av $B$.

Satsen (alternativt lagen) om total sannolikhet är en fundamental sats inom sannolikhetsteorin. Satsen relaterar sannolikheter för enskilda händelser till betingade sannolikheter. Den uttrycker den totala sannolikheten för en händelse relaterat till den betingade sannolikheten för en mängd av händelser som utgör hela utfallsrummet.

Satsen om total sannolikhet kan formellt beskrivas på följande sätt.

Antag att $A_1,\dots ,A_n,$ är $n$ parvist disjunkta händelser, med $P(A_i)>0$ för $i=1,\dots ,n.$ Om dessa händelser utgör hela utfallsrummet, $\bigcup _{i=1}^n{A}_i=\mathrm{\Omega }$, då gäller att en händelse $B\subseteq \mathrm{\Omega }$ har sannolikheten

$P(B)=\sum _{i=1}^{n}P(A_i)P(B|A_i)$

Bevis

Enligt förutsättningarna har vi $\bigcup _{i=1}^n{A}_i=\mathrm{\Omega }$, vilket medför $B=\bigcup _{i=1}^n(B\cap A_i)$. Under villkoret $A_i\cap A_j=\varnothing$ för $i\ne ji,j=1,\dots ,n$ gäller att mängderna $B\cap A_i$ är oförenliga. Med axiom 3 i Kolmogorovs axiomsystem, och definitionen av betingad sannolikhet, får vi

$P(B)=P(\bigcup _{i=1}^n(B\cap A_i))=\sum _{i=1}^{n}P(B\cap A_i)=\sum _{i=1}^{n}P(A_i)P(B|A_i)$

Källor

• Stokastik av Sven Erick Alm, Tom Britton, 2011, sida 29.

Se även

• Axiom
• Matematiskt bevis
• Bayes sats

Externa länkar

• Total Probability Theorem, Wolfram MathWorld.