14.02.2013 Views

Gruber P. Convex and Discrete Geometry

Gruber P. Convex and Discrete Geometry

Gruber P. Convex and Discrete Geometry

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

338 <strong>Convex</strong> Polytopes<br />

Existence of Solutions<br />

Since each convex polyhedron P �= ∅can be represented in the form<br />

� λ1 p1 +···+λm pm : λi ≥ 0, λ1 +···+λm = 1 � + � µ1q1 +···+µnqn : µ j ≥ 0 � ,<br />

the following result is easy to see:<br />

Proposition 20.2. Assume that the linear optimization problem sup{cx : Ax ≤ b}<br />

has non-empty feasible set P ={x : Ax ≤ b}. Then the supremum is either +∞,<br />

or it is finite <strong>and</strong> attained. An analogous result holds for the problem inf{yb : y ≥<br />

o, yA = c}.<br />

The Duality Theorem<br />

of von Neumann [768] <strong>and</strong> Gale, Kuhn <strong>and</strong> Tucker [353] is as follows.<br />

Theorem 20.1. Let A be a real m × d matrix, b ∈ E m , c ∈ E d . If at least one of the<br />

extreme sup{cx : Ax ≤ b} <strong>and</strong> inf{yb : y ≥ o, yA = c} is attained, then so is the<br />

other <strong>and</strong><br />

(1) max{cx : Ax ≤ b} =min{yb : y ≥ o, yA = c}.<br />

Proof. We first show the following inequality, where P = {x : Ax ≤ b} <strong>and</strong><br />

Q ={y : y ≥ o, yA = c}:<br />

(2) If P, Q �= ∅, then sup{cx : Ax ≤ b} <strong>and</strong> inf{yb : y ≥ o, yA = c} both are<br />

attained <strong>and</strong><br />

max{cx : Ax ≤ b} ≤min{yb : y ≥ o, yA = c}.<br />

Let x ∈ P, y ∈ Q. Then cx = yAx ≤ yb. Hence sup{cx : Ax ≤ b} ≤inf{yb : y ≥<br />

o, yA ≤ c} <strong>and</strong> both are attained by Proposition 20.2, concluding the proof of (2).<br />

Assume now that P �= ∅<strong>and</strong> that δ = sup{cx : Ax ≤ b} is attained at p ∈ P =<br />

{x : Ax ≤ b}, say. Then p is a boundary point of P <strong>and</strong> the hyperplane through p<br />

with normal vector c supports P at p. Clearly, c is an exterior normal vector of this<br />

support hyperplane. Let a1x ≤ β1,...,akx ≤ βk be the inequalities among the m<br />

inequalities Ax ≤ b, which are satisfied by p with the equality sign. We may assume<br />

that a1,...,ak are the first k row vectors of A <strong>and</strong> β1,...,βk the first k entries of b.<br />

Proposition 20.1 then implies that<br />

Thus,<br />

(3) c = λ1a1 +···+λkak with suitable λi ≥ 0.<br />

<strong>and</strong> therefore<br />

δ = cp = λ1a1 p +···+λkak p = λ1β1 +···+λkβk<br />

max{cx : Ax ≤ b} =δ = cp = λ1β1 +···+λkβk<br />

= (λ1,...,λk, 0,...,0)b ≥ inf{yb : y ≥ o, yA = c},

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

Saved successfully!

Ooh no, something went wrong!