Strictly Positive Integers have same Cardinality as Natural Numbers

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $\Z_{>0} := \set {1, 2, 3, \ldots}$ denote the set of strictly positive integers.

Let $\N := \set {0, 1, 2, \ldots}$ denote the set of natural numbers.


Then $\Z_{>0}$ has the same cardinality as $\N$.


Proof

Consider the mapping $f: \N \to \Z_{>0}$ defined as:

$\forall x \in \N: \map f x = x + 1$

Then $f$ is trivially seen to be a bijection.

The result follows by definition of cardinality.


Sources