Remark 16.5.3.226D72040A60 Note that this integral
\[ \int _ X |\phi -\eta |\, \theta _{\eta }^ n \]
is defined: The locus where $\phi -\eta $ is undefined is a pluripolar set, while the product $\theta _{\eta }^ n$ puts no mass on pluripolar sets (proposition 13.11.4).
Similar remarks apply when we talk about similar integrals in the sequel.
Comments
Corrections, questions, and mathematical discussion are welcome. Sign in with GitHub to comment. Comments are public.