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.
We will ignore all exponentially small errors coming from identifying tubular neighbourhoods with normal bundles. We compute by the Leibniz rule:
|
|
|
|
|
|
and similarly with .
Comparing and the term , the deviation is of order . Notice for , we have and so . For , the error , which is absorbed into .
Using the lemmas, we can estimate the terms appearing in in the local -norms:
|
|
|
The cross terms have order
|
|
|
So does its complex conjugate. The last error comes from the deviation between from . This error is again of order .
The remainder terms have leading order contribution
Its main contribution is , which has magnitude .
Combining all the errors, the deviation between and the local product metric (32) has magnitude bounded by
∎