Exercice 24, § 1

Soit $X$ un espace localement compact. Montrer que toute fonction $f \geq 0$, semi-continue inférieurement dans $X$, est l’enveloppe supérieure d’une famille de fonctions continues $\geq 0$ et à support compact.