Comment montrer qu'une famille… : En vérifiant que les A_i sont deux à… — ECG1 appliquées | MetMat

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$

Établir qu'une famille finie $(A_i)_{1\le i\le k}$ d'événements d'un univers fini $\Omega$ forme un système complet d'événements (SCE).

Maîtriser

Reconnaître

Résoudre

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.

L'objectif

Établir qu'une famille finie $(A_i)_{1\le i\le k}$ d'événements d'un univers fini $\Omega$ forme un système complet d'événements (SCE).

Le principe

Une famille finie $(A_i)_{1\le i\le k}$ d'événements de $\Omega$ est un système complet d'événements si et seulement si les $A_i$ sont deux à deux incompatibles ( $A_i\cap A_j=\varnothing$ pour $i\neq j$ ) et leur réunion recouvre $\Omega$ ( $\bigcup_{i=1}^{k} A_i=\Omega$ ) ; certains auteurs imposent de plus $A_i\neq\varnothing$ pour tout $i$ .

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, fais des 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.

Étape 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.

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

Étape 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).

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

Étape 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.

$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, fais des 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$