凸集(convex set)
定义
一个集合C是凸集,当任意两点之间的线段仍在C内
数学方式表达
C为凸集:
∀
x
1
,
x
2
∈
C
\forall x_1,x_2 \in C
∀x1,x2∈C
∀
θ
∈
[
0
,
1
]
\forall \theta \in [0,1]
∀θ∈[0,1]
θ
x
−
1
+
(
1
−
θ
)
x
2
∈
C
\theta x-1 + (1- \theta )x_2 \in C
θx−1+(1−θ)x2∈C
扩展
C连接两点的直线仍在C内 ⇒ \Rightarrow ⇒线段也一定在C内 ⇒ \Rightarrow ⇒仿射集一定是凸集
凸组合
定义
θ 1 , . . . , θ k ∈ R , θ 1 + . . . + θ k = 1 , θ 1 , . . . , θ k ∈ [ 0 , 1 ] \theta _1,...,\theta _k \in R, \theta _1 + ...+\theta _k = 1,\theta _1,...,\theta _k \in [0,1] θ1,...,θk∈R,θ1+...+θk=1,θ1,...,θk∈[0,1]
x 1 , . . . , x k x_1,...,x_k x1,...,xk的凸组合: θ 1 x 1 + . . . + θ k x k \theta _1x_1 + ...+\theta _kx_k θ1x1+...+θkxk
扩展
C C C为凸集 ⇔ \Leftrightarrow ⇔ 任意元素凸组合 ∈ C \in C ∈C
凸包
C
∈
R
n
C \in R^n
C∈Rn
C
o
n
v
C
=
{
θ
1
x
1
+
.
.
.
+
θ
k
x
k
∣
∀
x
1
,
.
.
.
x
k
∈
C
∀
θ
1
,
.
.
.
,
θ
k
∈
[
0
,
1
]
θ
1
+
.
.
.
+
θ
k
=
1
}
Conv \ C = \left \{ \left.\begin{matrix} \theta _1 x_1 +...+\theta _kx_k\\ \\ \end{matrix}\right| \begin{matrix} \forall x_1,...x_k \in C\\ \forall \theta _1,...,\theta _k \in [0,1]\\ \theta _1+...+\theta _k = 1 \end{matrix} \right \}
Conv C=⎩⎨⎧θ1x1+...+θkxk∣∣∣∣∀x1,...xk∈C∀θ1,...,θk∈[0,1]θ1+...+θk=1⎭⎬⎫
(任意集合C,构造尽可能小的凸集)
锥 Cone
锥
C是锥 ∀ x ∈ C , θ ≥ 0 , 有 θ x ∈ C \forall x \in C , \theta \geq 0,有\theta x \in C ∀x∈C,θ≥0,有θx∈C
凸锥
C是凸锥 ∀ x 1 , x 2 ∈ C , θ 1 , θ 2 ≥ 0 , 有 θ 1 x 1 + θ 2 x 2 ∈ C ⇔ 锥 + 凸 集 \forall x_1,x_2 \in C , \theta _1,\theta _2 \geq 0,有\theta _1 x_1 + \theta _2 x_2 \in C \Leftrightarrow 锥+凸集 ∀x1,x2∈C,θ1,θ2≥0,有θ1x1+θ2x2∈C⇔锥+凸集
凸锥组合
定义
θ 1 x 1 + . . . + θ k x k , θ 1 , . . . , θ k ≥ 0 \theta _1x_1 + ...+\theta _kx_k,\ \ \ \theta _1,...,\theta _k \geq 0 θ1x1+...+θkxk, θ1,...,θk≥0
凸锥包
x
1
,
.
.
.
,
x
k
∈
C
x_1,...,x_k \in C
x1,...,xk∈C
C
o
n
v
C
=
{
θ
1
x
1
+
.
.
.
+
θ
k
x
k
∣
x
1
,
.
.
.
x
k
∈
C
θ
1
,
.
.
.
,
θ
k
≥
0
}
Conv \ C = \left \{ \left.\begin{matrix} \theta _1 x_1 +...+\theta _kx_k\\ \end{matrix}\right| \begin{matrix} x_1,...x_k \in C\\ \theta _1,...,\theta _k \geq 0 \end{matrix} \right \}
Conv C={θ1x1+...+θkxk∣∣x1,...xk∈Cθ1,...,θk≥0}
(包含这个集合的最小凸锥)