Theorem 8.2 . [01DE]

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

Theorem 8.2.

For any continuous metric $\phi$ on ${L^{\mathrm{an}}}$ we have

\int_{{X^{\mathrm{an}}}}(\phi-P(\phi))\operatorname{MA}(P(\phi))=0.

(8.1)