表示定理
设为非空多面集，则有：
（1）极点集非空，且存在有限个极点
（2）极方向集合为空集的充要条件是S有界，若S无界，则存在有限个极方向
（3）的充要条件是：
证明略。
解释：
*1：
对一个有限多面体的表面，并不需要极方向（极方向只存在与无限情况！），显然任意一个表面上的点都在某个平面上，可由这个平面的端点（即有限个极点）表示。
对一个无限多面体表面，若一个点在一个无限大的面上，这个无限大的面也可由有限条线段（也可能是0条）和有限条射线（如果直线看成两条射线）围起来，而线段可以有线段的端点表示，因此任意点可由所在平面上的线段端点（极点）和射线（极方向）表示。
*2、3：
各个极点对应的系数非负且系数和为1。
一个简单的例子：可表示一个三维空间的平面，范围是
那么可去三个极点，显然平面内的点都可以表示为三个极点坐标的线性表示，且系数非负、系数和为1。其中系数非负限制了点的范围，或者说平面的边界（即
）。系数和为1限制了点在平面上（
），如果小于1则在平面下方，大于1在平面上方。对n维平面也是类似的道理。
更本质的证明：对于一条线段，显然线段内任意一点可表示成端点的组合，且有系数非负且和为1的性质；推广到二维平面，比如一个三角形ABC，任意一点D可与C连线并交线段AB与E。那么E可由AB表示，D可由CE表示，系数分别保持非负且和为1，再整理，可得D由A、B、C表示且系数非负且和为1.得证
*4：
极方向的系数非负。
对有限情况显然极方向系数为0。对无限平面，可分成有限部分和无限部分：将几个端点连起来围成的有限凸多边形为有限部分，其余为无限部分。那么任意一个无限部分的点可表示成有限部分的某点加上某长度的极方向，也就是极方向系数非负。
其他情况：
- 曲面的比如球体，球面上的点都是极点，也就是无穷个极点。但是也因为如此，曲面部分的任意点本身就是极点，可由自己表示，也符合（3)；平面部分可使用表示定理。
- 要表示非空多面集内部的点，只需把*2去掉。
- 极方向可能有无限个吗？事实上，对于n维空间，n个方向就可以表示任意点；若需要无穷个方向，要到无穷维的情况了吧，在此不讨论无穷维情况。
网友评论