v2009.01.01 - Convex Optimization

v2009.01.01 - Convex Optimization v2009.01.01 - Convex Optimization

convexoptimization.com
from convexoptimization.com More from this publisher
10.03.2015 Views

212 CHAPTER 3. GEOMETRY OF CONVEX FUNCTIONS {a T z 1 + b 1 | a∈ R} supa T pz i + b i i {a T z 2 + b 2 | a∈ R} {a T z 3 + b 3 | a∈ R} a {a T z 4 + b 4 | a∈ R} {a T z 5 + b 5 | a∈ R} Figure 64: Pointwise supremum of convex functions remains a convex function. Illustrated is a supremum of affine functions in variable a evaluated for a particular argument a p . Topmost affine function is supremum for each value of a .

3.1. CONVEX FUNCTION 213 q(x) f(x) quasiconvex convex x x Figure 65: Quasiconvex function q epigraph is not necessarily convex, but convex function f epigraph is convex in any dimension. Sublevel sets are necessarily convex for either. 3.1.6.0.4 Exercise. Level sets. Given a function f and constant κ , its level sets are defined L κ κf ∆ = {z | f(z)=κ} (492) Give two distinct examples of convex function, that are not affine, having convex level sets. 3.1.7 epigraph, sublevel set It is well established that a continuous real function is convex if and only if its epigraph makes a convex set. [173] [266] [311] [324] [215] Thereby, piecewise-continuous convex functions are admitted. Epigraph is the connection between convex sets and convex functions. Its generalization to a vector-valued function f(X) : R p×k →R M is straightforward: [255] epif ∆ = {(X , t)∈ R p×k × R M | X ∈ domf , f(X) ≼ t } (493) R M + id est, f convex ⇔ epi f convex (494)

3.1. CONVEX FUNCTION 213<br />

q(x)<br />

f(x)<br />

quasiconvex<br />

convex<br />

x<br />

x<br />

Figure 65: Quasiconvex function q epigraph is not necessarily convex, but<br />

convex function f epigraph is convex in any dimension. Sublevel sets are<br />

necessarily convex for either.<br />

3.1.6.0.4 Exercise. Level sets.<br />

Given a function f and constant κ , its level sets are defined<br />

L κ κf ∆ = {z | f(z)=κ} (492)<br />

Give two distinct examples of convex function, that are not affine, having<br />

convex level sets.<br />

<br />

3.1.7 epigraph, sublevel set<br />

It is well established that a continuous real function is convex if and<br />

only if its epigraph makes a convex set. [173] [266] [311] [324] [215]<br />

Thereby, piecewise-continuous convex functions are admitted. Epigraph is<br />

the connection between convex sets and convex functions. Its generalization<br />

to a vector-valued function f(X) : R p×k →R M is straightforward: [255]<br />

epif ∆ = {(X , t)∈ R p×k × R M | X ∈ domf , f(X) ≼<br />

t } (493)<br />

R M +<br />

id est,<br />

f convex ⇔ epi f convex (494)

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!