Operations that preserve integrability, and truncated Riesz spaces

Abstract

For any real number $p\in [1,+\infty )$, we characterise the operations ${\mathbb{R}}^I\to \mathbb{R}$ that preserve $p$-integrability, i.e., the operations under which, for every measure $\mu$, the set ${\mathcal{L}}^p(\mu )$ is closed. We investigate the infinitary variety of algebras whose operations are exactly such functions. It turns out that this variety coincides with the category of Dedekind $\sigma$-complete truncated Riesz spaces, where truncation is meant in the sense of R. N. Ball. We also prove that $\mathbb{R}$ generates this variety. From this, we exhibit a concrete model of the free Dedekind $\sigma$-complete truncated Riesz spaces. Analogous results are obtained for operations that preserve $p$-integrability over finite measure spaces: the corresponding variety is shown to coincide with the much studied category of Dedekind $\sigma$-complete Riesz spaces with weak unit, $\mathbb{R}$ is proved to generate this variety, and a concrete model of the free Dedekind $\sigma$-complete Riesz spaces with weak unit is exhibited.

arXiv commentChanged the definition of "conditionally partitionable measure space", results unchanged; minor changes

References in corpus (1)

• Dedekind sigma-complete l-groups and Riesz spaces as varieties