Quan sát rằng biến ngẫu nhiên là một hàm của . Đối với một -vector, , chúng ta viết cho chỉ mục của tọa độ lớn thứ . Gọi biểu thị phân phối có điều kiện của cho .Z = ( Z 1 , ... , Z n ) n z i j ( z ) j P z ( Một ) = P ( X 1 ∈ A | Z 1 = z ) X 1 Z 1ijZ=(Z1,…,Zn)nzij(z)jPz(A)=P(X1∈A∣Z1=z)X1Z1
Nếu chúng tôi phá vỡ xác suất theo giá trị của và giải trừ wrt chúng tôi sẽ nhận đượcZijZ
P(Xij∈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)
Đối số này khá chung chung và chỉ dựa trên các giả định iid đã nêu và có thể là bất kỳ hàm đã cho nào của .Zk(Xk,Yk)
Theo giả định của các bản phân phối bình thường (lấy ) và là tổng, phân phối có điều kiện của cho là
và @probabilityislogic cho thấy cách tính phân phối của , do đó chúng tôi có biểu thức rõ ràng cho cả các bản phân phối nhập vào tích phân cuối cùng ở trên. Liệu tích phân có thể được tính toán phân tích hay không là một câu hỏi khác. Bạn có thể có thể, nhưng ngoài đỉnh đầu tôi không thể biết nếu có thể. Để phân tích tiệm cận khi hoặcσy=1ZkX1Z1=z
N(σ2x1+σ2xz,σ2x(1−σ2x1+σ2x))
Zijσx→0σx→∞ nó có thể không cần thiết
Trực giác đằng sau tính toán ở trên là đây là một lập luận độc lập có điều kiện. Cho các biến và là độc lập.Zk=zXkij