Mathematics Foundations/4.2 Completeness of the Real Number Line

Completeness of the Real Number Line Introduction The completeness of the real number line is a fundamental property that distinguishes the real numbers from the rational numbers. This property ensures that the real number line has no "gaps" and serves as the foundation for calculus and analysis. Incompleteness of Rational Numbers While the rational numbers are dense (between any two rational numbers, there exists another rational number), they do not form a complete number system. This means there are "holes" or "gaps" in the rational number line. Example of Incompleteness Consider the set . This set has an upper bound in (e.g., 2 is an upper bound), but it does not have a least upper bound within . The least upper bound would be , which is irrational. Dedekind Cuts One way to rigorously construct the real numbers from the rational numbers is through Dedekind cuts, developed by Richard Dedekind in the 19th century. Definition A Dedekind cut is a partition of the rational numbers into two non-empty sets and such that: Every element of is less than every element of has no greatest element Each Dedekind cut defines a real number. If contains a greatest element, the cut corresponds to a rational number; otherwise, it corresponds to an irrational number. Example The Dedekind cut for is: This cut has no greatest element in and corresponds to the irrational number . The Completeness Axiom The completeness of the real numbers is often stated as an axiom, known as the Completeness Axiom or the Least Upper Bound Property. Least Upper Bound Property Definition: A real number is an upper bound for a set if for all . Definition: A real number is the least upper bound (or supremum) of a set if: is an upper bound for If is any upper bound for , then The supremum of a set is denoted by or . The Completeness Axiom Completeness Axiom: Every non-empty set of real numbers that is bounded above has a least upper bound (supremum) in . This axiom distinguishes the real numbers from the rational numbers. In , a bounded set may not have a supremum within , as we saw with the set . Equivalent Formulations of Completeness The completeness of the real numbers can be formulated in several equivalent ways: Greatest Lower Bound Property Every non-empty set of real numbers that is bounded below has a greatest lower bound (infimum) in . The infimum of a set is denoted by or . Nested Intervals Property If is a sequence of closed intervals such that for all , then the intersection is non-empty. Monotone Convergence Theorem Every bounded monotone sequence of real numbers converges. Bolzano-Weierstrass Theorem Every bounded sequence of real numbers has a convergent subsequence. Consequences of Completeness The completeness of the real numbers has profound implications for analysis: It ensures that limits of convergent sequences exist within the real numbers It guarantees that continuous functions on closed intervals attain their maximum and minimum values It allows for the development of calculus and the theory of integration It provides the foundation for the study of convergence of series and sequences Cantor's Construction of Real Numbers Another approach to constructing the real numbers is through Cauchy sequences of rational numbers, developed by Georg Cantor. A Cauchy sequence is a sequence such that for every , there exists an such that for all . In this construction: Real numbers are defined as equivalence classes of Cauchy sequences of rational numbers Two Cauchy sequences and are equivalent if The completeness of the real numbers is built into this construction The Archimedean Property The completeness of the real numbers implies the Archimedean property. Archimedean Property: For any real numbers and with , there exists a positive integer such that . This property ensures that there are no "infinitesimal" or "infinitely large" real numbers. Exercises 1. Prove that the Least Upper Bound Property implies the Greatest Lower Bound Property. 2. Show that the set does not have a least upper bound in . 3. Construct the Dedekind cut corresponding to . 4. Prove that if a set has a maximum element , then . 5. Show that the Nested Intervals Property implies the Bolzano-Weierstrass Theorem. 6. Prove that the set of real numbers between 0 and 1 is uncountable using Cantor's diagonal argument.