Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Suppose $u$ and $v$ are measures on a measurable space $E$. Further suppose $u$ is finite and absolutely continuous with respect to v ($v(S)=0 \implies u(S)=0$). The problem is: Show that $\forall \epsilon>0 \;\;\;\exists \delta: v(S)<\delta \implies u(S)<\epsilon.$

I've tried the following:

Fix $\epsilon>0$.

Let $S_n=\{measurable\;\; B\in E|u(B)>\epsilon, v(B)<1/n\}$.

If $S_n$ is finite for some n we are done ($v(S)=0 \implies u(S)=0$).

Now what I am trying to show is that the other case, $S_n$ is infinite $\forall n\in\mathbb{N}$, leads to a contradiction. Any suggestions?

share|cite|improve this question
up vote 2 down vote accepted

I think that if you change the 1/n into $1/(2^n)$ and choose a sequence $B_n\in S_n$ such that $v(B_n)<2^{-n}$, and $u(B_n)>\epsilon$, and consider $B=\limsup B_n=\bigcap(\bigcup B_n)$, you might get your contradiction.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.