ECE1-B 2015-2016
Propriété
Soit Aune tribu de parties de Ω.
1) ∅∈A.
2) Pour tout (A, B)∈A2, on a :
A∪B,A∩B,A\Bsont des éléments de A.
3) Si I⊆Net si (Ai)i∈Iest une famille d’éléments de A, on a :
S
i∈I
Aiet T
i∈I
Aisont des éléments de A.
Démonstration.
1) Ω∈Aet ∅=¯
Ωdonc ∅∈A.
2) Si (A, B)∈A2, on considère la suite (Ck)k∈Ndéfinie par :
×C0=A,
×C1=B,
×et Ck=∅pour tout k>2.
On a alors : +∞
S
i=0
Ci=A∪B∈A.
On en déduit que A∩B=¯
A∪¯
B∈Acar ¯
Aet ¯
Bsont dans A.
3) Si (Ai)i∈Iest une famille d’éléments de Aon considère la suite (Ck)k∈N
définie par :
×Ci=Aisi i∈I,
×et Ci=∅pour tout i6∈ I.
On a alors : +∞
S
i=0
Ci=S
i∈I
Ai∈A.
On en déduit que T
i∈I
Ai=S
i∈I
¯
Ai∈Acar tous les ¯
Aisont dans A.
Remarque : suite ou famille d’événements ?
•On peut remplacer la propriété (iii) de la définition par :
(iii’) Pour tout I⊆Net toute famille (Ai)i∈Id’événements de Aon a :
S
i∈I
Ai∈A(stabilité par union au plus dénombrable)
•L’intérêt de la propriété (iii) est pédagogique : en écrivant +∞, il apparaît
plus clairement qu’on peut considérer une union infinie d’événements.
•L’intérêt de la propriété (iii’) est qu’elle englobe le cas Ifini : on obtient
directement que l’union finie d’événements est un événement (avec la (iii)
on doit le démontrer).
Résumé des propriétés de stabilité.
Une tribu Ade parties de Ω:
×contient l’événement impossible et l’événément certain,
×est stable par union finie et stable par union dénombrable,
×est stable par intersection finie et stable par intersection dénombrable,
×est stable par passage au complémentaire.
Ainsi, si Aest une tribu, on pourra toujours considérer l’événément obtenu
par une union au plus dénombrable d’événements de A, par une intersection
au plus dénombrable d’événements de A, ou encore comme complémentaire
d’un événement de A. Tous ces événements sont dans A.
Exemple
•{∅,{1},{1,3},{3},{2,4,5},{1,2,4,5},{2,3,4,5},{1,2,3,4,5}} est une
tribu de parties de Ω = J1,5K.
•Si Ω = J1,5K, alors S={{1,2},{1,3},{4},{5},{1,2,3,4,5}} n’est pas une
tribu car (l’une de ces propriétés suffit) :
×ne contient pas ∅,
×n’est pas stable par union puisque {1,2} ∈ Set {1,3} ∈ Smais que
{1,2}∪{1,3}={1,2,3} 6∈ S,
×n’est pas stable par intersection puisque {1,2} ∈ Set {1,3} ∈ Smais
que {1,2}∩{1,3}={1} 6∈ S,
×. . .
4