Wahrscheinlichkeitsverteilung von Funktionen von Zufallsvariablen?

9

Ich habe Zweifel: Betrachten Sie die reellen Zufallsvariablen und beide im Wahrscheinlichkeitsraum definiert sind .XZ(Ω,F,P)

Sei , wobei eine reelle Funktion ist. Da eine Funktion von Zufallsvariablen ist, ist es eine Zufallsvariable.Y:=g(X,Z)g()Y

Lassen dh eine Realisierung von .x:=X(ω)X

Ist gleich ?P(Y|X=x)=P(g(X,Z)|X=x)P(g(x,Z))

user3285148
quelle
2
Da Ihre Notation eher abgekürzt ist, sollte darauf hingewiesen werden, dass sie sich implizit auf eine Borel-Menge bezieht , die einem universellen Quantifizierer unterliegt, und dass eine umfassendere Darstellung Ihrer Frage daher wäre, ob der Fall istA
A P(YA|X=x)=P(g(X,Z)A|X=x)=P(g(x,Z)A).
whuber
@whuber: Ihre letzte Gleichheit ist nur gültig, wenn und unabhängig sind. XZ
Zen
1
OK, Sie überlegen nur, ob es der Fall ist, dass ....
Zen

Antworten:

6

Wenn messbar ist, dann ist gilt für -aa . Insbesondere wenn unabhängig von , dann ist gilt für -aa .g

P(g(X,Z)AX=x)=P(g(x,Z)AX=x),AB(R)
PXxZX
P(g(X,Z)AX=x)=P(g(x,Z)A),AB(R)
PXx

Dies beruht auf dem folgenden allgemeinen Ergebnis:

Wenn und Zufallsvariablen sind und eine reguläre bedingte Wahrscheinlichkeit von bei , dh , dann U,TSPS(T=t)ST=tPS(AT=t)=P(SAT=t)

(*)E[UT=t]=RE[UT=t,S=s]PS(dsT=t).

Beweis : Die Definition einer regulären bedingten Wahrscheinlichkeit stellt sicher, dass für messbare und integrierbare . Nun lassen für einige Satz Borel Satz . Dann with Da

E[ψ(S,T)]=RRψ(s,t)PS(dsT=t)PT(dt)
ψψ(s,t)=1B(t)E[US=s,T=t]B
T1(B)UdP=E[1B(T)U]=E[1B(T)E[US,T]]=E[ψ(S,T)]=RRψ(s,t)PS(dsT=t)PT(dt)=Bφ(t)PT(dt)
φ(t)=RE[UT=t,S=s]PS(dsT=t).
Bwar willkürlich, wir schließen daraus, dass .φ(t)=E[UT=t]

Lassen Sie nun und verwenden Sie mit , wobei und , . Dann stellen wir fest, dass durch Definition der bedingten Erwartung und damit durch wir AB(R)()U=ψ(X,Z)ψ(x,z)=1g1(A)(x,z)S=ZT=X

E[UX=x,Z=z]=E[ψ(X,Y)X=x,Z=z]=ψ(x,z)
()
P(g(X,Z)AX=x)=E[UX=x]=Rψ(x,z)PZ(dzX=x)=P(g(x,Z)AX=x).
Stefan Hansen
quelle