ScalingStacks

Proof. [03BB]

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.

The argument in [Gub98, Lemma 7.6] shows that LL admits a formal metric. Hence, tensoring by L−1L^{-1}, we can assume that L=𝒪VL=\mathcal{O}_{V} and we are reduced to prove that for any continuous function f:V→ℝf\colon V\to{\mathbb{R}} there exists a sequence of model functions (φn)n∈ℕ(\varphi_{n})_{n\in{\mathbb{N}}} which converges uniformly to ff which was done in Proposition 2.13. ∎

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