应用定理5.13,我们得到所有ωt∈EOhmt、 函数x∈ R→Ut(ωt,x)是非递减的,usc在R上。实际上,这对所有ωt都是正确的∈ Ohm青岛市郊Ohmt、 x∈ R→ Ut(ωt,x)在[0]上是等于零的常数,∞) 以及-∞ 在(-∞, 0).现在让我们来看ωt∈ Ohmtbe固定。作为x∈ R→Ut(ωt,x)是非递减的,在R上usc我们可以应用引理7。我们得到了x∈ R→Ut(ωt,x)在R上是右连续的≥ 0固定,应用外稃6。11,H=x(此处OhmtH=eOhmt) 我们得到ωt∈ OhmT→ 苏菲∈Rdux(ωt,h)是可测的。最后,根据对ux的定义,我们得到了UT(ωt,x)=(-∞)1(-∞,0)+ 1[0,∞)(x) 1eOhmt(ωt)suph∈Rdux(ωt,h),这意味着ωt∈ OhmT→Ut(ωt,x)对于所有x都是Ft可测量的∈ 最后,我们证明了Ft B(R)——Ut的可测量性。为此,我们应用引理7.13,得到了一些Ohmtmes∈ 太好了(Ohmtmes)=1和一些英尺 R-可测量EUT:Ohmt×R→ R∪ {±∞} 对所有x来说都是这样∈ R、 {ωt∈ Ohmt、 Ut(ωt,x)6=eUt(ωt,x)} Ohmt\\Ohmtmes。我们现在可以进行设计Ohm坦德塞特Ohmt:=eOhmT∩ Ohmtmes。(42)回想一下,右边的积分是广义定义的。很明显OhmT∈ F和Pt(e)Ohmt) =1此外,回顾(31)、备注5.5(见(21))以及我们对所有x的定义∈ R、 ωt∈ OhmtUt(ωt,x)=(-∞)1(-∞,0)(x)+1[0,∞)(x) 一,Ohmtmes(ωt)1eOhmt(ωt)suph∈Ht+1x(ωt)ZOhmt+1Ut+1(ωt,ωt+1,x+hSt+1(ωt,ωt+1))qt+1(dωt+1 |ωt)=(-∞)1(-∞,0)(x)+1[0,∞)(x) 一,Ohmtmes(ωt)1eOhmt(ωt)suph∈Dt+1x(ωt)ZOhmt+1Ut+1(ωt,ωt+1,x+hSt+1(ωt,ωt+1))qt+1(dωt+1 |ωt)=1Ohmtmes(ωt)Ut(ωt,x)+(-∞)1.Ohmt\\Ohmtmes(ωt)1(-∞,0)(x)=1Ohmtmes(ωt)eUt(ωt,x)+(-∞)1.Ohmt\\Ohmtmes(ωt)1(-∞,0)(x)和英国《金融时报》 B(R)-UT的可测性立即出现,即(35)在t时为真。