An inclusion-exclusion identity for normal cones of polyhedral sets

From MaRDI portal
Publication:4604493




Abstract: For a nonempty polyhedral set PsubsetmathbbRd, let mathcalF(P) denote the set of faces of P, and let N(P,F) be the normal cone of P at the nonempty face FinmathcalF(P). We prove that the function sumFinmathcalF(P)(1)extdimF1FN(P,F) equals 1 if P is bounded, or 0 if P is unbounded and line-free. Previously, this formula was known to hold everywhere outside some exceptional set of Lebesgue measure 0 or for polyhedral cones. The case of a not necessarily line-free polyhedral set is also covered by our general theorem.









This page was built for publication: An inclusion-exclusion identity for normal cones of polyhedral sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4604493)