0
$\begingroup$

Im trying to prove a generalization of the Radon Nykodym theorem, but im having troubles even for finite measures, could someone help?

Let $\mu$ and $\nu$ two $\sigma$-finite measures in $\(X,\mathcal{F})$. If $\nu$ << $\mu$, then there exists a non-negative function $h \in L^1(X,\mu)$, such that for every function $F\in M^+(X,\mathcal{F})$, it is satisfied that $\int_X F(x)\\,d\nu =\int_X F(x)h(x)\\,d\mu$

$\endgroup$
6
  • $\begingroup$ Dear goblin, why did you revert my corrections of spelling and formatting? $\endgroup$ – Yemon Choi Nov 25 '12 at 2:51
  • $\begingroup$ Im sorry, didnt noticed $\endgroup$ – goblin Nov 25 '12 at 3:01
  • $\begingroup$ It seems Theo Buehler added the tag "real" which should be eliminated. $\endgroup$ – S. Carnahan Nov 25 '12 at 3:04
  • 1
    $\begingroup$ @goblin: why do you call this a generalization? This is the usual statement of the theorem, up to some incorrectness. The hypothesis "$\nu$ absolutely continuous wrto $\mu$" is denoted "$\nu < < \mu$", not " $\mu < < \nu$ ". In general, $h$ is not in $L^1(X,\mu)$ if $\mu(X)=+\infty$ (e.g. it is identically $1$ if $\mu=\nu$). $\endgroup$ – Pietro Majer Nov 25 '12 at 7:37
  • 3
    $\begingroup$ Please do not crosspost at M.SE and MO (math.stackexchange.com/questions/244064/…). $\endgroup$ – Michael Greinecker Nov 25 '12 at 9:47
0
$\begingroup$

If you assume you have proven the Radon-Nikodym theorem for measures $\mu,\nu$, $\nu <<\mu$, then for any $F$ in such a class, the measure $\mu_F,\nu_F$ defined by

$\mu_F(E):=\int_E F(x)\;d\mu$,

$\nu_F(E):=\int_E F(x)\;d\nu$,

then since $\nu_F << \mu_F$ (if your definition of absolute continuity is equivalent to $\nu(E)=0$ whenever $\mu(E)=0$), you can apply the Radon-Nikodym theorem for $\nu_F,\mu_F$ and achieve the desired result.

$\endgroup$
1
$\begingroup$

If $h$ is a density of $\nu$ w.r.t. $\mu$ then $\int F d\nu = \int Fh d\mu$ holds for all indicator functions (just by the definitions of a density and the integral). This extends to simple measurable functions (taking only finitely many positive values) by linearity and then to all positive measurable functions by monotone convergence.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.