|
在任何一种情况下,如果有一个子序列qkw,其Xqk(ω)=(子序列可能取决于ω),然后通过定义X和, X= 在,∞) 然后▽X= 在[s]上,∞). 因此,在不丧失一般性的情况下,我们可以限制toE值序列。假设有ω∈ Ohmq→ 她和林克在一起→skXq(ω)k=∞, 这样Xq(ω)∈ 对于所有的q(如果不是,引理已经是真的)。引理1.26 i)正勒贝格测度的is×K有一个子集(T,u),使得limq→sehψq,T(u),Xq(ω)要么为零,要么根本不存在。自ω∈ Ohm根据引理1.25,几乎所有(T,u)的极限值都存在∈ 是×K(记住Φ是连续的,Φ6=0)。因此有T(ω),u(ω)这样的limq→sehψt,t(ω)(u(ω)),Xq(ω)i=0。引理1.26 ii)则产生relint(<U)6= 为了所有的你∈ relint(<U)limq→sehu,Xq(ω)i=0。(1.23)因此我们可以∈ relint(<U)。根据引理1.21Φt,t(u)和ψt,t(u)是重值函数。对于T>0,我们可以选择s<T,使得ψT,T(u)∈ 对于s,relint(<U)和Φt,t(U)>0≤ T≤ T.考虑一下场景Ohms、 T={ω∈ Ohm: s<T(ω) <T}和方程(1.19)中的非负c`adl`ag鞅Ohm满足度MT,ut(ω)=Φt,t(u)ehψt,t(u),~Xt(ω)i∈ Ohms、 T导致(1.23)的考虑因素给出了ψT(ω) ,T(u),~XT(ω) (ω)i=0或ehψT(ω) ,T(u),~XT(ω)-(ω) i=0。根据定理二。78.1在罗杰斯和威廉姆斯[43]中,MT,ut(ω)=0表示所有T(ω) ≤ T≤ 助教。s、 在Ohms、 T.因为ΦT,T(u)>0,那么Xt(ω)= 对于T(ω) ≤ T≤ T.a.s.onOhms、 T.因为T>T(ω) ,通过定义X也就是Xt(ω)= 有一段时间∈ (T)(ω) ,T]。通过定义 X然后Xt(ω)= 在[T]上,∞) 因此,也就是∧Xt(ω)。由于TWA是任意的,所以引理如下。定义流程X:=XI[0,T)+ 我没有,∞).推论1.29:过程X在E中是c`adl`ag, 对X的修改和对已完成过滤概率空间的有效处理(Ohm, AP,FP,P)。证据引理1.27和引理1.28,X是对X的修正。
|