1
$\begingroup$

Let $u$ be an upper bound of non-empty set $A$ in $\mathbb{R}$. Prove that $u$ is the supremum of $A$ if and only if for all $\epsilon > 0$ there is an $a \in A$ such that $u-\epsilon < a$.

Lemma

If $s = \sup(A)$, then $$ \exists \, a \in A, \, \, \forall \epsilon > 0 \, \, \text{such that} \, \, |s - a| < \epsilon$$

Proof:

Suppose $\nexists \, a \in A $ such that $\forall \, \epsilon > 0$, $|\sup(A) - a| < \epsilon$. Then $\forall \, a \in A, \, \exists \, \epsilon_0> 0$ such that $|\sup(A) - a| > \epsilon_0$. This implies that $\sup(A) > a + \epsilon_0$. Thus, $\exists\, s' \not\in A$ such that $\sup(A) > s' > a + \epsilon_1$ if we take $\epsilon_1 = \frac{\epsilon_0}{2}$. But we cannot have $s' < \sup(A) : s' \not\in A$ so we have arrived at a contradiction and thus the lemma is proved.

Proof:

$(i \implies ii)$ if $u = \sup(A)$, then, by the lemma, $\forall \, \epsilon > 0$, \, $\exists \, a \in A$ such that $|u-a|< \epsilon$. This implies $u-\epsilon < a$.

$(ii \implies i)$ If $\forall \, \epsilon > 0, \, \exists \, a \in A$ such that $u - \epsilon < a$, then $u-a < \epsilon$ and by the lemma, $u =\sup(A)$.

Is this a complete and correct proof?

$\endgroup$
5
  • 1
    $\begingroup$ The lemma is not correct $\endgroup$
    – Hamou
    Jul 28, 2014 at 23:36
  • $\begingroup$ As Hamou pointed out, the lemma is not correct: consider $A=[0,1)$ which has supremum $s=1$. No such $a \in [0,1)$ can satisfy $|s-a|<\epsilon$ for all $\epsilon>0$. $\endgroup$
    – angryavian
    Jul 28, 2014 at 23:46
  • $\begingroup$ @angryavian how would I remedy this? $\endgroup$ Jul 29, 2014 at 0:01
  • $\begingroup$ @AnthonyPeter I want to remark that in the statement of the question, a better wording would be "for each $\epsilon>0$ there exists an $a \in A$...," that is, $a$ may be different for different $\epsilon$. $\endgroup$
    – angryavian
    Jul 29, 2014 at 0:11
  • $\begingroup$ @angryavian is this my only folly? $\endgroup$ Jul 29, 2014 at 0:13

3 Answers 3

2
$\begingroup$

You can't base the proof of the statement on an obviously false lemma (at least with an incorrect formulation).

The proof is much simpler than that.

Assume that $u$ is an upper bound for $A$ with the property that, for every $\varepsilon>0$, there exists $a\in A$ with $u-\varepsilon<a$.

By definition, the supremum is the least upper bound. So if $u$ is not the supremum, there is an upper bound $v$ of $A$ with $v<u$.

Now take $\varepsilon=(u-v)/2$. By assumption there exists $a\in A$ with $u-\varepsilon<a$; this becomes $$ u-\frac{u-v}{2}<a $$ that is, $$ \frac{u+v}{2}<a $$ which is a contradiction, because from $a\le u$ and $a\le v$ we obtain $$ a\le\frac{u+v}{2} $$

For the converse, suppose $u=\sup(A)$ and let $\varepsilon>0$. Then $u-\varepsilon<u$, so $u-\varepsilon$ is not an upper bound for $A$, which means there exists $a\in A$ with $u-\varepsilon<a$.

$\endgroup$
2
  • $\begingroup$ I don't get the need for using $ε=(u-v)/2$ Why not just $ε=u-v$? Then you have $u-ε<a<=u$, and so $u-(u-v)=v<a<=u$, so that $v<a$ and so $v$ is not an upper bound. $\endgroup$ Aug 15, 2021 at 4:26
  • 1
    $\begingroup$ @PepeMandioca Melius abundare quam deficere 😎 $\endgroup$
    – egreg
    Aug 15, 2021 at 14:46
0
$\begingroup$

Hints

i) $\implies$ ii): Let $u$ be the supremum of $A$. Suppose for sake of contradiction that there exists an $\epsilon>0$ and an $a \in A$ such that $u-\epsilon \ge a$. Do you see the contradiction?

ii) $\implies$ i): We already are given that $u$ is an upper bound for $A$, so we just need to show that it is the smallest. Let ii) be true and suppose for sake of contradiction that there is a smaller upper bound. Do you see the contradiction?

$\endgroup$
1
  • $\begingroup$ Is the first proof correct if I fix the lemma? $\endgroup$ Jul 29, 2014 at 0:24
0
$\begingroup$

By supremum we mean the least upper bound. So if $u = \sup A$ then $u$ is an upper bound for $A$ and any number less than $u$ is not an upper bound for $A$. Now if $\epsilon > 0$ then $u' = u - \epsilon < u$ and hence $u'$ is not an upper bound for $A$ and therefore it is exceeded by some member of $A$. So there is a member $a \in A$ such that $a > u' = u - \epsilon$. This proves one part of the question.

For the converse let's assume that $u$ is an upper bound of $A$ such that if $\epsilon > 0$ then there is an $a\in A$ such that $u - \epsilon < a$. Then I prove that any number less than $u$ is not an upper bound for $A$. This is almost obvious. Let $u'$ be a number less than $u$ i.e. $u' < u$ then $\epsilon = u - u' > 0$. By what we have assumed it follows that there is an $a \in A$ with $u - \epsilon < a$ i.e. $u' < a$. This clearly shows that $u'$ is not an upper bound for $A$. So we have shown that $u$ is an upper bound for $A$ but any number $u' < u$ is not an upper bound for $A$. So $u$ is the least upper bound for $A$ i.e. $u = \sup A$.

Another point which I want to emphasize here is that unless one has a thorough understanding of the concepts in real analysis it is not advisable to use so many symbols like $\exists, \forall, \Rightarrow$ together with $\epsilon$'s and $\delta$'s in writing proofs. It is better to write proofs in natural language (say English) with bare minimum uses of symbols. This helps a lot in understanding the concepts. Otherwise it looks like a silly game of symbol shunting without any rhyme or reason.

You can see the problem of symbol shunting in your statement $$\exists a \in A, \forall \epsilon > 0\text{ such that }|s - a| < \epsilon$$ This statement means that there is an $a \in A$ such that for all $\epsilon > 0$ we have $|s - a| < \epsilon$. This tells us that there is at least one particular $a \in A$ such that the result $|s - a| < \epsilon$ holds for all $\epsilon > 0$. This is not correct. Instead what you perhaps wanted to say was this:

If $s = \sup A$ then for every $\epsilon > 0$ there exists an $a \in A$ such that $|s - a| < \epsilon$.

Here you want to emphasize that for each $\epsilon$ the corresponding $a \in A$ may (or may not) be different. Thus one $a$ does not need to work for all $\epsilon$'s. The way to write this is $$\forall \epsilon > 0, \exists a \in A\text{ such that }|s - a| < \epsilon$$ This amply demonstrates the problem of symbol shunting. Unless one is expert (which one can become with some patience and practice) in such symbol shunting game, one is better off writing statements in natural language.

$\endgroup$
1
  • $\begingroup$ would the downvoter care to comment. $\endgroup$
    – Paramanand Singh
    May 13, 2016 at 20:22

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .