Comment montrer qu'une famille d'événements est un système complet d'événements ?

En vérifiant que les $A_i$ sont deux à deux incompatibles ( $A_i\cap A_j=\varnothing$ pour $i\neq j$ ) et que $\bigcup A_i = \Omega$

Que ferais-tu face à un exercice de ce type ?

On lance un dé équilibré à $6$ faces. On pose $P=\{2,4,6\}$ (résultat pair) et $I=\{1,3,5\}$ (résultat impair). Montrer que $(P,I)$ est un SCE.

La méthode

1
Préciser l'univers fini $\Omega$ et lister les événements $A_1,\dots,A_k$ dont on veut vérifier qu'ils forment un SCE.
2
Je vérifie l'incompatibilité deux à deux : pour tous $i\neq j$ , je montre que $A_i\cap A_j=\varnothing$ (en caractérisant les événements par leurs résultats élémentaires).
3
Je vérifie le recouvrement $\bigcup_{i=1}^{k} A_i=\Omega$ (tout résultat de $\Omega$ appartient à au moins un $A_i$ ) et je conclus que $(A_i)$ est un SCE.

Pour comprendre, passons aux exercices.

Exercice d'exemple

On lance un dé équilibré à $6$ faces. On pose $P=\{2,4,6\}$ (résultat pair) et $I=\{1,3,5\}$ (résultat impair). Montrer que $(P,I)$ est un SCE.

1

L'univers est $\Omega=\{1,2,3,4,5,6\}$ fini, et les deux événements considérés sont $P$ et $I$ .

2

On a $P\cap I=\varnothing$ car aucun entier n'est à la fois pair et impair : les deux événements sont incompatibles.

3

$P\cup I=\{1,2,3,4,5,6\}=\Omega$ : tout résultat est pair ou impair, donc $(P,I)$ est bien un SCE.

$(P,I)$ est un système complet d'événements de $\Omega$ .

Les applications suivantes et la correction guidée sont réservées aux membres Premium

La méthode et sa première application corrigée restent en accès libre. Le Premium débloque les applications suivantes, l'aide IA et le suivi de ta maîtrise.

Comment montrer qu'une famille d'événements est un système complet d'événements ?

En vérifiant que les AiA_iAi​ sont deux à deux incompatibles (Ai∩Aj=∅A_i\cap A_j=\varnothingAi​∩Aj​=∅ pour i≠ji\neq ji=j) et que ⋃Ai=Ω\bigcup A_i = \Omega⋃Ai​=Ω

Pour comprendre, passons aux exercices.

En vérifiant que les $A_i$ sont deux à deux incompatibles ( $A_i\cap A_j=\varnothing$ pour $i\neq j$ ) et que $\bigcup A_i = \Omega$