Signed measure
From Wikipedia, the free encyclopedia
In mathematics, signed measure is a generalization of the concept of measure by allowing it to have negative values. Some authors may call it a "charge".
Contents |
[edit] Definition
There are two slightly different concepts of a signed measure, depending on whether or not one allows it to take infinite values. In research papers and advanced books signed measures are usually only allowed to take finite values, while undergraduate textbooks often allow them to take infinite values. To avoid confusion, this article will call these two cases "finite signed measures" and "extended signed measures".
Given a measurable space (X, Σ), that is, a set X with a sigma algebra Σ on it, an extended signed measure is a function
which is sigma additive, that is, satisfies the equality
for any sequence A1, A2, ..., An, ... of disjoint sets in Σ. Notice that an extended signed measure can either take +∞ as value but not −∞, or vice-versa, since the expression ∞−∞ is undefined (see Extended real number line), and thus must be avoided.
A finite signed measure is defined in the same way, except that it is only allowed to take (finite) real values.
Finite signed measures form a vector space, while extended signed measures are not even closed under addition, which makes them rather hard to work with. On the other hand, measures are extended signed measures, but are not in general finite signed measures.
[edit] Examples
Consider a nonnegative measure ν on the space (X, Σ) and a measurable function f:X→ R such that
Then, a finite signed measure is given by
for all A in Σ.
This signed measure takes only finite values. To allow it to take +∞ as a value, one needs to replace the assumption about f being absolutely integrable with the more relaxed condition
where f−(x) = max(−f(x), 0) is the negative part of f.
[edit] Properties
What follows are two results which will imply that an extended signed measure is the difference of two nonnegative measures, and a finite signed measure is the difference of two finite non-negative measures.
The Hahn decomposition theorem states that given a signed measure μ, there exist two measurable sets P and N such that:
- P∪N = X and P∩N = ∅;
- μ(E) ≥ 0 for each E in Σ such that E ⊆ P — in other words, P is a positive set;
- μ(E) ≤ 0 for each E in Σ such that E ⊆ N — that is, N is a negative set.
More, this decomposition is unique up to adding to/subtracting from P and N μ-null sets.
Consider then two nonnegative measures μ+ and μ- defined by
and
for all measurable sets E, that is, E in Σ.
One can check that both μ+ and μ- are nonnegative measures, with one taking only finite values, and are called the positive part and negative part of μ, respectively. One has that μ = μ+ - μ-. The measure |μ| = μ+ + μ- is called the variation of μ, and its maximum possible value, ||μ|| = |μ|(X), is called the total variation of μ.
This consequence of the Hahn decomposition theorem is called the Jordan decomposition. The measures μ+, μ- and |μ| are independent of the choice of P and N in the Hahn decomposition theorem.
[edit] The space of signed measures
The sum of two finite signed measures is a finite signed measure, as is the product of a finite signed measure by a real number. It follows that the set of finite signed measures on a measure space (X, Σ) is a real vector space. Furthermore, the total variation defines a norm in respect to which the space of finite signed measures becomes a Banach space.
If X is a compact space, then the space of finite signed Baire measures is the dual of the real Banach space of all continuous real-valued functions on X, by the Riesz representation theorem.
[edit] See also
[edit] References
- Donald L. Cohn, Measure theory, Birkhäuser, 1997. ISBN 3-7643-3003-1.
- Robert G. Bartle, "The Elements of Integration", 1966.
This article incorporates material from the following PlanetMath articles: Signed measure, Hahn decomposition theorem, and Jordan decomposition. Their content is licensed under the GFDL.