|
作为x∈ P(g)当且仅当存在θ∈ L(Rd,H)使x- θy≥ g(Y)- θY a.s.,我们通过对(2.8)成立的条件本质上限的定义(见命题2.5)得出结论。然后(2.9)来自命题2.9。引理2.4将生效。首先,它意味着δsuppHYisH B(Rd)-可测量和l.s.c.因为dom f=suppHY为非空(见备注2.3)f*(ω,·)是凸的,l.s.c.作为a ffne函数的上确界。因此x 7→ f*(ω, -x) 也是l.s.c.和凸面。此外,使用引理2.12,f*(ω,x)=supz∈suphy(ω)(xz+g(ω,z))是H B(Rd)-可测量。我们得到/12 a.s.p(g)=ess infH{f*(-θ) +θy,θ∈ L(Rd,H)}=-ess supH{θy- f*(θ), θ ∈ L(Rd,H)}=- supz公司∈Rd(zy- f*(z) )=-f**(y) 。第一个等式是(2.8)的直接结果,第二个等式微不足道。我们证明了第三个。首先,注意ess supH{θy- f*(θ), θ ∈ L(Rd,H)}与ess supH{θy}重合- f*(θ), θ ∈ L(Rd,H)∩ dom f*}. 此外,asf*是H B(Rd)-可测量,图dom f*= {(ω,x)∈ Ohm ×Rd,f*(ω,x)<∞} ∈ H B(Rd)和dom f*是H-可测的(见[28,定理14.8])。自(ω,z)7→ zy(ω)-f*(ω,z)是H B(Rd)-可测函数和f*(ω,·)是凸的和thusu。s、 c.在dom f上*(ω) ,我们可以应用推论2.10,得到a.s.ess supH{θy- f*(θ), θ ∈ L(Rd,H)∩ dom f*} = supz公司∈dom(f*)(zy- f*(z) )=supz∈Rd(zy- f*(z) )。现在我们介绍执行程序第5点所需的符号。让h:Rd→ R、 conv h是h的凸包络,即由h支配的最大凸函数:conv h(x)=sup{u(x),u凸和u≤ h} 。凹面包络对称定义,并用conc h表示。Wealso将h的(下)闭合h定义为最大l.s.c.函数,该函数由h主导,即h(x)=极限→xh(y)。上部闭合对称。
|