Observe que a variável aleatória é uma função apenas de . Para um vetor , , escrevemos para o índice da ésima coordenada. Deixe também denotar a distribuição condicional de dada .Z = ( Z 1 , … , Z n ) n z i j ( z ) j P z ( A ) = P ( X 1 ∈ A ∣ Z 1 = z ) X 1 Z 1ijZ=(Z1,…,Zn)nzij(z)jPz(A)=P(X1∈A∣Z1=z)X1Z1
Se quebrarmos as probabilidades de acordo com o valor de e desintegrarmos wrt , obteremosZijZ
P( XEuj∈ A )=====∑kP( Xk∈ A , ij= k )∑k∫( ij( z) = k )P( Xk∈ A ∣ Z = z ) P( Z ∈ dz )∑k∫( ij( z) = k )P( Xk∈ A ∣ Zk= zk) P( Z ∈ dz )∑k∫( ij( z) = k )Pzk(A)P(Z∈dz)∫Pz(A)P(Zij∈dz)
Esse argumento é bastante geral e se baseia apenas nas suposições iid declaradas, e pode ser qualquer função de . ( X k , Y k )Zk(Xk,Yk)
Sob as premissas de distribuições normais (assumindo ) e sendo a soma, a distribuição condicional de dada fica
e @probabilityislogic mostra como calcular a distribuição de , portanto, temos expressões explícitas para ambas as distribuições que entram na última integral acima. Se a integral pode ser computada analiticamente é outra questão. Você pode, mas de cabeça para baixo, não sei dizer se é possível. Para análise assintótica quando ouZ k X 1 Z 1 = z N ( σ 2 xσy=1ZkX1Z1=zZijσx→0σx→∞
N(σ2x1+σ2xz,σ2x(1−σ2x1+σ2x))
Zijσx→0σx→∞ pode não ser necessário.
A intuição por trás do cálculo acima é que esse é um argumento de independência condicional. Dado as variáveis e são independentes.X k i jZk=zXkij