使用(22),我们进一步注意到*{(p,t)∈ X:φ(p,t)=0}=Z(p,t)∈Xχ{0}(φ(p,t))φ(p,t)(uo0,0 U)(dp,dt)=0。因此,我们定义ψ(p,t)def=(lnφ(p,t),如果φ(p,t)>0-∞ 如果φ(p,t)=0定义,为了方便e-∞def=0;我们知道(23)Zt∈Teψ(p,t)up0,0(dt)=ξ(p)(B)=1。对于U-a.e.p∈ P.我们还注意到\'Hind(ν*) =Z(p,t)∈Xψ(p,t)ν*(dp,dt)-Zp∈PlogZt∈Teψ(p,t)up0,0(dt)U(dp)。修好一些o∈ P(T)。对于ψ∈ C(X;R),现在定义随机核Ξψ(p)(B)def=(Rt∈Bexp[ψ(p,t)]up0,0(dt)Rt∈Texp[ψ(p,t)]up0,0(dt)ifRt∈Texp[ψ(p,t)]up0,0(dt)>0uo(B) ifRt∈Texp[ψ(p,t)]up0,0(dt)=0B∈ B(T)现在让我们近似,记住Le mma 5.5,(22),以及x7的fact→ E-连续的[-∞, ∞). 然后我们有一个φψ∈ C(X;R)使得\'Hind(ν)*) -Z(p,t)∈X^ψ(p,t)ν*(dp,dt)-Zp∈PlogZt∈Te^ψ(p,t)up0,0(dt)U(dp)< η/3,并使测量值^νdef=Ξ^ψ 现在,让我们来定义一下∈X^ψ(p,t)νind,N(dp,dt)-Zp∈PlogZt∈Te^ψ(p,t)up0,0(dt)联合国(dp)。然后E[exp[NSN]=1,因此我们定义了^PN(A)def=E[χAexp[NSN]]A∈ F下一步是减少G。让B X是G的一个开子集,其中包含^νZ(p,t)∈X^ψ(p,t)ν(dp,dt)-Z(p,t)∈X^ψ(p,t)ν*(dp,dt)< η/2对于所有ν∈ B.ThusP{νind,N∈ G}≥ P{νind,N∈ B} =^ENχ{νind,N∈B} 经验值[-[NSN].多亏了引理5.5,MAPP7→Zt∈Te^ψ(p,t)up0,0(dt)在C(p;R)中。因此,我们可以找到一个N*∈ N这样Zp∈PlogZt∈Te^ψ(p,t)up0,0(dt)U(dp)-Zp∈PlogZt∈Te^ψ(p,t)up0,0(dt)联合国(dp)≤ η/2if N≥ N*. 把东西结合起来,我们就有了Z(p,t)∈X^ψ(p,t)νind,N(dp,dt)-Zp∈PlogZt∈Te^ψ(p,t)up0,0(dt)联合国(dp)-\'Hind(ν)*)< η如果νind,N∈ B和N≥ N*.假设N≥ N*. 然后{νind,N∈ G}≥ P{νind,N∈ B} =^ENχ{νind,N∈B} 经验[-[NSN]≥^PN{νind,N∈ B} 经验-N{Hind(ν)*) + η}.为了完成证明,让我们展示(25)limN→∞^PN{νind,N∈ B} >0。为此,让我们在P(X)上构造一个度量。