Chapter: Real Numbers As Limits Of Rational Numbers

Instead of defining real numbers out of the blue simply postulating their existence and accepting their properties as axioms, like it is often done in literature, we prefer to construct them from rational numbers, which we have introduced in the previous part. In this chapter, we will prepare some technical prerequisites in order to do that. In particular, we want to show that real numbers can be defined as limits of certain sequences of rational numbers, and that these limits not only exist but also are unique, even though the rational sequence tending to this sequence is replaced by another one.

With this respect, we will find that real numbers can be defined as equivalence classes of sequences of rational numbers tending to the same limit. The technical prerequisites required for this interpretation of real numbers are rational Cauchy sequences, which we will introduce shortly. First, we start with explaining what rational sequences are, then what rational Cauchy sequences are and how we can add and multiply them with each other, in particular, that they form a ring. Finally, we will show that rational Cauchy sequences tending to $0$ are an ideal of this ring. This ideal will finally enable us to define real numbers.

  1. Definition: Rational Sequence
  2. Definition: Convergent Rational Sequence
  3. Definition: Rational Cauchy Sequence
  4. Proposition: Addition of Rational Cauchy Sequences
  5. Proposition: Multiplication Of Rational Cauchy Sequences
  6. Proposition: Distributivity Law For Rational Cauchy Sequences
  7. Proposition: Rational Cauchy Sequence Members Are Bounded
  8. Lemma: Rational Cauchy Sequences Build a Commutative Group With Respect To Addition
  9. Lemma: Rational Cauchy Sequences Build a Commutative Monoid With Respect To Multiplication
  10. Lemma: Unit Ring of All Rational Cauchy Sequences
  11. Lemma: Convergent Rational Sequences With Limit \(0\) Are Rational Cauchy Sequences
  12. Lemma: Convergent Rational Sequences With Limit \(0\) Are a Subgroup of Rational Cauchy Sequences With Respect To Addition
  13. Lemma: Convergent Rational Sequences With Limit \(0\) Are an Ideal Of the Ring of Rational Cauchy Sequences

Thank you to the contributors under CC BY-SA 4.0!

Github:
bookofproofs