Completeness, Suprema and Infima

25 min
0/4 practice checks

Let SRS \subseteq \mathbb{R} be non-empty. A number MM is an upper bound of SS if xMx \le M for all xSx \in S. The supremum supS\sup S is the least upper bound: the smallest number that is still \ge every element. Dually, infS\inf S is the greatest lower bound.

The defining property of the real numbers — the Completeness Axiom — is that every non-empty set of reals that is bounded above has a supremum in R\mathbb{R}. This is exactly what the rationals lack, and it is the foundation on which limits, continuity and integration are built.

Worked example. Let S={11n:nN,n1}={0, 12, 23, 34, }S = \left\{\, 1 - \tfrac{1}{n} : n \in \mathbb{N},\, n \ge 1 \right\} = \{\,0,\ \tfrac12,\ \tfrac23,\ \tfrac34,\ \dots\}.

Every term is less than 11, and the terms climb toward 11 without ever reaching it, so supS=1\sup S = 1 (a least upper bound that is not attained). The smallest term is 111=01 - \tfrac11 = 0, which is in SS, so infS=0\inf S = 0 (attained — it is also the minimum). "Attained" and "is the sup/inf" are separate questions.