ScalingStacks

Definition 3.92 . [02NL]

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

Definition 3.92.

Let ff be a concave function on NℝN_{\mathbb{R}}. The real Monge-Ampère measure of ff with respect to μ\mu is defined, for a Borel subset EE of NℝN_{\mathbb{R}}, as

ℳμ​(f)​(E)=μ⁡(∂f⁡(E)).{\mathcal{M}}_{\mu}(f)(E)=\mu(\partial f(E)).

It is a measure with support contained in dom⁡(∂f){\operatorname{dom}}(\partial f). The correspondence f↦ℳμ​(f)f\mapsto{\mathcal{M}}_{\mu}(f) is called the Monge-Ampère operator.

When the measure μ\mu is clear from the context, we will drop it from the notation. Moreover, since we are not going to consider complex Monge-Ampère measures, we will simply call ℳμ​(f){\mathcal{M}}_{\mu}(f) the Monge-Ampère measure of ff.

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