|
此外,我们用CLS表示关于拓扑σ(X′,X)的闭包算子。提案3.12。映射α,α+:X′→ [-∞, ∞] 满足以下特性(关于α+的陈述要求条(A)∩ E′++6=):(i) α和α+取区间内的值[-∞, 0].(ii)α和α+为凹形且正均一。(iii)α+≤ α在dom(α+)上相等。(iv)dom(α+) dom(α) cl(dom(α+) X′+。证据在整个证明过程中,我们确定了凸锥K 条(A)如备注3.10所示。所需的断言之后将取K=bar(A)和K=bar(A)∩ (E′)++∪ {0}).(i) 系统接受集的表示-1(A)在定理3.11的证明中建立,得到αK(Z)≤ σS-1(A)(Z)≤ 每Z为0∈ X′。(ii)为了显示αKis凹面,设置为所有Z∈ X′和W∈ E′Φ(Z,W):=infX∈X{σA(W)+E[hX,Zi]- E[S(X)W]}。作为在Z和W中明显联合凹的函数的参数X的上限,我们认为Φ本身是j点凹的。因为αK(Z)=supW∈KΦ(Z,W)每Z∈ X′,我们推断αKis是凹的。为了证明αK是正齐次的,首先注意0总是属于K,因此αK(0)≥ 与点(i)一起,这意味着αK(0)=0。最后,对于Z∈ X′和λ∈ (0, ∞) 我们有αK(λZ)=supW∈KnσA(W)+infX∈X{λE[hX,Zi]- E[S(X)W]}o=λsupW∈KσAλW+ infX公司∈十、E【hX,Zi】- ES(X)λW= λsupW∈KnσA(W)+infX∈X{E[hX,Zi]- E[S(X)W]}o=λαK(Z),其中我们使用K是一个圆锥体。这表明αKis是正齐次的。(iii)很明显α+≤ α. 要显示dom(α+)上的α+=α,请取Z∈ dom(α+),注意α(Z)=supW∈钢筋(A)Φ(Z,W),α+(Z)=supW∈巴(A)∩E′++Φ(Z,W)。取W*∈ 巴(A)∩ E′++,使得Φ(Z,W*) 是有限的。对于每个W∈ 棒(A)组Wλ=λW+(1- λ) W*对于λ∈ [0, 1).
|