条件独立





























在概率论和統計學中,两事件RB在给定的另一事件Y发生时条件独立,類似於統計獨立性,就是指当事件Y发生时,R发生与否和B发生与否就条件概率分布而言是独立的。换句话讲,RB在给定Y发生时条件独立,当且仅当已知Y发生时,知道R发生与否无助于知道B发生与否,同样知道B发生与否也无助于知道R发生与否。




目录






  • 1 定義


  • 2 法则


    • 2.1 對稱性


    • 2.2 分解


    • 2.3 微弱的聯合




  • 3 註釋


  • 4 參考資料


  • 5 參見





定義




两个说明条件独立的例子。每个小方格都表示一种等概率的可能结果。事件RBY分别用红色、蓝色、黄色阴影部分表示。事件RB的重叠部分用紫色表示。这些事件发生的概率等于相应阴影部分面积和图形总面积的比值。在这两个例子中,事件RB在给定Y时都是条件独立的,这是因为 Pr(R∩B∣Y)=Pr(R∣Y)Pr(B∣Y){displaystyle Pr(Rcap Bmid Y)=Pr(Rmid Y)Pr(Bmid Y),}{displaystyle Pr(Rcap Bmid Y)=Pr(Rmid Y)Pr(Bmid Y),}[註 1]
但给定Y不发生时,它们不是条件独立的,这是因为 : Pr(R∩B∣)≠Pr(R∣)Pr(B∣).{displaystyle Pr(Rcap Bmid {bar {Y}})not =Pr(Rmid {bar {Y}})Pr(Bmid {bar {Y}}).,}{displaystyle Pr(Rcap Bmid {bar {Y}})not =Pr(Rmid {bar {Y}})Pr(Bmid {bar {Y}}).,}


RB在给定Y发生时条件独立,用概率论的标准记号表示为


Pr(R∩B∣Y)=Pr(R∣Y)Pr(B∣Y){displaystyle Pr(Rcap Bmid Y)=Pr(Rmid Y)Pr(Bmid Y),}{displaystyle Pr(Rcap Bmid Y)=Pr(Rmid Y)Pr(Bmid Y),}

也可以等价地表示为


Pr(R∣B∩Y)=Pr(R∣Y).{displaystyle Pr(Rmid Bcap Y)=Pr(Rmid Y).,}{displaystyle Pr(Rmid Bcap Y)=Pr(Rmid Y).,}

因为当事件Y发生时,R发生与否和B发生与否就条件概率分布而言是独立的。


两个随机变量XY在给定第三个随机变量Z的情况下条件独立当且仅当它们在给定Z时的条件概率分布互相独立,也就是说,给定Z的任一值,X的概率分布和Y的值无关,Y的概率分布也和X的值无关。



法则


從基本定義可導出一套描述條件獨立的重要法则。[1][2]


因這些推论在任何機率空間中都成立,因此也对所有变量关于另一变量的条件概率分布成立,只需考慮相应子空间即可。譬如說X⊥Y⇒Y⊥X{displaystyle Xperp !!!perp YRightarrow Yperp !!!perp X}{displaystyle Xperp !!!perp YRightarrow Yperp !!!perp X}也就意味着X⊥Y∣K⇒Y⊥X∣K{displaystyle Xperp !!!perp Ymid KRightarrow Yperp !!!perp Xmid K}{displaystyle Xperp !!!perp Ymid KRightarrow Yperp !!!perp Xmid K}


注:位於算式下方的逗號意为“和”。



對稱性


X⊥Y⇒Y⊥X{displaystyle Xperp !!!perp Yquad Rightarrow quad Yperp !!!perp X}{displaystyle Xperp !!!perp Yquad Rightarrow quad Yperp !!!perp X}


分解


X⊥A,B⇒ and {X⊥AX⊥B{displaystyle Xperp !!!perp A,Bquad Rightarrow quad {text{ and }}{begin{cases}Xperp !!!perp A\Xperp !!!perp Bend{cases}}}{displaystyle Xperp !!!perp A,Bquad Rightarrow quad {text{ and }}{begin{cases}Xperp !!!perp A\Xperp !!!perp Bend{cases}}}

證明:




  • pX,A,B(x,a,b)=pX(x)pA,B(a,b){displaystyle p_{X,A,B}(x,a,b)=p_{X}(x)p_{A,B}(a,b)}{displaystyle p_{X,A,B}(x,a,b)=p_{X}(x)p_{A,B}(a,b)}      (X⊥A,B{displaystyle Xperp !!!perp A,B}{displaystyle Xperp !!!perp A,B}的定义)


  • BpX,A,B(x,a,b)=∫BpX(x)pA,B(a,b){displaystyle int _{B}!p_{X,A,B}(x,a,b)=int _{B}!p_{X}(x)p_{A,B}(a,b)}{displaystyle int _{B}!p_{X,A,B}(x,a,b)=int _{B}!p_{X}(x)p_{A,B}(a,b)}      (对B积分以消去B)


  • pX,A(x,a)=pX(x)pA(a){displaystyle p_{X,A}(x,a)=p_{X}(x)p_{A}(a)}{displaystyle p_{X,A}(x,a)=p_{X}(x)p_{A}(a)}     


同理可证XB條件獨立。



微弱的聯合


X⊥A,B⇒ and {X⊥A∣BX⊥B∣A{displaystyle Xperp !!!perp A,Bquad Rightarrow quad {text{ and }}{begin{cases}Xperp !!!perp Amid B\Xperp !!!perp Bmid Aend{cases}}}{displaystyle Xperp !!!perp A,Bquad Rightarrow quad {text{ and }}{begin{cases}Xperp !!!perp Amid B\Xperp !!!perp Bmid Aend{cases}}}

證明:



  • 藉由定義Pr(X)=Pr(X∣A,B){displaystyle Pr(X)=Pr(Xmid A,B)}{displaystyle Pr(X)=Pr(Xmid A,B)}

  • 由於分解的屬性X⊥B{displaystyle Xperp !!!perp B}{displaystyle Xperp !!!perp B}, Pr(X)=Pr(X∣B){displaystyle Pr(X)=Pr(Xmid B)}{displaystyle Pr(X)=Pr(Xmid B)}

  • 結合兩個等式得Pr(X∣B)=Pr(X∣A,B){displaystyle Pr(Xmid B)=Pr(Xmid A,B)}{displaystyle Pr(Xmid B)=Pr(Xmid A,B)},其中確認 X⊥A∣B{displaystyle Xperp !!!perp Amid B}{displaystyle Xperp !!!perp Amid B}第二個條件可以類似地被證明。



註釋





  1. ^ 这个等式证明如下:Pr(RB | Y)是RBY中的重合部分(用紫色表示)面积占Y面积的比值。左图中,有两个RB重合的方格位于Y内,而Y有12个方格,所以Pr(RB | Y) = 2/12 = 1/6。同理,Pr(R | Y) = 4/12 = 1/3,Pr(B | Y) = 6/12 = 1/2




參考資料





  1. ^ Dawid, A. P. Conditional Independence in Statistical Theory. Journal of the Royal Statistical Society, Series B. 1979, 41 (1): 1–31. JSTOR 2984718. MR 0535541. 


  2. ^ J Pearl, Causality: Models, Reasoning, and Inference, 2000, Cambridge University Press




參見


  • 条件期望



Comments

Popular posts from this blog

Monte Carlo

Information security

章鱼与海女图