1 research outputs found

    Auxiliary relations and sandwich theorems

    Get PDF
    A well-known topological theorem due to Katv etov states: Suppose (X,tau)(X,tau) is a normal topological space, and let f:Xto[0,1]f:Xto[0,1] be upper semicontinuous, g:Xto[0,1]g:Xto[0,1] be lower semicontinuous, and fleqgfleq g. Then there is a continuous h:Xto[0,1]h:Xto[0,1] such that fleqhleqgfleq hleq g. We show a version of this theorem for many posets with auxiliary relations. In particular, if PP is a Scott domain and f,g:Pto[0,1]f,g:Pto[0,1] are such that fleqgfleq g, and ff is lower continuous and gg Scott continuous, then for some hh, fleqhleqgfleq hleq g and hh is both Scott and lower continuous. As a result, each Scott continuous function from PP to [0,1][0,1], is the sup of the functions below it which are both Scott and lower continuous
    corecore