A theorem of insertion and extension of functions for normal spaces (Q689765)

The main result of this paper is a theorem which characterizes the normal spaces as those topological spaces in which it is possible to insert a continuous function \(h\) between two functions \(g\leq f\), being \(g\) upper semicontinuous, \(f\) lower semicontinuous and \(f\) continuous in the closed subset \(C\), with \(h(x)=f(x)\) for every\(x\in C\). The Katětov-Tong theorem and the Tietze-Urysohn theorem are immediate corollaries of this result.