ScalingStacks

Lemma 3.8 . [015P]

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

The continuous map Qt:σt→σQ_{t}\colon\sigma_{t}\to\sigma defined by

Qt​(w′,x′′)=((1−λ⁡(t)​b′′⋅x′′)​w′,λ⁡(t)​x′′)Q_{t}(w^{\prime},x^{\prime\prime})=\left(\left(1-\lambda(t)b^{\prime\prime}\cdot x^{\prime\prime}\right)w^{\prime},\lambda(t)x^{\prime\prime}\right)

restricts to a homeomorphism between the interior of σt\sigma_{t} and the interior of σ\sigma. Further, its inverse maps the Lebesgue measure bσ−1​λσb_{\sigma}^{-1}\lambda_{\sigma} on σ\sigma to the measure

(Qt−1)∗​bσ−1​λσ=(1−λ⁡(t)​b′′⋅x′′)q​λ​(t)p−q​bσ′−1​λσ′′⊗|d​x′′|,(Q_{t}^{-1})_{*}b_{\sigma}^{-1}\lambda_{\sigma}=\left(1-\lambda(t)b^{\prime\prime}\cdot x^{\prime\prime}\right)^{q}\lambda(t)^{p-q}b_{\sigma^{\prime}}^{-1}\lambda^{\prime}_{\sigma^{\prime}}\otimes|dx^{\prime\prime}|,

on σt\sigma_{t}, where |d​x′′||dx^{\prime\prime}| is Lebesgue measure on ℝp−q{\mathbb{R}}^{p-q} normalized by ℤp−q{\mathbb{Z}}^{p-q}.

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