Real Numbers: 1 Field Axioms
Real Numbers: 1 Field Axioms
Real Numbers: 1 Field Axioms
REAL NUMBERS
1 Field Axioms
We assume that there are two binary operations on R, i.e., functions defined from
R × R to R
+ : (a, b) 7−→ a + b, · : (a, b) 7−→ a · b,
the first called addition, and the second multiplication, such that the following prop-
erties are satisfied:
Axiom 1.4 For every element a in R there is an element in R, denoted by −a, which
satisfies
a + (−a) = (−a) + a = 0.
(the existence of an additive inverse).
1
2 Order Axioms
We assume that there is a subset P of R with the following properties:
Axiom 2.1 For any a ∈ R, one and only one, of the following alternatives holds:
a ∈ P , or a = 0, or − a ∈ P.
P is called the set of positive real numbers. For any pair of real numbers a and b
we now say a is greater than b (or b is less than a) and we write a > b (or b < a) if
and only if a − b ∈ P . This defines the binary relation greater than, denoted by > on
R. Thus
P = {a ∈ R : a > 0} ,
and if we define the set P − = {a ∈ R : −a ∈ P }, then we have
P − = {a ∈ R : a < 0} ,
which is the set of negative real numbers. Now Axiom 2.1 implies P ∩{0} = {0}∩P − =
P − ∩ P = ∅, and
R = P ∪ {0} ∪ P − .
In other words, any real number is either positive, negative, or 0. We also use the
abbreviated notation a ≥ b (equivalently, b ≤ a) when a > b or a = b, that is, when
a − b ∈ P ∪ {0}. It now follows, from Axiom 2.1 that if a ≥ b and a ≤ b then a = b.
Axioms 2.1 and 2.2, added to Axiom 1.1 − 1.9, introduce order into R, which now
becomes an ordered field .
Let A be a subset of R. m ∈ A is called the least element of A, or the minimum of
A, if m ≤ a for all a ∈ A. Clearly, if A has a minimum it cannot have more than one;
for if m1 and m2 are both minima of A then by definition, m1 ≤ m2 and m2 ≤ m1 ,
hence m1 = m2 . Similarly, M ∈ A is the greatest element, or the maximum of A if
M ≥ a for all a ∈ A. If M exists, it is also unique. We shall often use the notation
m = min A and M = max A. The set
{x ∈ R : x > 1, x ≤ 2} = {x ∈ R : 1 < x ≤ 2} ,
Example 2.1 Prove that the relation < on R is transitive, in the sense that, if a < b
and b < c, then a < c.
(c − b) + (b − a) ∈ P.
2
Example 2.2 For any a, b, c ∈ R, with a < b, prove the following:
(i) a + c < b + c;
Solution. (i) Using Axioms 1.1, 1.2, 1.3 and 1.4, we have
(b + c) − (a + c) = b − a.
(ii) Here both c and b − a are positive, i.e. in P , and by Axiom 2.2 so is their product
(b − a) c. But by Axiom 1.9,
(b − a) c = bc − ac.
Definition 2.1 For any real number x, the absolute value or modulus of x is defined
as
x , x≥0
|x| =
−x , x < 0.
√ √
Note that 0 √
= 0, and a is the positive square root of a if a > 0. If a < 0, then
by Example 2.3, a cannot be a real number.
3
(iii) |−x| = |x|
Proof. Exercise.
(i) 1 ∈ A;
(ii) a ∈ A ⇒ a + 1 ∈ A.
The collection of all inductive sets denoted by I. We see that I 6= ∅, for it includes
R. Furthermore, the intersection of any collection of inductive sets is an inductive
set. Now we define the set of natural numbers as the intersection of all inductive
subsets of R, that is, \
N= {A ⊆ R : A ∈ I} .
In other words, N is the smallest inductive set in R. This is in line with the intuitive
idea that
{1, 2, 3, . . .} = {1, 1 + 1, 1 + 1 + 1, . . .} .
As a consequence, we obtain the following result, commonly referred to as the
principle of mathematical induction.
(i) 1 ∈ A;
(ii) n ∈ A ⇒ n + 1 ∈ A,
then A = N.
4
Solution. Let m ∈ N and A = {n ∈ N : m + n ∈ N}. Clearly, A ⊆ N. We shall
prove that A is inductive, and hence equals N. Note that:
(m + n) + 1 = m + (n + 1) ∈ N,
(a) n ≥ 1.
(b) If n 6= 1, then n − 1 ∈ N.
Solution.
(i) 1 ∈ A.
(ii) If n ∈ A, then n ≥ 1. Since 1 > 0 we have n + 1 ≥ 1 + 0 = 1, hence
n + 1 ∈ A.
(d) Suppose m, n ∈ N and m > n. From part (c) we know that m − n ∈ N, and
from part (a) we conclude that m − n ≥ 1, that is, m ≥ n + 1.
We shall prove one of the more important properties, known as the well ordering
principle.
5
Theorem 3.2 Any nonempty subset of N has a least element.
A = {n ∈ N : {1, 2, . . . , n} ∩ S = ∅} .
(i) 1 ∈
/ S, otherwise 1 would be the smallest element in S by Example 3.2(a), hence
1 ∈ A.
(ii) Let n ∈ A. If k ∈ S then k ∈ / {1, 2, . . . , n}, hence k > n. By Example 3.2(d),
k ≥ n+1. Now if n+1 ∈ S then n+1 = min S, in contradiction with our assumption.
Therefore n + 1 ∈/ S, so n + 1 ∈ A. Thus A is inductive and must therefore coincide
with N. But this implies S = ∅, which contradicts our initial assumption and proves
the theorem.
A natural number greater than 1 which is divisible only by itself and 1 is called a
prime number. The next result is known as the prime factorization theorem.
Theorem 3.3 Every natural number greater than 1 may be expressed as a product of
prime numbers.
(ii) Suppose P (2) , P (3) , . . . , P (n) are all true. Either n + 1 is prime and hence
P (n + 1) is true, or there are two natural numbers k and m, both greater than
1, such that
n + 1 = km.
6
Since k and m are both necessarily less than n + 1, we have k ≤ n and m ≤ n.
From assumption (ii), both k and m can be expressed as products of primes, and
therefore n + 1 is also a product of primes, that is, P (n + 1) is true. Thus, by
induction, P (n) is true for all n ∈ {2, 3, 4, . . .} .
Remark 3.1 If the prime factors of n are p1 , p2 , . . . , pk then there are natural num-
bers m1 , m2 , . . . , mk such that
mk
n = pm1 m2
1 p2 · · · pk ,
and this representation of n by the product of its prime factors is unique if the prime
factors are arranged in increasing order p1 < p2 < · · · < pk .
Definition 3.3 A rational number is a real number which can be represented as a·b−1 ,
where a, b ∈ Z and b 6= 0. The set of rational numbers, denoted by Q, may therefore
be expressed as na o
Q= : a ∈ Z, b ∈ Z \ {0} .
b
It is straightforward to verify that Q satisfies all the axioms 1.1 to 2.2.
a2 = 2b2 ,
a2 = 4m2 = 2b2 .
Therefore b2 = 2m2 , and once again we conclude that 2 is a prime factor of b as well,
which contradict the assumption that a and b have no common factor.
7
4 Completeness Axiom
Definition 4.1 Let A be a nonempty subset of R :
(i) If there is an M ∈ R such that
x ≤ M for all x ∈ A,
then M is called an upper bound of A, and the set A is said to be bounded above;
(ii) If there is an m ∈ R such that
x ≥ m for all x ∈ A,
Example 4.1 The interval A = [0, 1) is bounded above by 1. In fact, any number
b ≥ 1 is an upper bound of A. A is also bounded below by 0, and by any number
a < 0. Consequently the interval [0, 1) is a bounded subset of R. But the interval
[0, ∞), which is bounded below, has no upper bound and is therefore unbounded.
u ≥ x for all x ∈ A =⇒ u ≥ b.
u ≤ x for all x ∈ A =⇒ u ≤ a.
It should be noted that, if there is a least upper bound for A, it must be unique;
for if b and b0 are both least upper bound of A, then by applying condition (ii) with
b as a least upper bound and b0 as an upper bound, we obtain b0 ≥ b. By reversing
the roles of b and b0 we obtain b = b0 . Similarly, the greatest lower bound of a subset
of R, if it is exists, is unique.
When it exists, sup A ∈ R, and if sup A ∈ A then we must have sup A = max A.
Similarly, inf A = min A if inf A ∈ A.
Example 4.2 If A is any of the intervals (a, b) , [a, b) , (a, b], or [a, b] then
sup A = b, inf A = a.
8
Solution. Take A = (a, b). The proof is similar for the other cases. By definition
of (a, b) , b > a and b is an upper bound of A. If u is an upper bound of A such that
u < b, then
u+b
a<u< < b.
2
This implies
u+b u+b
∈ A and u <
2 2
which contradicts the assumption that u is an upper bound of A. Hence u ≥ b and
b = sup A.
To prove that inf A = a we can either follow a similar line of argument, i.e., proof
by contradiction, or use the next lemma.
Lemma 4.1 If we define −A = {−x : x ∈ A}, then the set A is bounded below if and
only if −A is bounded above. Furthermore
x ≥ c ⇐⇒ −x ≤ −c,
and this implies A is bounded below (by c) if and only if −A is bounded above (by
−c). Now if a = inf A then −a is an upper bound of −A. If u is another upper bound
of −A then −u is a lower bound of A. By the definition of inf A, −u ≤ a, hence
u ≥ −a. We have therefore proved that
−a = sup (−A) ,
or, inf A = a = − sup (−A). We arrive at the same equality if we assume the existence
of sup (−A) and follow a similar argument.
Now we are ready to state the following axiom, known as the completeness axiom.
The next theorem demonstrates how the set of real numbers R, equipped with
axiom 4.1, is now large enough to provide solutions to such equations as x2 = 2, an
equation which had no solution in Q as we saw in Theorem 3.4.
9
√
This theorem shows the existence of the positive n-th root of a, denoted
√ by n a
or a1/n , for any a > 0 √
and any n ∈ N. Taking n = a = 2, we see that 2 ∈ R. Since
√ already know that 2 ∈
we / Q ⊆ R, we must conclude that Q ⊂ R. Numbers such as
2 are called irrational. But we shall soon discover that the set of irrational numbers
R \ Q is much larger than the collection of roots of natural numbers. In certain sense,
which will soon be clarified, there are actually more irrational numbers than rational
ones in R.
Theorem 4.3 (Theorem of Archimedes) The set of natural numbers is not bounded
above.
Corollary 4.1 For every x > 0 there is a natural number n such that x > 1/n.
Proof. By Theorem 4.3 we know that the set {m ∈ N : x < m} is not empty. By the
well ordering property (Theorem 3.2) it has a smallest element, call it n. We then
have x < n, but x ≮ n − 1, hence n − 1 ≤ x < n.
Theorem 4.4 If x and y are real numbers and x < y, then there is a rational number
r such that x < r < y.
Proof. (i) We first consider the case where x ≥ 0. By Corollary 4.1, since y − x > 0
there is a natural number n such that
1
y−x> , or nx + 1 < ny. (1)
n
Since nx ≥ 0 we can find an m ∈ N, by Corollary 4.2, such that
m − 1 ≤ nx < m. (2)
10
Take r = m/n.
(ii) Let x < 0. Using Theorem 4.3, we can find a k ∈ N such that k > −x.
Consequently,
0 < k + x < k + y.
In view of (i), there is a rational number q which satisfies
k + x < q < k + y.
Since r = q − k is also rational and satisfies x < r < y, the proof is complete.
By repeated application of Theorem 4.4, we see that between any two distinct real
numbers there is an infinite number of rational numbers. The irrational numbers are
also dense in R, as the next corollary shows.
Corollary 4.3 If x and y are real numbers and x < y, then there is an irrational
number t such that x < t < y.
√ √
Proof. If x < y then 2x < 2y, and we choose Theorem 4.4 to conclude the
existence of a rational number r 6= 0 which satisfies
√ √
2x < r < 2y,
For instance, [0, 1] is complete but (0, 1) is not complete. Also, R is complete by
the Completeness Axiom for R.
11