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

Let $V \subset \mathbb R^{k}$ an open e that $\mu$ is a Borel measure positive over $\mathbb R^{k}$. The function $x \rightarrow \mu(V+x)$ is continuous? Is lower semicontinuous? Is upper semicontinuous?

Comment. If $\mu$ was Lebesgue measure we have that $m(V+x)=m(V)$ then $f: x \rightarrow \mu(V+x)$ is measurable therefore by Lusin's Lemma since $V\subset X$ and suppose $\mu(V) < \infty$ and let $\epsilon > 0$ $\exists$ compact $K \subset V$.

$\mu (V-K) < \epsilon$ and $f|_K$ is continuous.

Beside that, well I have that $\mu(E) = c m(E)$ for a constant $c \in \mathbb R^{k}$ and for all borel set $E \in \mathbb R^{k}$.

Some hint?

share|cite|improve this question
If $\mu$ is Lebesgue measure then $f\colon x\to \mu(V+x)$ is just a constant function, so it is trivially continuous. This said, try to see what happens when $V=\{0\}$ and $\mu=\delta$. – Giuseppe Negro Jan 27 '13 at 3:30
Sorry, when referring to $\mu = \delta$ it is the $\mathcal X_{E}$ measure. When $\mathcal X_{E}(x) = 1 $ if $x \in E$ and $0$ if $x \notin E$. Sorry may use different notations. – Malaq Jan 27 '13 at 17:06
Definition of measure $\delta$ is: $\delta (E)=1$ if $0\in E$ and $\delta(E)=0$ otherwise. Don't get confused with $\chi_E$ which is a function, not a measure. – Giuseppe Negro Jan 27 '13 at 17:15
It's the Dirac Measure, right? I see in Gerald Folland Real Analysis – Malaq Jan 27 '13 at 17:16
Yes, it is the Dirac Measure, also known as Dirac Delta. – Giuseppe Negro Jan 27 '13 at 17:28

I'll give some hints since this is homework.

  1. Using @Giuseppe Negro's example with $V$ the unit ball and $\mu=\delta$ then $f(x)=1_{V}(x)$ so the only possible option is...

  2. If $x_n\to x$ and we define $g(y)=\liminf_n \chi_{x_n+V}(y)$ then $g(y)\geq \chi_{x+V}(y)$ for all $y\in \mathbb{R}^k$ (in particular $\chi_{x_n+V} \to \chi_{x+V}$ in $x+V$).

  3. Fatou's lemma.

share|cite|improve this answer
I'm thinking in the step 2 and the link to solve the problem, do not know yet. I'll think a bit more. The answer of the step 1 is upper semicontinuous. Thanks ^^. – Malaq Jan 27 '13 at 18:27
@Malaq: Actually it should be lower semicontinuous, Giuseppe's original example gives an upper semicontinuous function, but his $V$ is closed. – Jose27 Jan 27 '13 at 19:59
When you referred to a unit ball, it was a open ball or a compact ball, because I think that was a compact ball, sorry. – Malaq Jan 27 '13 at 20:25
@Malaq: Since your problem states $V$ open I took the open unit ball. – Jose27 Jan 27 '13 at 20:51
@Malaq: No problem, just keep that hypothesis in mind when you try to prove 2. – Jose27 Jan 27 '13 at 21:40


I solve this exercice until one point. We tell that if $\mu$ is a Lebesgue measure, $f$ is continuous.

Take $V$ a normal ball open centered at $0$, (because is easy to see) take $\mu = \delta_{1}$, and the sequence $\{\frac{1}{k}\}$, we have that $\mu(\frac{1}{k} + V) =1$ $\forall k$. For this $f$ not be continuous, moreover $f$ not be upper semicontinuous because $\{x: f(x)<1\} = \{0\}$.

The last questions: $f$ is lower semicontinuous?

In the case above $\mu$ is.

Usually this happens?

share|cite|improve this answer

Your Answer


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

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