(凸集)表示定理

表示定理

S = \{x|Ax=b,x\ge 0\}为非空多面集,则有:
(1)极点集非空,且存在有限个极点x^{(1)},...,x^{(k)}
(2)极方向集合为空集的充要条件是S有界,若S无界,则存在有限个极方向d^{(1)},...,d^{(l)}
(3)x\in S的充要条件是:
*1:x = \sum_{j=1}^{k}\lambda_j x^{(j)} + \sum_{j=1}^{l}\mu_j d^{(j)}
*2: \sum_{j=1}{k}\lambda_j = 1
*3: \lambda_j \ge 0 , j = 1,...k
*4: \mu_j \ge 0 , j = 1,...l

证明略。

解释:

*1:
对一个有限多面体的表面,并不需要极方向(极方向只存在与无限情况!),显然任意一个表面上的点都在某个平面上,可由这个平面的端点(即有限个极点)表示。
对一个无限多面体表面,若一个点在一个无限大的面上,这个无限大的面也可由有限条线段(也可能是0条)和有限条射线(如果直线看成两条射线)围起来,而线段可以有线段的端点表示,因此任意点可由所在平面上的线段端点(极点)和射线(极方向)表示。

*2、3:
各个极点对应的系数非负且系数和为1。
一个简单的例子:x+y+z=1可表示一个三维空间的平面,范围是0\le x,y,z \le 1
那么可去三个极点(1,0,0),(0,1,0),(0,0,1),显然平面内的点都可以表示为三个极点坐标的线性表示,且系数非负、系数和为1。其中系数非负限制了点的范围,或者说平面的边界(即0\le x,y,z \le 1)。系数和为1限制了点在平面上(x+y+z=1),如果小于1则在平面下方,大于1在平面上方。对n维平面也是类似的道理。
更本质的证明:对于一条线段,显然线段内任意一点可表示成端点的组合,且有系数非负且和为1的性质;推广到二维平面,比如一个三角形ABC,任意一点D可与C连线并交线段AB与E。那么E可由AB表示,D可由CE表示,系数分别保持非负且和为1,再整理,可得D由A、B、C表示且系数非负且和为1.得证

*4:
极方向的系数非负。
对有限情况显然极方向系数为0。对无限平面,可分成有限部分和无限部分:将几个端点连起来围成的有限凸多边形为有限部分,其余为无限部分。那么任意一个无限部分的点可表示成有限部分的某点加上某长度的极方向,也就是极方向系数非负。

其他情况:

  1. 曲面的比如球体,球面上的点都是极点,也就是无穷个极点。但是也因为如此,曲面部分的任意点本身就是极点,可由自己表示,也符合(3);平面部分可使用表示定理。
  2. 要表示非空多面集内部的点,只需把*2去掉。
  3. 极方向可能有无限个吗?事实上,对于n维空间,n个方向就可以表示任意点;若需要无穷个方向,要到无穷维的情况了吧,在此不讨论无穷维情况。
©著作权归作者所有,转载或内容合作请联系作者
【社区内容提示】社区部分内容疑似由AI辅助生成,浏览时请结合常识与多方信息审慎甄别。
平台声明:文章内容(如有图片或视频亦包括在内)由作者上传并发布,文章内容仅代表作者本人观点,简书系信息发布平台,仅提供信息存储服务。

推荐阅读更多精彩内容

  • 多道尚知/整理 事实证明,在SAT考试中,数学是大部分中国学生的优势,这个优势应该保持住。 在实考中,数学如果能够...
    与无大老师同道前行阅读 4,960评论 1 1
  • 专业考题类型管理运行工作负责人一般作业考题内容选项A选项B选项C选项D选项E选项F正确答案 变电单选GYSZ本规程...
    小白兔去钓鱼阅读 13,022评论 0 13
  • 学校用的正方教务系统,参考了一些网上的例子,写了一个抓取学生信息和课表的爬虫。这里主要用到了requests发送请...
    海上牧云l阅读 7,098评论 1 3
  • 文\芦苇 走过九月 没有遇见一缕骄阳 淅淅沥沥的小雨 打湿了脸 凉却所有的梦 我看见 流逝的日子缠绕着胸腔 五彩斑...
    芦苇花开沐春风阅读 2,962评论 0 0
  • 转钟了,还是睡不着,不仅仅为了工作,还为了生活和爱情。把这张图放在开头,的的确确这张图给了我很大的触动!选择主持人...
    刘罡Liam阅读 1,252评论 0 0

友情链接更多精彩内容