Proposition 3.89 . [02NF]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Proposition 3.89.
If is an H-lattice function (respectively a rational piecewise affine function) on , then there is a complete polyhedral complex in such that, for every ,
with (respectively ). Conversely, every piecewise affine function on such that its defining affine functions have integral (respectively rational) coefficients, is an H-lattice function (respectively a rational piecewise affine function).