Lecture 09
Lecture 09
Definition 1.2 (Natural numbers). The set of natural numbers is the set N,
the existence of which is given in the Peano Postulates.
How do we know that there is a set, and an element of the set, and a function
of the set to itself, that satisfy the Peano Postulates? There are two approaches
to resolving this matter. When we do mathematics, we have to take something as
axiomatic, which we use as the basis upon which we prove all our other results.
1
Hence, one approach to the Peano Postulates is to recognize their very reasonable
and minimal nature, and to be satisfied with taking them axiomatically. Alterna-
tively, if one takes the Zermelo-Fraenkel Axioms as the basis for set theory, then
it is not necessary to assume additionally that the Peano Postulates hold, because
the existence of something satisfying the Peano Postulates can be derived from
the Zermelo-Fraenkel Axioms.
If one goes through the full development of the natural numbers starting from
the Peano Postulates, the first major theorem one encounters is the one which
will be stated shortly. This theorem is used in particular in the definition of
addition and multiplication of the natural numbers.This theorem, called Definition
by Recursion.
N N
s
f f
A A
k
Figure 1: Commutative diagram for recursive function k : A → A.
2
3. s(a) = a + 1. (Additive increment)
4. a + b = b + a. (Additive commutativity)
5. a · 1 = a = 1 · a. (Product identity)
13. If a < b and b < c, then a < c; if a ≤ b and b < c, then a < c. If a < b and
b ≤ c, then a < c; if a ≤ b and b ≤ c, then a ≤ c.
17. a ≤ b or b ≤ a. (Comparability)
Remark 2. Uniqueness is easy to see from Thm 1.4, but existence is hard to show.
Definition 1.6. Let a, b ∈ N. The sets {a, . . . , b} and {a, . . .} are defined by
{a, . . . , b} = {x ∈ N : a ≤ x ≤ b} and {a, . . .} = {x ∈ N : a ≤ x} respectively.
3
2 Mathematical Induction
Mathematical induction is a method to prove statements of the form (∀n ∈
N)(P (n)). Informally, we show that P (1) is true, and if P (1) is true then P (2)
is true, and so on. It suffices to show that P (1) holds, and if P (n) holds then
P (n + 1) holds for any arbitrary natural number n.
1. 1 ∈ G,
2. if n ∈ G, then n + 1 ∈ G.
Then, G = N.
Proof. Let
G = {n ∈ N : 8n − 3n divisible by 5},
1. k0 ∈ G,
Then, {k0 , . . .} ⊆ G.
1. 1 ∈ G,
Then, G = N.
4
Proof. Suppose G 6= N, we’ll derive a contradiction. Let H = N \ G 6= ∅. Since,
H ⊆ N, we have some m ∈ H such that m ≤ h for all h ∈ H by well-ordering
principle. We have m > 1 since 1 ∈ G. Therefore, m = 1 + b for some b ∈ N. Let
p ∈ {1, 2, . . . , b}, then p ≤ b < b + 1 = m. That is, p ∈
/ H and hence p ∈ G. By
second hypothesis of the theorem, we have m = b + 1 ∈ G. Therefore, we have a
contradiction.
1. k0 ∈ G,
Then, {k0 , . . .} ⊆ G.
1. Let f : [n] → N be a function. Then, there is a q ∈ [n] such that f (q) ≥ f (i)
for all i ∈ [n].