集值鞅的Doob停止定理

设｛Ｆｎ，ｎ≥１｝是Ｌ１ｆｃ［Ω；Ｘ］值鞅（上鞅，下鞅），首先以支撑函数为工具，对有界停时证明了Ｄｏｏｂ停止定理，然后将结果推广到更一般的场合．对可闭集值鞅（上鞅），Ｄｏｏｂ停止定理对一切停时成立；而对一般的集值鞅（上鞅），此时Ｄｏｏｂ停止定理只对某些停时成立；最后将上述结论推广到连续时间集值鞅上．