Proof. [00A6]
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.
Let be a NA Fubini-Study approximation of , with potential difference less than . We construct the Fubini-Study metrics on by the formula (10), so the curvature forms of define the Kähler metrics on . By construction, for sufficiently small the local potentials are -close to that of , which is -close to the continuous metric , so the uniform boundedness of the potentials can be guaranteed.
By our NA MA-real MA comparison assumption, over the potential of equals the pullback via the retraction map . From our discussions on the hybrid topology in section 3.2, over , for to be -close to means the same as saying is -close to .
∎