Sum of two closed sets are measurable

  • Thread starter hhj5575
  • Start date
  • #1
8
0
I tried very long time to show that
For closed subset A,B of R^d, A+B is measurable.

A little bit of hint says that it's better to show that A+B is F-simga set...
It seems also difficult for me as well...

Could you give some ideas for problems?
 

Answers and Replies

  • #2
299
20
Try showing that if A and B are compact, then A+B is also compact. Then in the general case where A and B are closed, can you see how to write A+B as the countable union of compact sets?
 
  • #3
8
0
hmm.. I thought that if A,B is closed, then A+B is not necessarily closed...
 
  • #4
299
20
That's true, but you're not being asked to prove that A+B is closed, you're being asked to prove that it's a countable union of closed sets. That's why you start with the case where A+B is compact. If A and B are compact instead of just closed, then A+B really is compact. Then you can use the fact that every closed set is a countable union of compact sets to prove that A+B is F_σ
 
  • #5
8
0
Aha. I got your idea!
I'm now wondering how I can show the fact that compactness is closed under the set addition..

Is it better to use open covering argument?
 
  • #6
299
20
Actually it's probably faster to use the fact that a subset of R^n is compact iff every sequence has a convergent subsequence.
 
  • #7
8
0
hmm.. I'm not sure It is actually true that every seq in A+B has a convergent subseq.

assuring the exsitence of conv subseq in A and B does not implies so as well A+B... Isn't it?
 
  • #8
299
20
A sequence in A+B is of the form [itex]\{a_n + b_n\}_{n\in \mathbb{N}}[/itex], where [itex]a_n\in A[/itex] and [itex]b_n\in B[/itex]. Can you find a subsequence such that [itex]a_{n_k}[/itex] converges and [itex]b_{n_k}[/itex] converges? What does that say about [itex]a_{n_k} + b_{n_k}[/itex]?
 
  • #9
8
0
I got it. Thank you very much!
 

Related Threads on Sum of two closed sets are measurable

  • Last Post
Replies
11
Views
13K
Replies
3
Views
11K
Replies
6
Views
4K
  • Last Post
Replies
7
Views
4K
  • Last Post
Replies
2
Views
1K
  • Last Post
Replies
1
Views
2K
  • Last Post
Replies
2
Views
2K
  • Last Post
Replies
11
Views
5K
Replies
1
Views
3K
Replies
4
Views
589
Top