Week 9
Week 9
1. Introduction
We fix certain notations for this course:
N := {1, 2, 3, . . .}, the set of natural numbers,
Z := {0, ±1, ±2, ±3, . . .}, the set of integers,
p
Q := : p, q ∈ Z, q ̸= 0 , the set of rational numbers,
q
R := the set of real numbers.
The set of real numbers R is generally described geometrically by setting up a one-
to-one correspondence with points on a straight line that stretches infinitely in both
directions. We begin the lectures with certain essential preliminary properties of real
numbers.
Field Axioms: The set of real numbers R is associated with two binary operations
addition ‘ + ‘ and multiplication ‘ · ‘ that satisfies the following properties:
(1) a + b ∈ R for all a, b ∈ R.
(2) a + (b + c) = (a + b) + c for all a, b, c ∈ R.
(3) for any given a ∈ R, there exists 0 ∈ R such that a + 0 = a = 0 + a.
(4) for any given a ∈ R, there exists −a ∈ R such that a + (−a) = 0 = (−a) + a.
(5) a + b = b + a for all a, b ∈ R.
(6) a · b ∈ R for all a, b ∈ R.
(7) a · (b · c) = (a · b) · c for all a, b, c ∈ R.
(8) for any given a ∈ R, there exists 1 ∈ R such that a · 1 = a = 1 · a.
(9) for any given a ∈ R with a ̸= 0, there exists a1 ∈ R such that a · a1 = 1 = a1 · a.
(10) a · b = b · a for all a, b ∈ R.
(11) a · (b + c) = a · b + a · c and (a + b) · c = a · c + b · c for all a, b, c ∈ R.
As a consequence of the field axioms of R, one can prove that R is a real vector space
with respect to the addition as the vector addition and the multiplication as the scalar
multiplication.
Using Order Axiom (3) and the above definition, we have the following law.
Note: Geometrically, |a − b| denotes the distance between the real numbers a and b.
In particular, |a| denotes the distance of the real number a from the origin. Infact, if
we consider R as a inner product space, with inner product as ⟨x, y⟩ = xy. Then the
above properties with respect to absolute values are just the properties of norm.
Note: The inequality |x − a| < ε easily translates to a − ϵ < x < a + ε and the
inequality |x − a| > ε translates to x > a + ε or x < a − ε.
Definition 3. Let S be a nonempty subset of R.
• Bouded above and upper bound: The set S is said to be bounded above if
there exists a real number M such that x ≤ M for all x ∈ S. In this case, such
an M is said to be an upper bound of S.
• Bouded below and lower bound: The set S is said to be bounded below if
there exists a real number m such that x ≥ m for all x ∈ S. In this case, such
an m is said to be a lower bound of S.
• Bounded set: The set S is said to be bounded if S is both bounded above and
bounded below. Otherwise, the set S is said to be unbounded.
If S is a bounded subset of R, then there exists a real number K such that |x| ≤ K
for all x ∈ S. Consider the following sets:
A = {5, 8, 10, 11, 12, 15, 19, 37, 99}.
B = {x ∈ R : x < 2} = (−∞, 2).
C = {x ∈ R : x ≥ 5} = [5, ∞).
D = {x ∈ R : 1 < x < 3} = (1, 3).
√ √
E = {x ∈ R : 1 ≤ x ≤ 2} = [1, 2].
The sets A, D, and E are bounded. The set B is bounded above but not bounded
below. The set C is bounded below but not bounded above. In a similar way, N is
3
bounded below but not bounded above. However, Z, Q, and R are neither bounded
above nor bounded below.
It is easy to see that the set of rational numbers Q is a field and satisfies the or-
der axioms. However, the completeness property is not satisfied by Q. Consider the
set
S = {x ∈ Q : x2 ≤ 2}.
This subset S of Q is bounded
√ above in Q with one of the upper bound 2. However,
the supremum of S is 2, which is not a rational number. Thus there is a nonempty
subset S of Q that is bounded above but does not have supremum in Q.
√
Exercise: Prove that 2 is not a rational number.
4
√
Proof. If possible, let 2 be a rational number. Then there exists p, q ∈ Z with q ̸= 0
and gcd(p, q) = 1 such that
√ p
2= .
q
This implies
p2 = 2q 2 ,
and hence 2 divides p. Thus p = 2p1 . Using this, we have
4p21 = 2q 2 or q 2 = 2p21 ,