|
这个反例表明,(3.3)不是一个尖锐集的一个原因是,它没有考虑到φ的单调性和可微性约束。现在让我们讨论如何将这个外部集合计算为区间乘积的有限并集。我们考虑了L=2的情形。在这种情况下,根据集合{θ的形状,集合可以采用以下四种形状∈ RL+|水貂=1,。。。,KPL`=1S(θ`,z`|wk)=e-u} 除了[0,c)×[0,c)-[0,\'\'θ]×[c,∞) ∪ [c,∞) ×[0,\'θ][c,∞) ×[0,\'θ][0,\'θ]×[c,∞)对于大约0≤θ,θ≤ c、 有关图形说明,请参见图1。让我们解释一下如何获得图1。取θ∈ R+在[0,c]之外,因为S(·∧c、 z | w)在[c]上,∞), θ属于外集当且仅当(θ+(c- θ) I(θ>ccR+×c,∞) ∪ [c,∞) ×R+cc[0,\'θ]×c,∞) ∪ [c,∞) ×[0,°θ]cc[c,∞) ×[0,\'θ]cc[0,\'θ]×[c,∞)图1。四种不同情况下的外部集合(蓝色)和集合{θ∈RL+|水貂=1,。。。,KPL`=1S(θ`,z`|wk)=e-u} (红色)。c) ,θ+(c)- θ) I(θ>c))在外部集合中。因此,我们需要检查θ的值→ [0,c)×{c}上的minKk=1Rk,u(θ)∪ {c} ×[0,c)来计算外部集合。让我们从[0,c)×{c}开始(·∧c、 z | w)是递减且连续的,[0,c)×{c}中minKk=1Rk,u(θ)的对集(θ,c)≥ 0形成线段[0,\'θ]×cwhere\'θ∈ [0,c]或空集。首先,我们考虑后一组是NuntType的情况。因为S(·)∧ c、 z | w)在[c]上,∞), [0,\'θ]×[c,∞) 属于外部设置。如果集合为空,[0,c)×c,∞) 不属于外部设置。然后,在{c}×[0,c)上应用相同的过程。
|