Nonlinear Lebesgue spaces: Dense subspaces, completeness and separability
Abstract
L^p spaces of mappings taking values in arbitrary metric spaces, which we call nonlinear Lebesgue spaces, play an important role in several fields of mathematics. For instance, membership in these spaces is typically required for transport maps in optimal transport theory and for stochastic processes in probability theory. Nonlinear Lebesgue spaces also arise naturally in applications such as medical imaging, where the physical signals at play often exhibit little regularity and take their values in nonlinear spaces. Yet, these spaces remain little studied in the literature, likely due to their lack of differential structure outside the case where mappings are valued in a linear space. This paper is the first in a series devoted to the study of geometric and analytic properties of nonlinear Lebesgue spaces. The present article exposes a systematic treatment of their measure-theoretic properties, unifying and refining scattered results from the literature while also extending classical results from the linear setting to this broader nonlinear framework---including the characterizations of their completeness and their separability as well as the density of some of their subspaces: the spaces of simple, continuous and smooth mappings.
Related
- Nonlinear Lebesgue spaces: Curves and geometry
- Characterization of the boundedness of the segment multiplier on weighted Lebesgue spaces
- Borelness of Moduli Spaces of Metrics Implies Separability
- Some weighted modular inequalities in variable Lebesgue spaces
- Weighted boundedness of maximal operator associated with invertible linear transformations on variable Lebesgue spaces
BibTeX
@misc{serieys2026nonlinear,
title = {{Nonlinear Lebesgue spaces: Dense subspaces, completeness and separability}},
author = {Guillaume Sérieys and Alain Trouvé},
howpublished = {HAL},
year = {2026},
month = sep,
eprint = {2512.19208},
archivePrefix = {arXiv},
url = {https://hal.science/hal-05424713v5},
note = {CC BY-NC-SA 4.0},
}
RIS
TY - UNPB
TI - Nonlinear Lebesgue spaces: Dense subspaces, completeness and separability
AU - Guillaume Sérieys
AU - Alain Trouvé
PY - 2026
DA - 2026/09/14
PB - HAL
UR - https://hal.science/hal-05424713v5
AB - L^p spaces of mappings taking values in arbitrary metric spaces, which we call nonlinear Lebesgue spaces, play an important role in several fields of mathematics. For instance, membership in these spaces is typically required for transport maps in optimal transport theory and for stochastic processes in probability theory. Nonlinear Lebesgue spaces also arise naturally in applications such as medical imaging, where the physical signals at play often exhibit little regularity and take their values in nonlinear spaces. Yet, these spaces remain little studied in the literature, likely due to their lack of differential structure outside the case where mappings are valued in a linear space. This paper is the first in a series devoted to the study of geometric and analytic properties of nonlinear Lebesgue spaces. The present article exposes a systematic treatment of their measure-theoretic properties, unifying and refining scattered results from the literature while also extending classical results from the linear setting to this broader nonlinear framework---including the characterizations of their completeness and their separability as well as the density of some of their subspaces: the spaces of simple, continuous and smooth mappings.
ER -