Exercise 341Logic, sets and proofs › Countability and cardinalityL1Added 31 Oct 2026
The integers are countable
#bijection#countability
Statement
Show that there is a bijection from to .
Hint
Send even numbers to non-negative integers and odd numbers to negative integers.
Show solutionHide solution
Solution
Define by
The values start
On even numbers we have , which takes every non-negative integer exactly once. On odd numbers we have , which takes every negative integer exactly once.
The two sets of values are disjoint and together cover , so is a bijection.