Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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

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


If $A$ and $B$ are nonempty subsets of $\mathbb{R}$ and are both bounded above, then $$\operatorname{lub}(A+B)=\operatorname{lub}(A)+\operatorname{lub}(B).$$

I am thinking I need to utilize the fact that $A+B=\{a+b: a \in A, b \in B\}$, I'm just not sure how this gives a proof.


share|cite|improve this question

marked as duplicate by mrf, Davide Giraudo, Asaf Karagila, Paul, Hagen von Eitzen Feb 4 '13 at 10:25

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

You can find some good starting points on how to format mathematics on the site here and here. This AMS reference is very useful. If you need to format more advanced things, there are many excellent references on LaTeX on the internet, including StackExchange's own TeX.SE site. – Zev Chonoles Feb 4 '13 at 5:54
Thanks, my LaTeX knowledge is passable, but it definitely needs some work – Peej Gerard Feb 4 '13 at 6:01
$\sup$ is more conventional, see wiki – Frank Science Feb 4 '13 at 6:13
up vote 2 down vote accepted

First we show that $\sup(A + B) \leq \sup(A) + \sup(B)$:

Let $\gamma$ in $A + B$ be arbitrary. We see that $$\gamma = a + b \quad \text{where} \quad a \in A \text{ and } b \in B$$ Now, we know that $$\sup(A) \geq a \quad \text{and} \quad \sup(B) \geq b$$ so it follows that $$\gamma = a + b \leq \sup(A) + \sup(B)$$ Since $\gamma$ was arbitrary, this holds for all elements of $A+B$. We must have $$\sup(A + B) \leq \sup(A) + \sup(B)$$

Next, we show that $\sup(A + B) \geq \sup(A) + \sup(B)$:

Well, assume the contrary. Then we have $$ \sup(A + B) < \sup(A) + \sup(B)$$ This implies that for all $\gamma \in A + B$ there exists some $a \in A$ and some $b \in B$ such that $\gamma < a + b$. But $(A + B) \ni \sigma = a + b$, so this is a contradiction.

Putting these two together, we see that $\sup(A + B) = \sup(A) + \sup(B)$ as we wanted.

share|cite|improve this answer

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