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
Proof.
More precisely we are going to show the following:
consider an open subset of ,
and .
Fix and where
. Then
|
|
|
is a -psh function such that .
Indeed since is open,
we have and on
(see proposition 3.6).
Observe that is a sum of negative -psh functions
hence it is either identically or a well defined -psh
function with .
Recall that
(proposition 1.7). Therefore
hence .
Fix such that .
Observe that with if
, i.e. when . Therefore
|
|
|
Recall now that is always dominated by hence
if is large enough. We infer
from the previous proposition that
|
|
|
which yields
|
|
|
Note that
whenever hence .
∎