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

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

14 Preliminaries <strong>and</strong> the Face Lattice 249<br />

If (i) or (ii) hold, then C is a closed convex cone with apex o. Hence Proposition 3.3<br />

shows that<br />

C = (C ∩ L ⊥ ) ⊕ L,<br />

where L is the linearity space of C <strong>and</strong> C ∩ L ⊥ is a pointed closed convex cone with<br />

apex o. We may assume that L ={x : x1 = ··· = xc = 0}, L ⊥ ={x : xc+1 =<br />

···= xd = 0}. Then it is easy to see that<br />

C is a convex<br />

An application of (1) then implies (2).<br />

�<br />

V<br />

�<br />

-cone ⇐⇒ C ∩ L<br />

H<br />

⊥ is a convex<br />

(3) Let P ⊆ E d . Then the following are equivalent:<br />

(i) P is a convex V-polyhedron.<br />

(ii) P is a convex H-polyhedron.<br />

�<br />

V<br />

�<br />

-cone.<br />

H<br />

Embed E d into E d+1 as usual <strong>and</strong> let u = (o, 1) ∈ E d+1 . Consider P + u ⊆ E d+1<br />

<strong>and</strong> let C be the smallest closed convex cone with apex o containing P + u.<br />

(i)⇒(ii) Let P = conv{x1,...,xm}+pos{y1,...,yn}. Then<br />

C = � (λ1x1 +···+λmxm,λ)+ µ1y1 +···+µn yn :<br />

λi ≥ 0, λ1 +···+λm = λ, µj ≥ 0 �<br />

is a convex V- <strong>and</strong> thus a convex H-cone by (2). Then<br />

P + u = C ∩ � (x, z) : z ≥ 1, −z ≥−1 �<br />

is a convex H-polyhedron. This, in turn, shows that P is a convex H-polyhedron.<br />

(ii)⇒(i) Let P ={x : Ax ≤ b}. Then<br />

C = � (x, z) : z ≥ 0, Ax − bz ≤ o �<br />

is an H-cone <strong>and</strong> thus a V-cone by (2), say<br />

C = pos � �<br />

(x1, 1), . . . , (xm, 1), y1,...,yn<br />

with suitable xi, yi ∈ E d . Then<br />

<strong>and</strong> thus<br />

P + u = C ∩ (E d + u)<br />

= � (λ1x1 +···+λmxm, 1) + µ1y1 +···+µn yn :<br />

λi ≥ 0, λ1 +···+λm = 1, µj ≥ 0 �<br />

P = � λ1x1 +···+λmxm + µ1y1 +···+µn yn :<br />

λi ≥ 0, λ1 +···+λm = 1, µj ≥ 0 � .<br />

The proof of (3) <strong>and</strong> thus of the theorem is complete. ⊓⊔

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

Saved successfully!

Ooh no, something went wrong!