Lebesgue's decomposition theorem

In mathematics, more precisely in measure theory, Lebesgue' decomposition theorem is a theorem which states that given $\mu$ and $\nu$ two σ-finite signed measures in a measurable space $(\Omega ,\Sigma ),$ there exist two σ-finite signed measures $\nu _{0}$ and $\nu _{1}$ such that:

• $\nu =\nu _{0}+\nu _{1}\,$
• $\nu _{0}\ll \mu$ (that is, $\nu _{0}$ is absolutely continuous with respect to $\mu$)
• $\nu _{1}\perp \mu$ (that is, $\nu _{1}$ and $\mu$ are singular).

These two measures are uniquely determined.

---

Lebesgue decomposition theorem at PlanetMath.