ScalingStacks

Proposition 2.13 . [03B7]

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

Proposition 2.13.

Let VV be a paracompact strictly KK-analytic space VV. Let f:V→ℝf\colon V\to{\mathbb{R}} be a continuous function on VV. Then ff can be uniformly approximated by piecewise ℚ{\mathbb{Q}}-linear functions. In other words, for every ε>0\varepsilon>0 there exists a piecewise ℚ{\mathbb{Q}}-linear function φ:V→ℝ\varphi\colon V\to{\mathbb{R}} such that supx∈V|f⁡(x)−φ⁡(x)|≤ε\sup_{x\in V}|f(x)-\varphi(x)|\leq\varepsilon.

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