1.离散鞅的定义和性质
定义1:
若随机序列 { X n , n = 0 , 1 , 2 , ⋯ } \{X_n,n=0,1,2,\cdots\} {
Xn,n=0,1,2,⋯}对任意的 n ≥ 0 n≥0 n≥0,有:
( 1 ) E ∣ X n ∣ < ∞ ( 2 ) E ( X n + 1 ∣ X 0 , ⋯ , X n ) = X n \begin{array}{lcl} (1)E|X_n|<\infty \\(2)E(X_{n+1}|X_0,\cdots,X_n)=X_n \end{array} (1)E∣Xn∣<∞(2)E(Xn+1∣X0,⋯,Xn)=Xn
则称 { X n } \{X_n\} {
Xn}为离散鞅序列,简称为鞅。
如果 { X n } \{X_n\} {
Xn}为鞅,则它有某种后效性。即当已知时刻 n n n以及它以前的值 X 0 , ⋯ , X n X_0,\cdots,X_n X0,⋯,Xn,那么 n + 1 n+1 n+1时刻的值 X n + 1 X_{n+1} Xn+1对 X 0 , ⋯ , X n X_0,\cdots,X_n X0,⋯,Xn的条件期望与时刻 n n n以及它以前的值 X 0 , ⋯ , X n X_0,\cdots,X_n X0,⋯,Xn无关,并且等于 X n X_n Xn。
鞅的直观背景解释:
设想赌徒在从事赌博的过程中,他在第 n n n年的赌本为 X n X_n Xn, E ( X n + 1 ∣ X 0 , ⋯ , X n ) E(X_{n+1}|X_0,\cdots,X_n) E(Xn+1∣X