1.1.5. [0252]
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
1.1.5.
Given a continuous metric on , the metric induces for each integer a continuous metric on which we denote by : for any point and any local basis of over a Zariski open neighborhood of one has
Note that for any section one has . By convention, denotes the trivial metric on , namely for any , where denotes the section of unity of .
Conversely, given a continuous metric on , there is a unique continuous metric on such that . We denote by this metric. This observation allows to define continuous metrics on an element in as follows. Given , we denote by the subsemigroup of of all positive integers such that . We call continuous metric on any family with being a continuous metric on , such that for any and any . Note that the family is uniquely determined by any of its elements. In fact, given an element , one has for any . In particular, for any positive rational number , the family is a continuous metric on , where is a positive integer such that , and the metric does not depend on the choice of the positive integer .
Let be an element in equipped with a continuous metric . By abuse of notation, for we also use the expression to denote the continuous metric on .