Corollary 7.4.6
Claim
The set of irrational numbers is uncountable.
Proof
We will do a proof by contradiction. Assume the set of irrationals is countable. The union between the set of rationals and the set of irrationals is equal to $\mathbb {R}$. By Exercise 7.3.9, we know that the union of two countable sets is also countable. This is our contradiction because $\mathbb {R}$ is uncountable. Showing the set of irrational numbers is uncountable.
$\square$
page revision: 3, last edited: 10 Dec 2009 00:55
Proceed by contradiction. Recall that $\mathbb{R}$ is equal to the union of the rationals and irrationals. If the irrationals are countable, what does Exercise 7.3.9 tell us?