Proof. [03JF]
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.
To prove this lemma, we need to rescale both the metric and the coordinates. We choose the pull-back region with defined as the above, then for every with ,
| (7.55) |
where is a bounded harmonic function on . Let us denote the rescaled coordinates by
| (7.56) |
and we choose
| (7.57) |
So the rescaled metrics converge to
| (7.58) |
such that
| (7.59) |
where is the distance function in the Euclidean space . This tells us that is a Taub-NUT metric, and the proof is complete.
∎