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

I need to prove that if $A$ and $B$ are two closed sets in $\mathbb R^n$, then $A + B$ is an $F_\sigma$.

I started by writing out $A$ and $B$ each as an $F_\sigma$ by intersecting each with balls of center $0$ radius $n$, and taking the union, I don't know if that's a good idea.

Any hint is appreciated. Thanks.

share|cite|improve this question
Your title says that you want to show $A+B$ is measurable. Your post says that you want to show that $A+B$ is $F_{\sigma}$. Of course, the latter implies the former, but which one is it you are actually trying to prove? – Arturo Magidin Oct 18 '11 at 4:04
+1 Since I'm also curious to know how this (the sum is an F-sigma) can be done. I tried taking the union $A + B = \bigcup_{a\in A}\{a\} + B$, but this is an uncountable union unfortunately. – mathmath8128 Oct 18 '11 at 4:07
I think that people here kindly gives you answers to your posts. Have you considered expressing your gratefulness, by accepting the answers? – leo Oct 18 '11 at 8:31
yeah, the uncountable union does not work,.. we have to go to an argument with compact sets – alice Oct 18 '11 at 13:08
up vote 9 down vote accepted

If $A$ is closed and $B$ is compact, show that $A+B$ is closed. (Hint: Use sequential compactness.) In general, write $B$ as a countable union of compact sets. If you need more detail, please let me know and I will gladly provide it.

share|cite|improve this answer
thank you, very helpful! – alice Oct 18 '11 at 13:07
@alice No problem, I'm glad I helped! – Nick Strehlke Oct 18 '11 at 19:13

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.