Abstract
Given a real-valued upper semicontinuous function h and a real-valued lower semicontinuous function g on a metric space such that (1) h ≥ g pointwise and (2) h(x) = g(x) at each isolated point of the space, it is not in general possible to find a real-valued function f whose upper envelope is h and whose lower envelope is g, even if the space is compact and dense-in-itself. The purpose of this note is to show that such an f exists in the case that both h and g are continuous, and that f can be chosen to be a Borel function.
Similar content being viewed by others
References
Aubin, J.-P.: Applied Abstract Analysis. Wiley, New York (1977)
Beer, G.: Topologies on Closed and Closed Convex Sets. Kluwer Academic Publishers, Dordrecht (1993)
Choquet, G.: Topology. Academic Press, New York (1966)
Duszynski, Z., Grande, Z., Ponomarev, S.P.: On the ω-primitive. Math. Slovaka 51, 469–476 (2001)
Engelking, R.: General Topology. PWN, Warsaw (1977)
Ewert, J., Ponomarev, S.P.: On the existence of ω-primitives on arbitrary metric spaces. Math. Slovaca 53, 51–57 (2003)
Hewitt, E., Stromberg, K.: Real and Abstract Analysis. Springer-Verlag, Berlin Heidelberg (1965)
Kostyrko, P.: Some properties of oscillation. Math. Slovaca 30, 157–162 (1980)
Sikorski, R.: Funkcje Rzeczywiste I. PWN, Warsaw (1958)
Willard, S.: General Topology. Addison-Wesley, Reading (1970)
Author information
Authors and Affiliations
Corresponding author
Additional information
To Michel Thera, on his 70th birthday.
Rights and permissions
About this article
Cite this article
Beer, G. Functions with Continuous Upper and Lower Envelopes. Vietnam J. Math. 46, 169–175 (2018). https://doi.org/10.1007/s10013-017-0266-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10013-017-0266-7