这与K的紧致性一起意味着arg minκ∈千焦(-∞, 0,κ,F)为非空。Letκ成为Lat ter的一个元素。然后,第一个等式由ξ(F)得出≥ infκ∈千焦(-∞, 0,κ,F)- J(-∞, 0, κ, F)=0。如果K某些λ的ML∈ 五十、 和任何κ∈ K、 存在一些i(λ, κ) ,z(λ, κ) ∈ 也就是说i(z,λ,κ,F)>0。那么J的连续性(-∞, z、 κ,F)和J(z+∞, κ、 F)w.r.t.κ和K的紧性意味着,对于任何λ/∈ K、 z∈ A.κλ,z∈ Ksuch thatinfκ∈K(z,λ,κ,F)=(z,λ,κλ,z,F),从而ξ(F)≥ (λ,κλ,z)(z), λ, κλ,z, F)>0。(=>) 现在假设ξ(F)=0,并考虑任意变量λ。这意味着(19)成立,因此存在K的某些元素i(z,λ,κ,F)≤ 0,每z∈ Ai,i=1,2。如果ξ(F)>0,对于某些λ∈ 五十、 一些i=1,2,infκ∈Ksupz公司∈艾岛i(z,λ, κ、 F)>0。这意味着对于任何κ∈ K、 supz公司∈艾岛i(z,λ, κ、 F)>0,结果如下。命题2的证明。辅助引理1中的结果表明z、 λ,κ,√T(英尺- F)z、 λ,κ,√T(英尺- F)弱收敛于(z,λ,κ,GF)(z,λ,κ,GF)w、 r.t.到lsc实值函数相关空间乘积上的连续(w.r.t.(z,z,λ))epi收敛(w.r.t.κ)的乘积拓扑(关于epi收敛的对偶概念,参见例如Knight(1999))。这个乘积空间可以度量为完全的和可分离的(参见增益骑士(1999))。因此,Skor-okhod表示法适用(如上所述,参见Cortissoz(2007)中的定理1),因此适用于任何(z,z,λ)和任何序列(z1,T,z2,T,λT)→ (z,z,λ),存在一个增强概率空间和过程1,T(κ)2,T(κ)d=z1,T,λT,κ,√T(英尺- F)z2,T,λT,κ,√T(英尺- F),(κ)(κ)d=(z,λ,κ,GF)(z,λ,κ,GF),定义如下:1,T2,T→几乎可以肯定,w.r.t。