|
根据普罗霍罗夫定理,对于每一个ε>0,就足以找到一个紧集Dε rdqm[Sk/∈ Dε]≤ ε对于allk=1,···,N.那么,对于每一个ε>0,就足够找到一个常数Kε>0,这样qm|锡克|≥ Kε≤ ε对于所有i=1,··,d和k=1,··,N。接下来,根据鞅性质,我们有EQm[|Sik |]≤ EQm[|SiN |]。然后,对于每一个ε>0,我们可以选择Kε>0,这样SUPM≥1EQmPdi=1 | SiN|≤ Kε。因此Qm|锡克|≥ Kε≤EQm[| Sik |]Kε≤ ε、 因此(Qm)m≥它相对紧凑。(b) 看看序列(SN,Qm)m≥1是一致可积的,注意| xi | 1 | xi就足够了|≥2Kn≤ 2 | xi |- Kn)1 | xi|≥Kn,其中后者是序列(fk)k中包含的支付函数≥1.(c)设为(Qm)m的累积点≥1.自序列(fk)k≥假设Rd1上所有Lipschtiz函数的空间都是稠密的,在一致收敛拓扑下,很容易得到o s-1N=u。(d) 最后,证明极限测度的鞅性质是保持不变的就足够了。通过抽象一个子序列,我们假设Qm→ 我们将证明,对于所有1≤ k<k≤ N、 对于任何有界连续函数φ:(Rd)k×T→ R、 一个哈塞克φS、 ···,Sk,T∧ (k+1)(Sk)- (Sk)= 0.(6.48)设K>0,且χK:Rd→ 当kxk满足χK(x)=x时,由K一致有界的Rda连续函数≤ K、 当kxk时,χK(x)=0≥ K+1。那么每m=0≥ 1.一个人有EQm~n(S,T)(Sk)- (Sk)≤EQm~n(S,T)χK(Sk)- χK(Sk)+|^1|∞EQm|Sk | 1 | Sk|≥K+| Sk | 1 | Sk|≥K, (6.49)在这里我们简化了φ(S,··,Sk,T)∧ (k+1)至а(S,T)。对于每一个ε>0,通过(SN,Qm)m的一致可积性≥1,存在Kε>0,使得|∞EQm|Sk | 1 | Sk|≥Kε+| Sk | 1 | Sk|≥Kε≤ ε、 对于所有m=0,1,··(6.50),此外,对于m≥ qm是鞅测度,然后是EQm~n(S,T)(Sk)- (Sk)= 0,因此EQm~n(S,T)χK(Sk)-χK(Sk)≤ ε.
|