性质6 EX≥EX,≥EX {Xn}上鞅 0≤k<n EX<EX <EX {Xn}下鞅 0≤k<n 证由性质5得 {Xn}上鞅 E(Xn|Y0,…,Yk)≤Xk E=EE(Xn1|10,…,K)≤EX 首页性质6 {Xn } 上鞅 {Xn } 下鞅 EX0  EXk  EXn 0  k  n 0  k  n 证 由性质5得 E Xn Y Yk  Xk ( | , , ) {Xn } 上鞅 0  E E Xn Y Yk  EXk [ ( | , , )] EXn = 0  EX0  EXk  EXn 首页