凸集性質(zhì)以及凸包
凸集:假設(shè)集合,如果對(duì)于和涯肩,有
成立轿钠,則稱集合為凸集(convex set),或稱是凸的。約定空集也是凸集病苗。
如上圖所示疗垛,我們可以看到,根據(jù)凸集的定義硫朦,上圖中左邊的兩個(gè)集合是凸集贷腕,右邊的兩個(gè)集合不是凸集。
我們可以這樣說,對(duì)于一個(gè)凸集中的兩個(gè)點(diǎn)花履,連接他們的線段也一定完全被包含在這個(gè)凸集中芽世。如果不是這樣的話,他就不是一個(gè)凸集诡壁。
例如,三維空間中的球體就是一個(gè)凸集荠割,但是球面就不是妹卿。
凸集的運(yùn)算性質(zhì):
- 若和都是凸集,則和都是凸集蔑鹦,后者表示兩個(gè)集合的直和夺克。
- 對(duì)于任意凸集和標(biāo)量,是凸集嚎朽。
- 凸集的閉包和都是凸集铺纽。
- 凸集在仿射變換下的像和原像都是凸集。
凸包:假設(shè),稱中的所有凸集的交集為的凸包(convex hull)哟忍,記作狡门。
換句話說,凸包是包含的最小凸集锅很。
凸組合:設(shè)其馏,稱為中個(gè)向量的凸組合(convex combination)。
有限個(gè)點(diǎn)的凸組合就是他們的凸包:
凸包表示定理:
設(shè)爆安,若叛复,則,其中且。也就是說可以表示成中有限個(gè)向量的凸組合扔仓。
仿射集
仿射組合設(shè),則稱為向量的仿射組合(affine combination)翘簇。
例:或者中兩個(gè)點(diǎn)的仿射組合為過該兩點(diǎn)的直線撬码。
中不共面的三個(gè)點(diǎn),對(duì)應(yīng)的仿射組合為它們所在的平面缘揪。
仿射集:設(shè)集合,若對(duì)于和,有
成立耍群,則稱集合為仿射集(affine set)。
仿射集舉例:
- 中的點(diǎn)找筝,線蹈垢,超平面。
- 齊次線性方程組的零空間袖裕。
思考:我們可以發(fā)現(xiàn)曹抬,一個(gè)線性空間一定是一個(gè)仿射集;而一個(gè)仿射集未必是一個(gè)線性空間急鳄,因?yàn)樗幢剡^原點(diǎn)谤民。但是我們可以把一個(gè)仿射集平移到原點(diǎn)堰酿,它就成為了一個(gè)線性空間。
換句話說张足,仿射集一定平行于某個(gè)子空間触创,于是就引出了我們下面的仿射集表示定理贞绳。
仿射集表示定理
假設(shè)為仿射集撑蒜,則有
其中,為中的子空間倒淫,也就是我們上面提到的碉咆,平行于子空間,而可以看到我們的選取也是不唯一的抖韩,這意味著,對(duì)于同一個(gè)仿射集疫铜,我們通過平移的方式茂浮,使它經(jīng)過原點(diǎn),這樣的平移方式也是不唯一的壳咕。
仿射包:假設(shè)集合席揽,稱中包含的所有仿射集的交集為的仿射包(affine hull),記作。換句話說囱井,仿射包是包含的最小仿射集驹尼。約定空集的仿射包為空集。
仿射包表示定理:設(shè)集合庞呕,則中任意向量均可以表示成中有限個(gè)向量的仿射組合新翎。
錐集合及其性質(zhì)
錐(cone):設(shè)集合,若對(duì)于和,有
成立住练,則稱集合為錐(cone)地啰。當(dāng)錐集合為凸集時(shí),稱其為凸錐讲逛。當(dāng)凸錐集合為閉集時(shí)亏吝,稱其為閉凸錐。
注意事項(xiàng):錐集合不一定包含原點(diǎn)盏混,但是它的閉包一定包含原點(diǎn)蔚鸥。
錐集合的運(yùn)算性質(zhì)
- 設(shè)為錐集合,則也是錐许赃;
- 設(shè)為錐止喷,則閉包也是錐;
- 錐集合的線性變換也是錐混聊。
生成錐:設(shè)集合弹谁,稱中元素的非負(fù)組合的全體為的生成錐(cone generated by C),記為
注意事項(xiàng)
- 生成錐是凸錐预愤,且一定包含原點(diǎn)沟于;
- 生成錐不一定是閉集;
- 有限時(shí)植康,一定是閉集旷太。
相對(duì)內(nèi)部
- 相對(duì)內(nèi)部點(diǎn):若且存在一個(gè)以為球心的開球滿足,那么稱是的相對(duì)內(nèi)部點(diǎn)(relative interior point)。
- 相對(duì)內(nèi)部: 中相對(duì)內(nèi)部點(diǎn)的全體稱為集合的相對(duì)內(nèi)部(relative interior)销睁。記為泳秀。
- \ 稱為的相對(duì)邊界(relative boundary)。
為了更好地區(qū)分相對(duì)內(nèi)部和內(nèi)部這兩個(gè)概念的區(qū)別榄攀。我們來看下面的例子:
有中的集合
它的仿射集,它的閉包是非空凸集,根據(jù)內(nèi)點(diǎn)的定義金句,可以發(fā)現(xiàn)這個(gè)集合沒有內(nèi)點(diǎn)檩赢,也就是說它的內(nèi)部是空集。
但是我們通過相對(duì)內(nèi)部的定義违寞,計(jì)算可以得到:
并不是空集贞瞒。如下圖所示:
相對(duì)內(nèi)部性質(zhì)
設(shè)集合是非空凸集:
- 線段原理:若,那么在連接和的線段上,除了以外的點(diǎn)都在上;
- 相對(duì)內(nèi)部非空:ri(C)是非空的趁曼,并且;
- 延伸引理:當(dāng)且僅當(dāng)對(duì)于任意的军浆,存在一個(gè)使得。