2
$\begingroup$

In the geometry of (convex) polyhedra used for linear optimization, one has the lemma:

Consider the inequality $Ax \leq b$ where $A^+ x \leq b^+$ (the non-implicit inequalities of $Ax \leq b$) doesn't have redundant equations.

Then $F$ is a facet of $P$ iff $F= \{x \in P \mid a_{i_0}^T x = \beta_{i_0} \}$ for an $i_0 \in I_+$.

(A surface, I am not sure if this is the right translation, can be written as $S=P \cap H$ for the polyhedron $P$ and a hyperplane $H = \{ x \mid c^T x =d \}$ with $c^T x \leq d$ redundant concerning $Ax \leq b$ and the intersection of $P$ and $H$ nonempty. A facet is maximal concering the set-inclusion of nontrivial surfaces of $P$).

This should imply that

Every non-trivial surface is the intersetion of facets.

How can I assert this?

  • 0
    @joriki yes it should be just $F$.2012-07-28

0 Answers 0