仿射集和凸集
仿射集
经过 x 1 x_1 x1和 x 2 x_2 x2的直线表示为:
x = θ x 1 + ( 1 − θ ) x 2 , θ ∈ R . x=\theta x_1 + (1-\theta) x_2,~\theta \in \mathbf{R}. x=θx1+(1−θ)x2, θ∈R.
如果经过集合 C C C中任意两点的直线仍然在集合 C C C中,那么称集合 C C C是仿射的,即对于任意 x 1 x_1 x1, x 2 ∈ C x_2 \in C x2∈C, θ ∈ R \theta \in \mathbf{R} θ∈R,有 θ x 1 + ( 1 − θ ) x 2 ∈ C \theta x_1 + (1-\theta) x_2 \in C θx1+(1−θ)x2∈C。
线性方程组 A x = b Ax=b Ax=b的解集是一个仿射集;反之,每个仿射集都可以表示为线性方程组的解集。
凸集
x 1 x_1 x1和 x 2 x_2 x2之间的线段表示为:
x = θ x 1 + ( 1 − θ ) x 2 , 0 ≤ θ ≤ 1. x=\theta x_1 + (1-\theta) x_2,~0 \leq \theta \leq 1. x=θx1+(1−θ)x2, 0≤θ≤1.
如果集合 C C C中任意两点之间的线段仍然在集合 C C C中,那么称集合 C C C是凸的,即对于任意 x 1 x_1 x1, x 2 ∈ C x_2 \in C x2∈C, 0 ≤ θ ≤ 1 0 \leq \theta \leq 1 0≤θ≤1,有 θ x 1 + ( 1 − θ ) x 2 ∈ C \theta x_1 + (1-\theta) x_2 \in C θx1+(1−θ)x2∈C。仿射集是凸集的一个特例。
示例(一个凸集,一个非凸集):
凸锥
如果对于任意 x 1 x_1 x1, x 2 ∈ C x_2 \in C x2∈C, θ 1 ≥ 0 \theta_1\geq0 θ1≥0, θ 2 ≥ 0 \theta_2 \geq0 θ2≥0, 都有 θ x 1 + ( 1 − θ ) x 2 ∈ C \theta x_1 + (1-\theta) x_2 \in C θx1+(1−θ)x2∈C,我们将集合 C C C称为凸锥。
一些重要的凸集
一些简单的凸集:
- 空集 ∅ \empty ∅、任意点 { x 0 } \{x_0\} { x0}、全空间 R n \mathbf{R}^n Rn(仿射集);
- 任意直线(仿射集);
- 任意线段;
- 任意射线 { x 0 + θ v ∣ θ ≥ 0 } \{x_0+\theta v|\theta\geq0\} { </