|
存在一个正常数C依赖于onT和两个非负序列{an},{an}都依赖于T,都接近0as n→ ∞, 这样对于每个γ∈ (0,p)n大,我们有≤T≤Thζn,+t,fi- hζnt,fγi我≤ ~an+Cγ,(5.3)Ehsup0≤T≤Thζn,-t、 菲- hζnt,fγ- f i我≤ ^an+Cγ。(5.4)5.2{(ζn,+,ζn,-) : N≥ 1} 在本节中,我们定义了波兰空间D([0,T],M([0,1]),在该空间上,一对被测量值过程{(ζn,+,ζn,-) : N≥ 1} 生活并讨论这个序列的紧密性。回想一下[0,1]上的有限非负测度空间,用M+([0,1])表示,是以下度量d+下的波兰空间:d+(γα,γβ)=∞Xk=1k | h|α,φki- h|β,φki | 1+|h|α,φki- hνβ,φki |(5.5),其中Γα,Γβ∈ M+([0,1]),{φk:k≥ 1} 被选为C([0,1])的一个稠密子集,具有均匀拓扑,hа,φki≡Rφk(x)Γ(dx)对于测量值Γ,参见[17,第4.1节]。根据度量d+,我们可以在乘积空间M+([0,1])×M+([0,1])上定义度量d,这样d(γ+α,γ-α), (υ+β, υ-β)=qd+(γ+α,γ+β)+d+(γ)-α, υ-β) ,(5.6)式中(γ+α,γ)-α), (υ+β, υ-β) ∈ M+([0,1])×M+([0,1])。产品空间M+([0,1])×M+([0,1])配备了(5.6)中定义的度量d,用M([0,1])表示。有人已经证实M([0,1])是一个波兰空间(参见,例如[19])。因此,Skorohod间隔([0,T],M([0,1]),其中(ζn,+,ζn,-) 生活也是一个波兰空间,有目的论。有关拓扑的更多详细信息,请参见[4]。我们现在陈述本节的主要结果。附录B给出了证明。如果随机元素的Recala序列是紧的,并且序列的所有极限点都集中在连续路径上,则称其为C-紧。参见,例如[16,定义VI.3.25]。提议5.1。修正函数f∈ C[0,1]。
|