|
让F∈ Fbe几乎可以肯定limn→∞Tn=∞ 和定义(ω):=Pnδ(Tn(ω),Mn(ω)){Tn(ω)<∞}, 如果ω∈ F、 0,如果ω/∈ F、 然后,在R上定义一个非爆炸性标记点过程≥0×M。证据根据提案9.1。X在Daley和Vere Jones(2008年,第13页)中,N定义了非爆炸点过程R≥0×M。此外,序列(Tn)n的单调性∈N({t}×M)=0或1的所有ω的倍数∈ Ohm. 还有,使用limn→∞Tn=∞ 在F上,注意N(ω,A×M)<∞, 对于每个有界集∈ B(R≥0),对于所有ω∈ Ohm. 这意味着N∈ N#gR≥因此,0×Mand定义了非爆炸性标记点过程。相反,每个非爆炸性标记点过程都会生成一个枚举。引理A.3.2。设N是R上的非爆炸标记点过程≥0×M,使得N({0}×M)=0 a.s。确定序列(Tn)N∈Nby Tn:=sup{t>0:N((0,t)×M)≤ n} 。然后(Tn)n∈Nis(0,∞]. 此外,对于每个n∈ N、 在{Tn<∞}, 可以将Mn定义为M中唯一的元素,使得N({Tn}×{Mn})>0。在{Tn=∞}, 简单设置Mn=m∞对于某些高管而言∞∈ M然后,(Tn,Mn)n∈Nis R中的枚举≥0×M,使n=Xn∈Nδ(Tn,Mn){Tn<∞}(A.1)和limn→∞Tn(ω)=∞ 对于所有ω∈ Ohm.证据我们分几个步骤进行。(i) 对于每个n∈ N、 映射ω7→ Tn(ω)是可测量的。实际上,请注意{Tn<t}={N((0,t)×M)>N}。然后回想一下,根据定理A2.6。《Daley and Vere Jones》(2003,第404页)第三卷,N#R≥0×Mξ7→ ξ((0,t)×M)是可测量的,因此,作为一种成分(Kallenberg,2002,引理1.7,第5页),映射ω7→ N(ω,(0,t)×M)是可测的。因此,{Tn<t}∈ F、 我们使用Kallenberg(2002,第4页)中的inglemma 1.4得出结论,映射ω7→ Tn(ω)是可测量的。(ii)利用地面测量简单的事实,Tn<∞ 表示Tn<Tn+1。此外,当Tn=∞, 然后Tn+1=∞.
|