3 Countability
3 Countability
2 Countability
Definition 2.1 (Equivalent Sets). Two sets A and B are said to be equivalent if
there is a one-one correspondence between the sets A and B.
i.e. ∃ a bijective map f : A → B and is denoted by A ∼ B.
Definition 2.4. A set X is said to be infinite if n ∈ N such that X ∼ {1, 2, ..., n}.
m
Then take x = 2
∈Z
f (x) = 2x = 2( m2 ) = m
∴ f is onto.
Z ∼ N and hence it is countable.
Now define f : ∪∞
n=1 An → N × N by
Then aij ∈ ∪∞
n=1 An such that f (aij ) = (i, j) and hence f is onto
⇒ ∪∞
n=1 An ∼ N × N
⇒ ∪∞
n=1 An is countable.
Therefore, Q = ∪∞
n=1 An
A \ {x1 }.
Then x1 < x2 and x2 ≥ 2
By repeating this same arguments, we get, x1 < x2 < x3 < ... such that xn ≥ n is the
least element of A \ {x1 , x2 , ...xn−1 }.
We will show that A \ {x1 , x2 , ...} = ∅.
Suppose not. Then ∃ m ∈ A such that m = xi ∀ i.
Take S = {k ∈ N|xk > m}.
Since xm ≥ m and m = xm , we get xm > m and so m ∈ S.
∴ By well ordering principle S has least element say n
⇒ 1, 2, ..., n − 1 ∈
/ S and n ∈ S
⇒ x1 < x2 < ... < xn−1 < m and xn > m
⇒ x1 < x2 < ... < xn−1 < m < xn .
Since xn is the least element of A \ {x1 , x2 , ..., xn−1 }
⇒ xn ≤ m, which is a contradiction.
∴ A \ {x1 , x2 , ...} = ∅
⇒ A = {x1 , x2 , ...}.
∴ A is countable.
Theorem 2.12. (0, 1) is uncountable where (0, 1) = {x|0 < x < 1}.
⎧
⎨ 2, if a = 2;
nn
Where bnn =
⎩ 3, if a = 2.
nn
⇒ ann = bnn ∀ n
Then y ∈ (0, 1) but y = xn ∀n
Which is a contradiction.
∴ (0, 1) is uncountable.