Lemma 5.1 . [031K]
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 5.1.
There is an open subset such that is locally isometric to where , i.e. there is a homeomorphism such that, for any , there is a neighborhood of satisfying that, if and ,
Furthermore, for any , there is a compact neighborhood and a holomorphic section , i.e., , such that under the Gromov-Hausdorff convergence of to .