ATLAS Ouvrir dans l'atlas →

Théorème 2Probabilités

Espérance, variance et inégalités

L'espérance d'une variable positive ou intégrable est E[X]=∫ΩX dPE[X] = \int_\Omega X \, dP. Si E[X2]<+∞E[X^2] < +\infty, XX est intégrable (point (ii)), et la variance est Var⁡X=E[(X−E[X])2]=E[X2]−E[X]2\operatorname{Var} X = E\big[(X - E[X])^2\big] = E[X^2] - E[X]^2 ; si XX et YY sont de carré intégrable, leur covariance est E[XY]−E[X]E[Y]E[XY] - E[X]E[Y], bien définie par (ii).

Énoncé

(i) Transfert. Pour φ:ℝ→ℝ\varphi : {\mathbb R} \to \mathbb R borélienne, positive ou telle que φ(X)\varphi(X) soit intégrable, E[φ(X)]=∫ℝφ dPXE[\varphi(X)] = \int_{\mathbb R} \varphi \, dP_X. Il en va de même pour un couple et φ\varphi mesurable sur ℝ2{\mathbb R^2} pour la tribu produit.

(ii) Si E[X2]<+∞E[X^2] < +\infty, XX est intégrable. Si de plus E[Y2]<+∞E[Y^2] < +\infty, XYXY est intégrable et E[∣XY∣]⩽E[X2] E[Y2]E[|XY|] \leqslant \sqrt{E[X^2]\,E[Y^2]} (Cauchy-Schwarz).

(iii) Markov, Bienaymé-Tchebychev. Pour a>0a > 0, P(∣X∣⩾a)⩽E[∣X∣]/aP(|X| \geqslant a) \leqslant E[|X|]/a, et P(∣X−E[X]∣⩾a)⩽Var⁡X/a2P\big(|X - E[X]| \geqslant a\big) \leqslant \operatorname{Var} X / a^2.

(iv) Si XX et YY sont indépendantes et intégrables, XYXY est intégrable et E[XY]=E[X] E[Y]E[XY] = E[X]\,E[Y]. Par suite, si X1,…,XnX_1, \dots, X_n sont de carré intégrable et deux à deux indépendantes, Var⁡(X1+⋯+Xn)=∑iVar⁡Xi\operatorname{Var}(X_1 + \cdots + X_n) = \sum_i \operatorname{Var} X_i.

Démonstration

(i) Pour φ=1B\varphi = \mathbf 1_B, c'est la définition de PXP_X. Par linéarité, la formule vaut pour les fonctions étagées positives, puis pour φ⩾0\varphi \geqslant 0 par convergence monotone (Convergence monotone), en approchant φ\varphi par une suite croissante d'étagées, et enfin pour φ\varphi intégrable en séparant φ+\varphi^+ et φ−\varphi^-. Le cas d'un couple est identique.

(ii) ∣X∣⩽12(1+X2)|X| \leqslant \frac12(1 + X^2), donc XX est intégrable. De même ∣XY∣⩽12(X2+Y2)|XY| \leqslant \frac12(X^2 + Y^2), donc XYXY est intégrable, et le développement suivant porte sur des quantités finies. Pour tout réel tt, 0⩽E[(∣X∣−t∣Y∣)2]=E[X2]−2tE[∣XY∣]+t2E[Y2];\begin{aligned} 0 &\leqslant E\big[(|X| - t|Y|)^2\big] \\ &= E[X^2] - 2tE[|XY|] + t^2E[Y^2] ; \end{aligned} si E[Y2]>0E[Y^2] > 0, on prend t=E[∣XY∣]/E[Y2]t = E[|XY|]/E[Y^2], et si E[Y2]=0E[Y^2] = 0, alors Y=0Y = 0 presque partout et l'inégalité est triviale. La racine carrée existe par le théorème des valeurs intermédiaires (Valeurs intermédiaires).

(iii) a1{∣X∣⩾a}⩽∣X∣a\mathbf 1_{\{|X| \geqslant a\}} \leqslant |X|, puis on applique la première inégalité à (X−E[X])2(X - E[X])^2 et a2a^2.

(iv) Par (i) et l'indépendance (Variables aléatoires, (iii)), E[∣XY∣]=∫∣xy∣ d(PX⊗PY)=E[∣X∣] E[∣Y∣]\begin{aligned} E[|XY|] &= \int |xy| \, d(P_X \otimes P_Y) \\ &= E[|X|]\,E[|Y|] \end{aligned} par le théorème de Tonelli, et E[XY]=E[X] E[Y]E[XY] = E[X]\,E[Y] par celui de Fubini (Tonelli, Fubini).

En développant le carré, la variance d'une somme est la somme des variances et des covariances, qui sont nulles.

□
Remarque

Pour une variable de Bernoulli, E[X]=pE[X] = p et Var⁡X=p(1−p)\operatorname{Var} X = p(1 - p), qui vaut au plus 14\frac14. Une variable binomiale a la loi d'une somme de nn variables de Bernoulli indépendantes, et l'espérance et la variance ne dépendent que de la loi, par le transfert (i), d'où E[Sn]=npE[S_n] = np et Var⁡Sn=np(1−p)\operatorname{Var} S_n = np(1 - p), sans aucun calcul de somme.

Remarque

Pour une variable TT à valeurs dans ℕ{\mathbb N}, T=∑k⩾01{T>k}T = \sum_{k \geqslant 0} \mathbf 1_{\{T > k\}}, et la convergence monotone donne E[T]=∑k⩾0P(T>k)E[T] = \sum_{k \geqslant 0} P(T > k). Pour la loi géométrique, P(T>k)=(1−p)kP(T > k) = (1 - p)^k, d'où E[T]=1/pE[T] = 1/p : il faut en moyenne six lancers pour obtenir un six.

Ouvrir dans l'atlas interactif →