- 令
為包含原點(diǎn)的兩個凸錐集合螺捐,證明:
- 注釋:
表示集合
的凸包
證明:可以通過雙包含關(guān)系來證明:
- 對于
,
其中
稍作變換
由于
和
是包含原點(diǎn)的兩個凸錐集合,所以
這樣就把寫成了
和
中元素凸組合的形式铅祸,所以
- 對于
猪贪,根據(jù)凸包的性質(zhì),
一定可以寫成
又因?yàn)?img class="math-inline" src="https://math.jianshu.com/math?formula=C_1" alt="C_1" mathimg="1">和
都是凸錐碉哑,所以
從而,
- 令
為非空凸集食拜,且
包含原點(diǎn)鸵熟,證明:
- 注釋:如果C是一個凸集,顯然有
根據(jù)注釋负甸,問題等價于 - 顯然
于是
- 接下來證明另一側(cè)的包含關(guān)系
對于,我們可以把
寫成
記
,
而
是
中元素的一個凸組合流强。
對于包含原點(diǎn)的凸集,
痹届,有
- 綜上可知命題成立。
- 令
為非空凸集打月,證明:
- 注釋:設(shè)集合
是非空凸集合队腐,則相對內(nèi)部定義
若且存在一個以
為球心的開球
滿足
,則稱
為
的相對內(nèi)部點(diǎn),
中相對內(nèi)部點(diǎn)的全體稱為相對內(nèi)部奏篙。
- 當(dāng)
,我們來證明
任取
因?yàn)?img class="math-inline" src="https://math.jianshu.com/math?formula=0%5Cin%20%5Coperatorname%7Bri%7D(C)" alt="0\in \operatorname{ri}(C)" mathimg="1">,和第二題有相似的結(jié)論柴淘,我們得到
.
另一面,任取,必有
,所以
- 反過來講秘通,我們假設(shè)
那么對于中所有元素的線性組合
,我們記
在
的情況下为严,
其中
所以
所以
- 令
為
中兩個非空凸子集且
為錐集合,若存在一個超平面將
與
正常分離肺稀,則存在經(jīng)過原點(diǎn)的超平面正常分離
與
第股。
假設(shè)存在超平面
,
滿足對任意
恒成立
我們在上面的式子中令
趨于
话原,(因?yàn)?img class="math-inline" src="https://math.jianshu.com/math?formula=C_2" alt="C_2" mathimg="1">是一個錐集合夕吻,所以這一點(diǎn)總是可以做到的),可以得到
。
我們知道繁仁,
是一個錐集合涉馅,因此
所以在上式中令
趨于正無窮黄虱,可以得到
進(jìn)而
這樣就找到了一個經(jīng)過原點(diǎn)的超平面分離了兩個凸集稚矿。
- 令
為凸函數(shù),若
悬钳,證明:
- 注意:該題目不可以構(gòu)造函數(shù)求導(dǎo)盐捷,因?yàn)轭}目中并沒有說明
的可微性偶翅。
- 因?yàn)?img class="math-block" src="https://math.jianshu.com/math?formula=x_2%20%3D%20%5Cfrac%7Bx_3-x_2%7D%7Bx_3-x_1%7Dx_1%20%2B%5Cfrac%7Bx_2-x_1%7D%7Bx_3-x_1%7Dx_3" alt="x_2 = \frac{x_3-x_2}{x_3-x_1}x_1 +\frac{x_2-x_1}{x_3-x_1}x_3" mathimg="1">根據(jù)凸函數(shù)的性質(zhì)
簡單運(yùn)算即可知道上面的式子和題目中是等價的默勾。
- 當(dāng)然這里只是我們的做法,實(shí)際中的思路是分析法:要證聚谁,只需證這樣的辦法得到的母剥。
- 令
為可微凸函數(shù),證明
在非空凸集
上為凸的當(dāng)且僅當(dāng):
必要性:如果
在
上為凸的形导,則
定義:假設(shè)
在非空凸集
上為凸的环疼,則對于任意
和
,有:
選擇點(diǎn):選擇
其中
朵耕,定義:
應(yīng)用泰勒展開:利用可微性炫隶,對
進(jìn)行一階泰勒展開:
計(jì)算
:
因此:
代入凸性條件:
由于的凸性,我們有:
結(jié)合不等式:
代入得到:
化簡后得到:
取極限:
當(dāng)時阎曹,
伪阶,我們得到:
交換
和
:
同理,對于可得:
結(jié)合這兩式,我們有:
充分性:如果
笨篷,則
在
上為凸的
假設(shè)
對于所有
洒扎。
考慮任意
和
,定義:
利用一階泰勒展開:對于
檐薯,進(jìn)行一階泰勒展開:
計(jì)算
:
所以:
結(jié)合不等式:
根據(jù)假設(shè):
所以有:
化簡:
得出結(jié)論:因此凝赛,
滿足:
這表明
在
上為凸的。
- 利用凸函數(shù)二階條件證明:
為凸函數(shù)坛缕。
注釋:凸函數(shù)的二階條件通常涉及到函數(shù)的二階導(dǎo)數(shù)(或 Hessian 矩陣)墓猎,用于判斷函數(shù)的凸性。以下是一些常見的二階條件:
一維情況
對于一個一維函數(shù)赚楚,如果
在某個區(qū)間內(nèi)二次可導(dǎo)陶衅,則
是凸的當(dāng)且僅當(dāng)
對于該區(qū)間內(nèi)的所有
成立。
多維情況
對于一個多維函數(shù)直晨,如果 ( f ) 是二次可導(dǎo)的搀军,則:
是凸的當(dāng)且僅當(dāng)其
矩陣
在該區(qū)間內(nèi)對所有
是半正定的(即對于任意的非零向量
,有
)勇皇。
為了證明函數(shù)
是凸函數(shù)罩句,我們將使用二階條件,即計(jì)算其 Hessian 矩陣并檢查其是否為半正定敛摘。
首先门烂,計(jì)算函數(shù)的梯度:
其中
,并且
因此兄淫,
計(jì)算二階導(dǎo)數(shù)(
矩陣)
我們現(xiàn)在計(jì)算 矩陣
屯远。
根據(jù)公式, 矩陣的元素為:
利用鏈?zhǔn)椒▌t捕虽,對 求導(dǎo):
使用商法則慨丐,得到:
- 在計(jì)算二階偏導(dǎo)數(shù)的時候,我們需要考慮
和
兩種情況:
當(dāng)
:
當(dāng)
:
最終
矩陣
可以寫成:
檢查 Hessian 矩陣的半正定性
對角元素
:
因?yàn)?
泄私,所以
房揭,因此
。
非對角元素
(當(dāng)
):
- 由于
矩陣的對角線元素都是正的晌端,且其非對角線元素是負(fù)的捅暴,結(jié)合我們對
矩陣的結(jié)構(gòu),可以證明
矩陣是半正定的咧纠,因此函數(shù)
是一個凸函數(shù)蓬痒。
- 令
為
中的非空錐集合,證明:
漆羔。
我們先解釋題目中用到的符號和背景梧奢,接下來用雙包含關(guān)系來證明集合的等價性
-
錐集合
:設(shè)
是一個非空的錐集合瞪讼,這意味著對于任意
和任意
,都有
粹断。
-
對偶錐
:對
的對偶錐
定義為
由此可以看到符欠,一些錐集合比如中的
平面,它作為一個錐瓶埋,但是它的對偶錐集合僅含有原點(diǎn)希柿。甚至有可能有的錐的對偶錐集合為空集。
-
仿射包
:集合
的仿射包是所有形式為
的點(diǎn)养筒,其中
曾撤。
-
正交補(bǔ)
:表示與
中的每個向量都正交的向量組成的集合。
方向一: 證明
假設(shè) 晕粪,則由定義挤悉,
意味著
我們需要證明 ,即對于任意
巫湘,有
- 任取
装悲,則
可以表示為
,其中
且
屬于
尚氛。
- 由于
诀诊,并且對于所有
,有
阅嘶,可以推導(dǎo)出對于所有
属瓣,
- 由于
且
,我們可以得出
- 由于
并且
讯柔,有
抡蛙。再考慮
中的任意點(diǎn),它實(shí)際上包含了所有的
魂迄,從而得出
粗截。
因此, 极祸,并且
慈格。
方向二: 證明
現(xiàn)在假設(shè) ,則由定義遥金,對于所有
,都有
我們需要證明 蒜田,即對于所有
稿械,有
- 任取
,由于
冲粤,意味著
與
中的所有向量都正交美莫。
- 注意到
页眯,所以對于任意
,有
厢呵。
因此窝撵, ,從而
襟铭。