# Thread: least upper bound property

1. ## least upper bound property

Hi can I get some help with the following theorem I need to prove:

Let A be a subset of the ordered set X. If A has an upper bound then A has a least upper bound..

Thanks!

2. If A has an upper bound then A has a least upper bound.
I think it can be done this way:

From the question we know that A has an upper bound. Let's suppose A has two upper bounds $\alpha$ and $\beta$ with $\alpha \neq \beta$.

$\alpha \neq \beta \Rightarrow \ \alpha < \beta$ ( $\beta < \alpha$ is also valid but i've decided to choose $\alpha < \beta$).

Hence A has a least upper bound which is $\alpha$.

3. What if $X = \mathbb{Q}\;\& \;A = \left\{ {x \in \mathbb{Q}:x^2 < 2} \right\}$, $\mathbb{Q}$ is the set of rationals.
Is $A$ bounded above by 2?
But can $A$ have a least upper bound? No!
So the statement if false without some more given conditions.

4. but isn't the least upper bound $\sqrt{2}$, it's just that $\sqrt{2}$ isn't in the set?

5. Originally Posted by Showcase_22
but isn't the least upper bound $\sqrt{2}$, it's just that $\sqrt{2}$ isn't in the set?
That is the whole point! The LUB must be in the space you are dealing with.
In that example, all you have is the set of rational numbers.
You do not have $\sqrt 2$ to even consider.