On approximations of semicontinuous functions by Darboux semicontinuous functions (Q541391)

The construction of semicontinuous functions is possible either as a pointwise limit of the monotone sequence of continuous functions or using a certain system of associated sets. The combination of these methods is used to show the following result: Let \(E\) be a set of type \(F_{\sigma}\) such that \([0,1]\) is bilaterally \(c\)-dense in \(E\). Then for every lower semicontinuous function \(f\) on \([0,1]\) there is a Darboux lower semicontinuous function \(g\) such that \(g<f\) on \(E\) and \(g=f\) on the complement of \(E\).