Corollary 7.4.4

The set $\mathbb{R}$ of real numbers is uncountable.

For sake of contradiction, we will assume that $\mathbb{R}$ is countable. By the definition of countable there exists a 1-1 correspondence $f:\mathbb{N}\to\mathbb{R}$. In order to show our contradiction we must construct a new function:

$f*:X\to(1,0)$ via

By assuming $f*$ to be onto and one to one we can see that $cardx=card(0,1)$. Therefore $(0,1)$ is countable, however, by theorem 7.4.3, $(0,1)$ is uncountable. So by contradiction $\mathbb{R}$ is uncountable.


Since $(0,1)$ is a subset of $\mathbb{R}$ and $(0,1)$ is uncountable by theorem 7.4.3, $\mathbb{R}$ must be uncountable.

Add a New Comment
Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution-ShareAlike 3.0 License