A categorical derivation of Lebesgue integration

DOI10.1112/JLMS.12730zbMATH Open1519.18002arXiv2011.00412OpenAlexW4323838287MaRDI QIDQ6134744FDOQ6134744

Publication date: 23 August 2023

Published in: Journal of the London Mathematical Society (Search for Journal in Brave)

Abstract: We identify simple universal properties that uniquely characterize the Lebesgue

L^{p}

spaces. There are two main theorems. The first states that the Banach space

L^{p} [0, 1]

, equipped with a small amount of extra structure, is initial as such. The second states that the

L^{p}

functor on finite measure spaces, again with some extra structure, is also initial as such. In both cases, the universal characterization of the integrable functions produces a unique characterization of integration. Using the universal properties, we develop some of the basic elements of integration theory. We also state universal properties characterizing the sequence spaces

e l l^{p}

and

c_{0}

, as well as the functor

L^{2}

taking values in Hilbert spaces.

Full work available at URL: https://arxiv.org/abs/2011.00412

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Normed linear spaces and Banach spaces; Banach lattices (46B99) Set functions and measures on spaces with additional structure (28C99)

Cites Work

Cited In (1)

Title not available (Why is that?)

This page was built for publication: A categorical derivation of Lebesgue integration

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6134744)