Sequence of Imaginary Reciprocals/Countability

From ProofWiki
Jump to navigation Jump to search

Theorem

Consider the subset $S$ of the complex plane defined as:

$S := \set {\dfrac i n : n \in \Z_{>0} }$

That is:

$S := \set {i, \dfrac i 2, \dfrac i 3, \dfrac i 4, \ldots}$

where $i$ is the imaginary unit.


The set $S$ is countably infinite.


Proof

Let $\phi: \N \to S$ be the mapping defined as:

$\forall n \in \N: \map \phi n = \dfrac i n$

$\phi$ is a bijection.

Hence the result by definition of countably infinite.

$\blacksquare$


Sources