Abstract
Category-measure duality concerns applications of Baire-category methods that have measure-theoretic analogues. The set-theoretic axiom needed in connection with the Baire category theorem is the Axiom of Dependent Choice, DC rather than the Axiom of Choice, AC. Berz used the Hahn–Banach theorem over \({\mathbb {Q}}\) to prove that the graph of a measurable sublinear function that is \({\mathbb {Q}}_{+}\)-homogeneous consists of two half-lines through the origin. We give a category form of the Berz theorem. Our proof is simpler than that of the classical measure-theoretic Berz theorem, our result contains Berz’s theorem rather than simply being an analogue of it, and we use only DC rather than AC. Furthermore, the category form easily generalizes: the graph of a Baire sublinear function defined on a Banach space is a cone. The results are seen to be of automatic-continuity type. We use Christensen Haar null sets to extend the category approach beyond the locally compact setting where Haar measure exists. We extend Berz’s result from Euclidean to Banach spaces, and beyond. Passing from sublinearity to convexity, we extend the Bernstein–Doetsch theorem and related continuity results, allowing our conditions to be ‘local’—holding off some exceptional set.
Article PDF
Similar content being viewed by others
References
Ajtai, M.: On the boundedness of definable linear operators. Period. Math. Hung. 5, 343–352 (1974)
Artzner, P., Delbaen, F., Eber, J.-M., Heath, D.: Coherent measures of risk. Math. Financ. 9(3), 203–228 (1999)
Balcerzak, M., Rzepecka, J.: Marczewski sets in the Hashimoto topologies for measure and category. Acta Univ. Carol. Math. Phys. 39, 93–97 (1998)
Bartoszewicz, A., Filipczak, M., Natkaniec, T.: On Smital properties. Topol. Appl. 158, 2066–2075 (2011)
Berz, E.: Sublinear functions on \(\mathbb{R}\). Aequ. Math. 12, 200–206 (1975)
Bingham, N.H., Goldie, C.M.: Extensions of regular variation. I. Uniformity and quantifiers; II. Representations and indices. Proc. Lond. Math. Soc. (3) 44, 473–496, 497–534 (1982)
Bingham, N.H., Goldie, C.M., Teugels, J.L.: Regular Variation, 2nd edn. Cambridge University Press, Cambridge (1989) (1st edn. 1987)
Bingham, N.H., Ostaszewski, A.J.: Generic subadditive functions. Proc. Am. Math. Soc. 136, 4257–4266 (2008)
Bingham, N.H., Ostaszewski, A.J.: Infinite combinatorics and the foundations of regular variation. J. Math. Anal. Appl. 360, 518–529 (2009)
Bingham, N.H., Ostaszewski, A.J.: Automatic continuity: subadditivity, convexity, uniformity. Aequ. Math. 78, 257–270 (2009)
Bingham, N.H., Ostaszewski, A.J.: Beyond Lebesgue and Baire: generic regular variation. Coll. Math. 116, 119–138 (2009)
Bingham, N.H., Ostaszewski, A.J.: Kingman, category and combinatorics. In: Bingham, N.H., Goldie, C.M. (eds.) Probability and Mathematical Genetics (Sir John Kingman Festschrift), pp. 135–168, London Math. Soc. Lecture Notes in Mathematics 378, CUP (2010)
Bingham, N.H., Ostaszewski, A.J.: Beyond Lebesgue and Baire II: bitopology and measure-category duality. Colloq. Math. 121, 225–238 (2010)
Bingham, N.H., Ostaszewski, A.J.: Regular variation without limits. J. Math. Anal. Appl. 370, 322–338 (2010)
Bingham, N.H., Ostaszewski, A.J.: Normed versus topological groups: dichotomy and duality. Diss. Math. 472, 138 (2010)
Bingham, N.H., Ostaszewski, A.J.: Dichotomy and infinite combinatorics: the theorems of Steinhaus and Ostrowski. Math. Proc. Camb. Philos. Soc. 150, 1–22 (2011)
Bingham, N.H., Ostaszewski, A.J.: The Steinhaus theorem and regular variation: De Bruijn and after. Indag. Math. 24, 679–692 (2013)
Bingham, N.H., Ostaszewski, A.J.: Cauchy’s functional equation and extensions: Goldie’s equation and inequality, the Gołąb–Schinzel equation and Beurling’s equation. Aequat. Math. 89, 1293–1310 (2015) (fuller version: arXiv:1405.3947)
Bingham, N.H., Ostaszewski, A.J.: Beurling moving averages and approximate homomorphisms. Indag. Math. (NS) 27, 601–633 (2016) (fuller version: arXiv:1407.4093v2)
Bingham, N.H., Ostaszewski, A.J.: Additivity, Subadditivity and Linearity: Automatic Continuity and Quantifier Weakening, arXiv: 1405.3948v2
Bingham, N.H., Ostaszewski, A.J.: Beyond Lebesgue and Baire IV: Density Topologies and a Converse Steinhaus–Weil Theorem, arXiv:1607.00031
Bingham, N.H., Ostaszewski, A.J.: The Steinhaus–Weil Property: Its Converse, Solecki Amenability and Subcontinuity, arXiv:1607.00049
Blair, C. E.: The Baire category theorem implies the principle of dependent choices. Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys. 25, 933–934 (1977)
Blumberg, H.: On convex functions. Trans. Am. Math. Soc. 20, 40–44 (1919)
Borwein, D., Ditor, S.Z.: Translates of sequences in sets of positive measure. Canad. Math. Bull. 21, 497–498 (1978)
Borwein, J.M., Moors, W.B.: Null sets and essentially smooth Lipschitz functions. SIAM J. Optim. 8(2), 309–323 (1998)
Bruckner, A.M.: Differentiation of integrals. Am. Math. Mon. 78(9), 1–51 (1971)
Christensen, J.P.R.: On sets of Haar measure zero in abelian Polish groups. In: Proceedings of the International Symposium on Partial Differential Equations and the Geometry of Normed Linear Spaces (Jerusalem, 1972). Isr. J. Math. 13 (1972), 255–260 (1973)
Christensen, J.P.R.: Topology and Borel Structure. Descriptive Topology And Set Theory with Applications to Functional Analysis and Measure Theory. North-Holland Mathematics Studies, Vol. 10 (1974)
Ciesielski, K., Jasiński, J.: Topologies making a given ideal nowhere dense or meagre. Topol. Appl. 63, 277–298 (1995)
Darji, U.B.: On Haar meager sets. Topol. Appl. 160, 2396–2400 (2013)
Dodu, J., Morillon, M.: The Hahn-Banach property and the axiom of choice. Math. Log. Q. 45(3), 299–314 (1999)
Feng, Q., Magidor, M., Woodin, H.: Universally Baire sets of reals. In: Judah, H., Just, W., Woodin, H. (eds.) Set theory of the continuum, vol. 26, pp. 203–242. Springer, New York (1992). doi:10.1007/978-1-4613-9754-0_15
Fenstad, J.E., Normann, D.: On absolutely measurable sets. Fund. Math. 81(2), 91–98 (1973/74)
Fischer, P., Słodkowski, Z.: Christensen zero sets and measurable convex functions. Proc. Am. Math. Soc. 79(3), 449–453 (1980)
Föllmer, H., Schied, A.: Stochastic Finance: An Introduction in Discrete Time, de Gruyter Studies in Mathematics, vol 27, 3rd edn. (2011) (1st edn. 2002, 2nd edn. 2004)
Fremlin, D.: Measure-additive coverings and measurable selectors. Diss. Math. 260, 116 (1987)
Fremlin, D.: Measure Theory Vol. 4: Topological Measure Theory. Torres-Fremlin, 2nd printing, 2006 (1st printing 2003)
Fremlin, D., Natkaniec, T., Recław, I.: Universally Kuratowski–Ulam spaces. Fund. Math. 165(3), 239–247 (2000)
Gao, S.: Invariant Descriptive Theory. CRC Press, Boca Raton (2009)
Garnir, H.G.: Solovay’s axiom and functional analysis, 189–204. In: Garni, H.G., Unni, K.R., Willaimson, J.H. (eds.) Functional Analysis and Its Applications. Proc. Madras Conf. Funct. Anal., Lecture Notes in Math. 399. Springer (1974)
Goffman, C., Neugebauer, C.J., Nishiura, T.: Density topology and approximate continuity. Duke Math. J. 28, 497–505 (1961)
Goffman, C., Waterman, D.: Approximately continuous transformations. Proc. Am. Math. Soc. 12, 116–121 (1961)
Grosse-Erdmann, K.-G.: Regularity properties of functional equations and inequalities. Aequ. Math. 37, 233–251 (1989)
Grosse-Erdmann, K.-G.: An extension of the Steinhaus–Weil theorem. Coll. Math. 57, 307–317 (1989)
Halmos, P.R.: Measure Theory. Graduate Texts in Mathematics, vol. 18. Springer (1974) (1st edn. Van Nostrand, 1950)
Hardy, G.H., Littlewood, J.E.: G. Pólya, Inequalities, 2nd edn. CUP (1952)
Hashimoto, H.: On the *topology and its application. Fund. Math. 91(1), 5–10 (1976)
Hewitt, E., Ross, K.A.: Abstract harmonic analysis, Vol. I. Structure of Topological Groups, Integration Theory, Group Representations, 2nd edn. Grundlehren Math. Wiss., 115. Springer (1979)
Hille, E., Phillips, R.S.: Functional analysis and semi-groups. Coll. Publ. vol. 31. Am. Math. Soc, 3rd edn. (1974) (1st edn. 1957)
Hunt, B.R., Sauer, T., Yorke, J.A.: Prevalence: a translation-invariant “almost everywhere” on infinite dimensional spaces. Bull. Am. Math. Soc. 27(2), 217–238 (1992)
Jablonska, E., Remarks on analogies between Haar meagre sets and Haar nulls sets, Ch. 7, In: Brzdek, J., Cieplinski, K., Rassias, Th.M. (eds.) Developments in functional equations and related topics. Springer, to appear
Jabłońska, E.: Some analogies between Haar meager sets and Haar null sets in abelian Polish groups. J. Math. Anal. Appl. 421, 1479–1486 (2015)
Jabłońska, E.: A theorem of Piccard’s type and its applications to polynomial functions and convex functions of higher orders. Topol. Appl. 209, 46–55 (2016)
Janković, D., Hamlett, T.R.: New topologies from old via ideals. Am. Math. Mon. 97, 295–310 (1990)
Jayne, J.E., Rogers, C.A.: Selectors. Princeton University Press, Princeton (2002)
Kalton, N.J., Peck, N.T., Roberts, J.W.: An F-space sampler. London Math. Soc. Lect. Note Ser., vol. 89, Cambridge University Press, Cambridge (1984)
Kechris, A.S.: Classical Descriptive Set Theory. Graduate Texts in Mathematics, vol. 156. Springer, Berlin (1995)
Kemperman, J.H.B.: A general functional equation. Trans. Am. Math. Soc. 86, 28–56 (1957)
Kestelman, H.: The convergent sequences belonging to a set. J. Lond. Math. Soc. 22, 130–136 (1947)
Kominek, Z.: On an equivalent form of a Steinhaus theorem. Mathematica (Cluj) 30(53), 25–27 (1988)
Kuczma, M.: An introduction to the theory of functional equations and inequalities. Cauchy’s equation and Jensen’s inequality, 2nd edn., Birkhäuser, 2009 (1st edn. PWN, Warszawa, 1985)
Lindley, D.V.: Taking Decisions, 2nd edn. Wiley, New York (1985)
Lukeš, J., Malý, J., Zajíček, L.: Fine topology methods in real analysis and potential theory, Lecture Notes in Mathematics, vol. 1189, pp. 96. Springer (1986)
Matkowski, J.: Subadditive functions and a relaxation of the homogeneity condition of seminorms. Proc. Am. Math. Soc. 117(4), 991–1001 (1993)
Matkowski, J., Światkowski, T.O.: On subadditive functions. Proc. Amer. Math. Soc. 119(1), 187–197 (1993)
McNeil, A.J., Frey, R., Embrechts, P.: Quantitative Risk Management. Concepts, Techniques and Tools. Princeton University Press, Princeton (2005)
Mehdi, M.R.: On convex functions. J. Lond. Math. Soc. 39, 321–326 (1964)
van Mill, J.: A note on the Effros Theorem. Am. Math. Mon. 111(9), 801–806 (2004)
van Mill, J., Pol, R.: The Baire category theorem in products of linear spaces and topological groups. Topol. Appl. 22(3), 267–282 (1986)
Miller, H.I.: Generalization of a result of Borwein and Ditor. Proc. Am. Math. Soc. 105(4), 889–893 (1989)
Miller, H.I., Ostaszewski, A.J.: Group action and shift-compactness. J. Math. Anal. Appl. 392, 23–39 (2012)
Oikhberg, T., Rosenthal, H.: A metric characterization of normed linear spaces. Rocky Mt. J. Math. 37, 597–608 (2007)
Ostaszewski, A.J.: Analytically heavy spaces: analytic Cantor and analytic Baire theorems. Topol. Appl. 158, 253–275 (2011)
Ostaszewski, A.J.: Beyond Lebesgue and Baire III: Steinhaus’s Theorem and its descendants. Topol. Appl. 160, 1144–1154 (2013)
Ostaszewski, A.J.: Almost completeness and the Effros Theorem in normed groups. Topol. Proc. 41, 99–110 (2013)(fuller version: arXiv.1606.04496)
Ostaszewski, A.J.: Shift-compactness in almost analytic submetrizable Baire groups and spaces, survey article. Topol. Proc. 41, 123–151 (2013)
Ostaszewski, A.J.: Effros, Baire, Steinhaus and non-separability. In: Topology and Its Applications, Mary Ellen Rudin Special Issue, 195, 265–274 (2015)
Oxtoby, J.C.: Measure and Category, 2nd edn. Graduate Texts in Mathematics, vol. 2. Springer, 1980 (1st edn. 1972)
Parthasarathy, K.R.: Probability Measures on Metric Spaces. Academic Press, London (1967)
Pincus, David: Independence of the prime ideal theorem from the Hahn Banach theorem. Bull. Am. Math. Soc. 78, 766–770 (1972)
Pincus, D.: The strength of the Hahn–Banach theorem. Victoria Symposium on Nonstandard Analysis (Univ. Victoria, Victoria, B.C., 1972), pp. 203–248, Lecture Notes in Math. 369, Springer (1974)
Pincus, D., Solovay, R.: Definability of measures and ultrafilters. J. Symb. Logic 42(2), 179–190 (1977)
Pol, R.: Note on category in Cartesian products of metrizable spaces. Fund. Math. 102(1), 55–59 (1979)
Rockafellar, R.T.: Convex Analysis. Princeton University Press, Princeton (1972)
Rogers, C.A., Jayne, J., Dellacherie, C., Topsøe, F., Hoffmann-Jørgensen, J., Martin, D.A., Kechris, A.S., Stone, A.H.: Analytic Sets. Academic Press, London (1980)
Rosenbaum, R.A.: Sub-additive functions. Duke Math. J. 17, 227–242 (1950)
Rosendal, C., Solecki, S.: Automatic continuity of homomorphisms and fixed points on metric compacta. Isr. J. Math. 162, 349–371 (2007)
Rudin, W.: Functional Analysis. McGraw-Hill, New York (1991)
Šemrl, P.: A characterization of normed spaces. J. Math. Anal. Appl. 343, 1047–1051 (2008)
Sierpiński, W.: Sur l’équation fonctionelle \(f(x+y)=f(x)+f(y)\), Fund. Math. 1, 116–122 (1920) (reprinted in Oeuvres choisis, Vol. 2, 331–33, PWN, Warsaw 1975)
Sierpiński, W.: Sur les fonctions convexes mesurables, Fund. Math. 1, 125–128 (1920) (reprinted in Oeuvres choisis, Vol. 2, 337–340, PWN, Warsaw 1975)
Simon, B.: Convexity: An Analytic Viewpoint. Cambridge Tracts in Mathematics, vol. 187, CUP (2011)
Solecki, S.: On Haar null sets. Fund. Math. 149(3), 205–210 (1996)
Solecki, S.: Size of subsets of groups and Haar null sets. Geom. Funct. Anal. 15, 246–273 (2005)
Solecki, S.: Amenability, free subgroups, and Haar null sets in non-locally compact groups. Proc. Lond. Math. Soc. 93(3), 693–722 (2006)
Solecki, S.: A Fubini Theorem. Topol. Appl. 154(12), 2462–2464 (2007)
Trautner, R.: A covering principle in real analysis. Q. J. Math. Oxf. (2) 38, 127–130 (1987)
Weil, A.: L’intégration dans les groupes topologiques, Actualités Scientifiques et Industrielles 1145, Hermann, 1965 (1st edn. 1940)
Wilczyński, W.: Density Topologies, Handbook of Measure Theory, Vol. I, II, 675–702, North-Holland (2002)
Woodin, W. H.: The axiom of determinacy, forcing axioms, and the nonstationary ideal. 2nd edn. Walter de Gruyter, Berlin (2010)
Wright, J.D.: On the continuity of midpoint convex functions. Bull. Lond. Math. Soc. 7, 89–92 (1975)
Zakon, E.: A remark on the theorems of Lusin and Egoroff. Canad. Math. Bull. 7, 291–295 (1964)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Bingham, N.H., Ostaszewski, A.J. Category-measure duality: convexity, midpoint convexity and Berz sublinearity. Aequat. Math. 91, 801–836 (2017). https://doi.org/10.1007/s00010-017-0486-7
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00010-017-0486-7