0
$\begingroup$

Here I state the problem:

Let $\mu, \nu, \nu_n$ be finite measures on $(X, \mathcal{F})$, and suppose that $\nu_n \ll \mu$ for all $n \in \mathbb{N}$. Is it true that if $|\nu_n - \nu|(X) \to 0$ as $n \to \infty$, then $\nu \ll \mu$?

My Attempt: We show the statement is true. By Radon Nikodym, since $\nu_n \ll \mu$ for all $n \in \mathbb{N}$, we can find functions $f_n: X \to [0, \infty)$ such that $\nu_n(E) = \int_E f_n d\mu$ with $E \in \mathcal{F}$. Recall that we have by the Jordan Decomposition $$ |\nu_n - \nu| = (\nu_n - \nu)^+ + (\nu_n - \nu)^-. $$ Therefore, we have $(\nu_n - \nu)^+(X) \to 0$ and $(\nu_n - \nu)^-(X) \to 0$.

I am then a little lost about the information we have here. Maybe the use of Radon Nikodym Theorem is not helpful here? I don't see how we can put the $f_n$ to use. On the other hand, we may also show for all $\epsilon > 0$, there exists $\delta > 0$ such that if $\mu(E) < \delta$, then $\nu(E) < \epsilon$ as $\mu, \nu$ are finite measures. However, it is also not clear why this would help for me. Any hints would be appreciated.

$\endgroup$

1 Answer 1

1
$\begingroup$

For any real or complex measure $\tau$ we have $| \tau(E)| \leq |\tau|(E)$. You can find this in Rudin's RCA.

If $\mu (A)=0$ then $\nu_n (A)=0$ for each $n$ and $|\nu_n(A)-\nu(A)| \leq |\nu_n-\nu| (A) \to 0$ so $\nu (A)=0$. Hence, $\nu << \mu$.

[If $\tau$ is a real valued signed measure then $|\tau(A)|=|\tau^{+}(A)-\tau^{-}(A)|\leq \tau^{+}(A)+\tau^{-}(A)=|\tau|(A)$].

$\endgroup$
2
  • $\begingroup$ I see. Where have we used finiteness of measure space here or is that assumption just an extra condition for the problem to be well-defined? $\endgroup$ Commented Aug 29, 2022 at 16:21
  • $\begingroup$ @Mathematics_Beginner $\nu_n-\nu$ would not be defined if the measures are infinite measures. $\endgroup$ Commented Aug 29, 2022 at 23:12

You must log in to answer this question.

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.