Chapter 1 Real and Complex Number Systems
INTRODUCTION
A satisfactory discussion of the main concepts of analysis (such as convergence, continuity, differentiation, and integration) must be based on an accurately defined number concept. We shall not, however, enter into any discussion of the axioms that govern the arithmetic of the integers, but assume familiarity with the rational numbers (i.e., the numbers of the form 
, where 
and 
are integers and 
).
The rational number system is inadequate for many purposes, both as a field and as an ordered set. (These terms will be defined in Secs. 1.6 and 1.12.) For instance, there is no rational 
such that 
. (We shall prove this presently.) This leads to the introduction of so-called "irrational numbers" which are often written as infinite decimal expansions and are considered to be "approximated" by the corresponding finite decimals. Thus the sequence
"tends to 
." But unless the irrational number 
has been clearly defined, the question must arise: Just what is it that this sequence "tends to"?
This sort of question can be answered as soon as the so-called "real number system" is constructed.
1.1 Example
We now show that the equation
(1)
is not satisfied by any rational 
. If there were such a 
, we could write 
where 
and 
are integers that are not both even. Let us assume this is done. Then (1) implies
(2)
This shows that 
is even. Hence 
is even (if 
were odd, 
would be odd), and so 
is divisible by 
. It follows that the right side of (2) is divisible by 
, so that 
is even, which implies that 
is even.
The assumption that (1) holds thus leads to the conclusion that both 
and 
are even, contrary to our choice of 
and 
. Hence (1) is impossible for rational 
.
We now examine this situation a little more closely. Let 
be the set of all positive rationals 
such that 
and let 
consist of all positive rationals 
such that 
. We shall show that 
contains no largest number and 
contains no smallest.
More explicitly, for every 
in 
we can find a rational 
in 
such that 
, and for every 
in 
we can find a rational 
in 
such that 
.
To do this, we associate with each rational 
the number
(3)
Then
(4)
If 
is in 
then 
, (3) shows that 
, and (4) shows that 
. Thus 
is in 
.
If 
is in 
then 
, (3) shows that 
, and (4) shows that 
. Thus 
is in 
.
1.2 Remark
The purpose of the above discussion has been to show that the rational number system has certain gaps, in spite of the fact that between any two rationals there is another: If 
then 
. The real number system fills these gaps. This is the principal reason for the fundamental role which it plays in analysis.
In order to elucidate its structure, as well as that of the complex numbers, we start with a brief discussion of the general concepts of ordered set and field.
Here is some of the standard set-theoretic terminology that will be used throughout this book.
1.3 Definitions
If 
is any set (whose elements may be numbers or any other objects), we write 
to indicate that 
is a member (or an element) of 
. If 
is not a member of 
, we write: 
.
The set which contains no element will be called the empty set. If a set has at least one element, it is called nonempty.
If 
and 
are sets, and if every element of 
is an element of 
, we say that 
is a subset of 
, and write 
, or 
. If, in addition, there is an element of 
which is not in 
, then 
is said to be a proper subset of 
. Note that 
for every set 
.
If 
and 
, we write 
. Otherwise 
.
1.4 Definition
Throughout Chap. 1, the set of all rational numbers will be denoted by 
.
See you next time---! 88
