1 research outputs found
Auxiliary relations and sandwich theorems
A well-known topological theorem due to Katv etov states:
Suppose is a normal topological space, and let be upper semicontinuous, be lower semicontinuous, and . Then there is a continuous such that .
We show a version of this theorem for many posets with auxiliary relations. In particular, if is a Scott domain and are such that , and is lower continuous and Scott continuous, then for some , and is both Scott and lower continuous.
As a result, each Scott continuous function from to , is the sup of the functions below it which are both Scott and lower continuous