10

Beweisen oder liefern Sie ein Gegenbeispiel:

Wenn Xn a.s. X , dann(i=1nXi)1/n a.s. X

Mein Versuch :

FALSE: Angenommen, X kann nur negative Werte annehmen und XnX n

DANN Xn a.s. X , aber auch fürn ,(i=1nXi)1/n ist nicht streng negativ. Stattdessen wechselt es negativ zu positiv und negativ. Daher(i=1nXi)1/n konvergiert nicht fast sicher zuX .

Ist das eine vernünftige Antwort? Wenn nicht, wie kann ich meine Antwort verbessern?

Lewkrr
quelle
4
muss streng positiv sein, damit dies sinnvoll ist. Xi
user765195
2
Natürlich benötigen Sie , um G n = ( n i = 1 X i ) 1 / n richtig zu definieren. Beweisen Sie zunächst, dass A n = n i = 1 X n / n zu X as konvergiert (googeln Sie "Cesaro mean" in Real Analysis und passen Sie das Argument an). Dann betrachte 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
Die Intuition ist, dass Sie den Durchschnitt mit immer mehr berechnen, die immer näher an und am Ende das Ergebnis dominieren. L.xiL
Zen

Antworten:

3

Bevor Sie etwas Interessantes beweisen, beachten Sie, dass fast sicher für alle keine notwendige Bedingung ist, damit beide Aussagen Sinn machen, was die deterministische Sequenz veranschaulicht.i ( - 1 , - 1 , 1 , 1 , 1 , )Xi>0i(1,1,1,1,1,)

Darüber hinaus ist die Aussage im Allgemeinen tatsächlich falsch, wie die folgende deterministische Sequenz beweist: .(0,1,1,)

Angenommen, fast sicher für alle , dann ist die Aussage durch das folgende Argument wahr:iXi>0i

DefiniereDurch die Kontinuität von , fast sicher. Somit bedeutet fast sicher durch ein Ergebnis für Cesaro auch in den obigen Kommentaren bewiesen. Durch die Kontinuität von , fast sicher.xlog(x)log(Xn)log(X)Snlog(X)xexp(x)( n i = 1 Xi)1/nX,

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

Diese Behauptung ist falsch. Ich gebe Beweise, indem ich ein Gegenbeispiel gebe.

Angenommen, die Zufallsfolge ist wie folgt definiert:Xi

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

Offensichtlich (1) degeneriert und (2) konvergiert fast sicher zu als durch Tschebyscheffsche starkes Gesetz der großen Zahlen. (Um dies zu sehen, schreiben Sie für .)XiX=1iZi=i0.5ZZN(0,1)

Da jedoch , ist . Folglich ist , so dass es im Grenzfall trivial gegen konvergiert , das heißt . X1=0Πi=1nXi=0,nN(Πi=1nXi)1/n=0,nN0limn(Πi=1nXi)1/n=0

Jeremias K.
quelle
2
Sie scheinen den Exponenten vergessen zu haben . 1/n
whuber
Danke whuber, ich habe es behoben :) Ich sollte wirklich daran arbeiten, die Dinge genauer zu lesen ... Ich habe auch zuerst bewiesen, dass die Aussage auch nicht für weil ich nicht richtig gelesen. Πi=1nXi1/i
Jeremias K
Vielen Dank. Alle diese Berechnungen scheinen eine einfache Idee zu verschleiern: Wenn ungleich Null ist, ändern Sie den Grenzwert nicht, indem Sie eine endliche Zahl von auf Null ändern. wird das Produkt jedoch zu Null und Sie erhalten einen Widerspruch. Fair genug. Sofern uns nichts anderes gesagt wird, sollten Aussagen über unendliche Produkte als Aussagen über unendliche Summen der Logarithmen verstanden werden. Das Interesse an dieser Frage konzentriert sich insbesondere auf den Fall, dass jedes mit ziemlicher Sicherheit streng positiv ist . X i X iXXiXi
whuber
@whuber dieser letzte Kommentar ist interessant. Ist es tatsächlich so, dass Produktgrenzen durch Konvention oder vielleicht durch Definition (?) In Bezug auf die Logarithmen verstanden werden? In diesem Fall würde ich auch den Wortlaut meiner obigen Antwort ändern. Insbesondere der letzte Aufruf zur Kontinuität wäre überflüssig.
Ekvall
@Student Die Begründung in Ihrer Antwort ist in Ordnung. In statistischen Anwendungen ist es selten, dass jemand eine solche Grenze geometrischer Mittel betrachtet, wenn er nicht bereits in Logarithmen denkt.
whuber