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