―  Chapitre 8 · Mathématiques approfondies  ―

Probabilités sur un univers fini

Événements · Probabilités conditionnelles · Lois discrètes usuelles

Table des matières
I
Espaces probabilisés, variable aléatoire
1 — Résultats d'une expérience aléatoire. Événements
Définition 1
  • On appelle expérience aléatoire toute expérience pour laquelle on ne peut pas prédire, avant de l'exécuter, le résultat qu'elle va donner.
  • L'ensemble des résultats d'une expérience aléatoire s'appelle l'univers de l'expérience aléatoire. On le note \(\Omega\).
  • Un événement est un fait qui peut se produire ou ne pas se produire lorsqu'on réalise l'expérience.
  • Tout événement est identifié à l'ensemble des résultats qui le réalisent.
Un événement \(A\) est représenté par un sous-ensemble de \(\Omega\). Il y a deux niveaux dans l'étude des événements : le langage usuel (description entre guillemets) et la traduction ensembliste (écriture avec des accolades).
Définition 2

Soit \(E\) un ensemble à \(n\) éléments avec \(E = \{x_1, x_2, \dots, x_n\}\) et soit \(p \in \mathbb{N}^*\).

  • On appelle \(p\)-liste d'éléments de \(E\) (ou \(p\)-uplet) tout élément \(\omega\) du type \(\omega = (x_1, x_2, \dots, x_p)\) avec \(\forall i \in [\![1,p]\!],\ x_i \in E\). Ainsi une \(p\)-liste de \(E\) est un élément de \(E^p\). Le nombre de \(p\)-listes est \(n^p\).
  • On appelle combinaison de \(p\) éléments de \(E\) tout sous-ensemble constitué de \(p\) éléments de \(E\). Le nombre de combinaisons de \(p\) éléments de \(E\) est \(\binom{n}{p} = \dfrac{n!}{p!(n-p)!}\) si \(p \in [\![0,n]\!]\) ; \(0\) si \(p > n\).
Pour écrire une liste, on utilise des parenthèses ; pour écrire une combinaison, on utilise des accolades.
Définition 3
  • Un événement est impossible lorsqu'il est représenté par \(\emptyset\).
  • Un événement est certain lorsqu'il est représenté par \(\Omega\).
  • On appelle événement élémentaire tout événement représenté par un singleton.
Définition 4

Soit \(\mathcal{E}\) une expérience aléatoire et \(\Omega\) l'univers de cette expérience aléatoire.

1) Soit \(A\) et \(B\) deux événements :

  • L'événement « \(A\) n'est pas réalisé » est représenté par \(\overline{A}\).
  • L'événement « \(A\) et \(B\) sont réalisés simultanément » est représenté par \(A \cap B\).
  • L'événement « \(A\) ou \(B\) est réalisé » est représenté par \(A \cup B\).

2) Soit \((A_n)_{n \in I}\) une famille d'événements (avec \(I \subset \mathbb{N}\)) :

  • L'événement « l'un au moins des \(A_n\) est réalisé » est représenté par \(\displaystyle\bigcup_{n \in I} A_n\).
  • L'événement « tous les \(A_n\) sont réalisés simultanément » est représenté par \(\displaystyle\bigcap_{n \in I} A_n\).
L'écriture ensembliste découle souvent de la description en français des événements.
Définition 5
  • \(A\) et \(B\) sont incompatibles lorsque \(A \cap B = \emptyset\).
  • \(A\) et \(B\) sont contraires lorsque \(A = \overline{B}\).
  • \(A\) implique \(B\) lorsque la réalisation de \(A\) entraîne automatiquement celle de \(B\). Ainsi, l'événement « \(A\) implique \(B\) » est réalisé lorsque \(A \subset B\).
Définition 6Système complet d'événements

Soit \(\Omega\) l'univers d'une expérience aléatoire. On dit que \(\{A_1, A_2, \dots, A_n\}\) forment un système complet d'événements (s.c.e.) ssi

\[\forall (i,j) \in [\![1,n]\!]^2 \text{ avec } i \neq j,\quad A_i \cap A_j = \emptyset \quad \text{et} \quad \bigcup_{i=1}^n A_i = \Omega.\]
Une famille d'événements est un s.c.e. ssi un et un seul d'entre eux est forcément réalisé à l'issue de l'expérience.
2 — Définition d'une probabilité sur un univers fini
Définition 7

Soit \(\Omega\) un ensemble fini. On note \(\mathcal{P}(\Omega)\) l'ensemble des parties de \(\Omega\). On appelle probabilité sur \((\Omega, \mathcal{P}(\Omega))\) toute application \(\mathbb{P} : \mathcal{P}(\Omega) \to [0,1]\), \(A \mapsto \mathbb{P}(A)\) vérifiant :

  • \(\mathbb{P}(\Omega) = 1\)
  • Si \(A\) et \(B \in \mathcal{P}(\Omega)\) avec \(A \cap B = \emptyset\), alors \(\mathbb{P}(A \cup B) = \mathbb{P}(A) + \mathbb{P}(B)\).

Le triplet \((\Omega, \mathcal{P}(\Omega), \mathbb{P})\) s'appelle espace probabilisé.

Proposition 1
Propriétés d'une probabilité

Soient \(A\) et \(B\) deux événements. On a :

  • \(\mathbb{P}(\overline{A}) = 1 - \mathbb{P}(A)\)
  • \(\mathbb{P}(\emptyset) = 0\)
  • Si \(A \cap B = \emptyset\) alors \(\mathbb{P}(A \cup B) = \mathbb{P}(A) + \mathbb{P}(B)\). Dans le cas général, \(\mathbb{P}(A \cup B) = \mathbb{P}(A) + \mathbb{P}(B) - \mathbb{P}(A \cap B)\).
  • Si \(A \subset B\) alors \(\mathbb{P}(A) \leq \mathbb{P}(B)\) et \(\mathbb{P}(B \setminus A) = \mathbb{P}(B) - \mathbb{P}(A)\).
Définition 8Situation d'équiprobabilité

On dit qu'une expérience aléatoire présente une situation d'équiprobabilité lorsque \(\Omega\) est fini et qu'aucun événement élémentaire n'est privilégié par rapport aux autres quant à sa réalisation. Pour ce type d'expérience, on utilise la probabilité uniforme :

\[\forall A \in \mathcal{P}(\Omega), \quad \mathbb{P}(A) = \frac{\operatorname{card}(A)}{\operatorname{card}(\Omega)}.\]
3 — Variable aléatoire discrète
Définition 9

Une variable aléatoire discrète est une application qui associe un nombre à chaque résultat de l'expérience. On note \(X(\Omega)\) l'ensemble des valeurs prises par la var. \(X\), et pour des réels \(a, b\) avec \(a < b\), on note \((X=a)\), \((X \geq a)\), \((a \leq X < b)\), etc. pour désigner les événements qui réalisent ces relations.

  • On peut utiliser sur les événements exprimés à l'aide de \(X\) les opérations sur les ensembles : ainsi \(\overline{(X \leq a)} = (X > a)\) et \((a \leq X < b) = (X \leq b) \cap (X \geq a) = (X < b) \cap \overline{(X < a)}\).
  • Dans ce chapitre, \(\Omega\) est un univers fini, donc \(X(\Omega)\) est un ensemble fini.
Définition 10Loi d'une variable discrète

Soit \(X\) une variable aléatoire discrète. Déterminer la loi de \(X\), c'est préciser \(X(\Omega)\) puis calculer, pour tout \(k \in X(\Omega)\), \(\mathbb{P}(X=k)\).

Proposition 2

Soit \(X\) une variable aléatoire discrète. La famille \(\{(X=k)\}_{k \in X(\Omega)}\) est un s.c.e. et on a

\[\sum_{k \in X(\Omega)} \mathbb{P}(X=k) = 1.\]
Cette propriété permet de vérifier la loi trouvée pour une var. : il faut avoir \(\sum\) proba \(= 1\), ou de trouver l'une des valeurs de la loi lorsque toutes les autres sont déterminées.
Définition 11

Soit \(X\) une var. discrète. On appelle espérance de \(X\) le nombre réel défini par :

\[\mathbb{E}(X) = \sum_{k \in X(\Omega)} k\, \mathbb{P}(X=k).\]
II
Calcul de probabilités sur un univers fini
1 — Probabilité d'une intersection à l'aide des probabilités conditionnelles
Définition 1

Pour deux événements \(A\) et \(B\) (avec \(\mathbb{P}(A) \neq 0\)), on pourra calculer la probabilité de réaliser \(B\) sachant que \(A\) est réalisé. On la note \(\mathbb{P}_A(B)\). On a alors :

\[\mathbb{P}(A \cap B) = \mathbb{P}(A) \times \mathbb{P}_A(B).\]
Proposition 1
Probabilité d'une intersection de trois événements

Soit \(A, B, C\) des événements avec \(\mathbb{P}(A \cap B) \neq 0\). On a :

\(\mathbb{P}(A \cap B \cap C) = \mathbb{P}(A) \times \mathbb{P}_A(B) \times \mathbb{P}_{A \cap B}(C)\).

Proposition 2
Formule des probabilités composées

Soit \(n \in \mathbb{N}\) avec \(n \geq 2\) et \((\Omega, \mathcal{P}(\Omega), \mathbb{P})\) un espace probabilisé. Soit \(A_1, \dots, A_n\) des événements tels que \(\mathbb{P}(A_1 \cap A_2 \cap \dots \cap A_{n-1}) \neq 0\). On a :

\[\mathbb{P}(A_1 \cap \dots \cap A_n) = \mathbb{P}(A_1) \times \mathbb{P}_{A_1}(A_2) \times \mathbb{P}_{A_1 \cap A_2}(A_3) \times \dots \times \mathbb{P}_{A_1 \cap \dots \cap A_{n-1}}(A_n).\]
Cette formule s'utilise lorsqu'on peut calculer directement chacune des probabilités conditionnelles.
Proposition 3
Cas d'événements indépendants

Lorsque la réalisation de \(B\) n'est pas influencée par la réalisation ou non de \(A\), on dit que \(A\) et \(B\) sont indépendants et on a \(\mathbb{P}_A(B) = \mathbb{P}(B)\). Dans ce cas, on a :

\[\mathbb{P}(A \cap B) = \mathbb{P}(A) \times \mathbb{P}(B) \qquad \text{et} \qquad \mathbb{P}\Big(\bigcap_{i=1}^n A_i\Big) = \prod_{i=1}^n \mathbb{P}(A_i).\]

(C'est notamment le cas des résultats successifs d'un lancer de dé, d'une pièce, ou d'un tirage avec remise dans une urne.)

2 — Probabilité d'une réunion
Proposition 4
Réunion de 2 événements
  • Si \(A \cap B = \emptyset\) alors \(\mathbb{P}(A \cup B) = \mathbb{P}(A) + \mathbb{P}(B)\).
  • Dans le cas général, \(\mathbb{P}(A \cup B) = \mathbb{P}(A) + \mathbb{P}(B) - \mathbb{P}(A \cap B)\).
Proposition 5
Probabilité d'une réunion de n événements

Soient \(A_1, \dots, A_n\) des événements.

  • Si les \(A_i\) sont deux à deux incompatibles (\(A_i \cap A_j = \emptyset\) pour \(i \neq j\)) alors \(\displaystyle \mathbb{P}\Big(\bigcup_{i=1}^n A_i\Big) = \sum_{i=1}^n \mathbb{P}(A_i)\).
  • Cas d'une réunion quelconque (on ne traite que le cas de 2 et 3 événements ; on ne sait pas faire \(n\) quelconque) :
\[\mathbb{P}(A \cup B) = \mathbb{P}(A) + \mathbb{P}(B) - \mathbb{P}(A \cap B)\] \[\mathbb{P}(A \cup B \cup C) = \big[\mathbb{P}(A)+\mathbb{P}(B)+\mathbb{P}(C)\big] - \big[\mathbb{P}(A\cap B)+\mathbb{P}(A\cap C)+\mathbb{P}(B\cap C)\big] + \mathbb{P}(A\cap B\cap C)\]
3 — Formule des probabilités totales
Proposition 6
Formule des probabilités totales

Soit \((\Omega, \mathcal{P}(\Omega), \mathbb{P})\) un espace probabilisé et soit \(\{A_i\}_{1 \leq i \leq n}\) un système complet d'événements. Pour tout événement \(B\), on a :

\[\mathbb{P}(B) = \sum_{i=1}^n \mathbb{P}(A_i \cap B).\]
Proposition 7
Formule de Bayes

Soit \((\Omega, \mathcal{P}(\Omega), \mathbb{P})\) un espace probabilisé, \(\{A_j\}_{1 \leq j \leq n}\) un système complet d'événements. On suppose que \(\forall j \in [\![1,n]\!]\), \(\mathbb{P}(A_j) \neq 0\). Soit \(B\) un événement avec \(\mathbb{P}(B) \neq 0\) ; on a \(\forall i_0 \in [\![1,n]\!]\),

\[\mathbb{P}_B(A_{i_0}) = \frac{\mathbb{P}(A_{i_0}) \times \mathbb{P}_{A_{i_0}}(B)}{\mathbb{P}(B)}.\]
III
Lois discrètes finies usuelles
a — Loi uniforme
Loi uniforme

\(X\) suit une loi uniforme sur \([\![1,n]\!]\) ssi \(X\) prend chaque valeur de \([\![1,n]\!]\) avec la même probabilité. On note alors \(X \hookrightarrow \mathcal{U}([\![1,n]\!])\) :

\[X \hookrightarrow \mathcal{U}([\![1,n]\!]) \iff X(\Omega) = [\![1,n]\!] \text{ et } \forall k \in [\![1,n]\!], \ \mathbb{P}(X=k) = \frac{1}{n}.\]
  • Situation type : on choisit au hasard un numéro entre 1 et \(n\). \(X =\) numéro choisi, alors \(X \hookrightarrow \mathcal{U}([\![1,n]\!])\).
  • Espérance : si \(X \hookrightarrow \mathcal{U}([\![1,n]\!])\) alors \(\mathbb{E}(X) = \dfrac{n+1}{2}\).
Pour \(a, b\) entiers tels que \(a < b\), on dit que \(X \hookrightarrow \mathcal{U}([\![a,b]\!])\) ssi \(X(\Omega) = [\![a,b]\!]\) et \(\forall k \in [\![a,b]\!]\), \(\mathbb{P}(X=k) = \) cte.
b — Loi de Bernoulli
Loi de Bernoulli

\(X\) suit une loi de Bernoulli ssi \(X(\Omega) = \{0,1\}\). On note alors \(X \hookrightarrow \mathcal{B}(p)\) avec \(p = \) paramètre de la loi \(= \) proba du succès \(= \mathbb{P}(X=1)\). Ainsi, on a :

\[X \hookrightarrow \mathcal{B}(p) \iff X(\Omega) = \{0,1\} \text{ et } \mathbb{P}(X=1) = p,\ \mathbb{P}(X=0) = 1-p.\]
  • Situation type : on obtient une loi de Bernoulli à chaque fois qu'on réalise une expérience à deux issues possibles : un succès (marqué 1, réalisé avec la proba \(p\)) ou un échec (marqué 0, réalisé avec la proba \(q = 1-p\)).
  • Espérance : si \(X \hookrightarrow \mathcal{B}(p)\) alors \(\mathbb{E}(X) = p\).
c — Loi binomiale
Loi binomiale

On dit que \(X\) suit une loi binomiale de paramètre \(n, p\) ssi \(X\) compte le nombre total de succès obtenus en répétant \(n\) fois la même expérience de Bernoulli de paramètre \(p\). On note alors \(X \hookrightarrow \mathcal{B}(n,p)\). On a :

\[X \hookrightarrow \mathcal{B}(n,p) \iff X(\Omega) = [\![0,n]\!] \text{ et } \forall k \in [\![0,n]\!], \ \mathbb{P}(X=k) = \binom{n}{k} p^k (1-p)^{n-k}.\]
  • Situation type : on répète \(n\) fois la même expérience de Bernoulli (où \(p = \) proba du succès de chaque Bernoulli). Soit \(X\) la var. égale au nombre total de succès obtenus. Alors \(X \hookrightarrow \mathcal{B}(n,p)\).
  • Espérance : si \(X \hookrightarrow \mathcal{B}(n,p)\) alors \(\mathbb{E}(X) = n \times p\).
IV
Retour sur l'indépendance et les probabilités conditionnelles

Dans tout ce paragraphe, \((\Omega, \mathcal{P}(\Omega), \mathbb{P})\) est un espace probabilisé quelconque.

Définition 1Notion d'indépendance

Soit \((\Omega, \mathcal{P}(\Omega), \mathbb{P})\) un espace probabilisé.

  • On dit que deux événements \(A\) et \(B\) sont indépendants ssi \(\mathbb{P}(A \cap B) = \mathbb{P}(A) \times \mathbb{P}(B)\).
  • On dit que des événements \(A_1, A_2, \dots, A_n\) sont indépendants deux à deux ssi \(\forall (i,j) \in [\![1,n]\!]^2\) avec \(i \neq j\), \(\mathbb{P}(A_i \cap A_j) = \mathbb{P}(A_i) \times \mathbb{P}(A_j)\).
  • On dit que \(A_1, A_2, \dots, A_n\) sont mutuellement indépendants ssi la probabilité de toute intersection est égale au produit des probas, c'est-à-dire ssi \(\forall N \in [\![2,n]\!]\), \(\forall (i_1, i_2, \dots, i_N) \in [\![1,n]\!]^N\) distincts 2 à 2, on a :
\[\mathbb{P}(A_{i_1} \cap A_{i_2} \cap \dots \cap A_{i_N}) = \mathbb{P}(A_{i_1}) \times \mathbb{P}(A_{i_2}) \times \dots \times \mathbb{P}(A_{i_N}).\]
Cette définition mathématique de l'indépendance dépend de la probabilité choisie.
Définition 2Probabilité conditionnelle

Soit \(A\) un événement avec \(\mathbb{P}(A) \neq 0\). On appelle probabilité conditionnelle sachant que \(A\) est réalisé l'application \(\mathbb{P}_A\) définie sur \(\mathcal{P}(\Omega)\) par :

\[\forall B \in \mathcal{P}(\Omega), \quad \mathbb{P}_A(B) = \frac{\mathbb{P}(A \cap B)}{\mathbb{P}(A)}.\]

\(\mathbb{P}_A(B)\) se note aussi \(\mathbb{P}(B \mid A)\) et s'appelle « probabilité que \(B\) se réalise sachant que \(A\) est réalisé ».

Proposition 1

\(\mathbb{P}_A\) définie ci-dessus est une probabilité. Elle possède donc les propriétés d'une probabilité. Ainsi :

  • \(\mathbb{P}_A(C \cup D) = \mathbb{P}_A(C) + \mathbb{P}_A(D) - \mathbb{P}_A(C \cap D)\)
  • \(\mathbb{P}_A(\overline{D}) = 1 - \mathbb{P}_A(D)\)
  • Soit \(B_1, B_2, \dots, B_n\) des événements 2 à 2 incompatibles. On a \(\displaystyle \mathbb{P}_A\Big(\bigcup_{i=1}^n B_i\Big) = \sum_{i=1}^n \mathbb{P}_A(B_i)\).
Récapitulatif
Probabilité d'une intersection

Si \(A = \displaystyle\bigcap_{i=1}^n B_i\) alors on regarde si les événements \((B_i)_i\) sont indépendants :

  • si indépendance : \(\displaystyle \mathbb{P}(A) = \mathbb{P}\Big(\bigcap_{i=1}^n B_i\Big) = \prod_{i=1}^n \mathbb{P}(B_i)\)
  • sinon : utiliser la formule des probabilités composées : \(\displaystyle \mathbb{P}(A) = \mathbb{P}\Big(\bigcap_{i=1}^n B_i\Big) = \mathbb{P}(B_1) \times \mathbb{P}_{B_1}(B_2) \times \mathbb{P}_{B_1 \cap B_2}(B_3) \times \dots \times \mathbb{P}_{B_1 \cap \dots \cap B_{n-1}}(B_n)\)