Let $A,B \subset \Bbb R$ be measurable sets with a positive and finite measure, and let $\mu$ be the Lebesgue measure. Define $f(x)=\mu((A+x) \cap B)$. Show that $f$ is continues.

I'm not sure how to approach this. Any clues?

  • $\begingroup$ Is $\mu$ Lebesgue measure? (The assertion will fail if $\mu$ puts positive weight on certain singletons, or even if $\mu$ is not absolutely continuous.) $\endgroup$ – John Dawkins Sep 23 '17 at 16:08
  • $\begingroup$ Thanks @JohnDawkins. Yes, it is. $\endgroup$ – mibarg Sep 23 '17 at 16:21


Use that for every set of finite measure there exists a finite union of intervals that approximates the set.

Therefore, there exists $A_1$, $B_1$ finite unions of intervals so that $$\mu(A\Delta A_1) < \epsilon \\ \mu(B \Delta B_1) < \epsilon $$

Now, denote consider the function $$f_1(x)= \mu((A_1+ x) \cap B_1)$$

Show that: $$|f_1(x)- f(x)| < 2 \epsilon $$ $$|f_1(x) - f_1(y)| \le m\, n|x-y|$$ if $A_1$ consists of $m$ intervals, and $B_1$ of $n$intervals (this last one is a poor estimate, but sufficient).

We conclude: if $|x-y| < \frac{\epsilon}{mn}$, then $|f(x) - f(y)|< 3 \epsilon$. Thus $f$ is (uniformly) continuous.


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.