convex_sets_functions
convex_sets_functions
x = ✓x1 + (1 ✓)x2
with 0 ✓ 1
convex set: contains line segment between any two points in the set
x = ✓1 x1 + ✓2 x2 + · · · + ✓k xk
with ✓1 + · · · + ✓k = 1, ✓i 0
x = ✓1 x1 + ✓2 x2
with ✓1 0, ✓2 0
x1
x2
0
convex cone: set that contains all conic combinations of points in the set
x0
x
aT x = b
x0 aT x b
aT x b
{x | (x xc ) T P 1
(x xc) 1}
xc
(y, f (y))
(x, f (x))
• f is concave if f is convex
• f is strictly convex if dom f is convex and
convex:
• affine: ax + b on R, for any a, b 2 R
• exponential: eax, for any a 2 R
• powers: x↵ on R++, for ↵ 1 or ↵ 0
• powers of absolute value: |x|p on R, for p 1
• negative entropy: x log x on R++
concave:
• affine: ax + b on R, for any a, b 2 R
• powers: x↵ on R++, for 0 ↵ 1
• logarithm: log x on R++
f (y)
f (x) + rf (x)T (y x)
(x, f (x))
f is twice di↵erentiable if dom f is open and the Hessian r2f (x) 2 Sn,
2 @ 2f (x)
r f (x)ij = , i, j = 1, . . . , n,
@xi@xj
convex if P ⌫ 0
least-squares objective: f (x) = kAx bk22
f (x, y)
T 1
2 y y
r2f (x, y) = 3 ⌫0
y x x 0
2 2
1 0
convex for y > 0 y 0 2 x
f (E z) E f (z)
prob(z = x) = ✓, prob(z = y) = 1 ✓
examples
m
X
f (x) = log(bi aTi x), dom f = {x | aTi x < bi, i = 1, . . . , m}
i=1
examples
composition of g : Rn ! R and h : R ! R:
f (x) = h(g(x))
examples
• exp g(x) is convex if g is convex
• 1/g(x) is convex if g is concave and positive