ScalingStacks

Lemma 2.12 . [03B5]

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

Lemma 2.12.

Let VV be a paracompact strictly KK-analytic space. Let W⊂VW\subset V be a compact strictly KK-analytic domain of VV and let f:W→ℝf\colon W\to{\mathbb{R}} be a continuous function with f≥0f\geq 0. Then for any ε>0\varepsilon>0 there exists a piecewise ℚ{\mathbb{Q}}-linear function φ\varphi on VV such that φ≥0\varphi\geq 0 and for all x∈Wx\in W we have f⁡(x)−ε≤φ⁡(x)≤f⁡(x)f(x)-\varepsilon\leq\varphi(x)\leq f(x).

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