ScalingStacks

Remark 4.14 . [05AW]

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 4.14.

In the situation of Proposition 4.13, the limit depends only on the metrics ∥⋅∥i\|\cdot\|_{i} but not on the sequences (∥⋅∥i,k)k∈ℕ(\|\cdot\|_{i,k})_{k\in\mathbb{N}}. Namely, if (∥⋅∥i,k′)k∈ℕ(\|\cdot\|^{\prime}_{i,k})_{k\in\mathbb{N}} are other sequences converging uniformly to ∥⋅∥i\|\cdot\|_{i} then the sequences (∥⋅∥i,k′′)k∈ℕ(\|\cdot\|^{\prime\prime}_{i,k})_{k\in\mathbb{N}} defined by

∥⋅∥′′i,k:={∥⋅∥i,k2,k even∥⋅∥′i,k−12,k odd\|\cdot\|^{\prime\prime}_{i,k}:=\begin{cases}\|\cdot\|_{i,\frac{k}{2}},\;k\text{ even}\\ \|\cdot\|^{\prime}_{i,\frac{k-1}{2}},\;k\text{ odd}\end{cases}

converge uniformly to ∥⋅∥i\|\cdot\|_{i}. As (∥⋅∥i,k)k∈ℕ(\|\cdot\|_{i,k})_{k\in\mathbb{N}} and (∥⋅∥i,k′)k∈ℕ(\|\cdot\|^{\prime}_{i,k})_{k\in\mathbb{N}} are subsequences of ∥⋅∥′′i,k\|\cdot\|^{\prime\prime}_{i,k} the limit of the measures is the same. We denote the measure corresponding to the metrics ∥⋅∥i\|\cdot\|_{i} by c1​(L¯1)∧…∧c1​(L¯n)c_{1}(\overline{L}_{1})\wedge...\wedge c_{1}(\overline{L}_{n}).

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