TOPICS
Search

Jordan Measure Decomposition


The Jordan measure decomposition of a real measure mu expresses it as the difference of its positive and negative variations (Hunter 2011, p. 73). The positive variation is defined by

 mu^+=1/2(|mu|+mu),
(1)

where |mu| is the total variation. Similarly, the negative variation is

 mu^-=1/2(|mu|-mu).
(2)

Then the Jordan decomposition of mu is defined as

 mu=mu^+-mu^-.
(3)

When mu already is a positive measure then mu=mu^+. More generally, if mu is absolutely continuous with respect to Lebesgue measure on R, then

 mu(E)=int_Efdx,
(4)

where f is a measurable real-valued function with int|f|dx<infty (Hunter 2011, pp. 77-78). The variations mu^+ and mu^- are also absolutely continuous with respect to Lebesgue measure. They can be written as

 mu^+(E)=int_Ef^+dx
(5)

and

 mu^-(E)=int_Ef^-dx,
(6)

where f=f^+-f^- is the decomposition of f into its positive part and negative part.

The Jordan decomposition has a so-called minimum property. In particular, given any finite positive measure lambda, the real measure mu has another decomposition

 mu=(mu^++lambda)-(mu^-+lambda).
(7)

The Jordan decomposition is minimal with respect to these changes. One way to say this is that any decomposition mu=lambda_1-lambda_2 into finite positive measures must have lambda_1>=mu^+ and lambda_2>=mu^-.


See also

Measure, Polar Representation, Positive Measure, Real Measure, Signed Measure, Total Variation

Portions of this entry contributed by Todd Rowland

Explore with Wolfram|Alpha

References

Hunter, J. K. Measure Theory. Davis, CA: University of California, pp. 73-74 and 77-78, 2011. https://www.math.ucdavis.edu/~hunter/measure_theory/measure_notes.pdf.

Referenced on Wolfram|Alpha

Jordan Measure Decomposition

Cite this as:

Weisstein, Eric W., with contributions by Todd Rowland. "Jordan Measure Decomposition." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/JordanMeasureDecomposition.html

Subject classifications