Lemma 8.9 . [01HK]
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
Lemma 8.9.
The following properties are equivalent.
- (i)
Every -psh function is the pointwise limit of a decreasing net of -psh model functions.
- (ii)
For each we have
- (iii)
For each is a uniform limit of -psh model functions.