Axiomatic introduction to the Real Numbers

I am sure that you probably know, intuitively, about the Real Numbers. However, this resource will disregard intuition of the Real Numbers, and will give a formal, Axiomatic approach to the Real Numbers.

The Rationals

edit

We start off from the rationals, as later we use them to define the Real Numbers. We can define the rationals as

 . We can add, subtract, multiply and divide (except by 0) in the usual way. We call   a field.

On Order

edit

I add to this in which the rational numbers are also an ordered field. That is, a field with a strict order   such that  , and also   and   implies  .

Limitations of the rational numbers

edit

Why do we need the Real numbers at all? This section goes over the limitations of the rationals, which help explain why we need the real numbers.

On the Least-upper-bound property

edit

Definitions

edit

We go over the property of Least-upper-bound first. We start by defining the "prerequisite definitions": Say if we have a subset   of an ordered field. It is bounded above if there exists a number   in said ordered field s.t.  .   is known as an upper bound of  .

A supremum   of   satisfies 2 properties: It is an upper bound of  , and all other upper bounds of S are greater than or equal to  . In other words, a supremum of a set is the least upper bound of a set. As an example, take the set  , in which we denote by  . It is bounded above, as there exists a number (say  ) for which it is greater for all elements in  , and   is an upper bound. The supremum of   is 1.

Also, we look back at  . It is bounded below if there exists a number   in said ordered field s.t.  , and   is a lower bound. The infimum, or greatest lower bound of   is a lower bound of   that is greater that all other lower bounds of  .

The property of least-upper-bound then states that any subset   (whatever set   may be) that is bounded above also has a supremum. The rational numbers do NOT fulfill this property.

Theorem.   does NOT have the property of Least-upper-bound.

Proof. We give the example of the subset  . This subset has an upper bound, with the example of  . However, it does NOT have a supremum, as  , even being bounded above. Therefore,   does NOT have the property of Least-upper-bound.  

Completeness

edit

The least-upper-bound property is one version of the completeness property. Intuitively, completeness (of the real numbers) states that there are no "gaps" or "holes" in the real line. Intuitively also, the "holes" in the rational line are equivalent to irrationals. [1] There are other ways of defining this property.

Cauchy Completeness

edit

This definition of completeness states that every Cauchy Sequence of numbers in a set converge to another number in a set. (Mainly the real numbers are used in this example.) The Rationals are not cauchy complete.

Theorem. The rational numbers are not Cauchy complete.

Proof. Take the Cauchy sequence

 

This sequence is comprised of rationals, but converges to  , but we know that  . Therefore, not every Cauchy Sequence of rational numbers converge to another rational number.