|
让(yn)nbe按如下顺序|yn|*→ 利用柯西-施瓦兹不等式,我们得到了th atsupz∈Z | hy,zi*| ≤ |伊恩|*苏普兹∈Z | Z|*= |伊恩|*→ 0.因为假设g(t,z)>0的每一个固定z∈ 我们从某个特定的n开始*≤g(t,z)使得r(t,yn)=0。当r(t,ω,yn)=JCt(ω)(yn)这意味着∈ 对于每一个序列yn,从某个非向上的Ct(ω)是| yn|*→ 0.因此,0∈ int(Ct(ω))。(ii)让t∈ [0,T]和X∈ L(英尺)\\L(英尺)。对于任何人来说∈ [0,T],我们注意到如果0∈ int(CDs(ω))则存在ε′s(ω)∈ (0,1]这样| y|*≤ ε′s(ω)表示y∈ CDs(ω)。定义λs(ω):=|(HXs(ω),~HXs(ω))|*,A={(s,ω)∈ [t,t]×Ohm : λs(ω)>0}并用ε=(εs)s表示∈[0,T]由εs(ω)给出的过程:=IA(s,ω)ε′s(ω)/λs(ω)。然后ξ′:=(εHX·W)t,t+(εИHX·N)t,是SD的元素。自从X∈L(FT)\\L(FT),集合A具有正的dP×dt度量,因此EXξ′|Ft= EEZTtIAε′sds英尺= EZTtIAε′sds> 这意味着,当E[Xξ′|Ft]是非负的时,P(E[Xξ′|Ft]>0)>0。定理4.4的证明。让我们首先展示一下它的含义:<=’: 我们首先注意到,正如很容易验证的那样,(4.3)中给出的SDS是额外的m-稳定、凸、有界、闭合且包含零。此外,引理4.11和命题4.6(ii)适用于任何t∈ [0,T],Dt:L(FT)→ L(英尺)由(4.2)满意度(D4)定义。因此,根据定理4.3 D=(Dt)t∈[0,T]是一种动态偏差度量。下一步,我们来看看=>’. 根据定理4.3,有必要证明SDS由(4.3)中的表达式给出。对任何人来说∈ N将D(N)定义为(4.8)。如前所述(D(n))n∈Nis是一组增加到D(引理4.10)和相应序列(gn)n的动态偏差度量∈Nof驱动程序功能正在增加,并且令人满意≤ g(命题2.6(iv)),其中g是D(定理4.1)的表示(4.1)中的函数。
|