ScalingStacks

Corollary 5.43 . [02UA]

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

Corollary 5.43.

Let Ψ\Psi be a virtual support function on Σ\Sigma and let ψ\psi be a rational piecewise affine function on NℝN_{\mathbb{R}}, with rec⁡(ψ)=Ψ\operatorname{rec}(\psi)=\Psi, such that there exists a complete SCR polyhedral complex Π\Pi with rec⁡(Π)=Σ\operatorname{rec}(\Pi)=\Sigma and ψ\psi piecewise affine on Π\Pi. Then ψ−Ψ\psi-\Psi can be extended to a continuous function on NΣN_{\Sigma}.

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