通过结合引理2.2,我们得出结论- Mτ必须为空(即i]]τ+∞因此,我们得到0=E一] ]τ+∞[o电动汽车∞= EZ+∞(1 - Zs-)开发人员= E(1 - ZT-)I{T<+∞}, (4.71)或同等(1- ZT-)I{T<+∞}= 0,这意味着T=+∞, P- a、 s。。因此,细集{eZ=1}∩ {Z-< 1} 是转瞬即逝的(见[33]第20页的命题2.18)。因此,对于安恩来说∈ M0,loc(F),我们推导出hbn(a)iF=I]]τ+∞[[1 - Z-o(1 -eZ)o[N,N]p、 F=ψNI]]τ+∞[[1 - Z-ohNiF。(4.72)因此,这个证明的其余部分集中在断言(a)的第二个陈述上,我们认为N∈ M(F),并定义了以下过程ESX:=I{Z-<1} N+θ+β(N,m)1- Z-I{Z-<1} ohNiF,其中β(N,m):=dhm,NiFdhNiF,θ∈ Lloc(N,F)。显然,(X,F)满足SC,因此(Xτ,G)也满足SC。因此,由于]]τ+∞[[ {Z-< 1} 我们得到xτ=bN(a)- (1 - Z-)-1I]]τ+∞[ohm,NiF+θ+β(N,m)1- Z-一] ]τ+∞[hNiF=bN(a)+θ1- Z-一] ]τ+∞[hNiF=bN(a)+θψNI{ψN>0}ohbN(b)iG。最后一个等式从(3.42)开始。因此,我们得出结论:θψNI{ψN>0}∈ 任意θ的Lloc(bN(b),G)∈Lloc(N,F)。因此,通过结合(3.42),命题A.1-(c)和[25,第八章10-11](Lenglart的结果,声称每个可预测的过程H,例如≤s≤·|Hs |有一个有限的变化量,局部有界),声称θψNI{ψN>0}∈ 任意θ的Lloc(bN(b),G)∈ Lloc(N,F)相当于|λ|ψNI{ψN>0,Z-<1} ohNiFT<+∞ , P-a.s.,对于任何F-可预测过程λ|λ| hNiFT<+∞, P-a.s。。结合[39,定理2.7],我们推导出P-几乎全部ω∈ Ohm, 函数φN(ω,s)I{ψN>0,Zs-(ω) <1},s∈ [0,T]属于L([0,T],dhNiFs(ω))(即L)的对偶∞([0,T],dhNiFs(ω)))。事实上,将[39,定理2.7]应用于∧n(λ):=ZTλ(s)ψn(ω,s)I{Zs就足够了-(ω) <1,ψN(ω,s)≥N-1} dhNiFs(ω),n≥ 1,收敛于λ(s)ψN(ω,s)I{Zs-(ω) 任何λ的<1,ψN(ω,s)>0}dhNiFs(ω)∈ L([0,T],dhNiFs(ω))。