Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Mohan K. Kadalbajoo
Professor(Retd.)
IIT Kanpur
x S
x
/S
Subsets
A set A is said to be a subset of B and we write
AB
A B = {x|x A and x
/ B}
One popular method to introduce the real number system is to begin with
positive (natural) integers 1, 2, 3, . . . and use them as a building block:
i.e., take the positive integers as undefined concepts, use these integers to
build a larger system consisting of positive rational numbers and these in
turn can be used as a basis for constructing the positive irrational numbers.
The final step is the introduction of negative real numbers and zero.
Note: The most difficult part of the whole process is the transition from
the rational numbers to the irrational numbers.
Remark: Need for irrational numbers was apparent to the ancient Greeks
(from their study of geometry)
x + y = y + x, xy = yx
x + (y + z) = (x + y ) + z, x(yz) = (xy )z
x(y + z) = xy + xz
x + 0 = x and 1.x = x
x +y =0
There exist certain subsets of R which are distinguished because they have
special properties not shared by all real numbers. We shall discuss two
such subsets, the integers and the rational numbers.
To introduce the positive integers, we begin with the number 1,
whose existence is guaranteed by Axiom 4. The number 1 + 1 is denoted
by 2, the number 2+1 by 3, and so on. The number 1, 2, 3, ... obtained
this way are all positive and are called positive integers. This description
of positive integers is not entirely complete and we shall try to give a more
precise definition of the positive integers.
Definition(Positive integers)
A real number is called a positive integer if it belongs to every inductive
set.
The negatives of the positive integers are called the negative
integers. The positive integers together with the negative integers and 0
(zero) form a set Z which we call simply the set of integers.
The ordering relation among the real numbers has a simple geometric
interpretation. If x < y , the point x lies to the left of the point y . Positive
numbers lie to the right of 0 and negative numbers to the left of 0. If
a < b, a point x satisfies the inequality a < x < b if and only if x is
between a and b.
The nine axioms listed above contain all the properties of real numbers
usually discussed in elementary algebra. There is another axiom of
fundamental of importance in Calculus which is used to establish the
existence of irrational numbers. Irrational numbers arise in elementary
algebra when we try to solve certain quadratic equations, such as
x 2 2 = 0. From the nine axioms above, we cannot prove that such an x
exists in R, because these nine axioms are also satisfied by Q, and there is
no rational number x whose square is 2.
Before we introduce Axiom 10, we introduce some more terminology and
notation:
x B
Example 1
Let S be the set of all positive real numbers. This set is unbounded
above. It has no upper bound and no maximum element.
Example 3
Let T be the set of all real x satisfying 0 x < 1. This set is
bounded above by 1 but it has no maximum element.
Note: Some sets like the one in example 3 are bounded above but have
no maximum element. For these sets there is a concept which takes the
place of the maximum element. This is called the least upper bound of
the set and it is defined as follows:
Proof: Suppose that B and C are two least upper bounds for a set S.
Property b) implies that C B since B is a least upper bound; Similarly,
B C since C is a least upper bound. Hence, we have B = C .
This theorem tells us that if there is a least upper bound for a set S,
there is only one and we may speak of the least upper bound. We also
refer to the least upper bound of a set by Supremum and thus
B = sup S
would express the fact that B is the least upper bound, or Supremum of S.
We now state the least upper bound axiom for the real number system.
Axiom 10. Every nonempty set S of real numbers which is bounded above
has a supramum. That is there is a real number B such that B = sup S
1 n
1+ forn = 1, 2, 3, ...
n
We give here a number of properties of the real number system which are
consequences of the least upper bound axiom:
P1: The set of P of positive integers 1, 2, 3... is unbounded above.
P2: For every real x there exists a positive integer n such that n > x
P3: If x > 0 and if y is an arbitrary real number, there exists a positive
integer n such that nx > y .
N = {1, 2, 3, ...}
Another version
2k > 2k + 1
Since 2k + 2 > 3 for all k 1, the bridge is valid for all k 1. Hence with
the base n0 = 3, we can apply the principle to conclude that the inequality
holds for all n 3.
Thus if the inequality holds for k, then it also holds for k + 1. Thus by
mathematical induction, the inequality holds for all n N.
6. If r R, r 6= 1, and n N, then
1 r n+1
1 + r + r2 + + rn =
1r
This is a formula for the sum of the terms in a geometric progression
1 r2
1+r = = 1 + r , so true for n = 1
1r
Assume it to be true for n = k and add the term r k+1 on both sides, we
get
1 r k+1
1 + r + r 2 + + r k + r k+1 = + r k+1
1r
1 r k+2
=
1r
which is the formula for n = k + 1. Therefore, by mathematical induction
the formula is valid for all n N.
For example |5|= 5 and |8| = 8. We see from the definition that |a| 0
for all a R and that |a|= 0 if and only if a = 0. Also |a|= |a| for all
a R. Some additional properties are as follows:
(|a|+|b|) a + b |a|+|b|
|a + b| |a|+|b|
|a||b| |a b| ....(i)
Similarly, from
|b| = |b a + a| |b a|+|a|
or |a b| = |b a| |a||b| ...(ii)
Mohan K. Kadalbajoo Real Number Systems 48 / 55
Combining (i) and (ii) we get the required result
b) Replace b in the triangle inequality by b to get
|a b| |a|+|b|
and since |b|= |b|, we obtain the result.
The set of rational numbers is dense in R in the sense that given any
two real numbers, there is rational number between them ( in fact there
are infinitely many such rational numbers).
Theorem
The Density Theorem: If x and y are any real numbers with x < y , then
there exists a rational number r Q such that x < r < y