Nonlinear Lebesgue spaces: Dense subspaces, completeness and separability

Fuente: arXiv
Guardado en:
Detalles Bibliográficos
Autores principales: Sérieys, Guillaume, Trouvé, Alain
Formato: Preprint
Publicado: 2025
Materias:
Acceso en línea:
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
_version_ 1866918379389976576
author Sérieys, Guillaume
Trouvé, Alain
author_facet Sérieys, Guillaume
Trouvé, Alain
contents 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 by the authors 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.
format Preprint
id arxiv_https___arxiv_org_abs_2512_19208
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle Nonlinear Lebesgue spaces: Dense subspaces, completeness and separability
Sérieys, Guillaume
Trouvé, Alain
Functional Analysis
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 by the authors 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.
title Nonlinear Lebesgue spaces: Dense subspaces, completeness and separability
topic Functional Analysis
url https://arxiv.org/abs/2512.19208