Radon-Nikodym Theorem

Theorem
Let $\struct {X, \Sigma}$ be a measurable space.

Let $\mu$ and $\nu$ be $\sigma$-finite measures on $\struct {X, \Sigma}$ such that:


 * $\nu$ is absolutely continuous with respect to $\mu$.

Then there exists a $\Sigma$-measurable function $g : X \to \hointr 0 \infty$ such that:


 * $\ds \map \nu A = \int_A g \rd \mu$

for each $A \in \Sigma$.

Further, if $g_1 : X \to \hointr 0 \infty$ and $g_2 : X \to \hointr 0 \infty$ are such that:


 * $\ds \map \nu A = \int_A g_1 \rd \mu = \int_A g_2 \rd \mu$

for each $A \in \Sigma$, then:


 * $g_1 = g_2$ $\mu$-almost everywhere.