Chapitre 12 MathématiquesÉcole des Mines de Douai — FIAAS
Définition 1
On appelle ensemble fondamental (parfois : univers) l’ensemble Ωdes résultats
possibles d’une expérience aléatoire. Si Ωest fini ou dénombrable, il est dit discret.
Notation
Le cardinal d’un ensemble fini Asera noté |A|(au lieu de la notation usuelle Card A).
♠Donner des exemples d’expériences aléatoires en précisant l’ensemble fonda-
mental. Préciser notamment si l’ensemble fondamental est fini, dénombrable
ou infini non dénombrable.
♠Qu’est-ce qu’un ensemble dénombrable ?
♠Si Eest un ensemble, que désigne la notation P(E)? Montrer que si Eest
fini, |P(E)|= 2|E|. Expliciter P(∅).
♠Montrer que quel que soit l’ensemble E, il n’existe aucune surjection de P(E)
sur E. On raisonnera par l’absurde en supposant qu’il existe une telle surjection
fet en considérant un antécédent ade A={x∈E, x /∈f(x)}(discuter de
l’appartenance de aàA). Concrètement, ce résultat signifie qu’il y a toujours
strictement plus d’éléments dans P(E)que dans E. L’ensemble P(N)est-il
dénombrable ?
La définition 2 suivante peut être qualifiée de «technique». La notion de tribu est in-
dispensable à la cohérence de l’exposé mais est peu utile dans la pratique. Elle permet
d’éviter les ensembles trop irréguliers (comme des fractales dans le cas de la tribu boré-
lienne) et consacre l’importance de la fonction de répartition d’une variable aléatoire (cf.
chapitre suivant).
Définition 2
Soit Ωun ensemble. On appelle tribu sur Ωtout ensemble Tde parties de Ωtel que
(1) ∀A∈ T , A ∈ T ,
(2) Ω∈ T ,
(3) pour toute suite (An)n∈Nde Tla réunion [
n∈N
Anappartient encore à T.
Le couple (Ω,T)est appelé espace probabilisable. Les éléments de Tsont les
événements de Ωet Test la tribu des événements.
♠Les conditions (1) et (3) s’appellent respectivement stabilité par passage au
complémentaire et stabilité par réunion dénombrable. En utilisant les lois de
Morgan, montrer que l’on peut remplacer (3) par la stabilité par intersection
dénombrable.
♠Montrer que si Test une tribu sur Ω,∅∈ T .
♠Montrer que T=P(Ω) est un choix possible.
Lorsque Ωest discret, on fait toujours le choix de la tribu T=P(Ω), appelée tribu
totale. Lorsque Ωn’est pas discret, l’ensemble P(Ω) est trop grand (problèmes de mesu-
rabilité pour les ensembles comme les fractales) et on est amené à considérer des tribus
2