12
$\begingroup$

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.

  • 2
    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?2011-10-18
  • 1
    +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.2011-10-18
  • 0
    I think that people here kindly gives you answers to your posts. Have you considered expressing your gratefulness, by accepting the answers?2011-10-18
  • 0
    yeah, the uncountable union does not work,.. we have to go to an argument with compact sets2011-10-18
  • 0
    It is interesting to mention that this exercise implies that the sum of two $F_{\sigma}$ sets remains and $F_{\sigma}$ set.2017-01-05

1 Answers 1

14

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.