Insertion theorems for maps to linearly ordered topological spaces (Q2343060)

This paper deals with insertion theorems for semicontinuous functions into linearly ordered topological spaces. Throughout it, all spaces are assumed to be Hausdorff. As in the classical theory of insertion results for real-valued functions, a pair \((X,Y)\), constituted by a topological space \(X\) and a linearly ordered topological space \((Y,\leq)\), is said to have the insertion property if for every upper semicontinuous map \(g: X\to Y\) and every lower semicontinuous map \(h: X\to Y\) satisfying \(g(x)\leq h(x)\) for every \(x \in X\), there exists a continuous map \(f: X\to Y\) such that \(g(x)\leq f(x) \leq h(x)\) for all \(x \in X\). It is shown that if \((X,Y)\) has the insertion property for every normal space \(X\), then \(Y\) is order isomorphic to some interval in the real line and, furthermore, that if \(X\) is a paracompact space or a cardinal and \(Y\) is the double edged long line, then \((X,Y)\) has the insertion property.