ScalingStacks

Proof. [0500]

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.

By definition

(3.88) ⟨ηα,ηβ⟩=⟨d​yα+pi​α​d​xi,d​yβ+pj​β​d​xj⟩.\langle\eta_{\alpha},\eta_{\beta}\rangle=\langle dy_{\alpha}+p_{i\alpha}dx_{i},dy_{\beta}+p_{j\beta}dx_{j}\rangle.

By (3.77) we get

(3.89) ⟨d​yα,d​yβ⟩=δα​β+O~​(r2).\langle dy_{\alpha},dy_{\beta}\rangle=\delta_{\alpha\beta}+\widetilde{O}(r^{2}).

Also we have pi​α=O~​(r)p_{i\alpha}=\widetilde{O}(r) and ⟨d​xi,d​yβ⟩=O~​(r)\langle dx_{i},dy_{\beta}\rangle=\widetilde{O}(r) for all ii and α\alpha. The conclusion then follows. ∎

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