1.1.4. [0251]
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.4.
By continuous metric on , we refer to a family , where is a norm on over for each , such that for any local basis of over a Zariski open subset , is a continuous function on . We assume that is projective. Given a continuous metric on , we define a norm on such that
Similarly, if is a closed subscheme of , we define a norm on such that
Clearly one has
| (1) |
for any .