Proof.
Let be a Borel subset of . Since
, it is sufficient
to show that if is a smooth
hyperconvex subset of , then there exists such that
for all ,
|
|
|
where .
It is an easy and well known fact in the local theory that the capacities
and are comparable when
(see e.g. theorem 6.5 in [12]).
Therefore we can assume (passing to a finer covering if necessary) that
near . Fix such that
on . Fix such that
on and set
. Then and
, hence
|
|
|
which yields .
Observe that we have not used here that is Kähler.
For the reverse inequality we consider
such that in and
in .
Replacing by if necessary, we can assume .
This is because is Kähler (and this is the only place where we shall
use this crucial assumption). Fix so small that
on . Let now be such that
on . Consider
|
|
|
Observe that
in . Therefore since
in ,
while
on .
Note also that thus for ,
|
|
|
|
|
|
|
|
|
|
hence .
∎