Year: 2025
Type: article
Abstract: In a seminal paper, Choquet introduced an integral formula to extend a monotone increasing setfunction on a sigma-algebra to a (nonlinear) functional on bounded measurable functions. The most important special case is when the setfunction is submodular; then this functional is convex (and vice versa). In the finite case, an analogous extension was introduced by this author; this is a rather special case, but no monotonicity was assumed. In this note we show that Choquet's integral formula can be applied to all submodular setfunctions, and the resulting functional is still convex. We extend the construction to submodular setfunctions defined on a set-algebra (rather than a sigma-algebra). The main property of submodular setfunctions used in the proof is that they have bounded variation. As a generalization of the convexity of the extension, we show that (under smoothness conditions) a "lopsided" version of Fubini's Theorem holds.
Author: L. Lovász
Institution: HUN-REN Alfréd Rényi Institute of Mathematics
Language: English
Subfield: Applied Mathematics
Field: Mathematics
Domain: Physical Sciences
Open Access status: hybrid
Estimated APC paid: $3,090
Funder: H2020 European Research Council
OpenAlex ID: W4410974644