[CVX01] Convex Set
這是XJTU秋下學期《凸分析與最佳化》課程的筆記,共32課時。概念比較多,複雜且易混淆,我放棄嘗試英文記錄。(因為我發現數學嚴格定義的語序上英文總是與中文相反。。。。。)
內容除了老師使用的的中文slides外,部分不嚴格的定義參考了斯坦福CVX的slides; 同時老師對一些定理做了推導證明;
Convex Set
definition:
令集合
,對於
和
如果有
,則稱
為凸集。約定空集是凸集。
example:
超平面
球
正定矩陣、半正定矩陣、對稱矩陣
保持凸性的運算:
(
和
均為凸集)
和
(向量和)
任意scalar
,
是凸集
閉包
和內部
都是凸集
仿射變換下的像和原像
泛函概念補充(此課程預設prerequisite是泛函分析?)
內點: 對於度量空間
,
, 如果
,
, 若
,
為
的內點;(一般的度量空間需要滿足一些性質,比一般的向量空間更加寬泛,嚴格定義參看泛函中的定義)
內部:
中所有的內點集合為內部,記做
開集:如果
,
是開集
如果
差集為開集,則
是閉集
聚點(還有別的翻譯): 如果
,
則
是
的聚點;
閉包:所有聚合點與內點的並集即為
的閉包;那麼閉集就等價於閉包;
Convex Combination and Convex Hull
definition:
集合
, 則稱
中所有包含
的凸集的交集為
的
凸包
;記做
,稱
為
中
個向量的凸組合;
可以用凸組合來定義凸包:
中任意向量均可表示
中有限個向量的凸組合,既對任意
有:
properties
of Convec Hull:
是凸集,
, 則
則
Affine Set \ Combination \ Hull
definition:
, 稱
為
仿射組合
;(與凸組合的區別在於去掉了[0, 1]的限制)
對於
和
, 如果有
成立,則稱
為
仿射集
。
中所有包含
的仿射集的交集稱為
的
仿射包
,記做
Theorem:
中任意向量均可以表示為$C$ 中有限個向量的仿射組合。
example:
仿射集
實數空間
中的點線、超平面
矩陣的零空間
properties
of affine hull
對任何集合
。 必然存在
proof
(作業,自己的證明,待嚴格驗證)
(1)證明
a。 如果
是凸集,則,
兩個集合的仿射包自然相等;
b。 如果
不為凸集,
有
即是
中向量正組合,
反過來一樣,
可以證明;
(2)證明
a。 若
是閉集,則
,相應仿射包也相同
b。 若
是開集,
,則
則一定能找到
, 使得
,
仍可以表示為
中向量的正組合, 兩個仿射包相同;
Cone 錐
definition
,
,
, if
, 則
為一個
錐
,若
為凸集,
是凸錐;
錐不一定是凸集;(如兩個交叉直線)
如果
是錐,一定有
中所有元素的
非負組合
的全體成為
的
生成錐
,記做
生成錐為凸錐且一定包含原點;
不一定為閉集
有限,其生成錐一定是閉集
properties
of 錐集
也是錐
笛卡爾積也是錐;
向量和也是錐;
也是錐
線性變換
也是錐
properties
of
若
Caratheodory定理
設
非空,則
中每一個向量均可以表示為
中
個線性獨立向量的正組合;
中每一個不屬於
的向量均可以表示為
中
個向量的凸組合,且
;
乍一看這個定理貌似與凸包的定義相似,貌似是很顯然的事情;區別在於
的證明上,因為從凸包的定義出發只能證明凸包中的向量可以由其他有限個向量的凸組合。而上述定理說明了不屬於
的向量最多用
個向量表示出來;
Proof:
令
,
則定義
,
,
令
, 由凸包定義,
那麼
則,依據定理第一條(證明略):
, 且
Fig1
顯示了第二條定理:
Fig1 凸包中不在原凸集中的點一定能由凸集中至多n+1個向量凸組合表示
相對內部
相對內部的概念對之後凸分析有幫助,這裡先給出定於與相關性質
definition:
令集合
是非空凸集,若
,
是開球,若滿足
,則稱
是
的
相對內部點
全體相對內部點稱作$C$的相對內部,記做
; 約定單點集的相對內部是他本身。
若
, 則稱集合$C$是相對開的。
稱作
的相對邊界
example
中的集合
仿射包與相對內部分別為:
其內部是空集,閉包是非空凸集;可以看出三維空間中平面上的內部的定義就失效了,因為內點是相對
定義的,而相對內點是針對仿射包定義的;
Theorem:線段原理、延伸引理
令集合
為非空凸集,
若
,
, 則連線
與
的線段上,除
外,所有點均屬於
;
iif, 對於任意
存在
使得
properties
設集合
是非空凸集,則
是非空凸集;
設
是另一個非空凸集,則下面三個條件是等價的
Reference
老師的課件
Stanford CVPX ~Boyd 第一講的slides
泛函的內部定義
Carathéodory‘s theorem (convex hull))
課上老師的證明還有很多,部分沒跟上,下次課儘量全部記錄下來; 下一講是凸函式。