Definition 4.11 . [05AS]
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
Definition 4.11.
Let be a strictly -analytic Hausdorff space of dimension and semipositive piecewise -linear metrized line bundles on . The assignment
where is a compact strictly -analytic domain with and are non-zero integers such that is a formally metrized line bundle, yields a positive linear functional on the space of continuous functions with compact support in and hence by the Riesz Representation Theorem (see [Rud87, Theorem 2.14]) a positive Radon measure on which we again denote by . Note that the integral does neither depend on the choice of by Lemma 4.8 nor on the choice of the by Proposition 4.5 and that we can always find such a together with the by choosing for every point in a compact strictly -analytic neighbourhood where some powers of the are formally metrized and using compactness of .