Set 20160906
Set 20160906
1 Convex Set
Yipeng Liu
School of Electronic Engineering / Center for Robotics / Center for Information in Medicine
University of Electronic Science and Technology of China (UESTC)
October 9, 2016
1 / 27
Overview
1. definition
2. example
3. property
4. sets’ separating
5. generalized inequality
2 / 27
Basic topology
Let E be a normed vector space, that is a space with norm k•k. (e.g. RN , with
the Euclidean norm)
3 / 27
Basic topology
Let E be a normed vector space, that is a space with norm k•k. (e.g. RN , with
the Euclidean norm)
let Q ⊆ E
4 / 27
Affine set
x = θx1 + (1 − θ)x2 , θ ∈ R
5 / 27
Convex set
x = θx1 + (1 − θ)x2
with 0 6 θ 6 1.
convex set: contains line segment between any two points in the set
x1 , x2 ∈ C, 0 6 θ 6 1 ⇒ θx1 + (1 − θ)x2 ∈ C
6 / 27
Convex hull
x = θ1 x1 + θ2 x2 + · · · + θK xK
with θ1 + θ2 + · · · + θK = 1, θk > 0.
convex hull: conv S: set of all convex combinations of points in S
x1 , x2 ∈ C, 0 6 θ 6 1 ⇒ θx1 + (1 − θ)x2 ∈ C
7 / 27
Convex cone
K is a cone if x ∈ K, θ > 0 implies θx ∈ K
x = θ1 x1 + θ2 x2
i.e. set that contains all conic combinations of points in the set
8 / 27
Hyperplanes and halfspaces
9 / 27
Euclidean ball and Ellipsoids
(Euclidean) ball with center xc and radius r:
B(xc , r) = x kx − xc k2 6 r = xc + ru kuk2 6 1
with P ∈ Sn
++ (i.e., P symmetric positive definite)
other representation: kxc + Auk kuk2 6 1 with A square & nonsingular
10 / 27
Norm balls and norm cones
11 / 27
Polyhedra
Ax b, Cx = d
A ∈ RM ×N , C ∈ RP ×N , is componentwise inequality
12 / 27
Positive semidefinite cone
notation:
• SN N
+ = X ∈ S |X 0 : positive semidefinite N × N matrices
X ∈ SN T
+ ⇔ z Xz > 0 for all z
SN
+ is a convex cone
• SN N
++ = X ∈ S |X 0 : positive definite N × N matrices
" #
x y
example: ∈ S2+
y z
13 / 27
Operations that preserve convexity
1. apply definition
x1 , x2 ∈ C, 0 6 θ 6 1 ⇒ θx1 + (1 − θ)x2 ∈ C
2. show that C is obtained from simple convex sets (hyperplanes, halfspaces,
norm balls, ... ) by operations that preserve convexity
• intersection
• affine functions
• perspective function
• linear-fractional functions
14 / 27
Intersection
for M = 2:
15 / 27
Affine function
examples
16 / 27
Perspective and linear-fractional function
perspective function P : RN +1 → RN
images and inverse images of convex sets under perspective are convex.
linear-fractional function f : RN → RM
Ax + b n
T
o
f (x) = , dom f = x c x + d > 0
cT x + d
images and inverse images of convex sets under linear-fractional functions are
convex.
17 / 27
Perspective and linear-fractional function
18 / 27
Separating hyperplane theorem
if C and D are disjoint convex sets, then there exists a 6= 0, b such that
19 / 27
Supporting hyperplane theorem
supporting hyperplane to set C at boundary point x0 :
{x aT x = aT x0 }
examples
• nonnegative orthant K = RN N
+ = x ∈ R |xn > 0
21 / 27
Generalized inequalities
x K y ⇔ y − x ∈ K, x ≺K y ⇔ y − x ∈ int K
examples
• componentwise inequality (K = RN
+)
x RN y ⇔ xn 6 yn , n = 1, 2, · · · , N
+
• matrix inequality (K = SN
+)
x ≺K y, x K y ⇔ x + u K y + v
22 / 27
Dual cones and generalized inequalities
examples
∗
• K = RN N
+ : K = R+
∗
• K = SN N
+ : K = S+
: K∗ = (x, t) kxk2 6 t
• K = (x, t) kxk2 6 t
23 / 27
Minimum and minimal elements
y ∈ S ⇒ x K y
y ∈ S, y K x ⇒ y = x
example:
K = R2+
x1 is the minimum element of S1 .
x2 is the minimal element of S2 .
24 / 27
Minimum and minimal elements via dual inequalities
25 / 27
Minimum and minimal elements via dual inequalities
example (N = 2)
x1 , x2 , x3 are efficient;
x4 , x5 are not
26 / 27
Infimum and minimum
let f : K ∈ RN → R
the infimum of f on K is the largest t, such that f (x) > t for every x ∈ K.
example: inf x>0 1/x = 0
minimize cos(x) = −1
x∈R