Body of real numbers

This article presents the main properties of the body of real numbers. These properties are fundamental to the study of real and complex analysis.

We begin by defining the notion of a body, assumed here to be commutative, and recalling the main rules of calculation common to all bodies, in particular the formula giving the sum of the first n + 1 terms of a geometric series and Newton's binomial formula, which are essential to know.

We then introduce the concept of an ordered set, stressing the notions of upper and lower bounds, which must be mastered in the case of , and we give the definition of a totally ordered body, introducing in passing the notion of absolute value.

After showing certain inadequacies of the body of rational numbers, the body of real numbers is defined as the totally ordered body verifying the equivalent axioms of upper and lower bounds. However, the construction of –, the principle of which dates back to 1872, whether by Dedekind's method of cuts or Cantor's method of quotient passage through the ring of Cauchy sequences of rational numbers –, has been relegated to an appendix, given its technical nature and its relatively modest...