|
此外,对于任何位置X,没有te∈ X我们有IA(X)6= 当且仅当X∈ bd A由于多面体。为了证明(a)意味着(b),假设条件(b)对x失效∈ bd A∩ bd(A+ker(π)),因此我们找到一个非零Z∈ 对于所有i,属于keri的keri(π)∈ IA(X)。特别是在r中,请注意,对于i,Дi(X+λZ)=Дi(X)+λИi(Z)=σA(Дi)∈ 每λ的IA(X)∈ (0, ∞). 因为i的φi(X)>σA(φi)/∈ IA(X),也很清楚的是,Βi(X+λZ)=Βi(X)+λΒi(Z)≥ σA(Дi)表示i/∈ λ的IA(X)∈ (0, ∞) 小enoug h。这意味着X+λZ∈ A FORλ∈ (0, ∞) 足够小。由于ρ(X)=0,我们得出结论| E(X)|>1。这就确定了(a)意味着(b)。相反,假设t(a)不成立,因此对于某些X,| E(X)|>1∈ bd A∩ bd(A+ker(π))由命题4.6得出。取两个不同的Z,Z∈ E(X)并设置Y=X+(Z+Z)。自(Z+Z)∈ 根据A的凸性,从命题3.2可以看出,Y属于bd A∩ bd(A+ker(π))。那么,对于everyi∈ IA(Y)我们有σA(νi)≤(Дi(X+Z)=Дi(Y)+Дi(Z- Z) =σA(Дi)+Дi(Z- Z) Дi(X+Z)=Дi(Y)+Дi(Z- Z) =σA(Дi)+Дi(Z- Z) 在第一个不等式中,我们将X+Zand和X+Zbelong都用到了A。这意味着Z- Z∈ ker(^1i)代表所有i∈ IA(Y)。自π(Z- Z) =ρ(X)- ρ(X)=0,我们得出结论,违反了条件(b)。因此,(b)意味着(a)。对于多面体接受集,上述唯一性条件采用以下简单形式。推论4.8。假设A是一个多面体圆锥体,由Д,^1m∈ X′+andker(π)∩ 对于所有i,ker(Дi)={0}∈ {1,…,m}。那么,| E(X)|=每X 1∈ 十、我们通过建立关于唯一性的另一个有用结果来结束本节,该结果表明,每当接受集沿ker(π)方向“严格凸”时,总是确保唯一性。提案4.9。
|