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.
Let be such that
on , for some . We first choose to be any smooth extension of to . Consider
|
|
|
where is a test function supported in a small neighborhood of
and such that near . Here is any Riemannian distance on , for instance
the distance associated to the KΓ€hler metric .
Then is yet another smooth extension of to ,
which now satisfies near ,
if is chosen large enough.
The function is well defined and qpsh in a neighborhood of . Let be a test function supported in this neighborhood so that near . The function is -psh on for a large integer . Moreover, is smooth and . Replacing by , by , and by , we may assume that . Set now
|
|
|
This again is a smooth extension of , and a straightforward computation
yields
|
|
|
Hence
|
|
|
if is chosen large enough.
β