ScalingStacks

Proof. [02ND]

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 f=gβˆ’hf=g-h with g,hβˆˆπ’«Β―β€‹(Nℝ)g,h\in{\overline{\mathscr{P}}}(N_{\mathbb{R}}). The effective domain of the recessions of gg and of hh is the whole of NℝN_{\mathbb{R}}. By [Roc70, Theorem 10.5], both gg and hh are Lipchitzians, hence so is ff. ∎

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