Proof. [0282]
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.
The argument is very similar to the one of Sadullaev ([Sa],[BL, Theorem 3.2]). By [Si], there exists an open neighborhood of in and a holomorphic retraction . We can find an open neighborhood of so that and for every . Indeed, if denotes the open ball in centered at and of radius , then is an open neighborhood of , and we let . Since is a continuous psh exhaustion function on , it follows that the function is continuous psh on and .
It is well known that there exist entire functions , so that (see [Ch, p.63]). The function is psh on and .
Let be an open set so that . Since is continuous on , we can find a convex increasing function on which verifies for every the following two properties:
for all with .
for all with .
Then
is a continuous psh exhaustion function on and on . ∎