General Topology – Proving Lower Semicontinuous Function is Supremum of Increasing Sequence of Continuous Functions

analysisgeneral-topologysemicontinuous-functions

Show that lower semicontinuous function $f:X\rightarrow [0,1]$ on metrizable X is the supremum of an increasing sequence of continuous functions.

My attempt: I don't know how to approximate $f(x)$ to within $[f(x)-1/n,f(x)]$ by $h_n(x)$ which is a linear combination of characteristic function of open sets, using lower semicontinuity of $f$.

Can anyone help?

Best Answer

This is a quotation from "General Topology" by Ryszard Engelking:

enter image description here