1 Statement of the theorem

The Hahn decomposition theorem is a central result in measure theory for signed measures. It asserts that a measurable space can be split into two measurable parts that separate the nonnegative behavior of the measure from its nonpositive behavior. This partition is fundamental because it allows a signed measure to be studied by examining regions where it acts like a positive measure and regions where it acts like a negative one.

1.1 Signed measures

A signed measure is a set function on a sigma-algebra that is countably additive and may take both positive and negative values, while remaining well defined on measurable sets. Unlike an ordinary measure, it is not required to be nonnegative. Signed measures arise naturally when differences of measures are considered, as well as in integration and functional representation problems.

1.2 Measurable spaces and sigma-algebras

The theorem is formulated on a measurable space, consisting of a set together with a sigma-algebra of measurable subsets. The sigma-algebra provides the family of sets on which the signed measure is defined. Its closure under complements and countable unions is essential for constructing the decomposition and ensuring that the relevant subsets are measurable.

1.3 Positive and negative sets

A positive set is a measurable set whose every measurable subset has nonnegative measure. Similarly, a negative set is a measurable set whose every measurable subset has nonpositive measure. These notions capture the local behavior of a signed measure more precisely than the sign of the measure of the whole set alone.

1.4 Hahn decomposition

The theorem states that for any signed measure, there exist measurable sets P and N such that the space is the disjoint union of P and N, P is positive, and N is negative. Such a pair is called a Hahn decomposition. It is not necessarily unique as an exact partition, but any two decompositions differ only on sets of measure zero in an appropriate sense.

2 Interpretation and intuition

The Hahn decomposition gives a structural picture of a signed measure by separating regions of fundamentally different behavior. Rather than treating the measure as globally positive or negative, the theorem shows that these tendencies can coexist on different measurable parts of the space.

2.1 Geometric viewpoint

From a geometric standpoint, the decomposition acts like a cut that divides the space into two zones. One zone contributes only nonnegative mass to its measurable subsets, while the other contributes only nonpositive mass. This resembles separating upward and downward contributions so that each can be analyzed independently.

2.2 Measure-theoretic meaning

Measure-theoretically, the theorem identifies maximal regions on which the signed measure has a fixed sign when restricted to subsets. This is stronger than merely observing the sign of the measure of the whole region. It ensures that no measurable subset of the positive part can carry negative measure, and no measurable subset of the negative part can carry positive measure.

2.3 Relation to positivity and negativity

The result formalizes the idea that a signed measure has an intrinsic positive side and negative side. These sides are not necessarily obvious from the original definition, but the theorem guarantees their existence. This separation prepares the way for later constructions such as decomposition into positive and negative measures.

3 Proof of the theorem

A standard proof proceeds by selecting a maximal positive set and then taking its complement. The argument uses countable additivity and the impossibility of enlarging the positive region without violating positivity.

3.1 Construction of the positive set

One begins by considering the collection of all positive measurable sets. Using unions of increasing families and countable additivity, one can build a positive set that is maximal with respect to inclusion, up to null differences. This set is chosen so that adding any measurable subset of its complement would destroy positivity.

3.2 Construction of the negative set

Once a maximal positive set is selected, its complement is shown to be negative. If the complement contained a measurable subset of positive measure, that subset could be adjoined to the positive set, contradicting maximality. This establishes the existence of the negative side of the decomposition.

3.3 Verification of the decomposition properties

The two sets are measurable, disjoint, and together cover the entire space. The positivity of one part and negativity of the other are checked by examining measurable subsets and using the maximality argument. The result is a genuine partition with the required sign properties.

3.4 Uniqueness up to null sets

Although a Hahn decomposition is not unique in a strict set-theoretic sense, any two decompositions agree up to sets that are negligible for the signed measure in the relevant sense. This near-uniqueness is enough for most applications, since the decomposition is intended to identify sign structure rather than a uniquely named partition.

The Hahn decomposition theorem is closely connected to other foundational results about signed measures. Its main importance lies in enabling a canonical separation of a signed measure into positive and negative components.

4.1 Jordan decomposition theorem

The Hahn decomposition leads directly to the Jordan decomposition theorem, which expresses a signed measure as the difference of two mutually singular positive measures. The positive and negative parts are built from the Hahn decomposition and provide a refined algebraic structure.

4.1.1 Decomposition into positive and negative measures

Given a Hahn decomposition, one can define two positive measures by restricting the signed measure to the positive and negative parts in an appropriate manner. These measures encode the magnitude of the positive and negative contributions separately. Their difference reconstructs the original signed measure.

4.1.2 Total variation measure

The total variation measure measures the overall size of a signed measure regardless of sign. It is derived from the positive and negative parts and plays a major role in comparing signed measures, proving boundedness properties, and defining norms on spaces of measures.

4.2 Uniqueness of signed measure decomposition

The Jordan decomposition is unique, even though the Hahn decomposition itself is only unique up to negligible sets. This distinction is important: the partition may vary, but the resulting positive and negative measures are determined uniquely. Thus the theorem supports a canonical decomposition at the level of measures.

4.3 Existence of maximal positive sets

The proof shows that maximal positive sets exist under mild hypotheses. This maximality principle is a useful idea in measure theory because it identifies regions that cannot be enlarged without losing a sign property. It also appears in related maximality arguments in analysis.

5 Examples

Examples help illustrate how the theorem works in concrete settings. In each case, the decomposition reflects where the signed measure accumulates positive and negative contributions.

5.1 Finite signed measures

For a signed measure on a finite set, the decomposition is easy to see. One may group points with positive weights into the positive part and points with negative weights into the negative part. The theorem then becomes a finite partition of the underlying set into two regions of opposite sign behavior.

5.2 Measures on intervals

On an interval, a signed measure may be given by integration against a density that changes sign. The positive set can then be taken where the density is nonnegative, and the negative set where it is nonpositive, subject to the measure-theoretic structure of the space. This provides an intuitive picture, though the actual decomposition is formulated in terms of measurable subsets rather than pointwise values alone.

5.3 Discrete measure spaces

In discrete measure spaces, the theorem is especially transparent. Each atom or point can be assigned according to whether it contributes positively or negatively. The decomposition mirrors the sign pattern of the measure on individual elements and is often the simplest setting in which to understand the result.

6 Applications

The Hahn decomposition theorem is widely used across analysis because it organizes signed measures into manageable pieces. It is a basic tool whenever positivity and negativity must be separated in a rigorous way.

6.1 Measure theory

Within measure theory, the theorem supports the study of variation, absolute continuity, and decomposition of measures. It clarifies how signed measures behave on measurable subsets and provides a foundation for more advanced structural results.

6.2 Functional analysis

In functional analysis, signed measures appear in the representation of linear functionals and dual spaces. The Hahn decomposition helps analyze the positive and negative parts of such functionals and underlies the theory of bounded linear functionals on spaces of continuous functions.

6.3 Probability theory

In probability theory, signed measures occur in difference constructions, perturbation arguments, and advanced limit theorems. The decomposition offers a way to isolate positive and negative contributions when comparing probability distributions or studying signed extensions of probabilistic models.

7 Variants and generalizations

The ideas behind the Hahn decomposition extend beyond ordinary signed measures. Similar separation principles appear in more general contexts where additivity and sign-like structure are present.

7.1 Complex measures

For complex measures, one may decompose the measure into real and imaginary parts and then apply signed-measure techniques to each part. Although complex measures do not admit a Hahn decomposition in the same direct form, related notions of variation and decomposition serve a similar role.

7.2 Vector measures

Vector measures take values in a vector space rather than the real numbers. Their structure is more complicated, so a simple positive-negative partition is usually unavailable. Nevertheless, measure decomposition ideas remain important, especially in studying variation, range, and scalar projections.

7.3 Countably additive set functions

More general countably additive set functions may not have a true sign structure, but many can still be analyzed using decomposition methods inspired by the Hahn theorem. These generalizations help extend the intuition of separating contributions into opposing components while preserving additivity.