|
回想一下,a集合a L∞当X和Y具有相同的分布时,如果X∈ A意味着Y∈ A.备注4.2。命题3.12同样适用于σ(L∞, 五十) -关闭验收集A L∞按以下形式:如果ρA,则S未达到该值-∞, 则ρA,Sis剩余不变当且仅当ifA是剩余不变的。子集a的(下)支持函数 L∞图σA:L→ R∪ {-∞} d由σA(Z)定义:=infX∈AE【XZ】。(4.1)集合B(A):={Z∈ LσA(Z)>-∞} 称为A的势垒锥。备注4.3。设A是L的子集∞. 那么σAis是超线性的,并且是半连续的。如果A是acone,那么B(A)={Z∈ LσA(Z)=0}。此外,根据[11]中的引理3.11,如果A是一个接受集,那么B(A) L+。剩余不变接受集的对偶表示我们首先建立了凸、剩余不变接受集的对偶特征,即σ(L∞, 五十) 已关闭。显然,这种类型的特征化也提供了构建此类接受集的明确方法。定理4.4。L的子集A∞是σ(L∞, 五十) -当且仅当ifA=\\ Z时,闭合、凸、剩余不变接受se t∈B(A){X∈ L∞; E【XZ】≥ γ(Z)}(4.2)对于某些函数γ:L→ R∪ {-∞} 满足(F1)γ(Z)≤ 0表示所有Z∈ L+;(F2)γ(Z)>-∞ 对于一些Z∈ L+;(F3)γ在下降。在(4.2)中,我们可以选择γ=σA。此外,对于任何满足(4.2)的γ,我们有γ(Z)≤ σA(Z)表示所有Z∈ L+。此外,σA(Z)=infX∈AE[-十、-Z] 对于每个Z∈ L+。(4.3)证明。首先,设A(γ)为(4.2)中的交点。作为σ(L)的交点∞, 五十) -由正σ(L)生成的闭合半空间∞, 五十) -连续线性泛函,A(γ)是σ(L∞, 五十) -闭合凸面验收集。特别地,A(γ)是L的一个非空的真子集∞通过(F1)和(F2)。为了证明a(γ)是剩余不变量,取X∈ A(γ)。
|