第六章 条件概率与条件期望6.1 定义和性质设为概率空间，),,(P F ΩF ∈B 且，记0)(>B P ())()()(B P AB P B A P A P B ==),P ，，则易证明为概率空间。
考虑F ∈∀A ),,(B P F Ω,(F Ω上的随机变量ξ在此概率空间上的积分，若存在则称它为∫ΩξB dP ξ在给定事件B 之下的条件期望，记为(B E ξ)，即()B ∫Ω=B dP ξE ξ。
命题1：若ξE 存在，则(B E ξ)存在且()∫=BdP B P B E ξξ)(1。
由此可见，ξ在给定事件B 之下的条件期望的意义是ξ在B 上的“平均值”。
此外给定事件在给定事件A B 的条件概率)B ()(I E B A P A =0)(>n B P 可看成条件期望的特殊情形。
设{}为的一个分割且，令F ⊂n B Ω)2,1,L =(=n n B σA ，则。
若F A ⊂ξE 存在，()∑为nE B n I n B ξ),A (Ω上的可测函数，称其为给定σ-代数A 之下关于P 的条件期望，记作()A ξE ，即()()∑=E ξA nB n I ξn B E 。
命题2：A ∈B ∀且，0)(>B P ()()∫=BdP E B P B E A ξξ)(1。
证明：A ∈B ∀，{L ,2,1⊂}∃K 使得∑∈=K i i B B ，()()()()∑∫∫∑∑∫∑∫∈∈=====K i BB Ki i i nn n BnB nBdPdP B P B E B B P B E dP IB E dP E inξξξξξξ)()(I A由此可见，若称满足下式的(),A Ω上的可测函数()A ξE 为ξ在给定σ-代数A 的条件期望：()∫∫=BBdP dP E ξξA ，A ∈∀B则由于不定积分，∫=BdP B v ξ)(A ∈∀B 为),(A Ω上的符号测度且v ，由Radon-Nikodym 定理存在唯一的(P <<P s a ..),A Ω上的可测函数满足上式，即()dPdvE =A ξ(Ω，故由命题2，两者定义一样。
