Proposition 5.41 . [02U7]
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
Proposition 5.41.
The equality holds. Hence extends to a continuous function on and the metric associated to by Proposition 5.16 agrees with .