极点
定义:设 为非空凸集 中向量,若对 中任意不同于 的 ,以及任意标量 ,使得 均不成立,则称 为集合 的极点或顶点 (extreme point)。
- 注意事项
- 极点不能由凸集中其他点的凸组合来表示。
- 开集中无极点。
- 凸锥至多有一个极点,即原点。
- 凸多面体极点个数是有限的,亦可能没有。
- 多面体上的凹函数至少会在某个极点处取到最小值。
定理 (凸集与其低维线性子集的极点)
设集合 为凸集, 属于超平面 对应的某个闭半空间,则 的极点必是 的极点且属于 ,反之亦成立。
定理 (极点存在的直线条件)
设集合 为非空闭凸集,则 含有至少一个极点当且仅当 不包含直线。定理 (多面体集极点定理)
设 中多面体集:
其中 , , ,则向量 是 的极点当且仅当集合:
含有 个线性无关的向量。
极锥
定义:设 为任意非空集合,其极锥 (polar cone) 定义如下:
- 极锥的性质
设 为非空集合,有
设 为非空锥集合,有
特别地,若 是闭凸集,则 。
多面体表示
定义:若多面体 可表示成如下形式:
其中 , 是某个正整数,则称 为多面体锥 (polyhedral cone)。意思是多面体锥可以表示成若干个闭半空间的交集。
有限生成锥
定义:若锥 可表示成如下形式:
其中 , 是某个正整数,则称 为有限生成锥 (finitely generated cone)。