Professional Documents
Culture Documents
Overview of The Related Concepts: Finite and Infinite Sets
Overview of The Related Concepts: Finite and Infinite Sets
Lecture notes based on ” Elements of the theory of computation” by H.R. Lewis and C. H. Papadimitriou.
The pigeonhole principle: If A and B are finite sets with |A| > |B|, then there is no one-to-one function
from A to B.
Proof by MI on n = |B|.
Recap: A 6= ∅, R ⊆ A × A is a binary relation on A. A path of length n ≥ 1 in the relation is a finite
sequence (a1 , . . . , an ) such that (ai , ai+1 ) ∈ R for i = 1, . . . , n − 1. (a1 , . . . , an ) is a cycle if all ai are distinct
and (an , a1 ) ∈ R.
Theorem 1 Let R be a binary relation on a finite set A. If there is a path from a to b in R, then there is a
path of length at most |A|.
Proof by contradiction and Pigeonhole principle.
The diagonalization principle: Let R be a binary relation on a set A, and let the diagonal set D for
R be defined as D = {a | a ∈ A and (a, a) 6∈ R}. For each a ∈ A, let Ra = {b | b ∈ A and (a, b) ∈ R}. Then
D is distinct from each Ra .
The diagonalization principle is used to prove that a set is uncountable. The idea: for any enumeration,
there exists an element that was not in the list.
Theorem 2 The set 2N is uncountable.
Proof by diagonalization principle.
Example 3 Let A, B, C be countably infinite sets and X, Y, Z be uncountable sets. For each of the following
state whether it is countable or uncountable: A ∪ B ∪ C, X ∪ Y , A ∪ X, A × B, A × X, X × Y , 2A
Theorem 3 For any non-empty finite set A, the set A? of all finite sequences formed out of A is countably
infinite.
Proof: Show that there exists an enumeration.
See problems 1.5.2, 1.5.3, 1.5.7, 1.5.8, 1.5.11 (and the rest).