Lemma 2.24 . [019V]

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 2.24.

[Fol99, Corollary 7.13]. If $\mu$ is a positive Radon measure on $X$ and $f$ is a usc function on $X$ , then

\int f\mu=\inf\left\{\int g\mu\mid f\leq g,\,g\in C^{0}(X)\right\}