ScalingStacks

Proof. [026K]

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 us choose an affine open covering X=⋃i=1NUiX=\bigcup_{i=1}^{N}U_{i} together with a local basis ωi\omega_{i} of LL on each UiU_{i}. Let hih_{i} be a metric of LanL^{\mathrm{an}} over UianU_{i}^{\mathrm{an}} given by |ωi|hi​(x)=1|\omega_{i}|_{h_{i}}(x)=1 for x∈Uianx\in U_{i}^{\mathrm{an}}. As XanX^{\mathrm{an}} is paracompact (locally compact and σ\sigma-compact), we can find a partition of unity {ρi}i=1,…,N\{\rho_{i}\}_{i=1,\ldots,N} of continuous functions on XanX^{\mathrm{an}} such that supp⁡(ρi)⊆Uian\mathrm{supp}(\rho_{i})\subseteq U_{i}^{\mathrm{an}} for all ii. If we set |.|h​(x)=∑i=1Nρi​(x)​|.|hi​(x)|\raisebox{1.72218pt}{.}|_{h}(x)=\sum_{i=1}^{N}\rho_{i}(x)|\raisebox{1.72218pt}{.}|_{h_{i}}(x), then h={|.|h​(x)}x∈Xanh=\{|\raisebox{1.72218pt}{.}|_{h}(x)\}_{x\in X^{\mathrm{an}}} yields a continuous metric of LanL^{\mathrm{an}}. ∎

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