Bourbaki

Exercise 24, § 1

General Topology, IX, p. 90

Let XX be a locally compact space. Prove that every function f≥0f \geq 0, lower semicontinuous in XX, is the upper envelope of a family of continuous functions ≥0\geq 0 and with compact support.

Solution

No solution has been written yet.

Machine translation of the English, by gpt-5-mini. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.