When does an ordered set have a supremum?

234 Views Asked by At

My textbook states that an ordered set S has the least upper bound property if the following is true:
If $E \subset S, E $ is not empty and is bounded above, then $sup E$ exists in S.
But consider the set of rational numbers $\mathbb Q$, and a subset $S = {{1,2,3}}$. $S$ is not empty. It's also bounded above. $sup S=3$ also exists in $\mathbb Q$. But the set of rational numbers does not have a supremum!

2

There are 2 best solutions below

0
On

Not, The set $S$ has a supremum but it is in $\mathbb{R}$. The supremum (and infimum) of a set can be not in that set.

0
On

It is possible that the sum and inf are not in the set. For example; consider the set

$$E= \{ \frac{1}{x}| x \in \mathbb{N}\}.$$

It is clear that $\inf{E}=0$ but $0 \not \in E$.