|
(3.14)然后,f或任何R∈ U(I),R*定义为i(3.10)比E长。因此,E=nlimn→∞Θn(R):R∈ U(I)o.(3.15)证明。修复R∈ U(I),考虑R*定义见(2.20)。回想命题3.1,Rn:=Θn(R),n∈ N∪ {0},在U(I)和R中形成一个非减量序列*=序号∈尼泊尔卢比。我们将用ρ和ρ表示*命中次数ρRnandρR*, 分别在(2.9)中定义。显示R*∈ E、 即Θ(R*) = R*, 我们首先注意到,必须证明SR* R*. 这是因为Θ(R*) = SR公司*∪ R*, 多亏了命题3.1的证明。为此,foy any x/∈ R*,我们的目标是证明x/∈ SR公司*. 作为R*=序号∈NRn,我们有x/∈ Rn=Θn(R),对于所有n∈ N、 从(2.12)和(2.13)来看,这意味着j(x,Rn-1) =J(x,Θn-1(R))≥ g(x),n∈ N、 (3.16)如果我们能证明j(x,R*) ≥ lim信息→∞J(x,Rn),(3.17)我们立即得到J(x,R*) ≥ g(x)来自(3.16),因此x/∈ SR公司*, 根据需要。本文的其余部分侧重于推导(3.17)。首先,让我们考虑p:=sup{y∈ R*: y<x}和q:=inf{y∈ R*: y>x},其中取p=l (分别为q=r)如果r.S中没有y<x(分别为y>x),则wede finepn:=sup{y∈ Rn:y<x}和qn:=inf{y∈ Rn:y>x},n∈ N、 作为R*=序号∈NRnand{Rn}n∈Nis不减损,我们有pn↑ p和qn↓ q、 对于n足够大时pn=p和qn=q的情况,ρn=ρonOhmx、 因此J(x,Rn)=J(x,R*), 尽管如此。也就是说,(3.17)很小。因此,在其余的证明中,我们假设pnis严格递增,或qnis严格递减。取η>0,然后选择n*∈ N s uch该max{| pn- p |,| qn- q |}<η,对于所有n≥ n*. 请注意,存在M>0这样的E-rρn | g(Bρn)|<M,n≥ n*, P-a.s.,适用于所有P∈ P(x)。(3.18)事实上,对于任何n≥ n*, 如果ρn=∞, e-rρng(Bρn)=0 P-a.s.,由于(3.14);适用于所有n≥ n*ρn<∞, 当Bρ取值时([p- η、 p]∪ [q,q+η])∩ 一、 g的连续性产生期望有界性。
|