ScalingStacks

Remark 2.14 . [03B9]

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

Remark 2.14.

The proof of Proposition 2.13 also gives that if φ:V→ℝ\varphi\colon V\to{\mathbb{R}} is a piecewise ℚ{\mathbb{Q}}-linear function on a paracompact strictly KK-analytic space VV, then there exists a family (φi)i∈I(\varphi_{i})_{i\in I} of piecewise ℚ{\mathbb{Q}}-linear functions on VV such that the family supp​(φi)i∈I{\rm supp}(\varphi_{i})_{i\in I} is a locally finite family of compact sets subordinate to any given open covering of VV and such that φ=∑i∈Iφi\varphi=\sum_{i\in I}\varphi_{i}. Indeed, in the above proof we may construct the covering UiU_{i} finer than the given open covering and then we may use ε=0\varepsilon=0 in the construction due to piecewise ℚ{\mathbb{Q}}-linearity.

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