P4 凸集/凸锥

Chapter 2 Convex Sets

凸集 Convex Set

一个集合$C$是凸集，当任意两点之间的线段仍在C内。

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

仿射集一定是凸集。

复杂化的定义：

凸组合

设$x_1...x_n\in C,{\theta }_1,...{\theta }_k\in R,{\theta }_1+...+{\theta }_k=1{\theta }_1,...{\theta }_k\in [0,1]$
凸组合为:${\theta }_1{x}_1+...+{\theta }_k{x}_k$

${\theta }_1{x}_1+...+{\theta }_k{x}_k\in C$

凸包

任意$C\in R^n$
C o n v C = { θ 1 x 1 + . . . + θ k x k ∣ ∀ x 1 . . . x n ∈ C , ∀ θ 1 , . . . θ k ∈ [ 0 , 1 ] , θ 1 + . . . + θ k = 1 } Conv C = \lbrace \theta_1x_1+...+\theta_kx_k | \forall x_1...x_n \in C,\quad \forall \theta_1,...\theta_k \in [0,1], \quad \theta_1+...+\theta_k=1 \rbrace ConvC={θ1​x1​+...+θk​xk​∣∀x1​...xn​∈C,∀θ1​,...θk​∈[0,1],θ1​+...+θk​=1}

锥 Cone

$C$是锥 $\iff$ $\forall x\in C\theta \ge 0$ 有 $\theta x\in C$

三条射线所组成的集合是锥。

凸锥 Convex Cone

$C$是凸锥 $\iff$ $\forall x_1,x_2\in C{\theta }_1,{\theta }_2\ge 0$ 有 ${\theta }_1{x}_1+{\theta }_2{x}_2\in C$

既是锥也是凸锥。
凸锥一定要过原点。

凸锥组合

${\theta }_1{x}_1+...+{\theta }_k{x}_k{\theta }_1...{\theta }_k\ge 0$

凸锥包

包含集合$C$最小的凸锥。
x 1 , . . x k ∈ C { θ 1 x 1 + . . . + θ k x k ∣ x 1 . . . x k ∈ C , θ 1 . . . θ k ≥ 0 } x_1,..x_k \in C\quad \lbrace \theta_1x_1+...+\theta_kx_k | x_1...x_k \in C, \theta_1 ...\theta_k \geq 0 \rbrace x1​,..xk​∈C{θ1​x1​+...+θk​xk​∣x1​...xk​∈C,θ1​...θk​≥0}

总结

仿射组合：$\forall {\theta }_1...{\theta }_k{\theta }_1+...+{\theta }_k=1$ $\text{公式1}$
凸组合        \;\;\; ：$\forall {\theta }_1...{\theta }_k{\theta }_1+...+{\theta }_k=1{\theta }_1...{\theta }_k\in [0,1]$ $\text{公式2}$
凸锥组合：$\forall {\theta }_1...{\theta }_k{\theta }_1+...+{\theta }_k\ge 0$ $\text{公式3}$

仿射是凸的，满足公式1一定满足公式2。仿射组合是凸组合的一个特例
凸锥是凸的，满足公式3一定满足公式2。

C = { x } C=\lbrace x \rbrace C={x} 只有一个点
${\theta }_{1}x+{\theta }_{2}x=x$
所以$C$是一个仿射集
同理$C$是一个凸集
如果$x$是一个原点，那么$C$是一个凸锥

$C=\varphi$ 空集
仿射集、凸集、凸锥都不存在
$C$是一个仿射集
$C$是一个凸集
$C$是一个凸锥