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 can assume that is sufficiently small so that for a ball as before, and that there is a compact set so that is a biholomorphism.
We then have
|
|
|
For small enough, the sets are all contained in a fixed compact set . From (4.3) and (4.11) we then get a uniform bound for the sectional curvatures of
on , and this proves (4.15).
∎