|
以下引理表明AWPI定义良好。引理3.1。设P,Q是X,Y的可积(半)鞅测度:Ohm → Ohm,设π是P和Q之间的双因果耦合。然后是X,Y,X-Y:Ohm × Ohm → Ohm 是(半)-鞅w.r.t.π。此外,如果X=M+A表示P下的半鞅分解,那么直到消失,M+A是X在π下的半鞅分解。证据设X=M+A为P和considerM下的半鞅分解,A为上的过程Ohm×Ohm 通过M(ω,η):=M(ω)和A(ω,η):=A(ω)。进一步假设π=P(dω)πω(dη)是P和Q之间的双因果耦合。为了证明x=M+a仍然是π下的半鞅分解,足以证明M是π下的鞅。为此,让0≤ s≤ t和letZ:Ohm × Ohm → R be Fs Fs可测量且有界。(回想一下,F=(Ft)t表示由X生成的正确连续过滤,我们赋予Ohm × Ohm过滤(英尺 Ft)t.)然后随机变量Z′:Ohm → 定义为z′(ω):=ZZ(ω,η)πω(dη)是FPs可测的,并且有明确的界。事实上,如果Z(ω,η)=Z(ω)Z(η),对于Fs可测的有界函数Zand Z,那么从双因果关系的定义来看,Z′是fps可测的;然后,一般语句来自单调类参数。因此π[(Mt- Ms)Z]=Z(Mt(ω)- Ms(ω))ZZ(ω,η)πω(dη)P(dω)=EP[(Mt- Ms)Z′]=0,根据M在P下的鞅性质。这表明M是π下的鞅,因此X=M+a是π下的半鞅分解。引理3.2。AWpde定义了集合SMp的指标(Ohm).我们注意到,非常相似的论点可以用来证明AWpde定义了具有有限时间范围N或[0,∞).引理3.2的证明。很明显,AWp(P,Q)=AWp(Q,P)≥ 所有P、Q均为0∈SMp公司(Ohm). 假设AWp(P,Q)=0。
|