# Formule des probabilités totales

En théorie des probabilités, la formule des probabilités totales est un théorème qui permet de calculer la probabilité d'un événement en le décomposant suivant un système exhaustif d'événements.

## Énoncé

Formule des probabilités totales — On se donne un espace probabilisé $(\Omega ,{\mathcal {A}},\mathbb {P} ).$ Si $(B_{i})_{\,i\in I}$ est un système exhaustif (fini ou dénombrable) d'évènements, et si quel que soit $i\in I,$ $\mathbb {P} (B_{i})\neq 0,$ alors, pour tout évènement $A,$
$\mathbb {P} (A)=\sum _{i\in I}\mathbb {P} (A|B_{i})\mathbb {P} (B_{i})=\sum _{i\in I}\mathbb {P} (A\cap B_{i}).$
* Lorsque $\mathbb {P} (B_{i})=0,$ définir $\mathbb {P} (A|B_{i})$ pose un problème : $\mathbb {P} (A|B_{i})$ serait la probabilité conditionnelle de $A$ sachant un évènement qui ne se produit jamais, à savoir $B_{i}.$ La définition usuelle de $\mathbb {P} (A|B_{i})$ conduirait alors à diviser par 0 ... Une convention qui est rarement nocive consiste, lorsque $\mathbb {P} (B_{i})=0,$ à attribuer à $\mathbb {P} (A|B_{i})$ une valeur arbitraire entre 0 et 1 : on n'a jamais besoin de pronostiquer la vraisemblance de l'évènement $A$ sachant $B_{i},$ puisque $B_{i}$ ne se produit jamais, donc attribuer à $\mathbb {P} (A|B_{i})$ une valeur arbitraire ne provoquera aucune erreur. Par ailleurs, dans la formule des probabilités totales, attribuer à $\mathbb {P} (A|B_{i})$ une valeur arbitraire entre 0 et 1 n'a aucune importance, puisqu'on multiplie ensuite cette valeur par $0=\mathbb {P} (B_{i}).$ En résumé, avec cette convention, l'hypothèse $\mathbb {P} (B_{i})\neq 0$ est superflue pour la formule des probabilités totales.
* L'hypothèse selon laquelle $(B_{i})_{\,i\in I}$ est un système exhaustif peut être affaiblie : $\cup _{\,i\in I}B_{i}=\Omega$ peut être remplacée par $\cup _{\,i\in I}B_{i}\supset A.$ Il est par contre essentiel que les $B_{i}$ soient disjoints.

## Une variante

Théorème — On se donne un espace probabilisé $(\Omega ,{\mathcal {A}},\mathbb {P} )$ et un évènement A. Si $(B_{i})_{\,i\in I}$ est une partition (finie ou dénombrable) de l'évènement B,
$\mathbb {P} (A|B)=\sum _{i\in I}\mathbb {P} (A|B_{i})\mathbb {P} (B_{i}|B).$
${\begin{aligned}\mathbb {P} (A\cap B)&=\sum _{i\in I}\mathbb {P} (A\cap B_{i})\\&=\sum _{i\in I}\mathbb {P} (A|B_{i})\mathbb {P} (B_{i})\\&=\sum _{i\in I}\mathbb {P} (A|B_{i})\mathbb {P} (B_{i}|B)\mathbb {P} (B),\end{aligned}}$
car $B_{i}\cap B=B_{i}.$ CQFD
Corollaire — Si $(B_{i})_{\,i\in I}$ est une partition (finie ou dénombrable) de l'évènement B, et si $\mathbb {P} (A|B_{i})$ ne dépend pas de i, alors la valeur commune des probabilités conditionnelles $\mathbb {P} (A|B_{i})$ est $\mathbb {P} (A|B).$
Notons x la valeur commune des probabilités conditionnelles $\mathbb {P} (A|B_{i}).$ Alors
${\begin{aligned}\mathbb {P} (A|B)&=\sum _{i\in I}\mathbb {P} (A|B_{i})\mathbb {P} (B_{i}|B)\\&=x\ \sum _{i\in I}\mathbb {P} (B_{i}|B)\\&=x.\end{aligned}}$
CQFD
Ce corollaire permet de ramener le calcul de $\mathbb {P} (A|B)$ au calcul des $\mathbb {P} (A|B_{i}),$ parfois plus facile, car l'évènement B$_i$, étant plus petit que l'évènement B, fournit une information plus précise, et facilite ainsi le pronostic (pronostic = calcul de la probabilité conditionnelle). Le cas se présente souvent lorsqu'on étudie deux chaines de Markov dont l'une est image de l'autre. La démonstration de la propriété de Markov pour les processus de Galton-Watson est un exemple parmi beaucoup d'autres.
En particulier, le corollaire est fréquemment utilisé dans le cas où B=Ω, et permet alors de ramener le calcul de $\mathbb {P} (A)$ au calcul des $\mathbb {P} (A|B_{i}).$