Least-upper-bound property

In mathematics, the least-upper-bound property is an important idea about real numbers. This property says that for some groups of numbers, there is always a smallest number that is bigger than every number in the group. We call this special number the least upper bound or supremum.

Not all number systems have this property. For example, the set of rational numbers does not always have a least upper bound. This is why mathematicians use real numbers, which do have this property.

The least-upper-bound property is closely related to the completeness axiom for real numbers. It helps prove many important results in real analysis, such as the intermediate value theorem and the Bolzano–Weierstrass theorem. It also helps build the real numbers using special methods called Dedekind cuts.

Statement of the property

Statement for real numbers

Let's think about a group of real numbers, like temperatures or scores. If we have a set of numbers, we can find a number that is bigger than every number in that set. We call this an upper bound. For example, if our numbers are 1, 2, and 3, then 4 is an upper bound because it's bigger than all of them.

The least upper bound (or supremum) is the smallest number that is still bigger than every number in the set. In our example, 4 is an upper bound, but so is 3.5, 3.1, and even 3. The smallest of these is 3, which is the least upper bound.

The least-upper-bound property tells us that if a group of real numbers has an upper bound, then it must also have a least upper bound. This helps us understand how numbers fit together.

Generalization to ordered sets

Main articles: Completeness (order theory) and Bounded complete poset

We can also talk about upper bounds and least upper bounds with other collections that have a way to compare them, not just numbers. For example, think of a group of words where we can say which word comes before another in alphabetical order. If every group of words that has a "top" word (an upper bound) also has a smallest "top" word (a least upper bound), then this collection has the least-upper-bound property.

Proof

The least-upper-bound property is linked to other ideas about real numbers, like the completeness axiom and Cauchy sequences.

Depending on how we think about real numbers, this property can be a basic rule or proven using other facts.

One way to show this property is with Cauchy sequences. If we assume that every Cauchy sequence of real numbers comes together to a single point, we can use this to find the smallest number that is still bigger than every number in a set. We start with a simple set and build two sequences that get closer to each other. In the end, these sequences meet at a point that is the least upper bound of the original set.

Applications

The least-upper-bound property of the real numbers R helps prove important ideas in real analysis.

One key idea is the intermediate value theorem. It says that if you have a continuous function on a closed interval and the function has different signs at the ends, then it must cross zero somewhere in between. This can be shown using the least-upper-bound property.

Another important idea is the extreme value theorem. It states that a continuous function on a closed interval always reaches its highest and lowest values. This is also proved using the least-upper-bound property.

The Heine–Borel theorem tells us that any group of open sets that covers a closed interval must contain a smaller finite group that still covers the entire interval. This theorem also relies on the least-upper-bound property.

History

The idea of the least-upper-bound property was first noticed by Bernard Bolzano in 1817. In his paper, Bolzano showed how important this property is in mathematics. This property helps us understand how real numbers work and fit together.