Rappels
Au chapitre précédent, nous avons défini la probabilité comme une application de l'ensemble des événements de l'expérience aléatoire dans l'intervalle . Nous avons expliqué que l'espace probabilisable, à savoir le couple , une fois muni de l'application , nous donnait le triplet appelé espace probabilisé.
Définition de la probabilité conditionnelle
Considérons à nouveau l'espace probabilisable, le couple . Nous allons encore une fois munir cet espace d'une application. Après l'application probabilité , nous allons cette fois lui associer l'application probabilité sachant , définie pour tout événement associé à l'expérience aléatoire par :
Lire probabilité de B sachant A égale, etc.
L'application ainsi définie sur l'ensemble des événements de l'expérience aléatoire et à valeur dans est la probabilité conditionnellement à l'événement .
Exemple
Dans notre exemple de lancer de dé non truqué, la probabilité d'obtenir 4 vaut .
Mais quelle est la probabilité d'obtenir 4, sachant que le dé affiche un nombre pair ?
Intuitivement, on est tenté de répondre . La probabilité d'obtenir 4, sachant que l'on a obtenu un nombre pair et étant donné qu'il y a au total 3 faces avec un nombre pair, est .
Vérifions ce raisonnement intuitif par la formule que nous venons de voir, avec :
= "obtenir un nombre pair"
= "obtenir 4"
En remarquant en amont que l'événement serait l'événement , en l'occurrence, puisque, dans cet exemple, est inclus dans . Ainsi, nous avons :
Formule des probabilités totales
Système complet d'événements
À quelles conditions dira-t-on d'une suite d'événements non vides liés à notre expérience aléatoire qu'ils forment un système complet d'événements ?
Prenons une suite d'événements non vides d'une expérience aléatoire, que l'on pourrait noter , allant de à un entier naturel .
L'exemple le plus courant de système complet d'événements est celui d'un événement non vide quelconque et de son événement contraire.
En effet, l'union d'un événement et de son événement contraire est par définition . Et toujours par définition de ce que l'on appelle des événements contraires, leur intersection est vide.
La formule des probabilités totales, SCE de deux événements
Prenons l'exemple de deux événements et formant un système complet d'événements. Alors, pour un événement quelconque de la même expérience aléatoire, nous aurons :
C'est ce que l'on appelle la formule des probabilités totales.
La formule des probabilités totales, cas général
Généralisons ! Soit une suite d'événements formant un SCE selon la définition que l'on vient de voir. Alors la probabilité de tout autre événement de cet espace probabilisé s'écrirait sous la forme de la somme suivante :
Indépendance
Définition
Le mot indépendant a un sens que tout le monde connaît bien. Mais, étant donné deux événements et d'un même espace probabilisé, on les considère comme indépendants, si et seulement si :
Une autre interprétation
Analysons cette définition à travers celle de la probabilité conditionnelle. Dans le cas général, nous avons l'égalité suivante :
Si on compare cette égalité avec celle de la définition de deux événements indépendants, on peut considérer que deux événements et sont indépendants si et seulement si nous avons :
Cette égalité est très intuitive : la probabilité de l'événement B sachant que l'événement est réalisé, donc une probabilité conditionnelle, est égale à la probabilité de l'événement . Le fait de savoir que l'événement est réalisé, ne modifie absolument pas la probabilité de l'événement .
Exemple
On lance une pièce mille fois. On définit les événements comme "obtenir 999 fois pile lors des 999 premiers lancers" , et comme "obtenir pile au 1000e lancer". Alors il est évident que la réalisation de l'événement n'a aucune influence sur celle de l'événement , ce qui peut se traduire par l'égalité suivante :