Suppose the set of irrationals is of the first category, then the set of all
reals will also be of the first category since the set of rationals is
obvious of the first category. But R is a complete metric space which cannot
be of the first category.