Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

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

Let $S=(0,1)\cup(1,2).$

I claim that 2 is the supremum of the set. Let $A$ be the set of all upper bounds of $S$. Since we are dealing with real numbers, and $S$ has an upper bound, I claim that it has least upper bound and that l.u.b is 2. Why is it 2? Let $s \in S$ and let it be the l.u.b. We see that $s < 2$. Because we are in the reals there exists an $r \in \mathbb{R}$ such that $s < r < 2$. Hence $r$ is larger than $s$, so $s$ cannot be another upper bound.

Is this proof on the right track?

share|cite|improve this question
You can't say "let $s\in S$ and let it be the l.u.b.", because the least upper bound of a set might not be an element of the set, and indeed, in this case it isn't. – MJD Sep 13 '12 at 23:02
up vote 2 down vote accepted

"Hence r is larger than s" is not enough. You need that $r \in S$, which of course you can do.

Let $s = \sup S$. Suppose $s < 2$. Since $1.5 \in S$, you must have that $1.5 \leq s < 2$. Hence there exists a $r \in \mathbb{R}$ such that $1.5 \leq s < r < 2$. Hence $r \in (1,2) \subset S$. So $r \in S$. Thus you have shown that there exists a $r \in S$ such that $r > s$. This contradicts $s = \sup S$.

Of course $s \leq 2$, since $2$ is an upper bound for $s$. You can now conclude that $s = 2$.

share|cite|improve this answer

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.