Order extension of order monomorphisms on a preordered topological space (Q689003)

The well-known extension theorem of \textit{L. Nachbin} [Topology and order (1965; Zbl 0131.379), p. 36] gives conditions under which a real-valued continuous order-homomorphism defined on a closed subset of a normally preordered space \(E\) can be extended to a real-valued continuous order- homomorphism on the whole space. In the particular case in which the preorder on the space is the discrete order, the Nachbin extension theorem reduces to the Urysohn-Tietze extension theorem on normal spaces. We study the following variant of the extension problem considered by Nachbin. Suppose that instead of a single real-valued continuous order homomorphism, one has a collection \(F=\{ f_ i\}_{i\in I}\) of real- valued continuous order-monomorphisms, where \(f_ i\) is defined on a closed subset \(D_ i\) of a preordered topological space \(E\). Then the problem is to find a real-valued continuous order-monomorphism \(f\) on the whole space \(E\) that is an order-extension of each order monomorphism \(f_ i\) in the collection \(F\). Sufficient conditions for the existence of such a `universal' order-extension are given.