nsTeam1RO, nsTeam1RW, nsTeam1_talkRO, nsTeam1_talkRW
6,781
edits
Changes
Jump to navigation
Jump to search
mLine 1:
Line 1: − Server Error 404- Page not found.+ + + + +
Reverted edits by GoodMan7 (Talk); changed back to last version by RSchlafly
A [[set]] X is '''countable''' if and only if there is a [[bijection]] from X to a subset set of [[Natural Numbers|natural numbers]]. Countable sets include finite sets, the set of [[integer]]s, and the set of [[rational number]]s.
There is no smallest infinite countable set. Indeed, the set of natural numbers is in bijection with the natural numbers without 0: subtracting 1 from every number gives a bijection from the first set to the second. Repeating this process shows that for any initial segment of the the natural numbers (such as {1, 2, ..., n}), we have a bijection between the set of natural numbers and the set of natural numbers without this segment. The bijection is simply subraction by n.
[[Category:Set theory]]