|
由此我们推导出,如果π:Kut+×l→l在第二个参数中是局部的,并且如果它满足(b),那么,它的条件右逆,比如R:Kut+×l→l在第二个参数中是局部的,并且满足(ii);“如果π:Kut+×l→l在第二个参数中是局部的,如果π:Kut+×l→l在第二个参数中是局部的,那么,π:Kut+×l→l在第二个参数中是局部的,那么,π:Kut+×l→l在第二个参数中是局部的;另外,R的条件右逆等于π。注意,通过对左连续版本的认识,{m>-∞}上的F(-∞)≤f-(m)≤s在其余的证明中,我们将表明,π的附加性质是充分的当且仅当R的相应附加性质是充分的,例如(a)-(b)(i)-(ii)、(a)-(b)、(c)(i)-(ii)、(iii)等。我们首先证明当π是联合局部时,R是联合局部的。取xutolutilities xutolities,s∈land A∈G。通过与命题A.9的局部性证明类似的论证,并通过π的联合局部性,我们推导出tatar(xutolities,s)=1ar(xutolities,1as)=1abasess supnm∈l:1basπ(xutolities,m)≤1basaso-1abcas∞=1abasessupnm∈l:1abasπ(xutolities,m)≤1basaso-1abcas∞=1abasessupnm∈l:1abasπ(xutolities,这表明了R的联合局部性。假定R是联合局部性的,同样地证明了π的联合局部性。对条件情形作相应的调整后,同样地证明了(c)-(e)和(iii)-(v)之间的等价性。的确,在条件(a)下,π(·,m)对每个m∈L是上连续且凹的事实等价于π(x*,s)∈Kut×L:π(x*,m)≥s对每个m∈L是闭凸的事实。利用(A.15),这等价于集合(X*,s)∈K=×L:m≥R_(X*,s)对于每个m∈L是闭凸的,这意味着R-是下半连续和拟凸的。此外,R-是联合拟凸当且仅当R是联合拟凸。类似地,我们可以证明π是正齐次的当且仅当R(λX*,s)=R(X*,s/λ)在λ∈L++之前。最后,我们将在假设(a)、(b)和(i)、(ii)分别被证明的情况下,证明(d)和(iv)之间的等价性。注意,条件(d)等价于下面的条件π(x*),对于某个m∈1,m)=∞,xututurikutu=yenπ(y*,m)=∞对于所有yututu∈K,其中,因此,等于π(x*,对于所有的s∈L,m)≥s,对于某些m∈L,xututurikutu=yenπ(y*,对于所有的s∈L,m)≥s,通过(A.15),后一个蕴涵对于所有的s∈L,对于某些m∈L,xut∈Kut=m≥r-(x*,s)对于所有的s∈L,以及对于所有的yut∈K,都等价于m≥r-(x*,∞)=ess s UPS∈LR(x*,s)。注意到r-(x*,∞)=ess s UPS∈LR(x*,s)对于某些m∈L,x*∈Kut='Am≥r-(x*,∞)=ess s UPS∈LR(x*,s)等价于m≥r-(x*,∞)=ess s UPS∈LR(x*,s),X*,s)=LR(x*,s)嗯。(A.22)考虑最后一个蕴涵m=r-(x*,∞),我们得到对于任意y*的r-(x*,∞)≥r-(y*,∞)。因此,将该等价性应用于m=r-(y*,∞),我们得出对于所有x*,y*,k=的r-(x*,∞)=r-(y*,∞)。(A.23)显然,如果(A.23)成立,那么蕴涵(A.22)也成立,因此(A.22)等价于(A.22)。因此,π满足(d)当且仅当R满足(iv)完成证明。A.4证明命题2.11在证明命题2.11之前,我们先给出条件特征函数的证明,然后给出包含条件特征函数的一些相关性质的命题A.12。设C是X的σ-稳定子集。对于X∈X我们定义A(X)=ess sup{B∈G:1bx∈1bc}。由χC(X)=-1Ac(X)∞=(0上A(X)-∞上Ac(X),X∈X,(A.24)给出的函数χC:X→l,称为C的条件特征函数。注意,条件特征函数是从X到L的映射。命题A.12。设C是σ-稳定集。然后,χCI是局部函数。此外,oC是非空的当且仅当χ顺为适当的;oC是单调的当且仅当χ顺为单调的;oC是凸的当且仅当χ顺为凹的;oC是锥的当且仅当χ顺为正齐次的;oC是闭的当且仅当χ顺为上半的。证明。
|