Introduction aux Probabilités - Université Rennes 2
Introduction aux Probabilités - Université Rennes 2
Introduction aux Probabilités - Université Rennes 2
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
2.2. Fonction de répartition 59<br />
2.2 Fonction de répartition<br />
⎩Ê→Ê<br />
Définition 2.3 (Fonction de répartition)<br />
Soit X une variable aléatoire discrète. La fonction de répartition de X est la fonction F définie<br />
par :<br />
⎧<br />
⎨<br />
F : x ↦→ F(x) =È(X ≤ x) = <br />
pi<br />
(2.1)<br />
i:xi≤x<br />
Remarque. On trouve encore dans certains ouvrages la définition : F(x) =È(X < x). Cela ne<br />
change pas grand-chose (cf. infra), mais l’usage tend plutôt à imposer la définition que nous venons<br />
de donner.<br />
Exemples :<br />
1. Lancer d’un dé : F ne prend que 3 valeurs, à savoir 0 sur ]−∞,−1[, 1/2 sur [−1,+1[ et 1<br />
sur [1,+∞[.<br />
2. Lancer de deux dés : F est à nouveau une fonction en escalier (voir figure 2.2). Elle vaut 0<br />
sur ]−∞,2[, 1/36 sur [2,3[, 3/36 sur [3,4[, ..., 35/36 sur [11,12[ et 1 sur [12,+∞[.<br />
1<br />
32<br />
36<br />
28<br />
36<br />
24<br />
36<br />
20<br />
36<br />
16<br />
36<br />
12<br />
36<br />
8<br />
36<br />
4<br />
36<br />
2 7 12<br />
Figure 2.2 – Fonction de répartition pour la somme de deux dés.<br />
Sur ces exemples, on peut déjà constater certaines propriétés communes <strong>aux</strong> deux fonctions de<br />
répartition : monotonie, limites en ±∞, continuité à droite, présence de sauts. Le résultat suivant<br />
assure leur généralité.<br />
Propriétés 2.2 (Propriétés d’une fonction de répartition)<br />
Soit X une variable aléatoire discrète à valeurs dans X = (xi)i∈I. Sa fonction de répartition F a<br />
les propriétés suivantes :<br />
1. F est croissante;<br />
2. limx→−∞F(x) = 0, limx→+∞F(x) = 1;<br />
3. F est continue à droite;<br />
4. ∀x ∈Ê,È(X = x) = F(x)−F(x − ), où F(x − ) = lim δ→0 + F(x−δ).<br />
<strong>Probabilités</strong> Arnaud Guyader - <strong>Rennes</strong> 2