然后,再次使用(A.2)和gδ的定义,0<ν(I)2≤ν(Sδ)∩ 一) =ZSδ∩I-1ν(dx)≤ZSδ∩Iν(dx)“Z[0,1]gxdKνx- ρKux(gx)#≤ ν(Ic)+ZEν(dx)“Z[0,1]gδxdKνx- ρKux(gδx)#≤ ν(Ic)+supf∈B(E×[0,1])(ZE×[0,1]fd′ν-ZEν(dx)ρKux(f(x,·)))。(A.3)倒数第二个不等式来自Zicν(dx)Z[0,1]gδxdKνx这一事实- ρKux(gδx)≥ -ν(Ic),通过定义gδ。发送↓ (A.3)中的0表示(A.1)的右侧也存在缺陷。26 DANIEL LACKERCase 3。最后,假设ν(dx)α(Kνx | Kux)=∞ 但ν(I)=0,I定义为Ca se 2中的值。自α≥ 0,单调收敛定理意味着limδ↓0ZSΔν(dx)α(Kνx | Kux)=∞.修正M>0。求δ,使其为δν(dx)α(Kνx | Kux)≥ M然后,再次使用(A.2),ν(I)=0,以及gδ,M的定义≤ +ZSΔν(dx)“Z[0,1]gxdKνx- ρKux(gx)#=+ZEν(dx)“Z[0,1]gδxdKνx- ρKux(gδx)#≤ +supf∈B(E×[0,1])(ZE×[0,1]fd′ν-由于M>0是任意的,这表明右侧是有限的,验证(A.1)。一般F的证明。最后,我们去掉了F=[0,1]的假设,现在只假设它是波兰语。通过Borel-isomor-phis m(见[24,定理15.6]),我们可以找到一个可测的双射T:F→ [0,1]具有可测逆。注意,命题2.6产生α(Kνx | Kux)=α(Kνx)o T-1 | Kuxo T-1). 应用上述结果证明(A.1):ZEν(dx)α(Kνx | Kux)=ZEν(dx)α(Kνxo T-1 | Kuxo T-1) =supf∈B(E×[0,1])ZEν(dx)“Z[0,1]Kνxo T-1(dy)f(x,y)- ρKuxoT-1(f(x,·))#=supf∈B(E×[0,1])ZEν(dx)ZFKνx(dy)f(x,T(y))- ρKux(f(x,T(·)))≤ supf∈B(E×F)ZEν(dx)ZFKνx(dy)f(x,y)- ρKux(f(x,·)).承认错误。感谢Igor Cialenco、Andrew Papanicolaou,特别是Stefan Weberf的宝贵讨论和参考,以及Kavita Ramanan对早期草案的仔细反馈。
|