User:Caliburn/s/mt/Change of Measure Formula for Integrals

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

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


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

Let $g : X \to \overline \R$ be a $\mu$-integrable function.

Let:


 * $\ds f \in \frac {\d \mu} {\d \lambda}$

where $\dfrac {\d \mu} {\d \lambda}$ is the Radon-Nikodym derivative of $\mu$ with respect to $\lambda$.

Then:


 * $\ds \int g \rd \mu = \int g f \rd \lambda$

As an abuse of notation, this can be written more pleasingly as:


 * $\ds \int g \rd \mu = \int g \frac {\d \mu} {\d \lambda} \rd \lambda$