A separation theorem for semicontinuous functions on preordered topological spaces (Q2484048)

In a main theorem the author characterizes those topological spaces \(X\) with preorder \(\leq\) that have the following property: If \(-g,f\) are real-valued bounded upper semicontinuous functions on \(X\) such that \(g(x)\leq f(y)\) whenever \(x,y\in X\) and \(x\leq y,\) then there exists a real-valued bounded increasing continuous function \(h\) on \(X\) such that \(g\leq h\leq f.\) For instance it is proved that these preordered topological spaces are characterized by the property that for each open subset \(G\) of \(X,\) \(\overline{i(G)}\) is increasing and clopen in \(X\). It is then shown that in such a preordered topological space \(X\) each real-valued bounded increasing continuous function defined on a nonempty open subset of \(X\) can be extended to a function of the same type on \(X.\) Finally it is proved that for any extremally disconnected locally compact Hausdorff space with closed preorder the condition that \(i(G)\) and \(d(G)\) are open whenever \(G\) is open in \(X\) is equivalent to the equivalent conditions stated in the main theorem. (Here, \(i(G)\) resp. \(d(G)\) denote the smallest increasing resp. decreasing subset of \(X\) containing \(G.\))