定理IV.86在[18]中,它遵循Zt≥ 是的,尽管如此≥ 0,P*- a、 我们在下面的引理中总结了上述事实。引理A.3。让Y成为F*-(D)类的可选过程,然后是aF*-可选的l\'adl\'ag过程Z,它是最小的强上鞅,如Z=ess supτ∈T*EYτF和Zt≥ YTT≥ 0,P*-a、 特别是,有一个E[Z]=supτ∈TF*EYτ.接下来,我们回顾具有完全连续性的超鞅的Doob-Meyer分解(参见[19,定理20,附录I]或Mertens[44,定理T3])。引理A.4。让(Ohm*, F*, P*) 成为一个概率空间,配备过滤F*=(F)*t) t≥0满足通常条件,X=(Xt)t≥成为一个F*-可选的processclass(DL)和F*-超级马丁格尔。那么X有一个唯一的分解X=X+M- A、 其中M=A=0,M是c`adl`agf*-鞅,A是anF*-可预测的增长过程。上述分解允许我们以路径方式定义(l`adl`ag)超鞅与连续鞅的二次共变,如inKarandikar[40]。让我们继续讨论引理A.4,并假设Wis是过滤概率空间中的连续鞅(Ohm*, F*, P*, F*). 这里X可能不是(D)类,X是F*-如果E[Xτ| Fσ]≤ 所有边界f的Xσ*-停车时间σ≤ τ.用FX表示,W=(FX,Wt)t≥0由(X,W)生成的原始过滤,即FX,Wt:=σ(Xs,Wss)≤ t) 。接下来,definex+t:=limQstXs=X+Mt+A+t,其中A+t:=limQstAs。那么X+显然仍然是F*-超级马丁格尔,几乎肯定有c\'adl\'ag路径。设τn:=0,τni+1:=inf{t≥ τni:|X+t- X+τni|≥ 2.-nor | Wτni- Wt|≥ 2.-n} ,Qnt:=∞Xi=0X+τni+1∧T- X+τni∧TWτni+1∧T- Wτni∧T, Qt:=lim supn→∞Qnt,(A.38)和最后的Q-:= Q和Q-t:=limQstQsfor t>0。引理A.5。在(Ohm*, F*, P*, F*), 过程Q-与X和W(或M和W的等价物)的二次共变hX,W i无法区分。