ScalingStacks

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 ff is an H-lattice function (respectively a rational piecewise affine function) on NℝN_{\mathbb{R}}, then there is a complete polyhedral complex Π\Pi in NℝN_{\mathbb{R}} such that, for every Λ∈Π\Lambda\in\Pi,

f|Λ​(u)=⟨mΛ,u⟩+lΛ,f|_{\Lambda}(u)=\langle m_{\Lambda},u\rangle+l_{\Lambda},

with (mΛ,lΛ)∈M×ℤ(m_{\Lambda},l_{\Lambda})\in M\times\mathbb{Z} (respectively (mΛ,lΛ)∈Mℚ×ℚ(m_{\Lambda},l_{\Lambda})\in M_{\mathbb{Q}}\times\mathbb{Q}). Conversely, every piecewise affine function on NℝN_{\mathbb{R}} such that its defining affine functions have integral (respectively rational) coefficients, is an H-lattice function (respectively a rational piecewise affine function).

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.