previous up next
Go backward to Countable Sets
Go up to Top
Go forward to Example
RISC-Linz logo

Example

Z is infinite but it is countable because we can define

f: N ->bijective Z
f(x) := if x is even then -x/2 else (x+1)/2
i.e.,
f = [0, 1, -1, 2, -2, 3, -3, ...].

While Z is infinite, we can enumerate all its elements.


Author: Wolfgang Schreiner
Last Modification: December 7, 1999

previous up next