1 Espaces de probabilités. Loi binomiale
1.1 Définitions
Définition
Un espace de probabilité (Ω,P )est constitué de
–Ω, un ensemble (l’ensemble des résultats d’une expérience aléatoire)
–P, une probabilité sur Ω.
Un élément ω∈Ωest appelé une réalisation, c’est un résultat possible d’une expérience
aléatoire.
Un sous-ensemble A⊂Ωest appelé un événement. C’est un ensemble de réalisations (par
exemple, celles qui vérifient une certaine condition). L’ensemble des événements est donc l’en-
semble P(Ω) des parties (ou sous-ensembles) de Ω.
Définition
Une probabilité sur Ωest une application P:P(Ω) →[0,1], définie sur les événements,
telle que
1. P(Ω) = 1
2. pour toute suite (An)nd’événements disjoints deux à deux, P[
n
An=X
n
P(An).
Si un événement Avérifie P(A)=0, on dit que Aest négligeable ; et si P(A)=1, on dit
que Aest presque sûr, ou que Aa lieu presque sûrement, abrégé « p.s. ».
Propriétés
(i) P(∅) = 0
(ii) Pour tout événement A,P(Ac)=1−P(A)
(iii) Si A⊂B, alors P(A)≤P(B)
(iv) Pour tous événements Aet B,P(A∪B) = P(A) + P(B)−P(A∩B)
(v) Pour toute suite croissante (An)nd’événements (c’est-à-dire An⊂An+1 pour tout n),
P[
n
An= lim↑
n
P(An)
(vi) Pour toute suite décroissante (An)nd’événements (c’est-à-dire An+1 ⊂Anpour tout n),
P\
n
An= lim↓
n
P(An)
Pour simplifier, on suppose dans ce cours que tout ensemble de réalisations est un événement. En
réalité, ceci n’est plus possible dans le cas par exemple où Ω = [0,1] est muni de la probabilité uniforme
car on ne peut pas définir l’intégrale sur n’importe quel ensemble mais seulement sur des ensembles
« mesurables ». En pratique, ceci n’est pas une limitation car tous les ensembles que l’on utilise sont
mesurables. Néanmoins, pour définir rigoureusement la théorie des probabilités, on appellerait espace
de probabilités un triplet (Ω,A,P )où Aest l’ensemble des événements, qui doit être une tribu sur Ω,
c’est-à-dire un ensemble de parties de Ωtel que a) Ω∈ A, b) si A∈ A alors Ac∈ A, et c) si An∈ A
pour tout n∈, alors SnAn∈ A; et Pest uniquement définie sur A. Puis, sur , on définirait la
tribu borélienne, qui est la plus petite tribu contenant les intervalles.
1