Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Source coverage notes Source fidelity gap: the original arXiv HTML omits an author TeX footnote attached to equation e:def-omega, including its reference to Remark r:error-function. The retained HTML is preserved as published; the original author TeX remains available. TeX correspondence is not complete. Complete original source context · Original author HTML
Proof.
By definition
(3.88)
⟨ η α , η β ⟩ = ⟨ d y α + p i α d x i , d y β + p j β d x j ⟩ . \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 ~ ( r 2 ) . \langle dy_{\alpha},dy_{\beta}\rangle=\delta_{\alpha\beta}+\widetilde{O}(r^{2}).
Also we have p i α = O ~ ( r ) p_{i\alpha}=\widetilde{O}(r) and ⟨ d x i , d y β ⟩ = O ~ ( r ) \langle dx_{i},dy_{\beta}\rangle=\widetilde{O}(r) for all i i and α \alpha . The conclusion then follows.
∎