4
$\begingroup$

I am used to the following definition of a (proper) face of a polytope:

A nonempty convex subset $F$ of a polytope $C$ is called a face of $C$ if $\alpha x + (1-\alpha) y \in F$ with $x, y \in C$ and $0 < \alpha < 1$ imply $x, y \in F$. $F$ is a proper face of $C$ if $F$ is a face of $C$ and $F \neq C$.

I often read the following definition of a proper face:

A nonempty subset $F$ of a polytope C is a proper face of $C$ if there is closed half-space $H$ containing $C$ such that $F = C \cap \partial H$, where $\partial H$ is the affine hyperplane defined by the boundary of $H$.

How can I show that these two definitions are equivalent?

  • 0
    One direction should be clear: If $F = C \cap \partial H$ for some half-space $H = \{f \leq t\} \supset C$, where $f$ is a linear form, then $F$ is a face of $C$. Suppose that $x \in F$ is of the form $(1-\alpha)p + \alpha q$ with $0 \lt \alpha \lt 1$ and $p,q \in C$ then $H \supset C$ gives $f(p) \leq t$ and $f(q) \leq t$ while we know $t = f(x) = (1-\alpha) f(p) + \alpha f(q)$, so we must have $f(p)=t=f(q)$, hence $p,q \in F$.2011-11-18

3 Answers 3