Distribuição de probabilidade de funções de variáveis ​​aleatórias?


9

Tenho uma dúvida: considere as variáveis ​​aleatórias com valor real e definidas no espaço de probabilidade .XZ(Ω,F,P)

Seja , onde é uma função com valor real. Como Y é uma função de variáveis ​​aleatórias, é uma variável aleatória.Y:=g(X,Z)g(⋅)Y

Vamos x:=X(ω) ou seja, uma realização de X .

É P(Y|X=x)=P(g(X,Z)|X=x) igual a P(g(x,Z)) ?


2
Como sua notação é bastante abreviada, vale a pena mencionar que se refere implicitamente a um conjunto A de Borel A, sujeito a um quantificador universal, e que uma renderização mais completa da sua pergunta seria, portanto, se é o caso
∀A P(Y∈A|X=x)=P(g(X,Z)∈A|X=x)=P(g(x,Z)∈A).
— whuber

@ whuber: sua última igualdade é válida apenas se X e Z são independentes.
— Zen

11
OK, você está apenas considerando "se é esse o caso ...".
— Zen

Respostas:


6

Se é mensurável, então vale para -aA . Em particular, se é independente de , então vale para -aA .g

P(g(X,Z)∈A∣X=x)=P(g(x,Z)∈A∣X=x),A∈B(R)
PXxZX
P(g(X,Z)∈A∣X=x)=P(g(x,Z)∈A),A∈B(R)
PXx

Isso se baseia no seguinte resultado geral:

Se e são variáveis ​​aleatórias e denota uma probabilidade condicional regular de dado , ou seja, , então U,TSPS(⋅∣T=t)ST=tPS(A∣T=t)=P(S∈A∣T=t)

(*)E[U∣T=t]=∫RE[U∣T=t,S=s]PS(ds∣T=t).

Prova : A definição de uma probabilidade condicional regular garante que para mensuráveis ​​e integráveis . Agora vamos para um conjunto de Borel conjunto . Então com Desde

E[ψ(S,T)]=∫R∫Rψ(s,t)PS(ds∣T=t)PT(dt)
ψψ(s,t)=1B(t)E[U∣S=s,T=t]B
∫T−1(B)UdP=E[1B(T)U]=E[1B(T)E[U∣S,T]]=E[ψ(S,T)]=∫R∫Rψ(s,t)PS(ds∣T=t)PT(dt)=∫Bφ(t)PT(dt)
φ(t)=∫RE[U∣T=t,S=s]PS(ds∣T=t).
BComo foi arbitrário, concluímos que .φ(t)=E[U∣T=t]

Agora, deixe e use com , onde e , . Então notamos que por definição de expectativa condicional e, portanto, por temos A∈B(R)(∗)U=ψ(X,Z)ψ(x,z)=1g−1(A)(x,z)S=ZT=X

E[U∣X=x,Z=z]=E[ψ(X,Y)∣X=x,Z=z]=ψ(x,z)
(∗)
P(g(X,Z)∈A∣X=x)=E[U∣X=x]=∫Rψ(x,z)PZ(dz∣X=x)=P(g(x,Z)∈A∣X=x).
Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.