Article contents
AN INCLUSION–EXCLUSION IDENTITY FOR NORMAL CONES OF POLYHEDRAL SETS
Published online by Cambridge University Press: 05 February 2018
Abstract
For a non-empty polyhedral set $P\subset \mathbb{R}^{d}$, let
${\mathcal{F}}(P)$ denote the set of faces of
$P$, and let
$N(P,F)$ be the normal cone of
$P$ at the non-empty face
$F\in {\mathcal{F}}(P)$. We prove the identity
$$\begin{eqnarray}\mathop{\sum }_{F\in {\mathcal{F}}(P)}(-1)^{\operatorname{dim}F}\unicode[STIX]{x1D7D9}_{F-N(P,F)}=\left\{\begin{array}{@{}ll@{}}1\quad & \text{if }P\text{ is bounded},\\ 0\quad & \text{if }P\text{ is unbounded and line-free}.\end{array}\right.\end{eqnarray}$$
$0$ or for polyhedral cones. The case of a not necessarily line-free polyhedral set is also covered by our general theorem.
MSC classification
- Type
- Research Article
- Information
- Copyright
- Copyright © University College London 2018
References
- 2
- Cited by