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

Suppose D is a nonempty bounded subset of reals. let $f:D \to R$ and $g:D \to R$. Define $(f+g)(x)=f(x)+g(x)$. Prove $\sup(f+g)(D) \le \sup f(D) + \sup g(D)$ (also prove that $\sup (f+g)$ exists).

I understand why this is the case, just not how to prove it. Left side is pretty much $\sup (f(x)+g(x))$ and right side is $\sup (f(x) + g(y))$ for $x,\,y \in D$. Basically $f+g$ has to use the same variable and $f(D)+g(D)$ use different ones. But I don't know how to go about proving this.

The second part of the question is to find a specific example where strict inequality holds. Let $D=\{a,b\}$ and $f: a \to 1,\, b\to 0, \,g: a \to 0,\, b\to 1$. $\sup f(D) = 1,\, \sup g(D) = 1,\, \sup f(D) + \sup g(D) = 2.$ $\sup (f+g)(D) = 1$ (if we choose a, $f+g = 1+0,\, b,\, f+g=0+1$).

share|cite|improve this question
Welcome to Math.SE. You can use $\LaTeX$ markup to build mathematical expressions. I've fixed some of your question. Click on edit to see how it's done (and fix the rest if you like). :) – Ayman Hourieh Oct 4 '12 at 19:26
up vote 11 down vote accepted

Consider $x\in D$. Then $f(x)\le \sup f$ and $g(x)\le \sup g$, hence $(f+g)(x)=f(x)+g(x)\le \sup f+\sup g$. Therefore, $\sup f + \sup g$ is some upper bound, but the least upper bound may be smaller.

Your example for strictness is fine.

share|cite|improve this answer
Wow, that was obnoxiously obvious. Thank you – fhyve Oct 4 '12 at 18:51
Or, in the last step, the way I like to think about it is to take the sup of both sides. The right hand side is a constant so it stays the same. This could also work for things like limits. – Graphth Oct 4 '12 at 19:28
So $\sup (f(x)+g(x)) \le \sup (\sup f + \sup g) = \sup f + \sup g$? – fhyve Oct 4 '12 at 19:35

Another example for < from (

The pdf doesn't expatiate on this, but $\sup f(x) + g(x) = 1 $ at both $x = -1, 1$.
pdf simply chagrins about $x = 1$. But at $x = -1$, $f(-1) + g(1) = 1 + 0 = 1$.

enter image description here

share|cite|improve this answer

Another example for < from Abbott

The two sides are usually not equal because the functions f and g could easily take on their larger values in different places of each subinterval. For example, consider f(x) = x and g(x) = 1 − x on the interval [0, 1]. Then $\sup\{f(x) : x ∈ [x_{k−1}, x_k]\} = 1$,

$\sup\{g(x) : x ∈ [x_{k−1}, x_k]\} = 1$,

but $\sup\{\color{seagreen}{f(x) + g(x) = 1} : x ∈ [x_{k−1}, x_k]\} = \sup\{\color{seagreen}{1}\} = 1 \neq 2$

share|cite|improve this answer

sup(f+g)<=sup(f)+sup(g), let sup(f)=A and sup(g)=B we known A and B are the heighst point of function f and g and if we add f and g then only two posibility happen 1:A and B are in same x, mean f(t)=A and g(t)=B then clear that (f+g)(t)=A+B sup(f+g)=sup(f)+sup(g) 2:if A and B are not in same x f(p)=A and g(q)=B hence sup(f+g)

finaly, sup(f+g)<=sup(f)+sup(g)
share|cite|improve this answer
Can you take care of the formatting? – Arctic Char Jun 3 '15 at 5:02

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.