Обратите внимание, что случайная величина является функцией только от . Для вектора мы пишем для индекса й наибольшей координаты. Пусть также обозначает условное распределение заданном .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
Если мы разбиваем вероятности в соответствии со значением и дезинтегрируем wrt мы получаемZijZ
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)
Этот аргумент является довольно общим и опирается только на заявленные предположения , и может быть любой заданной функцией . ( X k , Y k )Zk(Xk,Yk)
При допущениях нормальных распределений (принимая ) и является суммой, условное распределение заданном равно
и @probabilityislogic показывает, как вычислить распределение , поэтому мы имеем явные выражения для обоих распределений, которые входят в последний интеграл выше. Может ли интеграл быть вычислен аналитически - это другой вопрос. Вы могли бы быть в состоянии, но изо всех сил я не могу сказать, возможно ли это. Для асимптотического анализа, когда илиZ к Х 1 Z 1 = Z N ( сг 2 хσy=1ZkX1Z1=zZijσx→0σx→∞
N(σ2x1+σ2xz,σ2x(1−σ2x1+σ2x))
Zijσx→0σx→∞ это может быть не нужно.
Интуиция, лежащая в основе приведенного выше вычисления, состоит в том, что это аргумент условной независимости. Учитывая переменные и независимы.X k i jZk=zXkij