A Bochner-type integration theory for random normed modules

Andrea Kubin; Enrico Pasqualetto

arxiv: 2604.21049 · v1 · submitted 2026-04-22 · 🧮 math.FA · math.PR

A Bochner-type integration theory for random normed modules

Andrea Kubin , Enrico Pasqualetto This is my paper

Pith reviewed 2026-05-09 22:34 UTC · model grok-4.3

classification 🧮 math.FA math.PR

keywords random normed modulesL^0-valued measuresBochner integrationRadon-Nikodym theoremRiesz representationmartingalessets of finite perimeter

0 comments

The pith

The paper constructs a Bochner-type integration theory for maps into complete random normed modules and proves Radon-Nikodym and Riesz-Markov-Kakutani theorems for L^0-valued measures.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

Given a probability space, the authors introduce measures whose values are equivalence classes of measurable functions in L^0. They define an integral for functions taking values in a complete random normed module over the same space. This setup lets them establish differentiation and representation theorems that mirror classical results but now operate with random norms. A sympathetic reader would care because the framework handles cases where the size of vectors is itself random, which arises in stochastic analysis and conditional expectation settings. The paper also sketches uses for martingales and sets of finite perimeter in this random-module context.

Core claim

We introduce L^0(m)-valued measures on a probability space and develop a Bochner-type integration theory for maps whose target is a complete random normed module M, equivalently an L^0(m)-Banach L^0(m)-module. This yields versions of the Radon-Nikodým theorem that identify absolutely continuous measures with integrable M-valued densities, and of the Riesz-Markov-Kakutani theorem that represents continuous linear functionals via integration against such measures.

What carries the argument

L^0(m)-valued measures paired with the Bochner integral against complete random normed modules M, which extends the classical vector integral by letting the norm take values in measurable functions.

If this is right

Every absolutely continuous L^0(m)-valued measure admits an M-valued Radon-Nikodým derivative.
Continuous linear functionals on suitable spaces of functions admit representation by integration against L^0(m)-valued measures.
Martingales taking values in complete random normed modules can be defined and studied.
A random version of the Radon-Nikodým property for modules can be formulated.
Random sets of finite perimeter admit a perimeter measure within this integration theory.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The theory may let classical results on vector measures transfer directly to random-norm settings such as stochastic evolution equations.
Conditional expectations and related operators could be defined uniformly for module-valued random variables.
Similar constructions might apply to operator-valued or non-commutative measures by replacing the scalar L^0 base with a suitable algebra.

Load-bearing premise

The target space must be a complete random normed module, or equivalently an L^0(m)-Banach L^0(m)-module.

What would settle it

Exhibit a complete random normed module M and an L^0-valued measure that is absolutely continuous with respect to m yet possesses no density in M, or produce a bounded measurable map whose integral fails to satisfy the expected linearity or continuity properties.

read the original abstract

We develop a measure and integration theory for random normed modules. Given a probability space $({\rm X},\Sigma,\mathfrak m)$, we introduce and study measures taking values into the space $L^0(\mathfrak m)$ of $\mathfrak m$-measurable functions quotiented up to $\mathfrak m$-a.e. equality. Moreover, we develop a Bochner-type integration theory with respect to an $L^0(\mathfrak m)$-valued measure $\mu$, for maps whose target ${\rm M}$ is a complete random normed module with base $({\rm X},\Sigma,\mathfrak m)$, or equivalently an $L^0(\mathfrak m)$-Banach $L^0(\mathfrak m)$-module. Inter alia, we prove versions of the Radon-Nikod\'{y}m theorem and of the Riesz-Markov-Kakutani representation theorem for $L^0(\mathfrak m)$-valued measures. We also outline several applications of our integration theory: we introduce a notion of martingale with values in a complete random normed module, we propose a definition of random Radon-Nikod\'{y}m property and we discuss random sets of finite perimeter.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper builds a Bochner-style integration theory for random normed modules using L^0-valued measures and proves adapted versions of the Radon-Nikodym and Riesz representation theorems.

read the letter

The main takeaway is that this paper sets up a measure and integration theory for random normed modules by introducing L^0-valued measures and a corresponding Bochner integral for module-valued maps. It proves versions of the Radon-Nikodym theorem and the Riesz-Markov-Kakutani representation theorem adapted to these L^0(m)-valued measures, and it outlines some applications in martingale theory and random geometry. What the paper does well is providing a systematic foundation in this specialized area. Starting from a probability space, they define measures with values in the space of measurable functions modulo null sets, then build the integral when the target is a complete random normed module, which is equivalent to an L^0-Banach module. This seems like a natural extension of classical Bochner theory, and the completeness assumption helps ensure the integral is well-defined. The applications section shows they have in mind uses for defining martingales in these modules, a random version of the Radon-Nikodym property, and random sets of finite perimeter, which could be interesting for people working on stochastic processes or geometric measure theory in random settings. On the soft spots, the work is quite narrow in scope, staying within stochastic functional analysis without broader connections that might make it accessible to more readers. The applications are sketched at a high level rather than developed with examples or proofs, so the practical value depends on whether others pick this up. From the description, there are no obvious issues with circularity or invented entities, and the assumptions like completeness of the module look necessary and standard. The soundness can't be fully judged without the detailed proofs, but the abstract suggests they have addressed the key representation results. This paper is for researchers already working in random normed modules or related topics in functional analysis and probability theory. A specialist in that area would find the explicit constructions and theorems valuable as a reference or starting point. It deserves peer review because it introduces a coherent new framework with theorems that are checkable and potentially useful for further developments in the subfield.

Referee Report

2 major / 3 minor

Summary. The paper develops a Bochner-type integration theory for random normed modules over a probability space (X, Σ, m). It introduces L^0(m)-valued measures and constructs an integral for maps taking values in complete random normed modules (equivalently L^0(m)-Banach L^0(m)-modules). Key results include versions of the Radon-Nikodým theorem and the Riesz-Markov-Kakutani representation theorem for these measures. Applications to martingales in random normed modules, a random Radon-Nikodým property, and random sets of finite perimeter are outlined.

Significance. If the central derivations hold, the work extends classical Bochner integration and representation theorems to the setting of random normed modules, providing a coherent framework for stochastic measure theory. This could enable new results in stochastic functional analysis, particularly for martingale theory and random sets, building directly on standard probability and module structures without ad-hoc parameters.

major comments (2)

[§4] §4 (Radon-Nikodým theorem): The proof constructs the derivative via a limiting procedure in the module norm, but the argument for measurability of the resulting map (with respect to the sigma-algebra on the target module) relies on an implicit separability assumption that is not stated explicitly; this is load-bearing for the theorem's applicability to general complete modules.
[§5.2] §5.2, Definition of the Bochner integral: The extension from simple functions to the completion uses the random norm, but the estimate showing that the integral is independent of the approximating sequence (analogous to Eq. (5.3)) does not address the case when the measure μ takes values in the extended reals; this affects the claimed generality for signed L^0(m)-valued measures.

minor comments (3)

The abstract and introduction use both 'random normed module' and 'L^0(m)-Banach L^0(m)-module' interchangeably; a single sentence clarifying the equivalence (already stated in the abstract) would improve readability.
Notation: the probability measure is denoted fraktur m throughout, but in some displayed equations it appears as plain m; consistent use of the fraktur font is needed.
[§6] The outline of applications in §6 is brief; adding one concrete example computation (e.g., for a simple martingale) would strengthen the discussion without lengthening the paper substantially.

Circularity Check

0 steps flagged

No circularity: theory built from standard structures with independent proofs

full rationale

The paper develops a Bochner-type integration theory for L^0(m)-valued measures on random normed modules by introducing definitions and proving theorems (Radon-Nikodým, Riesz-Markov-Kakutani) from the given probability space and module axioms. No step reduces a claimed result to a fitted parameter, self-definition, or load-bearing self-citation chain; all derivations rest on external measure-theoretic foundations and module completeness assumptions that are stated independently of the target theorems. The central claims are proved rather than presupposed, making the derivation self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The framework rests on the existence of complete random normed modules and the standard structure of a probability space; L^0-valued measures are introduced as the central new object.

axioms (2)

standard math Standard axioms of a probability space (X, Σ, m) and the quotient space L^0(m).
Invoked throughout the setup of measures and modules.
domain assumption Completeness of the random normed module M.
Explicitly required for the Bochner-type integration to be well-defined.

invented entities (1)

L^0(m)-valued measure no independent evidence
purpose: Generalizes classical measures to take values in the space of random measurable functions.
Central new concept introduced to support the integration theory.

pith-pipeline@v0.9.0 · 5505 in / 1337 out tokens · 93155 ms · 2026-05-09T22:34:57.241209+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

14 extracted references · 14 canonical work pages

[1]

,Random metric theory and its applications, PhD thesis, Xi’an Jiaotong University (China), 1992

work page 1992
[2]

1150–1154

,A new approach to probabilistic functional analysis (in Chinese), in Proceedings of the first China Postdoctoral Academic Conference, The China National Defense and Industry Press, Beijing, 1993, pp. 1150–1154

work page 1993
[3]

,Extension theorems of continuous random linear operators on random domains, Journal of Math- ematical Analysis and Applications, 193 (1995), pp. 15–27

work page 1995
[4]

China Ser

,The Radon-Nikodym property of conjugate Banach spaces andw ∗-equivalence theorems ofw ∗- measurable functions, Sci. China Ser. A, 39 (1996), pp. 1034–1041

work page 1996
[5]

,Some basic theories of random normed linear spaces and random inner product spaces, Acta Anal. Funct. Appl., 1 (1999), pp. 160–184

work page 1999
[6]

China Ser

,Representation theorems of the dual of Lebesgue-Bochner function spaces, Sci. China Ser. A, 43 (2000), pp. 234–243

work page 2000
[7]

China Ser

,The relation of Banach–Alaoglu theorem and Banach-Bourbaki-Kakutani- ˇSmulian theorem in com- plete random normed modules to stratification structure, Sci. China Ser. A, 51 (2008), pp. 1651–1663

work page 2008
[8]

,Relations between some basic results derived form two kinds of topologies for a random locally convex module, J. Funct. Anal., 258 (2010), pp. 3024–3047

work page 2010
[9]

,Recent progress in random metric theory and its applications to conditional risk measures, Science China Mathematics, 54 (2011), pp. 633–660

work page 2011
[10]

,On some basic theorems of continuous module homomorphisms between random normed modules, J. Func. Spaces, (2013), p. 989102

work page 2013
[11]

1, International Press of Boston, Somerville, 2024, pp

,Optimization of conditional convex risk measures, in Proceedings of the 8th International Congress of Chinese Mathematicians (Beijing, 2019), vol. 1, International Press of Boston, Somerville, 2024, pp. 347– 371. [33]T. Guo and S. Li,The James theorem in complete random normed modules, J. Math. Anal. Appl., 308 (2005), pp. 257–265. [34]T. Guo, X. Mu, and...

work page arXiv 2019
[12]

Sinica Math., 45 (2015), pp

,Random convex analysis (I): separation and Fenchel-Moreau duality in random locally convex modules (in Chinese), Sci. Sinica Math., 45 (2015), pp. 1961–1980. [45]D. G. Hartig,The Riesz Representation Theorem Revisited, The American Mathematical Monthly, 90 (1983), pp. 277–280. [46]R. Haydon, M. Levy, and Y. Raynaud,Randomly normed spaces, vol. 41 of Trav...

work page 2015
[13]

1429–1479

,An axiomatic theory of normed modules via Riesz spaces, The Quarterly Journal of Mathematics, 75 (2024), pp. 1429–1479. [54]M. Lu ˇci´c, E. Pasqualetto, and I. Vojnovi ´c,On the reflexivity properties of Banach bundles and Banach modules, Banach J. Math. Anal., 18 (2024). [55]F. Maggi,Sets of finite perimeter and geometric variational problems: an introd...

work page 2024
[14]

,Limits and colimits in the category of BanachL 0-modules, Rend. Semin. Mat. Univ. Padova, 154 (2025), pp. 105–142. [58]R. R. Phelps,Lectures on Choquet’s Theorem, Lecture Notes in Mathematics, Springer Berlin Heidelberg, 2003. [59]G. Pisier,Martingales in Banach Spaces, Cambridge Studies in Advanced Mathematics, Cambridge University Press, 2016. [60]H. R...

work page arXiv 2025

[1] [1]

,Random metric theory and its applications, PhD thesis, Xi’an Jiaotong University (China), 1992

work page 1992

[2] [2]

1150–1154

,A new approach to probabilistic functional analysis (in Chinese), in Proceedings of the first China Postdoctoral Academic Conference, The China National Defense and Industry Press, Beijing, 1993, pp. 1150–1154

work page 1993

[3] [3]

,Extension theorems of continuous random linear operators on random domains, Journal of Math- ematical Analysis and Applications, 193 (1995), pp. 15–27

work page 1995

[4] [4]

China Ser

,The Radon-Nikodym property of conjugate Banach spaces andw ∗-equivalence theorems ofw ∗- measurable functions, Sci. China Ser. A, 39 (1996), pp. 1034–1041

work page 1996

[5] [5]

,Some basic theories of random normed linear spaces and random inner product spaces, Acta Anal. Funct. Appl., 1 (1999), pp. 160–184

work page 1999

[6] [6]

China Ser

,Representation theorems of the dual of Lebesgue-Bochner function spaces, Sci. China Ser. A, 43 (2000), pp. 234–243

work page 2000

[7] [7]

China Ser

,The relation of Banach–Alaoglu theorem and Banach-Bourbaki-Kakutani- ˇSmulian theorem in com- plete random normed modules to stratification structure, Sci. China Ser. A, 51 (2008), pp. 1651–1663

work page 2008

[8] [8]

,Relations between some basic results derived form two kinds of topologies for a random locally convex module, J. Funct. Anal., 258 (2010), pp. 3024–3047

work page 2010

[9] [9]

,Recent progress in random metric theory and its applications to conditional risk measures, Science China Mathematics, 54 (2011), pp. 633–660

work page 2011

[10] [10]

,On some basic theorems of continuous module homomorphisms between random normed modules, J. Func. Spaces, (2013), p. 989102

work page 2013

[11] [11]

1, International Press of Boston, Somerville, 2024, pp

,Optimization of conditional convex risk measures, in Proceedings of the 8th International Congress of Chinese Mathematicians (Beijing, 2019), vol. 1, International Press of Boston, Somerville, 2024, pp. 347– 371. [33]T. Guo and S. Li,The James theorem in complete random normed modules, J. Math. Anal. Appl., 308 (2005), pp. 257–265. [34]T. Guo, X. Mu, and...

work page arXiv 2019

[12] [12]

Sinica Math., 45 (2015), pp

,Random convex analysis (I): separation and Fenchel-Moreau duality in random locally convex modules (in Chinese), Sci. Sinica Math., 45 (2015), pp. 1961–1980. [45]D. G. Hartig,The Riesz Representation Theorem Revisited, The American Mathematical Monthly, 90 (1983), pp. 277–280. [46]R. Haydon, M. Levy, and Y. Raynaud,Randomly normed spaces, vol. 41 of Trav...

work page 2015

[13] [13]

1429–1479

,An axiomatic theory of normed modules via Riesz spaces, The Quarterly Journal of Mathematics, 75 (2024), pp. 1429–1479. [54]M. Lu ˇci´c, E. Pasqualetto, and I. Vojnovi ´c,On the reflexivity properties of Banach bundles and Banach modules, Banach J. Math. Anal., 18 (2024). [55]F. Maggi,Sets of finite perimeter and geometric variational problems: an introd...

work page 2024

[14] [14]

,Limits and colimits in the category of BanachL 0-modules, Rend. Semin. Mat. Univ. Padova, 154 (2025), pp. 105–142. [58]R. R. Phelps,Lectures on Choquet’s Theorem, Lecture Notes in Mathematics, Springer Berlin Heidelberg, 2003. [59]G. Pisier,Martingales in Banach Spaces, Cambridge Studies in Advanced Mathematics, Cambridge University Press, 2016. [60]H. R...

work page arXiv 2025