Wenn endlich ist, ist ?

10

Für eine kontinuierliche Zufallsvariable X , wenn E(|X|) endlich ist, ist limnnP(|X|>n)=0 ?

Dies ist ein Problem, das ich im Internet gefunden habe, aber ich bin mir nicht sicher, ob es gilt oder nicht.

Ich weiß, dass nP(|X|>n)<E(|X|) durch Markov-Ungleichung gilt, aber ich kann nicht zeigen, dass es auf 0 geht, wenn n auf unendlich geht.

456 123
quelle
8
(1) Kontinuität ist nicht erforderlich. (2) Drücken Sie die Erwartung als Integral der Überlebensfunktion Pr(|X|>n) . (3) Betrachten Sie das Kontrapositive: Was würde ein Grenzwert ungleich Null für die Erwartung bedeuten?
whuber
@whuber schöne Übung! Ich glaube, ich habe eine richtige Antwort, aber da dies so aussieht self-study, denke ich nicht, dass ich es hier schreiben sollte. Kann ich einen privaten Chatraum einrichten und Ihnen meine Lösung zeigen, damit Sie mir sagen können, ob sie korrekt ist?
DeltaIV
1
@Delta Dies ist ein Fall, in dem das Posten Ihrer Antwort für mich in Ordnung erscheint: Das OP hat eine bestimmte Unterfrage und scheint nicht nur nach Antworten auf Hausaufgaben zu suchen.
whuber
@whuber dies erinnert mich an die Nicht-Existenz einer gleichmäßigen Verteilung über die natürlichen Zahlen - bedeutet dies , dass , während die Kontinuität hier nicht erforderlich ist, zählbare additivity ist ?
Bill Clark

Antworten:

10

Sehen Sie sich die Folge von Zufallsvariablen definiert werden, indem nur große Werte von beibehalten werden :Es ist klar, dass , also Beachten Sie, dass undfür jedes . Die LHS von (1) tendiert also durch dominierte Konvergenz zu Null .{Yn}|X|

Yn:=|X|I(|X|>n).
YnnI(|X|>n)
(1)E(Yn)nP(|X|>n).
Yn0|Yn||X|n
grand_chat
quelle
Ich denke du meinst "RHS" in deinem letzten Satz, sonst gute Arbeit!
Jbowman
@jbowman, er / sie bedeutet durch den dominierten Konvergenzsatz (beachten Sie, dass allein nicht ausreicht, um zu dieser Schlussfolgerung zu gelangen). Ich habe den Link zu DCT auf Wikipedia hinzugefügtEYn0Yn0
P. Windridge
@ P.Windridge - Ich habe nicht sorgfältig genug gelesen und das "So the LHS" mit Gleichung 1 anstatt mit dem vorherigen Satz verknüpft. Mein Fehler.
Jbowman
Beachten Sie, dass eine Zufallsvariable ist. in welchem ​​Sinne? YnYn0
YHH
@YHH Die Konvergenz ist punktuell: Für jedes gilt als . ωYn(ω)0n
grand_chat
3

Ich kann eine Antwort für eine kontinuierliche Zufallsvariable geben (es gibt sicherlich eine allgemeinere Antwort). Sei::Y=|X|

E[Y]=0yfY(y)dy=0nyfY(y)dy+nyfY(y)dy0nyfY(y)dy+nnfY(y)dy=+n(FY()FY(n))=+n(1FY(n))=0nyfY(y)dy+nP(Y>n)

Somit

0nP(Y>n)(E[Y]0nyfY(y)dy)

Nun, da nach der Hypothese endlich ist, haben wir dasE[Y]

limn(E[Y]0nyfY(y)dy)=E[Y]limn0nyfY(y)dy=E[Y]E[Y]=0

Dann

limnnP(Y>n)=0

nach dem Sandwich-Theorem.

DeltaIV
quelle
@ P.Windridge Könnten Sie bitte überprüfen, ob auch meine Verwendung des dominierten Konvergenzsatzes korrekt ist? Ich habe eine Menge, , die nicht negativ ist und nicht größer als eine Menge, deren Grenze 0 ist, also in meiner Anwendung der Satz. Vielen DanknP(Y>n)limnnP(Y>n)=0
DeltaIV
2
@ DeltaIV- Zunächst wird zur Verdeutlichung " und impliziert " NICHT der dominierte Konvergenzsatz (normalerweise wird er als Sandwich-Satz bezeichnet). anbncnan,cnlbnl
P. Windridge
1
@ DeltaIV- nein, du brauchst keine DCT, MCT ist genug (dies beinhaltet die Möglichkeit, dass , aber dann kannst du nicht sagen !)EY=EYEY==0
P. Windridge
1
Kein Problem. Übrigens, ich weiß, dass durch die Annahme endlich ist. Ich habe nur erklärt, wo Sie diese Annahme verwenden (die MCT selbst erfordert sie nicht, im Gegensatz zur DCT, die @grand_chat verwendet hat, und ich hoffe, Sie haben sie angeschaut :)). E[Y]
P. Windridge
1
@ P.Windridge ah, ok! Ich habe nicht bemerkt, dass MCT diese Annahme nicht erfordert. Ich habe mir das DCT angesehen, deshalb dachte ich, ich brauche es nicht für meinen Beweis :) Ich bezahle den Preis dafür, dass ich an der Universität nicht über Lebesgue-Integration unterrichtet wurde ... aus diesem Grund bin ich es gewohnt Wahrscheinlichkeitsrechnung in Form von PDFs anstelle von Maßen durchführen.
DeltaIV
0

E|X|<E|X|I|X|>n0 (einheitlich integrierbar)

E|X|=E|X|I|X|>n+E|X|I|X|n

E|X|I|X|>nE|X|<

E|X|I|X|>nnEI|X|>n=nP(|X|>n)

E|X|I|X|>n0nP(|X|>n)0P(|X|>n)0

dhlimnP(|X|>n)=0

Aldehu
quelle