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: