For any real number p ∈ [1, +∞), we characterise the operations ℝ^I → ℝ that preserve p-integrability, i.e., the operations under which, for every measure μ, the set Lp(μ) 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 σ-complete truncated Riesz spaces, where truncation is meant in the sense of R.N. Ball. We also prove that ℝ generates this variety. From this, we exhibit a concrete model of the free Dedekind σ-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 σ-complete Riesz spaces with weak unit, ℝ is proved to generate this variety, and a concrete model of the free Dedekind σ-complete Riesz spaces with weak unit is exhibited.
Operations that preserve integrability, and truncated Riesz spaces
Abbadini, M.
2020-01-01
Abstract
For any real number p ∈ [1, +∞), we characterise the operations ℝ^I → ℝ that preserve p-integrability, i.e., the operations under which, for every measure μ, the set Lp(μ) 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 σ-complete truncated Riesz spaces, where truncation is meant in the sense of R.N. Ball. We also prove that ℝ generates this variety. From this, we exhibit a concrete model of the free Dedekind σ-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 σ-complete Riesz spaces with weak unit, ℝ is proved to generate this variety, and a concrete model of the free Dedekind σ-complete Riesz spaces with weak unit is exhibited.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.