Measure Theory – Calculating Radon Nikodym Derivative

measure-theoryradon-nikodym

I am trying to calculate the Radon-Nikodym derivative for $\mu = m + \delta_0$ where $m$ is Lebesgue measure over a compact subset of $\mathbb R$ and $\delta_0$ is Dirac measure at $0$.

Clearly, $m \ll \mu$ and $\mu \perp \delta_0$. Therefore, the Radon-Nikodym derivative exists, as both measures are $\sigma-$finite.

Let $f$ be a function such that $m(E) = \int_E fd\mu$. What is $f$ explicitly? Can I say $ 1_{X \setminus\{0\}} = f$ ??

Best Answer

Yes, the Radon-Nikodym derivative is $1_{X\setminus\{0\}}$. Note that $1_{X\setminus\{0\}}\ne1$ ($\mu$-a.e.) as $0$ is an atom for $\mu$.

Related Question