aequationes mathematicae

, Volume 38, Issue 2–3, pp 192–210

# On the lower hull of convex functions

• Z. Kominek
• M. Kuczma
Research Papers

## Summary

Let (X, ℱ) be a topological space. For any functionf: D→[− ∞, ∞) (whereD ⊂ X), thelower hull m f :D →[− ∞, ∞) off is defined by
$$m_f (x) = m_{f\left| T \right.} (x) = \mathop {\sup \inf }\limits_{U \in T_x \in U \cap D} f(t),x \in D,$$
where ℱx denotes the family of all open sets containing x. The main result of the paper is that, ifX is a real linear topological Baire space,D ⊂ X is convex and open, andf: D→[− ∞, ∞) isJ-convex, then the functionm f is convex and continuous. (In the case of a single real variable this result goes back to F. Bernstein and G. Doetsch, 1915.)

Now letX be a real linear space. A setG ⊂ X is calledalgebraically open if for everyx ∈ G andy ∈ X there exists anε = ε(x, y) > 0 such thatx + λy ∈ G for λ ∈(−ε, ε). The family ℱ (X) of all algebraically open subsets ofX is a topology inX, which, however, is not linear (unless dimX = 1). For any functionf: D →[− ∞, ∞) thealgebraic lower hull m f * :D →[− ∞, ∞) is defined asm f * =m f|ℱ(x) . Again, ifD is convex and open andf isJ-convex, then the functionm f * is convex and continuous with respect to the topology ℱ(X).

IfX is a real linear topological space,D ⊂ X is convex and open, andf: D →[− ∞, ∞) is an arbitrary function, then bothm f andm f * are well defined inD. We always havem f ⩽ m f * ⩽ f; moreover,m f * =f wheneverf is convex, andm f * =m f wheneverf isJ-convex and dimX is finite, but in general neither of these equalities holds.

A number of related questions are also discussed. In particular, it is shown that, ifX is a real linear topological space,D ⊂ X is convex and open, andf: D →[− ∞, ∞) is aJ-convex function which is lower semicontinuous at every point of a setS ⊂ D containing a second category Baire subset, thenf is convex and continuous.

## AMS (1980) subject classification

Primary 26A51 Secondary 39C05

## References

1. [1]
Barbu, V. and Precupanu, Th.,Convexity and optimization in Banach spaces. Editura Academiei Bucureşti, and Sijthoff & Nordhoff International Publishers, Alphen aan den Rijn, 1978.Google Scholar
2. [2]
Bernstein, F. undDoetsch, G.,Zur Theorie der konvexen Funktionen. Math. Ann.76 (1915), 514–526.
3. [3]
Kominek, B. andKominek, Z.,On some set classes connected with the continuity of additive and Q-convex functions. Prace Nauk. Uniw. Śląsk.8 (1978), 60–63.Google Scholar
4. [4]
Kominek, Z.,On the continuity of Q-convex and additive functions. Aequationes Math.23 (1981), 146–150.Google Scholar
5. [5]
6. [6]
Kuczma, M.,An introduction to the theory of functional equation and inequalities. Cauchy's equation and Jensen's inequality. PWN, Warszawa—Kraków—Katowice, 1985.Google Scholar
7. [7]
Kuczma, M.,On some analogies between measure and category and their applications in the theory of additive functions. Ann. Math. Sil.1 (1985), 155–162.Google Scholar
8. [8]
Kuhn, N.,A note on t-convex functions. In General Inequalities 4 [Proceedings of the Fourth International Conference on General Inequalities held in the Mathematical Institute at Oberwolfach, Black Forest, May 8–14, 1983]. Edited by W. Walter, International Ser. Numer. Math. 71. Birkhäuser Verlag, Basel—Stuttgart, 1984, pp. 269–276.Google Scholar
9. [9]
Kuratowski, K. Topologie, Vol. I. PWN, Warszawa, 1958.Google Scholar
10. [10]
Mehdi, M. R.,On convex functions. J. London Math. Soc.39 (1964), 321–326.Google Scholar
11. [11]
Roberts, A. W. andVarberg, D. E.,Convex functions. Academic Press, New York—London, 1973.Google Scholar
12. [12]
Valentine, F. A.,Convex sets. McGraw-Hill Book Company, New York—San Francisco—Toronto—London, 1964.Google Scholar