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