Beruflich Dokumente
Kultur Dokumente
1 7→ (0, 1),
2 7→ (1, 1),
3 7→ (1, 0),
4 7→ (2, 0),
and so further. Now, since S and T are denumerable, we have isomorphisms
f : N → S and g : N → T.
We define
F : N×N→S ×T
by
F ((a, b)) = (f (a), f (b)).
Exercise Prove that F is an isomorphism since so are both f and g.
Exercise Prove that the composition F ◦ h is an isomorphism.
Since
F ◦h : N→S×T
is an isomorphism, we conclude that S × T is denumerable as required.
There is an alternative way to prove this proposition. I now provide a proof
which avoids ”snake” argument.
Exercise Show that it suffices to prove that the set N∗ × N∗ is denumerable.
Proposition. The set N∗ × N∗ is denumerable.
Proof. Consider the map
f : N∗ × N∗ → N
defined by
f (a, b) = 2a−1 (2b − 1) − 1.
Exercise Show that f is a bijection.