5，6 幾種重要凸集

超平面與半平面

\{x|a^Tx=b\},x,a\in\mathbb{R}^n,b\in\mathbb{R},a\not=0

超平面

兩邊為半平面

球和橢球

球B(x_c,r)=\{||x-x_c||_2\leq r \}=\{x|\sqrt{(x-x_c)^T(x-x_c)}\leq r \}
橢球\varepsilon(x_c,P)=\{x|(x-x_c)^TP^{-1}(x-x_c)\leq 1\},x_c\in \mathbb{R}^n,P\in S^n_{++}

多面體與單純形

多面體P=\{x|a_j^T x\leq b_j,j=1,\ldots,m,c_j^T x=d_j,j=1,\ldots,p \}
單純形(simplex)在\mathbb{R}^n空間中選擇v_0,\ldots,v_k共k+1個(gè)點(diǎn)
v_1-v_0,\ldots,v_k-v_0線性無(wú)關(guān)
則與上述點(diǎn)相關(guān)的單純形為：
C=Conv\{v_0,\ldots,v_k \}=\{\theta_0 v_0+\ldots +\theta_k v_k,\theta\geq 0 ,1^T\theta=1 \}

例：證明：Simplex是Polyhedron的一種
證：x\in C\in \mathbb{R}^n,C為Simplex\Leftarrow\Rightarrow x=\theta_0 v_0+\ldots+\theta_kv_k
1^T\theta =1,\theta\geq 0,v_1-v_0,\ldots,v_k-v_0線性無(wú)關(guān)
定義：[\theta_1,\ldots,\theta_k]^T=y,y\geq 0,1^Ty\leq 1
[v_1-v_0,\ldots,v_k-v_0]=B\in\mathbb{R}^{n\times k}
x\in C\Leftarrow\Rightarrow x=\theta_0v_0+\ldots\theta_k v_k=v_0+\theta_1(v_1-v_0)+\ldots+\theta_k(v_k-v_0)=v_0+By
rank(B)=k (k\leq n)
\exists非奇異矩陣 A= \left\{ \begin{array}{c} A_1 \\ A_2 \\ \end{array} \right\} \in \mathbb{R}^{n\times n}
AB=\left [ \begin{array}{c} A_1 \\ A_2 \\ \end{array} \right ]\ B=\left [ \begin{array}{c} I_k \\ 0 \\ \end{array} \right ]
\Leftarrow\Rightarrow Ax=Ax_0+ABy
\Leftarrow\Rightarrow \left [ \begin{array}{c} A_1 \\ A_2 \\ \end{array} \right ] \ x=\left [ \begin{array}{c} A_1 \\ A_2 \\ \end{array} \right ] \ V_0+\left [ \begin{array}{c} I_k \\ 0 \\ \end{array} \right ] \ y
\Leftarrow\Rightarrow \left\{ \begin{array}{c} A_1x=A_1V_0+y\\ A_2x=A_2V_0\\ \end{array}\right.

\Leftarrow\Rightarrow \left\{ \begin{array}{c} A_1x\geq A_1V_0\\ 1^TA_1x\leq 1+1^TAV_0\\ A_2x=A_2V _0 \end{array} \right.

?著作權(quán)歸作者所有,轉(zhuǎn)載或內(nèi)容合作請(qǐng)聯(lián)系作者
【社區(qū)內(nèi)容提示】社區(qū)部分內(nèi)容疑似由AI輔助生成，瀏覽時(shí)請(qǐng)結(jié)合常識(shí)與多方信息審慎甄別。
平臺(tái)聲明：文章內(nèi)容（如有圖片或視頻亦包括在內(nèi)）由作者上傳并發(fā)布，文章內(nèi)容僅代表作者本人觀點(diǎn)，簡(jiǎn)書(shū)系信息發(fā)布平臺(tái)，僅提供信息存儲(chǔ)服務(wù)。

相關(guān)閱讀更多精彩內(nèi)容

友情鏈接更多精彩內(nèi)容