# 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

editWe 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

editI 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

editWhy 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

editWe 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

editThe 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

editThis 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.