# A question about regular signed or complex Borel measure under LRN decomposition

Suppose $\nu$ is a regular signed or complex Borel measure on $\mathbb R^n$, m is the Lebesgue measure on the class of Borel sets $\mathcal B_{\mathbb R^n}$ and the Lebesgue-Radon-Nikodym decomposition of $\nu$ is $d\nu=d\lambda+fdm$ where f is an extended m-integrable function when $\nu$ is a signed measure or $\in L^1(m)$ when $\nu$ is a complex measure and $\lambda\bot m$. Prove that $d|\nu|=d|\lambda|+|f|dm$ where the notation $|\bullet|$ represents total variation.

PS: A Borel measure $\nu$ on $\mathbb R^n$ is regular if $\nu(K)<\infty$ for every compact K. From this definition we have $\nu(E)=\inf \{\nu(U)|U{\;\rm{ open},}U\supseteq E\}$. A signed or complex Borel measure on $\mathbb R^n$ is regular if $|\nu|$ is regular.

Thanks!

-
Is this something you have seen in a textbook and are trying to work out? or a generalization of something you have seen? –  Yemon Choi Mar 20 '11 at 9:45
As phrased, this does not really look appropriate for MO; but perhaps I am failing to notice some subtlety here... –  Yemon Choi Mar 20 '11 at 9:46
I don't understand your comment. –  zzzhhh Mar 20 '11 at 9:49
Does my question hurt you? –  zzzhhh Mar 20 '11 at 9:50
He means it looks like a homework-type problem (which is inappropriate here) and not a research-type problem (which is appropriate here). –  Gerald Edgar Mar 20 '11 at 13:18

## 1 Answer

If $\nu\bot\lambda$, then $|\nu+\lambda|=|\nu|+|\lambda|$

-