凸优化学习-（四）仿射包、凸集、凸组合、凸包、凸锥、凸锥组合、凸包

凸优化学习

学习笔记

今天学习仿射包、凸集、凸组合、凸包、凸锥、凸锥组合、凸锥包的概念

一、仿射包

文字：

对于任意集合$C$，包含$C$的最小的仿射集称为$C$的仿射包。
数学：
a f f    c = { θ 1 x 1 + ⋯ + θ k x k ∣ ∀ x 1 , ⋯   , x k ∈ C    θ 1 + ⋯ + θ k = 1 } aff\ \ c=\lbrace \theta_1 x_1+ \cdots +\theta _kx_k \mid{\forall x_1,\cdots,x_k \in C \ \ \theta_1+\cdots+\theta_k=1\rbrace} aff  c={θ1​x1​+⋯+θk​xk​∣∀x1​,⋯,xk​∈C  θ1​+⋯+θk​=1}

二、凸集 Convex Set

定义一

文字：
一个集合是凸集，当属于该集合的任意两点之间的线段仍然在该集合内。
数学：

$$CisaConvexSet\iff \forall \theta x_1+(1-\theta )x_2\in C,x_1,x_2\in C\forall \theta \theta \in [0,1]$$

例

图一

图一为凸集，需要说明凸集的一个性质，凸集在几何上表现也是凸的。任意两点的连线都在六边形内。

图二

定义二

文字：
一个集合是凸集，当属于该集合的任意数量的点的凸组合仍然在该集合内。
数学
$$CisaConvexSet\iff {\theta }_1{x}_1+,\cdots ,+{\theta }_k{x}_k\in C,\forall x_1,\cdots ,x_k\in C\forall {\theta }_1,\cdots ,{\theta }_k{\theta }_1,\cdots ,{\theta }_k\in [0,1]{\theta }_1+,\cdots ,+{\theta }_k=1$$
类似仿射集的定义，定义一和定义二仍然是等价的。

三、凸组合

对于点$x_1,\cdots ,x_k$，${\theta }_1{x}_1+,\cdots ,+{\theta }_k{x}_k$称为它们的凸组合，其中$\forall {\theta }_1,\cdots ,{\theta }_k{\theta }_1,\cdots ,{\theta }_k\in [0,1]{\theta }_1+,\cdots ,+{\theta }_k=1$

四、凸包

文字：
对于任意集合$C$，包含$C$的最小的凸集称为$C$的凸包。
数学：
∀ C ∈ R n C o n v   C = { θ 1 x 1 + , ⋯   , + θ k x k ∣ ∀ x 1 , ⋯   , x k ∈ C    θ 1 + , ⋯   , + θ k = 1    θ 1 , ⋯   , θ k ∈ [ 0 , 1 ] } \forall C \in R^n \\Conv\ C=\lbrace \theta_1 x_1+,\cdots,+\theta_k x_k\mid\forall x_1,\cdots,x_k \in C\ \ \theta_1+,\cdots,+\theta_k=1\ \ \theta_1,\cdots,\theta_k\in[0,1]\rbrace ∀C∈RnConv C={θ1​x1​+,⋯,+θk​xk​∣∀x1​,⋯,xk​∈C  θ1​+,⋯,+θk​=1  θ1​,⋯,θk​∈[0,1]}

五、锥与凸锥 Cone and Convex Cone

锥：
$CisCone\iff \forall x\in C,\forall \theta \ge 0，有\theta x\in C$
凸锥：
$CisConvex\iff \forall x_1,x_2\in C,\forall {\theta }_1,{\theta }_2\ge 0，有{\theta }_1{x}_1+{\theta }_2{x}_2\in C$
例

图三

图三这三条射线构成的集合就是锥。

图四

图四阴影部分为凸锥

六、凸锥组合

对于点$x_1,\cdots ,x_k$，${\theta }_1{x}_1+,\cdots ,+{\theta }_k{x}_k$称为它们的凸锥组合，其中$\forall {\theta }_1,\cdots ,{\theta }_k{\theta }_1,\cdots ,{\theta }_k\ge 0$

七、凸锥包

文字：
对于任意集合$C$，包含$C$的最小的凸锥称为$C$的凸锥包。
数学：
∀ C ∈ R n C o n v   C o n e   C = { θ 1 x 1 + , ⋯   , + θ k x k ∣ θ 1 , ⋯   , θ k ≥ 0 } \forall C \in R^n \\Conv\ Cone\ C=\lbrace \theta_1 x_1+,\cdots,+\theta_k x_k\mid\theta_1,\cdots,\theta_k\ge0\rbrace ∀C∈RnConv Cone C={θ1​x1​+,⋯,+θk​xk​∣θ1​,⋯,θk​≥0}
例

图五

图五的凸包是该集合本身。

图六

图六两条射线之间的区域则为凸包。

个人思考

几个概念的比较
仿射集是凸集的特例，凸锥是凸集的特例。
凸组合是仿射组合的特例，仿射组合是凸锥组合的特例。
对于同一集合而言，它的 凸包$\subset$凸锥包$\subset$仿射包

纸质笔记