10

Prouver ou fournir un contre-exemple:

Si Xn a.s. X , alors(i=1nXi)1/n a.s. X

Ma tentative :

FAUX: supposons que X ne puisse prendre que des valeurs négatives et supposons que XnX n

ALORS Xn a.s. X , cependant pour mêmen ,(i=1nXi)1/n n'est pas strictement négatif. Au lieu de cela, il alterne le négatif au positif et au négatif. Par conséquent,(i=1nXi)1/n ne converge pas presque sûrement versX .

Est-ce une réponse raisonnable ?? Sinon, comment puis-je améliorer ma réponse?

Lewkrr
la source
4
doit être strictement positif pour que cela soit significatif. Xi
user765195
2
Bien sûr, vous avez besoin de pour définir correctement G n = ( n i = 1 X i ) 1 / n . Prouver d'abord que A n = n i = 1 X n / n converge vers X as (google "Cesaro mean" dans Real Analysis et adapter l'argument). Considérons alors L n = log G n . Xi>0Gn=(i=1nXi)1/nAn=i=1nXn/nXLn=logGn
Zen
1
xnLi=1nxi/nLϵ>0n01|xnL|<ϵ/2nn0n 1 > 2|i=1nxi/nL|i=1n0|xiL|/n+i=n0+1n|xiL|/n<n0max1in0|xiL|/n+ϵ/2| n i = 1 x i / n - L | < ϵ n n 1n1>2n0max1in0|xiL|/ϵ|i=1nxi/nL|<ϵnn1
L'intuition est que vous calculez la moyenne avec de plus en plus de plus en plus proches de , et ils finissent par dominer le résultat. LxiL
Zen

Réponses:

3

Avant de prouver quelque chose d'intéressant, notez que presque sûrement pour tout n'est pas une condition nécessaire pour que les deux déclarations aient un sens, comme l' illustre la séquence déterministe .i ( - 1 , - 1 , 1 , 1 , 1 , )Xi>0i(1,1,1,1,1,)

De plus, l'énoncé est en effet faux en général, comme le prouve la séquence déterministe suivante: .(0,1,1,)

Supposons maintenant presque sûrement pour tous les , alors la déclaration est vraie par l'argument suivant:iXi>0i

DéfinissezPar continuité de , presque sûrement. Ainsi, presque sûrement par un résultat pour Cesaro signifie également prouvé dans les commentaires ci-dessus. Ainsi, par continuité de , presque sûrement.xlog(x)log(Xn)log(X)Snlog(X)xexp(x)( n i = 1

Sn=1ni=1nlog(Xi).
xlog(x)log(Xn)log(X)Snlog(X)xexp(x)
(i=1nXi)1/nX,
ekvall
la source
0

Cette affirmation est fausse. Je donne la preuve en fournissant un contre-exemple.

Supposons que la séquence aléatoire soit définie comme suit:Xi

ZiN(0,1/i),iid,iNXi=1{i1}+1{i1}Zi,iN

Clairement, est (1) dégénéré et (2) converge presque sûrement vers comme par la loi forte de Chebyshev des grands nombres. (Pour voir cela, réécrivez pour .) X = 1 i Z i = i - 0,5 Z Z N ( 0 , 1 )XiX=1iZi=i0.5ZZN(0,1)

Cependant, puisque , . Par conséquent, , donc il convergera trivialement vers la limite à , c'est-à-dire . Π n i = 1 X i = 0 ,X1=0 ( Π n i = 1 X i ) 1 / n = 0 , n N 0 l i m n ( Π n i = 1 X i )Πi=1nXi=0,nN(Πi=1nXi)1/n=0,nN0limn(Πi=1nXi)1/n=0

Jeremias K
la source
2
Vous semblez avoir oublié l' exposant . 1/n
whuber
Merci whuber, je l'ai corrigé :) Je devrais vraiment travailler à lire les choses plus attentivement ... J'ai aussi d'abord prouvé que l'instruction ne tient pas non plus pour parce que je n'a pas lu correctement. Πi=1nXi1/i
Jeremias K
Merci. Tous ces calculs semblent masquer une idée simple: si est différent de zéro, vous ne changerez pas la limite en changeant tout nombre fini de en zéro, mais cela rendra le produit nul et vous obtiendrez une contradiction. C'est suffisant. Cependant, sauf indication contraire, les déclarations sur les produits infinis doivent être comprises comme des déclarations sur les sommes infinies des logarithmes. En particulier, l'intérêt pour cette question se concentre sur le cas où chaque est presque sûrement strictement positif . X i X iXXiXi
whuber
@whuber ce dernier commentaire est intéressant. Est-il vrai que les limites de produits sont par convention, ou peut-être par définition (?), Comprises en termes de logarithmes? Si c'est le cas, je modifierais également le libellé de ma réponse ci-dessus. En particulier, le dernier appel à la continuité serait superflu.
ekvall
@Student Le raisonnement de votre réponse est correct. Dans les applications statistiques, il est rare que quelqu'un envisage une telle limite de moyennes géométriques à moins qu'il ne pense déjà en termes de logarithmes.
whuber