The operations of addition, subtraction, multiplication, and division can
be defined over the set of real numbers. If # represents any one of these
operations and x and y are elements of R with y 6¼ 0, then:
x # y 2 R
REAL-NUMBER ‘‘DENSITY’’
Do you sense something strange going on here? We’ve just seen that the
rational numbers, when depicted as points along a line, are ‘‘dense.’’ No
matter how close together two rational-number points on a line might be,
there is always another rational-number point between them. But this doesn’t
mean that the rational-number points are the only points on a line.
Every rational number corresponds to some point on a number line such as
the one shown in Fig. 1-2. But the converse of this statement is not true.
There are some points on the line that don’t correspond to rational numbers.
A good example is the positive number that, when multiplied by itself,
produces the number 2. This is approximately equal to 1.41421. Another
example is the ratio of the circumference of a circle to its diameter, a constant
commonly called pi and symbolized p. It’s approximately equal to 3.14159.
The set of real numbers is more ‘‘dense’’ than the set of rational numbers.
How many times more dense? Twice? A dozen times? A hundred times?
It turns out that the set of real numbers, when depicted as the points on a
line, is infinitely more dense than the set of real numbers. This is hard to
imagine, and a proof of it is beyond the scope of this book. You might think
of it this way: Even if you lived forever, you would die before you could
name all the real numbers.
SHADES OF INFINITY
The symbol @
0
(aleph-null or aleph-nought) denotes the cardinality of the
set of rational numbers. The cardinality of the real numbers is denoted
@
1
(aleph-one). These ‘‘numbers’’ are called infinite cardinals or transfinite
cardinals.
Around the year 1900, the German mathematician Georg Cantor proved
that these two ‘‘numbers’’ are not the same. The infinity of the real numbers
is somehow larger than the infinity of the rational numbers:
@
1
> @
0
The elements of N can be paired off one-to-one with the elements of Z or Q ,
but not with the elements of S or R. Any attempt to pair off the elements of N
CHAPTER 1 Numbers and Arithmetic 17