2. Infinity and Induction
2.4. The Real Number SystemIn the previous chapter we have defined the integers and rational numbers based on the natural numbers and equivalence relations. We have also used the real numbers as our prime example of an uncountable set. In this section we will actually define - mathematically correct - the 'real numbers' and establish their most important properties. There are actually several convenient ways to define R. Two possible methods of construction are:
- Construction of R via Dedekind's cuts
- Construction of R classes via equivalence of Cauchy sequences .
|Theorem 2.4.1: No Square Roots inQ|
|There is no rational number x such that x2 = x * x = 2.|
Thus, we see that even simple equations have no solution if all we knew were rational numbers. We therefore need to expand our number system to contain numbers which do provide a solution to equations such as the above.
There is another reason for preferring real over rational numbers: Informally speaking, while the rational numbers are all 'over the place', they contain plenty of holes (namely the irrationals). The real numbers, on the other hand, contain no holes. A little bit more formal, we could say that the rational numbers are not closed under the limit operations, while the real numbers are. More formally speaking, we need some definitions.
|Definition 2.4.2: Upper and Least Upper Bound|
Let A be an ordered set and X a subset of A. An
element b is called an upper bound for the set X if every element in
X is less than or equal to b. If such an upper bound exists, the
set X is called bounded above.
Let A be an ordered set, and X a subset of A. An element b in A is called a least upper bound (or supremum) for X if b is an upper bound for X and there is no other upper bound b' for X that is less than b. We write b = sup(X). By its definition, if a least upper bound exists, it is unique.
- an upper (or lower) bound need not be unique
- a least upper bound (or greatest lower bound) may or may not be part of the set
- least upper bounds (or greatest lower bounds) may fail to exist in Q, but do exist in R.
|Theorem 2.4.4: Least Upper Bound Property|
There exists an ordered field of numbers R with the properties:
Note that we have not defined 'ordered field', but that is not so important for us right now. The importance for us is that this property is one of the most basic properties of the real numbers, and it distinguishes the real from the rational numbers (which do not have this property).
In order to prove this theorem we need to know what exactly the real numbers are, and we have indeed given two possible constructions at the beginning of this section.. However, it is more important to understand these properties of R, and to know about the differences between R and the other number systems N, Z, and Q.
|Theorem 2.4.5: Square Roots inR|
|There is a positive real number x such that x2 = 2|
There are several other properties that will be of importance later on. Two of those are the Archimedean and the Density property. Again, as for the Least Upper Bound property, it is more important to understand what these properties mean than to follow the proof exactly.
|Theorem 2.4.6: Properties ofR and Q|
The set of real numbers satisfies the Archimedean Property:
The set of rational numbers satisfies the following Density Property:
This concludes the 'elementary' part of this text. We have now defined much of our basic notation, learned how to count to infinity, introduced all number systems that we will be using, and we have seen several different types of proofs. We are now ready for some more complicated topics.