Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Pick any regular model . Then the linear map is surjective
hence open.
It is thus enough to prove the following claim: let have ample image in , and assume that is the limit of a sequence . If the corresponding forms all satisfy the orthogonality property, then so does .
Let . By Proposition 2.15 we have uniformly on . We claim that
with uniformly bounded mass. Since uniformly on , we have as before
which concludes the proof.
To prove the claim, pick any model function , and fix .
By Corollary 2.12, we can find a -psh model function such that . We then have
Using integration by parts, the last term can be bounded as follows.
where is a fixed form such that is semipositive,
and .
In a similar way, the first term is bounded from above by
for large enough.
Finally and being model functions, the second term tends to zero as , and we get . We conclude by letting .
∎