证明了定理16。定理17。设M是可测空间上的一组完备测度{Ohm, F} 有过滤功能。那么,相对于测度集M的每个有界超鞅{fm,fm}Nm=0都是局部正则的。证据从超鞅{fm,fm}Nm=0的有界性来看,存在常数C>0,使得3c>fm+C>C,ω∈ Ohm, m=0,N。由此可知,t超鞅{fm+C,fm}Nm=0是非负的,并且满足条件sfn+Cfn-1+C≤ 3,n=1,n.(172)这意味着满足定理16的条件。证明了定理17。6.2具有可数分解的可测空间。在这一小节中,我们将上一小节的结果推广到可测空间上{Ohm, F} 用可数分解。让Fn Fn+1 F是σ-alg ebras的某个递增集,其中F={, Ohm}.假设σ-代数fng由集合Ani生成,i=1,∞, Ani公司∩ Anj=, i 6=j,∞Si=1Ani=Ohm, n=1,∞. 我们假设F=σ(∞Wn=0Fn)。表示M是可测空间上的一组完整测度{Ohm, F} 。引入鞅mn=EP{ξ| Fn},P∈ M、 n=1,∞, ξ∈ A、 然后,对于mn代表mn=∞Xi=1mniχAni(ω),n=1,∞, (173)有效。引理11。设M是可测空间上的一组完备测度{Ohm, F} 带着上面的过滤器。然后,对于每个非负有界Fn可测的随机值ξn=∞Pi=1CniχAni,存在实数αnsuch thatfn(ω)=∞Pi=1CniχAnisupP∈明尼苏达州∞Pi=1CniP(Ani)≤ 1+αn(mn- 明尼苏达州-1) ,n=1,∞. (174)证明。每个σ-代数Fn,n=1,∞, 具有详尽的分解。随机值fn(ω)满足定理9,1,0的所有条件。这证明了引理11。定理18。设M是可测空间上的一组完备测度{Ohm, F} 有过滤功能。然后,每个非负超鞅{fn,fn}∞n=0相对于度量集s M是局部正则度量集。证据