Proof. [02T8]
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 toric metric on . Since is a regular nowhere vanishing section on , is a well defined continuous function on . Let be a set of defining vectors of . For each cone , the section is a regular nowhere vanishing section on . Therefore is a continuous function on that is -invariant. So it defines a continuous function on . By equation (5.4),
Therefore extends to a continuous function on . If we see that extends also to a continuous function on we will be able to extend to a continuous function on for every and therefore to .
Let be a face of and let . Let be a neighbourhood of as in (5.6). By taking small enough and big enough we can assume that is contained in the set of cones that have as a face. Since and agree when restricted to (hence when restricted to ) it follows that, if with and , then only depends on and not on . Hence it can be extended to a continuous function on the whole . By moving , , and we see that it can be extended to a continuous function on .
Let now be a function on such that extends to a continuous function on . We define a toric metric on over the set by the formula
Then, by the argument before, extends to a continuous function on , which proves that extends to a metric over . Varying we obtain that extends to a metric over . ∎