Lebesgue's decomposition theorem
Theorem From Wikipedia, the free encyclopedia
In mathematics, more precisely in measure theory, the Lebesgue decomposition theorem[1] provides a way to decompose a measure into two distinct parts based on their relationship with another measure.
Definition
Summarize
Perspective
The theorem states that if is a measurable space and and are σ-finite signed measures on , then there exist two uniquely determined σ-finite signed measures and such that:[2][3]
- (that is, is absolutely continuous with respect to )
- (that is, and are singular).
Refinement
Lebesgue's decomposition theorem can be refined in a number of ways. First, as the Lebesgue-Radon-Nikodym theorem. That is, let be a measure space, a σ-finite positive measure on and a complex measure on .[4]
- There is a unique pair of complex measures on such that If is positive and finite, then so are and .
- There is a unique such that
The first assertion follows from the Lebesgue decomposition, the second is known as the Radon-Nikodym theorem. That is, the function is a Radon-Nikodym derivative that can be expressed as
An alternative refinement is that of the decomposition of a regular Borel measure[5][6][7] where
- is the absolutely continuous part
- is the singular continuous part
- is the pure point part (a discrete measure).
The absolutely continuous measures are classified by the Radon–Nikodym theorem, and discrete measures are easily understood. Hence (singular continuous measures aside), Lebesgue decomposition gives a very explicit description of measures. The Cantor measure (the probability measure on the real line whose cumulative distribution function is the Cantor function) is an example of a singular continuous measure.
Related concepts
Lévy–Itō decomposition
The analogous[citation needed] decomposition for a stochastic processes is the Lévy–Itō decomposition: given a Lévy process X, it can be decomposed as a sum of three independent Lévy processes where:
- is a Brownian motion with drift, corresponding to the absolutely continuous part;
- is a compound Poisson process, corresponding to the pure point part;
- is a square integrable pure jump martingale that almost surely has a countable number of jumps on a finite interval, corresponding to the singular continuous part.
See also
- Decomposition of spectrum
- Hahn decomposition theorem and the corresponding Jordan decomposition theorem
- Spectrum (functional analysis) § Classification of points in the spectrum
- Spectral measure
Notes
References
Wikiwand - on
Seamless Wikipedia browsing. On steroids.