ScalingStacks

Proposition 3.111 . [02P5]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Proposition 3.111.

Let f1,…,fnf_{1},\dots,f_{n} be concave functions such that ri⁡(dom⁡(f1))∩⋯∩ri⁡(dom⁡(fn))≠∅\operatorname{ri}({\operatorname{dom}}(f_{1}))\cap\dots\cap\operatorname{ri}({\operatorname{dom}}(f_{n}))\neq\emptyset and E⊂NℝE\subset N_{\mathbb{R}} a Borel subset. Then

ℳM​(f1,…,fn)​(E)=1n!​MVM​(∂f1​(E),…,∂fn​(E)).{\mathcal{M}}_{M}(f_{1},\dots,f_{n})(E)=\frac{1}{n!}\operatorname{MV}_{M}(\partial f_{1}(E),\dots,\partial f_{n}(E)).

If f1,…,fkf_{1},\dots,f_{k} are piecewise affine, this formula holds under the weaker hypothesis dom⁡(f1)∩⋯∩dom⁡(fk)∩ri⁡(dom⁡(fk+1))∩⋯∩ri⁡(dom⁡(fn))≠∅{\operatorname{dom}}(f_{1})\cap\dots\cap{\operatorname{dom}}(f_{k})\cap\operatorname{ri}({\operatorname{dom}}(f_{k+1}))\cap\dots\cap\operatorname{ri}({\operatorname{dom}}(f_{n}))\neq\emptyset.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.