Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
It is enough to establish for compact subsets,
by regularity of and .
Let be a compact subset of . It follows from Hölder’s inequality
that
where .
Note that since we assume is a probability measure.
We claim that
(4)
for some constants that only depend on .
We will be done if we can prove (4) since we can then check by elementary computations
that is dominated from above by
, for all .
The set of functions
is compact in (see proposition 2.7, [GZ 1]). These functions have Lelong
numbers bounded from above by a uniform constant.
It follows therefore from Skoda’s uniform integrability theorem [Z],
that
Set and let
denote the Siciak extremal function of
(see section 5.1 in [GZ 1]).
Then
where denote the Alexander capacity
of (see section 5.2 in [GZ 2]).
It follows now from theorem 7.1 in [GZ 1] that