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.

274 <strong>Convex</strong> Polytopes<br />

The first condition makes sure that the points (xi1,...,xid) are vertices of a convex<br />

polytope, in the second condition it is tested whether G is the edge graph of this<br />

polytope <strong>and</strong> the third condition makes sure that it is proper.<br />

The theorem is now a consequence of (1) <strong>and</strong> (2). ⊓⊔<br />

Remark. Two convex polytopes are combinatorially equivalent if there is a bijection<br />

between the sets of vertices of these polytopes which maps (the sets of vertices of)<br />

faces onto (the sets of vertices of) faces in both directions. A convex polytope is 2neighbourly,<br />

if any two of its vertices are connected by an edge. A special case of<br />

2-neighbourly polytopes are cyclic polytopes in E d where d ≥ 4. Cyclic polytopes<br />

are the convex hulls of n ≥ d + 1 points on the moment curve<br />

{(t, t 2 ,...,t d ) : t ∈ R} (d ≥ 3).<br />

(Sometimes, convex polytopes are called cyclic, if they are combinatorially equivalent<br />

to cyclic polytopes as defined here.) There are 2-neighbourly polytopes which<br />

are not combinatorially equivalent to a cyclic polytope. See, e.g. Grünbaum [453],<br />

p. 124. A complete graph, that is a graph in which any two vertices are connected by<br />

an edge, thus can be realized as the edge graph of combinatorially different proper<br />

convex polytopes. It clearly can always be realized as the edge graph of a simplex.<br />

In spite of the above theorem, the problem to characterize, in a simple way, the<br />

graphs which can be realized as edge graphs of convex polytopes remains open.<br />

Edge Graphs of <strong>Convex</strong> Polytopes are d-Connected<br />

Recall that a graph is d-connected if the deletion of any d − 1 of its vertices <strong>and</strong><br />

of the edges incident with these vertices leaves it connected. We show the following<br />

theorem of Balinski [?].<br />

Theorem 15.8. Let P be a proper convex polytope in E d . Then the edge graph of P<br />

is d-connected.<br />

The following proof is taken from Grünbaum [453]. For references to other proofs,<br />

see Ziegler [1045].<br />

Proof (by induction on d). The theorem is trivial for d = 1, 2. Assume then that<br />

d > 2 <strong>and</strong> that it holds for 1, 2,...,d − 1.<br />

Let v1,...,vd−1 ∈ V = V(P). We have to show that the graph arising from the<br />

edge graph of P by deleting v1,...,vd−1 <strong>and</strong> the edges incident with these vertices,<br />

is still connected.<br />

Since P is the disjoint union of all relative interiors of its faces (including the<br />

1<br />

improper face P) , the point d−1 (v1 +···+vd−1) is in the relative interior of a face<br />

of P, sayF. We distinguish two cases.<br />

First, F �= P. Choose u ∈ Sd−1 <strong>and</strong> α ∈ R such that F ={x ∈ P : u · x = α}<br />

<strong>and</strong> P ⊆{x : u·x ≤ α}. Since 1<br />

d−1 (v1+···+···+vd−1) ∈ F <strong>and</strong> v1,...,vd−1 ∈ P,<br />

we see that v1,...,vd−1 ∈ F. Choose β

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

Saved successfully!

Ooh no, something went wrong!