An inclusion-exclusion identity for normal cones of polyhedral sets

From MaRDI portal
Publication:4604493

DOI10.1112/S0025579317000390zbMATH Open1390.52019arXiv1612.07915MaRDI QIDQ4604493FDOQ4604493


Authors: Daniel Hug, Zakhar Kabluchko Edit this on Wikidata


Publication date: 26 February 2018

Published in: Mathematika (Search for Journal in Brave)

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.


Full work available at URL: https://arxiv.org/abs/1612.07915




Recommendations




Cites Work


Cited In (6)





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)