|
回想一下,一套 L∞当X和Y具有相同的分布时,如果X∈ 一个暗含着恐惧的人∈ 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)>-∞} 被称为障碍物圆锥体。备注4.3。设A是L的子集∞. 那么σa是超线性的,并且是半连续的。如果A是acone,那么B(A)={Z∈ LσA(Z)=0}。此外,根据[11]中的引理3.11,如果A是一个接受集,那么B(A) L+。剩余不变接受集的对偶表示我们首先建立了凸、剩余不变接受集的对偶特征,即σ(L∞, 五十) 关门了。显然,这种类型的特征化也提供了一种构建此类接受集的合法方法。定理4.4。L的子集A∞是σ(L)∞, 五十) -闭的,凸的,剩余不变的当且仅当ifA=\\Z∈B(A){X∈ L∞; E[XZ]≥ γ(Z)}(4.2)对于某些函数γ:L→ R∪ {-∞} 满足(F1)γ(Z)≤ 0代表所有Z∈ L+;(F2)γ(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(γ)。
|