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, 2012 at 2:51
  • $\begingroup$ Im sorry, didnt noticed $\endgroup$
    – goblin
    Nov 25, 2012 at 3:01
  • $\begingroup$ It seems Theo Buehler added the tag "real" which should be eliminated. $\endgroup$
    – S. Carnahan
    Nov 25, 2012 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$ Nov 25, 2012 at 7:37
  • 3
    $\begingroup$ Please do not crosspost at M.SE and MO (math.stackexchange.com/questions/244064/…). $\endgroup$ Nov 25, 2012 at 9:47

2 Answers 2

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.