|
BROUWER(1881-1966)然后存在一个点x*∈ 例如g(X*, 十、*) ≥ G(x)*, y) 尽管如此∈ X.证据。我们将从“科罗尔·拉里是假的”这一观点中得出一个矛盾。的确,如果没有x*用声称的财产,然后每个∈ X位于setsO(y)={X的东边∈ X | G(X,X)<G(X,y)}(y)∈ 十) 。因为G是连续的,所以集合O(y)是开集。因此,由于X是紧凑型的,已经有很多覆盖了X的所有部分 O(y)∪ O(y)∪ . . . ∪ O(yh)。为了所有的x∈ 十、 确定参数dl(x) =max{0,G(x,y)l) - G(x,x)}(l = 1.h) 。x至少位于一个集合O(y)中l). 因此,我们有d(x)=d(x)+d(x)+dh(x)>0。现在考虑函数X 7→ ν(x)=jXl=1λl(x) yi(带λ)l= Dl(x) /d(x))。由于G i是连续的,所以函数x 7→ Dl(x) 是连续的。因此,ψ:X→ X是连续的。根据BROUWER定理A.2,φ有一个固定的po intx*= ~n(x)*) =hXl=1λl(十)*)Yl.因为G(x,y)在y和x上是凹的*是它们的精确线性组合l, 我们有g(x)*, 十、*) = G(x)*, ~n(x)*)) ≥hXl=1λl(十)*)G(x)*, Yl).如果推论是错的,那么就有λlG(x)*, Yl) ≥ λl(十)*)G(x)*, 十、*)对于每一个和,以及在至少一种情况下,甚至一个严格不等式λl(十)*)G(x)*, Yl) > λlG(x)*, 十、*),这会产生矛盾的陈述g(x*, 十、*) >hXl=1λl(十)*)G(x)*, 十、*) = G(x)*, 十、*).5.MONGE算法137推论必须是正确的。4.线性不等式本节所述事实也是众所周知的。对于坐标向量x∈ Rn,如果xj=0对所有组件xjof x.x都成立,我们写x=0≥ 0表示x的所有分量都是非负的。现在假设矩阵A中的th∈ Rm×nand向量c∈ Rnand b∈ Rmarigven并定义设置x={x∈ Rn|b-斧头≥ 0}Y={Y∈ Rm | y≥ 0,ATy=c}。然后线性规划的主要定理是:定理A.3。
|