ScalingStacks

Lemma 2 [03VQ]

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 2

Let (zi)i=1,…,n,(zi′)i=1,…,n(z_{i})_{i=1,\dots,n},\,\,(z^{\prime}_{i})_{i=1,\dots,n} be two systems of invertible coordinates on π−1​(U)\pi^{-1}(U) for some connected open U⊂Bs​mU\subset B^{sm}. Then

|(⋀1≤i≤n(d​zi/zi))/(⋀1≤i≤n(d​zi′/zi′))|x=1​∀x∈π−1​(U).\left|\left({\textstyle\bigwedge_{1\leq i\leq n}(dz_{i}/z_{i})}\right)/\left({\textstyle\bigwedge_{1\leq i\leq n}(dz^{\prime}_{i}/z^{\prime}_{i})}\right)\right|_{x}=1\,\,\,\forall x\in\pi^{-1}(U)\,\,.

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