Library Header Image
LSE Research Online LSE Library Services

Category-measure duality: convexity, mid-point convexity and Berz sublinearity

Bingham, N. H. and Ostaszewski, Adam (2017) Category-measure duality: convexity, mid-point convexity and Berz sublinearity. Aequationes Mathematicae, 91 (5). pp. 801-836. ISSN 0001-9054

Text - Published Version
Available under License Creative Commons Attribution.

Download (660kB) | Preview

Identification Number: 10.1007/s00010-017-0486-7


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 Q to prove that the graph of a measurable sublinear function that is 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.

Item Type: Article
Official URL:
Additional Information: © 2017 The Authors © CC BY 4.0
Divisions: Mathematics
Subjects: Q Science > QA Mathematics
Date Deposited: 20 Jan 2017 13:14
Last Modified: 05 Jun 2024 19:39

Actions (login required)

View Item View Item


Downloads per month over past year

View more statistics