Convex Sets
Convex Sets
Spring 2018
Convex Sets
3 Convexity-Preserving Operations
4 Separation Theorems
Convex Sets
A set S ⊆ Rn is convex if the line segment between any two points in S
lies in S. i.e. if x, y ∈ S and θ ∈ [0, 1], then θx + (1 − θ)y ∈ S.
Equivalent Definition
S is convex if every convex combination of points in S lies in S.
Convex Combination
Finite: y is a convex combination of x1P , . . . , xk if
y = θ1 x1 + . . . θk xk , where θi ≥ 0 and i θi = 1.
General: expectation of probability measure on S.
Convex sets, Affine sets, and Cones 0/20
Convex Sets
Convex Hull
The convex hull of S ⊆ Rn is the smallest convex set containing S.
Intersection of all convex sets containing S
The set of all convex combinations of points in S
Convex Hull
The convex hull of S ⊆ Rn is the smallest convex set containing S.
Intersection of all convex sets containing S
The set of all convex combinations of points in S
Affine Combination
yPis an affine combination of x1 , . . . , xk if y = θ1 x1 + . . . θk xk , and
i θi = 1.
Equivalent Definition II
S is affine if and only if it is a shifted subspace
i.e. S = x0 + V , where V is a linear subspace of Rn .
Equivalent Definition II
S is affine if and only if it is a shifted subspace
i.e. S = x0 + V , where V is a linear subspace of Rn .
Affine Hull
The affine hull of S ⊆ Rn is the smallest affine set containing S.
Intersection of all affine sets containing S
The set of all affine combinations of points in S
Affine Hull
The affine hull of S ⊆ Rn is the smallest affine set containing S.
Intersection of all affine sets containing S
The set of all affine combinations of points in S
Affine Hull
The affine hull of S ⊆ Rn is the smallest affine set containing S.
Intersection of all affine sets containing S
The set of all affine combinations of points in S
Affine Dimension
The affine dimension of a set is the dimension of its affine hull
Equivalent Definition
K is a convex cone if every conic combination of points in K lies in K.
Conic Combination
y is a conic combination of x1 , . . . , xk if y = θ1 x1 + . . . θk xk , where
θi ≥ 0.
Polyhedral Cone
A cone is polyhedral if it is the set of solutions to a finite set of
homogeneous linear inequalities Ax ≤ 0.
3 Convexity-Preserving Operations
4 Separation Theorems
Linear Subspace: Affine, Cone
Hyperplane: Affine, cone if includes 0
Halfspace: Cone if origin on boundary
Line: Affine, cone if includes 0
Ray: Cone if endpoint at 0
Line segment
3 Convexity-Preserving Operations
4 Separation Theorems
Intersection
The intersection of two convex sets is convex. This holds for the
intersection of an infinite number of sets.
Examples
Polyhedron: intersection of halfspaces
PSD cone: intersection of linear inequalities z T Az ≥ 0, for all
z ∈ Rn .
Examples
Polyhedron: intersection of halfspaces
PSD cone: intersection of linear inequalities z T Az ≥ 0, for all
z ∈ Rn .
In fact, we will see that every closed convex set is the intersection of a
(possibly infinite) set of halfspaces.
Convexity-Preserving Operations 14/20
Affine Maps
If f : Rn → Rm is an affine function (i.e. f (x) = Ax + b), then
f (S) is convex whenever S ⊆ Rn is convex
f −1 (T ) is convex whenever T ⊆ Rm is convex
Ax+b
Generalizes to linear fractional functions f (x) = cT x+d
Composition of perspective with affine.
3 Convexity-Preserving Operations
4 Separation Theorems
Separating Hyperplane Theorem
If A, B ⊆ Rn are disjoint convex sets, then there is a hyperplane
weakly separating them. That is, there is a ∈ Rn and b ∈ R such that
a| x ≤ b for every x ∈ A and a| y ≥ b for every y ∈ B.