極點
定義:設 為非空凸集
中向量,若對
中任意不同于
的
贩疙,以及任意標量
讹弯,使得
均不成立,則稱
為集合
的極點或頂點 (extreme point)这溅。
極點示意圖
- 注意事項
- 極點不能由凸集中其他點的凸組合來表示组民。
- 開集中無極點。
- 凸錐至多有一個極點悲靴,即原點臭胜。
- 凸多面體極點個數(shù)是有限的,亦可能沒有对竣。
- 多面體上的凹函數(shù)至少會在某個極點處取到最小值庇楞。
定理 (凸集與其低維線性子集的極點)
設集合 為凸集,
屬于超平面
對應的某個閉半空間否纬,則
的極點必是
的極點且屬于
吕晌,反之亦成立。
圖例
定理 (極點存在的直線條件)
設集合為非空閉凸集临燃,則
含有至少一個極點當且僅當
不包含直線睛驳。
定理 (多面體集極點定理)
設中多面體集:
其中,
,
烙心,則向量
是
的極點當且僅當集合:
含有
個線性無關的向量。
極錐
定義:設 為任意非空集合乏沸,其極錐 (polar cone) 定義如下:
極錐
- 極錐的性質(zhì)
設
為非空集合淫茵,有
設
為非空錐集合,有
特別地蹬跃,若
是閉凸集匙瘪,則
。
多面體表示
定義:若多面體 可表示成如下形式:
其中 蝶缀,
是某個正整數(shù)丹喻,則稱
為多面體錐 (polyhedral cone)。意思是多面體錐可以表示成若干個閉半空間的交集翁都。
多面體錐
有限生成錐
定義:若錐 可表示成如下形式:
其中 碍论,
是某個正整數(shù),則稱
為有限生成錐 (finitely generated cone)柄慰。
有限生成錐