ScalingStacks

Proof. [02NJ]

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

Proof.

Let Λ∈Π\Lambda\in\Pi and (m,l)∈M×ℤ(m,l)\in M\times\mathbb{Z} such that f⁡(u)=⟨m,u⟩+lf(u)=\langle m,u\rangle+l for u∈Λu\in\Lambda. Then, by the definition of rec⁡(f)\operatorname{rec}(f), it is clear that rec⁡(f)|rec⁡(Λ)​(u)=⟨m,u⟩\operatorname{rec}(f)|_{\operatorname{rec}(\Lambda)}(u)=\langle m,u\rangle. Hence, rec⁡(f)\operatorname{rec}(f) is a conic H-lattice function on rec⁡(Π)\operatorname{rec}(\Pi). ∎

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