# A note on surjectivity of piecewise affine mappings

arXiv: https://arxiv.org/abs/1707.08786 · HTML: https://mlsanity.com/paper/1707.08786/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 27 Jul 2017.

## Built on by (most cited first, 1 of 1)

- [Reachable Polyhedral Marching (RPM): An Exact Analysis Tool for Deep-Learned Control Systems](https://mlsanity.com/paper/2210.08339/) (2022)

## Abstract (arXiv)

A standard theorem in nonsmooth analysis states that a piecewise affine function F:mathbb Rnrightarrowmathbb Rn is surjective if it is coherently oriented in that the linear parts of its selection functions all have the same nonzero determinant sign. In this note we prove that surjectivity already follows from coherent orientation of the selection functions which are active on the unbounded sets of a polyhedral subdivision of the domain corresponding to F. A side bonus of the argumentation is a short proof of the classical statement that an injective piecewise affine function is coherently oriented.