How we should calculate the Lebesgue decomposition of a measure? Please explain it with an example such I can get the whole idea behind it.
closed as off topic by Andres Caicedo, Michael Renardy, Anthony Quas, Alexandre Eremenko, Goldstern Dec 10 '12 at 23:58Questions on MathOverflow are expected to relate to research level mathematics within the scope defined by the community. Consider editing the question or leaving comments for improvement if you believe the question can be reworded to fit within the scope. Read more about reopening questions here. If this question can be reworded to fit the rules in the help center, please edit the question. 


Let e.g. $\nu$ be a finite Borel measure on $[a,b]$ and $m$ the Lebesgue measure. So the function $[a,b]\ni x\mapsto \nu\big([a,x)\big)$ is a BV function. It is therefore differentiable $m$a.e., and its derivative $\rho(x)$ coincides with the RadonNikodym derivative of the absolutely continuous part of $\nu$. Knowing $\rho$ you can deduce the Lebesgue decomposition of $\nu$ wrto the Lebesgue measure: $\nu=\nu _ a+\nu _ s$ with $\nu _a\perp\nu _ s$ where $\nu_a(E)=\int_E\rho(x)dm(x)$. 

