Least Upper Bound Property

students, imagine trying to find the “highest point” in a collection of numbers 📈. Sometimes there is a greatest number in the set, and sometimes there is not. The least upper bound property tells us something powerful about the real numbers $\mathbb{R}$: even when a set does not have a greatest element, it still has a smallest number that sits above everything in the set. That idea becomes a foundation for many important results in Real Analysis.

What the least upper bound property means

To understand the least upper bound property, we first need a few terms.

A set $S$ of real numbers is bounded above if there is a real number $M$ such that $x \le M$ for every $x \in S$. Any such $M$ is called an upper bound of $S$.

The least upper bound of $S$, also called the supremum of $S$ and written $\sup S$, is the smallest upper bound of $S$. This means:

$\sup S$ is an upper bound of $S$
no smaller number is still an upper bound

If $S$ actually has a greatest element, then that greatest element is also $\sup S$. But the supremum can exist even when there is no greatest element.

For example, consider the interval $S = \{x \in \mathbb{R} : 0 < x < 1\}$. This set has no greatest element because for any number $x$ in the set, the number $\frac{x+1}{2}$ is still in the set and is bigger than $x$. But the set is bounded above by $1$, and in fact $\sup S = 1$.

This shows an important idea: the supremum does not have to be inside the set. It only has to be the smallest number that is still above all the elements of the set.

The least upper bound property of the real numbers

The least upper bound property says that every nonempty subset of $\mathbb{R}$ that is bounded above has a least upper bound in $\mathbb{R}$.

In symbol form:

If $S \subseteq \mathbb{R}$, $S \neq \varnothing$, and $S$ is bounded above, then $\sup S$ exists and is a real number.

This property is one of the key features that makes the real numbers special. It is not true for every number system. For example, the rational numbers $\mathbb{Q}$ do not have this property. A classic example is the set

A = \{q $\in$ \mathbb{Q} : q^2 < 2\}.

The set $A$ is nonempty and bounded above in $\mathbb{Q}$, but it does not have a least upper bound in $\mathbb{Q}$. Why? The real number $\sqrt{2}$ would be the least upper bound in $\mathbb{R}$, but $\sqrt{2}$ is not rational. So $\mathbb{Q}$ fails the least upper bound property, while $\mathbb{R}$ has it.

This is one reason the real number system is so important in calculus and analysis: it is “complete” in a way that the rational numbers are not.

Upper bounds, lower bounds, and examples

Let’s build intuition with examples 😊.

Example 1: A closed interval

Take $S = [2,5]$. The numbers $5$, $6$, and $100$ are all upper bounds of $S$. But the least upper bound is $5$, so $\sup S = 5$. In this case, the supremum is actually in the set, and it is also the greatest element.

Example 2: An open interval

Take $S = (2,5)$. Again, $5$ is an upper bound, and so are $6$ and $100$. The least upper bound is still $5$, so $\sup S = 5$. But now $5$ is not in the set. This is a good reminder that the supremum does not need to belong to the set.

Example 3: A set with no greatest element

Consider $S = \left\{1 - \frac{1}{n} : n \in \mathbb{N}\right\}$. The first few terms are $0$, $\frac{1}{2}$, $\frac{2}{3}$, $\frac{3}{4}$, and so on. Every term is less than $1$, and no term equals $1$. So $1$ is an upper bound. It is also the least upper bound, so $\sup S = 1$.

This example is useful because it shows how a set can get closer and closer to a number without ever reaching it.

Example 4: A set of squares

Let $S = \{x^2 : x \in \mathbb{R}, 0 \le x < 3\}$. Since $0 \le x < 3$, we have $0 \le x^2 < 9$. So $9$ is an upper bound. In fact, $\sup S = 9$. Even though $9$ is not produced by any $x$ in the set, it is still the smallest upper bound.

How to reason with the least upper bound property

The least upper bound property is often used to prove that certain numbers or objects exist. Instead of directly finding the number, we identify a set and show it is bounded above. Then the property guarantees a supremum exists.

A common pattern goes like this:

Define a set $S$ of numbers related to the problem.
Show that $S$ is nonempty.
Show that $S$ is bounded above.
Let $s = \sup S$.
Use the definition of supremum to prove the desired result.

This method appears often in proofs about roots, limits, and monotone sequences.

For example, suppose we want to show that there is a real number $x$ with $x^2 = 2$. We can define

S = \{x $\in$ \mathbb{R} : x^2 < 2\text{ and }x \ge 0\}.

The set $S$ is nonempty because $1 \in S$, and it is bounded above, for example by $2$. By the least upper bound property, $s = \sup S$ exists. Then one can show that $s^2 = 2$. This is one of the classical ways to construct $\sqrt{2}$ in the real numbers.

The details of that proof use careful arguments with inequalities, but the big idea is simple: the least upper bound property lets us move from “there are numbers below $2$ whose squares are below $2$” to “there is a real number whose square equals $2$.”

Why the property matters in Real Analysis

The least upper bound property is central because it supports the completeness of $\mathbb{R}$. Completeness means there are no “gaps” in the real number line.

This matters in many ways:

Every bounded increasing sequence of real numbers converges.
Every nonempty set that is bounded above has a supremum.
Many existence proofs in analysis rely on taking a supremum.
Theorems about continuity, limits, and optimization often depend on completeness.

A real-world way to think about it is this: if you keep narrowing down a target using real numbers, the target still exists in $\mathbb{R}$ even if you never hit it exactly during the process 🎯.

For instance, if a company tracks the maximum safe speed $v$ for a machine under certain conditions, the set of safe speeds may have no largest element because there is always a slightly higher safe speed below a limit. The least upper bound property guarantees that there is a precise boundary value in the real numbers representing the best possible upper limit.

Connection to ordered fields and the real number system

The real numbers are not just any set of numbers. They form an ordered field, which means they satisfy algebraic rules for addition and multiplication, and they have an order relation $<$ that is compatible with those operations.

The least upper bound property is not part of the definition of every ordered field. It is a special completeness property of $\mathbb{R}$. Together with the Archimedean property, it helps distinguish the real numbers from smaller systems like the rational numbers.

The Archimedean property says, roughly, that no positive real number is infinitely large compared with the natural numbers. More precisely, for every real number $x$, there exists $n \in \mathbb{N}$ such that $n > x$. This property supports the idea that the real numbers are not “stretched out” by infinite gaps or infinitely large finite elements.

The least upper bound property and the Archimedean property work together in analysis. The Archimedean property helps compare real numbers with integers, while the least upper bound property guarantees that bounded sets have a well-defined boundary point in $\mathbb{R}$.

A final example using supremum reasoning

Suppose $S$ is a nonempty set of real numbers and every element of $S$ satisfies $x < 7$. Then $7$ is an upper bound of $S$. If, in addition, no number smaller than $7$ is an upper bound, then $\sup S = 7$.

Now imagine a set of test scores where students score less than $100$, but some scores are very close to $100$. If there is no actual score of $100$, the greatest score may not exist. Still, if $100$ is the smallest upper bound, then $100$ is the supremum. This is exactly how supremum captures a boundary without needing the boundary to be achieved.

Conclusion

students, the least upper bound property is one of the most important ideas in Real Analysis. It says that every nonempty subset of $\mathbb{R}$ that is bounded above has a supremum in $\mathbb{R}$. This property explains why the real number system has no gaps and why many existence proofs work.

It also shows the difference between $\mathbb{R}$ and $\mathbb{Q}$, since the rational numbers do not always contain least upper bounds for bounded sets. Understanding supremum gives you a powerful tool for proving results, analyzing sequences, and building the structure of the real number line.

Study Notes

A set $S$ is bounded above if some real number $M$ satisfies $x \le M$ for all $x \in S$.
An upper bound is any number above every element of the set.
The least upper bound or supremum $\sup S$ is the smallest upper bound of $S$.
The least upper bound may or may not belong to the set.
The least upper bound property says every nonempty subset of $\mathbb{R}$ that is bounded above has a supremum in $\mathbb{R}$.
The rational numbers $\mathbb{Q}$ do not have this property.
A classic counterexample in $\mathbb{Q}$ is $\{q \in \mathbb{Q} : q^2 < 2\}$.
The property is a key part of the completeness of $\mathbb{R}$.
It is used in proofs involving roots, monotone sequences, limits, and optimization.
The least upper bound property helps explain why the real number system is continuous and gap-free.