海莱定理下面的定理怎么证明:在平面内有若干个(可以是无穷个)凸集,其中任意三个有一个公共点,则这所有的集至少有一个公共点.有限个的时候我早就证明了,我想知道的正是有无限个
来源:学生作业帮助网 编辑:作业帮 时间:2024/07/05 12:05:40
![海莱定理下面的定理怎么证明:在平面内有若干个(可以是无穷个)凸集,其中任意三个有一个公共点,则这所有的集至少有一个公共点.有限个的时候我早就证明了,我想知道的正是有无限个](/uploads/image/z/14891728-40-8.jpg?t=%E6%B5%B7%E8%8E%B1%E5%AE%9A%E7%90%86%E4%B8%8B%E9%9D%A2%E7%9A%84%E5%AE%9A%E7%90%86%E6%80%8E%E4%B9%88%E8%AF%81%E6%98%8E%EF%BC%9A%E5%9C%A8%E5%B9%B3%E9%9D%A2%E5%86%85%E6%9C%89%E8%8B%A5%E5%B9%B2%E4%B8%AA%EF%BC%88%E5%8F%AF%E4%BB%A5%E6%98%AF%E6%97%A0%E7%A9%B7%E4%B8%AA%EF%BC%89%E5%87%B8%E9%9B%86%2C%E5%85%B6%E4%B8%AD%E4%BB%BB%E6%84%8F%E4%B8%89%E4%B8%AA%E6%9C%89%E4%B8%80%E4%B8%AA%E5%85%AC%E5%85%B1%E7%82%B9%2C%E5%88%99%E8%BF%99%E6%89%80%E6%9C%89%E7%9A%84%E9%9B%86%E8%87%B3%E5%B0%91%E6%9C%89%E4%B8%80%E4%B8%AA%E5%85%AC%E5%85%B1%E7%82%B9.%E6%9C%89%E9%99%90%E4%B8%AA%E7%9A%84%E6%97%B6%E5%80%99%E6%88%91%E6%97%A9%E5%B0%B1%E8%AF%81%E6%98%8E%E4%BA%86%EF%BC%8C%E6%88%91%E6%83%B3%E7%9F%A5%E9%81%93%E7%9A%84%E6%AD%A3%E6%98%AF%E6%9C%89%E6%97%A0%E9%99%90%E4%B8%AA)
海莱定理下面的定理怎么证明:在平面内有若干个(可以是无穷个)凸集,其中任意三个有一个公共点,则这所有的集至少有一个公共点.有限个的时候我早就证明了,我想知道的正是有无限个
海莱定理
下面的定理怎么证明:
在平面内有若干个(可以是无穷个)凸集,其中任意三个有一个公共点,则这所有的集至少有一个公共点.
有限个的时候我早就证明了,我想知道的正是有无限个,甚至是不可列的情况!
海莱定理下面的定理怎么证明:在平面内有若干个(可以是无穷个)凸集,其中任意三个有一个公共点,则这所有的集至少有一个公共点.有限个的时候我早就证明了,我想知道的正是有无限个
我们只来证明当这组凸集的个数是有限多的时候的情况,当凸集的个数是无穷多的时候需要用到一些高等数学的知识.这个结论被称之为Helly定理,它是欧式组合几何中的最重要的结论之一.
为了证明这个结论,我们首先证明一个叫做Radon定理得结论:
如果平面上有n个点,其中n>3,那么一定可以把他们分成两组A,B并且A和B的凸包有交点.
这个结论的证明非常简单.首先任取4个点,x,y,z,w.如果这4个点的凸包就是这4点组成的四边形,那么,A={x,y},B为z,w以及其余点的集合,显然A的凸包和B的凸包有交点.如果x,y,z,w这4个点的凸包不是四边形,而是三角形或者直线或者一个点,那么一定有一点,比如x在y,z,w的凸包之中,取A={x},B为其余的点的集合,那么显然A的凸包和B的凸包也有交点.
现在我们可以证明Helly定理了.我们首先证明如果这些凸集的任何n-1个都有交点,那么这些凸集的任何n个都有交点.如果这个结论正确,那么归纳法可以证明整个结论.
令A1,A2,...,An为n个凸集.而 x1 为A2,A3,...,An 的交点,但是可能不在A1中;同样x2为A1,A3,...,An的交点,但可能不在A2中,等等,
最后xn 为A1,A2,...,An-1的交点.
现在考虑集合 {x1,x2,...,xn}
根据Radon定理,我们可以把这个集合分成两个子集,他们的凸包有交点,这样,这个交点就在所有的凸集A1,A2,...,An的交集中
则取其中的三个凸集A,B,C,由于凸集的交集还是凸集,记为M1。
第四个凸集与M必交点,因为公共点必定属于A,B,C。所以第四个集合与M1必有交集,记为M2……如此下去……从一个凸集中除去有限或有限可列个凸集,至少还是有一个公共点。
愚见,我的实变函数没学好,唉。...
全部展开
则取其中的三个凸集A,B,C,由于凸集的交集还是凸集,记为M1。
第四个凸集与M必交点,因为公共点必定属于A,B,C。所以第四个集合与M1必有交集,记为M2……如此下去……从一个凸集中除去有限或有限可列个凸集,至少还是有一个公共点。
愚见,我的实变函数没学好,唉。
收起