Beweis der Wahrscheinlichkeitsintegraltransformation ohne Annahme, dass die CDF streng ansteigt

9

Ich weiß, dass der Beweis für die Wahrscheinlichkeitsintegraltransformation auf dieser Site mehrfach gegeben wurde. Die Beweise, die ich gefunden habe, verwenden jedoch die Hypothese, dass der CDF FX(x) streng zunimmt (natürlich zusammen mit der Hypothese, dass X eine kontinuierliche Zufallsvariable ist). Ich weiß, dass die einzig erforderliche Hypothese tatsächlich ist, dass X eine kontinuierliche Zufallsvariable ist und keine strikte Monotonie erforderlich ist. Kannst du mir zeigen wie?

Da ich bereits hier bin, nehme ich auch die Gelegenheit wahr, um eine einfache Anwendung der Wahrscheinlichkeitsintegraltransformation zu bitten :) Können Sie mir zeigen, dass, wenn X CDF FX(x) und Y die Kürzung von X zu [a,b] , dann wird Y als FX1(U) wobei U[FX(a),FX(b)] ?

DeltaIV
quelle
2
Wenn Sie so freundlich wären, könnten Sie im Beweis Ihres Links darauf hinweisen, wo die Anforderung, dass FX(x) strikt zunehmen muss. Vielen Dank!
Erosennin
1
@Erosennin, der Beweis setzt die Existenz der Umkehrung von voraus FX(x).
DeltaIV
Vielen Dank! Aber gibt es jemals eine CDF, die nicht strikt zunimmt? Sie haben wahrscheinlich schon daran gedacht ...
Erosennin
2
Natürlich gibt es. Die Zufallsvariable, deren pdf gleich 1/2 in [0,0,5], 0 in [0,5,1] und 1/2 in [1,1,5] ist, hat eine CDF, die kontinuierlich ist, aber nicht streng zunimmt.
DeltaIV
FFF

Antworten:

9

In dem vom OP bereitgestellten Wikipedia-Link ist die Wahrscheinlichkeitsintegraltransformation im univariaten Fall wie folgt angegeben

XFXY=FX(X)

XY=FX(X)

FY(y)=Prob(Yy)=Prob(FX(X)y)=Prob(XFX1(y))=FX(FX1(y))=y

FYUniform(0,1)Y[0,1]

FX1

FZ1(t)inf{z:FZ(z)t},t(0,1)

Unter dieser Definition gilt weiterhin die Wikipedia-Reihe von Gleichheiten für kontinuierliche CDFs. Die kritische Gleichheit ist

Prob(XFX1(y))=Prob(Xinf{x:FX(x)y})=Prob(FX(X)y)

Das gilt, weil wir eine kontinuierliche CDF untersuchen. In der Praxis bedeutet dies, dass der Graph kontinuierlich ist (und keine vertikalen Teile aufweist, da er eine Funktion und keine Entsprechung ist). Dies impliziert wiederum, dass das Infimum (der Wert von inf {...}), das als bezeichnet wird, immer so ist, dass . Der Rest ist sofort.x(y)FX(x(y))=y

In Bezug auf CDFs diskreter (oder gemischter) Verteilungen ist es nicht (kann nicht wahr sein), dass einem einheitlichen folgt , aber es ist immer noch wahr, dass die Zufallsvariable hat die Verteilungsfunktion (so dass die inverse Transformationsabtastung weiterhin verwendet werden kann). Ein Beweis findet sich in Shorack, GR (2000). Wahrscheinlichkeit für Statistiker . ch.7 .Y=FX(X)U(0,1)Z=FX1(U)FX

Alecos Papadopoulos
quelle
3
+1 Ein ähnlicher Beweis wird auch auf Seite bereitgestellt. 54 von Casella und Berger's Statistical Inference, zweite Ausgabe.
StatsStudent
1
@ Analyst1 Danke, es ist gut, mehrere Referenzen zu haben.
Alecos Papadopoulos