这个看似简单的问题比它看起来的要深,将我们带到了Hammersley-Clifford定理。我们可以从全部条件中恢复联合分布的事实使Gibbs采样器成为可能。如果我们记得边际不能确定联合分布,那么这可能是令人惊讶的结果。
让我们看看如果我们使用关节,条件和边际密度的众所周知的定义进行正式计算,会发生什么。以来
FX,Y(x ,y)=FX| ÿ(x ∣ y)Fÿ(y)=Fÿ∣ X(y∣ x )FX(x ),
我们有
∫Fÿ∣ X(y∣ x )FX| ÿ(x ∣ y)dÿ= ∫Fÿ(y)FX(x )dÿ=1个FX(x ),
我们可以从全条件制作中正式恢复关节密度
FX,Y(x ,y)=Fÿ∣ X(y∣ x )∫Fÿ∣ X(y∣ x )/FX| ÿ(x ∣ y)dÿ。(* )
形式化计算的问题在于,它假定所有涉及的对象确实存在。
例如,考虑如果我们得到
X| ÿ= y〜精通(ÿ)和ÿ∣ X= X 〜精通(X )。
它遵循
Fÿ∣ X(y∣ x )/FX| ÿ(x ∣ y)= x / y,以及分母的整数
(* ) 发散。
为了确保我们可以使用以下条件从全部条件中恢复关节密度 (* ) 我们需要本文讨论的兼容性条件:
“兼容的条件分布”,Barry C. Arnold和S. James Press,《美国统计协会杂志》,第1卷。84,第405(1989),第152-156页。
最后,阅读罗伯特和卡塞拉的书中有关哈默斯利-克利福德定理的讨论