|
引理5.10(L8)给出了(i)或(ii)y-+≥ -十、-. 我们显然必须有x++y+-≤ 0,x++y++≥ 0和x-+ Y-+≥ 如果(i)不成立,我们有fr omLemma 4.12≤ λ(|x)-+ Y--| - |x++y--|)+ (1 - λ) (|x)-+ Y-+| - |x++y-+|)+ (|x++y++|- |十、-+ y++=2(x++y++)- 2(1 - λ) (十)+- 十、-)持有。因此引理5.10(L8)给出了(ii)。现在我们取0≤ 十、-< x+。对于-十、-≤ Y--我们有x-+ y+-≥十、-+ Y--≥ 0和(ii)由引理5.10(L2)保持。为了你--≤ -十、-还有y+-≥ -x+我们有引理5.10(l6)的(ii),只要平面没有填充(i)。这是因为我们显然有x-+ Y-+≥ 0,x-+ Y--≤ 0和x++y+-≥ 0.此外,任何不满足(i)的计划必须满足引理4.12的要求≤ λ-(|x)-+ Y--| - |x++y--|)+ (1 - λ-)(|x)-+ Y-+| - |x++y-+|)+ (|x++y)+-| - |十、-+ y+-)= 2(x++y+-) - 2(1 - λ-)(十)+- 十、-)第二个条件f r om(L6),在最后一段中计算(这里λ+=λ)。如果我们换成y--< y+-≤ -我们有(i)和(x)的推论5.8(I2)-, Y--),(十)-, Y-+),(x+,y)+-).为了你--= y+-≤ -我们可以从艾玛5.10(L8)中推导出((i)或(ii)。最后一个子类是x-≤ 0≤ x+。如上所述,我们有(i)或(ii)项-+≥ -十、-还有y+-≥ -x+由引理5.10(L6)作为y-+ Y--≤ 0的填充量很小。为了你--< -x+和y-+≤ -十、-BTP f fill(i)尽快完成--= y+-还有y-+= y++由推论5.8(I4)和元素(x)组成-, Y--), (十)-, Y-+), (x+,y++)(或(x+,y++)+-)). 为了你--< y+-≤ -x+BTP全功能(i)由5.8(I2)和元素(x)的推论得出-, Y--), (十)-, Y-+), (x+,y)+-). 如果我们有--= y+-≤ -然后(i)或(ii)遵循f-r引理5.10(L8)asx+y+-≤ 0通过假设x++y保持不变++≥ 在这种情况下,0仅适用于t和y-+≥ -十、-因为我们已经证明了另一种可能性。与y有关的案例+-≤ Y--≤ Y-+≤ y++再次与此镜像,可以安全地省略。36 FLORIAN Stebegg我们需要讨论的最后一种类型是与y的BTP+-< Y--<y++<y-+.
|