Convergence de variables aléatoires
1) Convergence quadratique et convergence en probabilité
Dé…nition : On dé…nit la norme quadratique d’une variable aléatoire par kXk2=pE(X2):
Remarque : Si X: !Ret est …ni et muni de la probabilité , alors kXk2=pP!2X(!)2(!):
Remarque : La norme quadratique est la norme associée au produit scalaire hX; Y i=E(XY ):
Dé…nition : On dit qu’une suite (Xn)n2Nconverge quadratiquement vers Xssi limn!+1kXnXk2= 0:
Dé…nition : On dit qu’une suite (Xn)n2Nconverge en probabilité vers Xssi pour tout " > 0,
lim
n!+1P(jXnXj ") = 0
a) Soit créel. On suppose limn!+1E(Xn) = cet limn!+1V(Xn) = 0:Montrer que limn!+1kXnck2= 0:
b) Montrer que si (Xn)n2Nconverge quadratiquement vers X, alors (Xn)n2Nconverge en probabilité vers X:
Solution :
a) kXneck2 kXnE(Xn)k2+kE(Xn)ck2=pV(Xn) + jE(Xn)cj:
En e¤et, la variable aléatoire E(Xn)cest constante, donc kE(Xn)ck2=jE(Xn)cj:
b) On applique l’inégalité de Markov à (Xnc)2:
On a P(jXnXj ") = P((Xnc)2"2)E((Xnc)2)
"2=kXnck2
2
"2, donc limn!+1P(jXnXj ") = 0:
2) Un exemple : Nombre de points sans antécédent par une application
On considère l’ensemble des nmapplications fde f1;2; :::; mgdans f1;2; :::; ng, muni de la probabilité uniforme.
utrement dit, l’image par fde tout j2 f1;2; :::; mgest choisi dans f1;2; :::; ngavec la même probabilité, de sorte
que chaque fonction fa la même probabilité d’être choisie.
On note X: !Nla variable aléatoire donnant le nombre de points sans antécédent.
Pour i2 f1;2; :::; ng, on note Yila variable aléatoire valant 1si in’admet aucun antécédent, et 0sinon.
a) Préciser la loi de Yiet celle de YiYj, où i6=j:
b) Exprimer Xà l’aide des Yi, et en déduire E(X)et V(X):
c) On suppose m=n. On note désormais Xnau lieu de X, pour rappeler que Xest fonction de n.
Donner un équivalent de E(Xn)lorsque ntend vers +1et justi…er brièvement que V(Xn) = O(n).
d) En déduire que la suite Xn
nn2N
converge en probabilité vers une variable Zqu’on précisera.
Solution :
a) Les applications fpour lesquelles in’a pas d’antécédent sont celles à valeurs dans f1;2; :::; ngnfig: