4
$\begingroup$

Possible Duplicate:
How can I prove $\sup(A+B)=\sup A+\sup B$ if $A+B= \lbrace a+b\mid a\in A, b\in B\rbrace $

here's a homework question I'm currently working on:

Let $A,B \subset \mathbb{R}$ non-empty sets bounded from above and from below. Show that $A+B$ is upper bounded and that $\sup(A+B)=\sup(A)+\sup(B)$

$A+B=\{a+b:a\in A, b \in B\}$

It was pretty easy to show to $A+B$ is upper-bounded by $\sup(A)+\sup(B)$, but I'm not quite sure how to prove that this is also the supremum. Any hints?

Thanks!

  • 0
    Take $(a_n)_n \subset A$ to be the sequence such that $\lim_n a_n = \sup(A)$, similarly for $b_n$. What can you say about $(a_n+b_n)_n$ ?2012-03-26

1 Answers 1

3

Well $a+b\leq \sup(A)+sup(B)$ then $\sup(A+B) \leq \sup (A)+\sup(B)$ for the other inequality consider $a_{\epsilon}\in A$ such that $ a_{\epsilon}>\sup A- \epsilon /2$ and $b_{\epsilon}\in B$ such that $ b_{\epsilon}>\sup B- \epsilon /2$ then

$\sup(A+B)\geq a_{\epsilon}+b_\epsilon>\sup A +\sup B-\epsilon$ for any $\epsilon>0$ then

$\sup(A+B)\geq \sup A +\sup B$ $\blacksquare$

  • 0
    Isnt't there a dot missing prior to "for the other..."?2017-11-15