Convex Combinations

Convex Combinations

Convexity and Polyhedra Carlo Mannino (from Geir Dahl notes on convexity) University of Oslo, INF-MAT5360 - Autumn 2011 (Mathematical optimization) Convex Sets n Set C R is convex if (1- )x1 + x2 C whenever x1 , x2 C 0 ≤ ≤ 1 (the segment joining x1 , x2 is contained in C) x x2 1 non-convex x2 convex x1 • Show that the unit ball B = {x Rn : ||x|| ≤ 1} is convex. (Hint use the triangle inequality ||x+y|| ≤ ||x||+ ||y||) Half-spaces n T Example of convex sets: half-spaces H = {xR : a x ≤ a0} H x H aTx ≤ a (1- ) aTx ≤ (1- ) a 1 1 0 1 0 0 ≤ ≤ 1 T T x2 H a x2 ≤ a0 a x2 ≤ a0 T summing up x2 H a ((1- ) x1 + x2) ≤ a0 (1- ) x1 + x2 H Convex Cones The set of solutions to a linear system of equation is a polyhedron. n n H = {xℝ : Ax = b} H = {xℝ : Ax ≤ b , -Ax ≤ -b } n Convex Cone: C ⊆ℝ if 휆1 x1 + 휆2 x2 ∈ C whenever x1, x2 ∈ C and 휆1 , 휆2 ≥ 0. Each convex cone is a convex set. (show) m,n n Let A ∈ ℝ . Then C = {xℝ : Ax ≤ 0} is a convex cone (show). n 푡 Let x1,…,xt ∈ ℝ , and 휆1,…,휆 t ≥ 0. The vector x = 푗=1 휆푗xj is a nonnegative (or conical) combination of x1,…,xt n The set C(x1,…,xt) of all nonnegative combinations of x1,…,xt ∈ ℝ is a convex cone (show), called finitely generated cone. Linear Programming Property: C1 , C2 convex sets → C1 ∩ C2 convex (show!) Linear programming: x = (x1, …, xn) maximize c1x1 + … + cn xn Subject to 푎11x1 + … +푎 1푛 xn ≤ 푏1 ⋮ P 푎푚1x1 + +푎 푚 푛 xn ≤ 푏푚 x1 , …, xn ≥ 0 max {cTx: x ϵ P }, with P = {xRn: Ax ≤ b, x≥ 0} Find the optimum solution in P P intersection of a finite number of half-spaces: convex set (polyhedron) The set of optimal solutions to a linear program is a polyhedron (show!) Convex Combinations n 푡 Let x1,…,xt ∈ ℝ , and 휆1,…,휆 t ≥ 0, such that 푗=1 휆푗 = 1. The vector 푡 x = 푗=1 휆푗푥푗 is called convex combination of x1,…,xt 2 2 2 x3 푥 + 푥 + 푥 6 3 6 3 6 3 x5 2 1 x 푥 + 푥 4 3 1 3 2 x2 x1 1 2 푥 + 푥 3 1 3 2 Convex Combinations Theorem: a set C is convex if and only if it contains all convex combinations of its points. If C contains all convex combinations → it contains all convex combinations of any 2 points → C is convex Suppose C contains all convex combinations of t-1 points. True if t ≤ 3 (since C convex). n 푡 푡 Let x1,…,xt ∈ ℝ , and let x = 푗=1 휆푗xj where 휆1,…,휆 t > 0, 푗=1 휆푗 = 1 푡 푡 x = 휆1 x1 + 푗=2 휆푗xj = 휆1 x1 + (1- 휆1) 푗=2(휆푗/(1 − 휆1)) xj 푡 푡 푡 (휆 /(1 − 휆 )) x = y ∈ C 푗=1 휆푗 = 1 → 푗=2(휆푗/(1 − 휆1) = 1 푗=2 푗 1 j x = 휆1 x1 + (1- 휆1) y ∈ C Convex and Conical Hull There many convex sets containing a given set of points S. The smallest is the set conv(S) of all convex combinations of the points in S. conv(S) is called convex hull of S The set cone(S) of all nonnegative (conical) combinations of points in S is called conical hull Convex Hull Proposition 2.2.1 (Convex hull). Let S⊆• ℝn. Then conv(S) is equal to the intersection of all convex sets containing S. If S is finite, conv(S) is called polytope. Consider the following optimization problem: T max {c x: x ϵ P}, with P = conv(S), S = {x1,…,xt} Let x*: cTx* = max {cTx: x ϵ S } = v (x* optimum in S) 푡 푡 For any y ϵ P there exist 휆1,…,휆t ≥ 0, 푗=1 휆푗 = 1, such that y = 푗=1 휆푗xj T T 푡 푡 T 푡 T 푡 c y = c 푗=1 휆푗xj = 푗=1 휆푗c xj ≤ 푗=1 휆푗c x* = 푗=1 휆푗v = v x* optimum in P Affine independence n 푡 A set of vectors x1,…,xt ∈ ℝ , are affinely independent if 푗=1 휆푗푥푗 = 0 푡 and 푗=1 휆푗 = 0 imply 휆1=…=휆t = 0. n Proposition 2.3.1 (Affine independence). The vectors x1,…,xt ∈ ℝ are affinely independent if and only if the t-1 vectors x2-x1,…,xt-x1 are linearly independent. n n Only if. x1,…,xt ∈ ℝ affinely independent and assume 휆2,…,휆t ∈ ℝ with 푡 푡 푡 푗=2 휆푗(푥푗−푥1) = 0 -( 푗=2 휆푗)푥1 + 푗=2 휆푗푥푗 = 0 푡 푡 -( 푗=2 휆푗) + 푗=2 휆푗 = 0 and x1,…,xt affinely independent 휆2=…=휆t = 0 x2-x1,…,xt-x1 linearly independent. Affine independence n Proposition 2.3.1 (Affine independence). The vectors x1,…,xt ∈ ℝ are affinely independent if and only if the t-1 vectors x2-x1,…,xt-x1 are linearly independent. if. x2-x1,…,xt-x1 linearly independent. 푡 푡 푡 Assume 푗=1 휆푗푥푗 = 0 and 푗=1 휆푗 = 0. Then 휆1 = - 푗=2 휆푗 푡 푡 푡 푡 0 = 푗=1 휆푗푥푗 = −( 푗=2 휆푗)푥1 + 푗=2 휆푗푥푗 = 푗=2 휆푗(푥푗−푥1) As x2-x1,…,xt-x1 linearly independent 휆2=…=휆t = 0 푡 Also 휆1 = - 푗=2 휆푗 = 0 Corollary. There are at mots n+1 affinely independent vectors in ℝn. Dimension The dimension dim(S) of a set S ⊆• ℝn is the maximal number of affinely independent points of S minus 1. Ex. S = {x1 = (0,0), x2 = (0,1), x3 = (1,0)}. 0 1 dim(S) = 2 (x2 – x1 , x3 – x1 are linearly independent) 0 1 0 0 A simplex P ⊆• ℝn is the convex hull of a set S of affinely independent vectors in ℝn Caratheodory’s theorem Theorem. 2.5.1 (Caratheodory’s theorem) Let S ⊆• ℝn . Then each x ∈ conv(S) is the convex combination of m affinely independent points in S, with m ≤ n+1. x can be obtained as a convex combination of points in S Choose one with smallest number of points: 푡 푡 x = 푗=1 휆푗푥푗 with 휆1,…,휆t > 0, 푗=1 휆푗 = 1 and t smallest possible Then x1,…,xt are affinely independent (with t ≤ n+1). Suppose not. 푡 푡 There are 휇1,…,휇t not all 0 such that 푗=1 휇푗푥푗 = 0 and 푗=1 휇푗 = 0 Then there is at least one positive coefficient, say휇1 Caratheodory’s theorem 푡 푡 푗=1 휇푗푥푗 = 0 , 푗=1 휇푗 = 0 , 휇1 > 0 푡 푡 Combining x = 푗=1 휆푗푥푗 and α 푗=1 휇푗푥푗 = 0 for α ≥ 0 푡 x = 푗=1(휆푗− α휇푗)푥푗 Increase α from 0 to α0 until the first coefficient becomes 0, say the r-th. 휆푗 − α휇푗 ≥ 0 푗 = 1, … , 푡 and 휆푟 − α휇푟 = 0 푡 푡 푡 푡 푗=1(휆푗− α휇푗) = 푗=1 휆푗− 푗=1 α휇푗 = 푗=1 휆푗=1 Then 푥 is obtained as a convex combination of t-1 point in S, contrad. A similar result for conical hulls. Theorem. 2.5.2. (Caratheodory’s theorem for conical hulls). Let S ⊆• ℝn . Then each x ∈ cone(S) is the conical combination of m linearly independent points in S, with m ≤ n. Caratheodory’s theorem for cones Any point in conv(S) Rn can be generated by (at most) n+1 points of S. The generators of a point x are not necessarily unique. The generators of different points may be different. conv(S) S x x y Caratheodory’s theorem and LP Consider LP: max {cTx: x P}, with P = {x Rn : Ax = b, x ≥ 0} m,n m A R , m ≤ n. Let a1, …, an R be the columns of A 푛 Ax can be written as 푗=1 푥푗a푗 , x1, …, xn R+ P ≠ if and only if b cone({a1, …, an}) Caratheodory: b can be obtained conical combination of t ≤ m linearly independent aj’s. Equivalently: there exists a non-negative x Rn with at least n-t components being 0 and Ax = b … … and the non-zeros of x correspond to linearly independent columns of A (basic fesible solution) Fundamental result: if an LP is non-empty then it contains a basic feasible solution Supporting Hyperplanes A hyperplane is a set H ⊂ ℝn of the form H = {x ∈ ℝn : aTx = α} for some nonzero vector a and a real number α. Let H- = {x ∈ ℝn : aTx ≤ α} and H+ = {x ∈ ℝn : aTx ≥ α} be the two halfspaces identified by H. H is a convex set (H = H- ∩ H+). If S ⊂ ℝn is contained in one of the two halfspaces H- and H+, and S ∩ H is non-empty, then H is a supporting hyperplane of S. H supports S at x for x ∈ S ∩ H. If S is convex, then S ∩ H is called exposed face of S, which is convex (S and H are convex). S S Faces Let C be a convex set. A convex subset F of C is a face if x1,x2 ∈ C and (1-λ) x1 + λ x2 ∈ F for some 0 < λ < 1, then x1,x2∈F (if a relative interior point of the line segment between two points of C lies in F then the whole line segment lies in F) The sides and the vertices of the square are faces. The diagonal is not a face (show it!) A face F with dim(F) = 0 is called extreme point.

View Full Text

Details

  • File Type
    pdf
  • Upload Time
    -
  • Content Languages
    English
  • Upload User
    Anonymous/Not logged-in
  • File Pages
    27 Page
  • File Size
    -

Download

Channel Download Status
Express Download Enable

Copyright

We respect the copyrights and intellectual property rights of all users. All uploaded documents are either original works of the uploader or authorized works of the rightful owners.

  • Not to be reproduced or distributed without explicit permission.
  • Not used for commercial purposes outside of approved use cases.
  • Not used to infringe on the rights of the original creators.
  • If you believe any content infringes your copyright, please contact us immediately.

Support

For help with questions, suggestions, or problems, please contact us