Sign up ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

A set is of first category if it is the union of nowhere dense sets and otherwise it is of second category.

How can we prove that irrational numbers are of second category and the rationals are of of first category?

share|cite|improve this question
Do you mean a countable union? – T. Eskin Dec 24 '12 at 9:55

2 Answers 2

up vote 2 down vote accepted

Recall that $\mathbb{R\setminus Q}=\bigcap_{q\in\mathbb Q}\mathbb R\setminus\{q\}$.

This is a countable intersection of dense open sets, and by Baire's category theorem the result is dense, i.e. second-category.

share|cite|improve this answer

$\mathbb Q = \bigcup_{q \in \mathbb Q} \{ q \}$ hence the rationals are a countable union of nowhere dense sets.

Assume the irrationals are also a countable union of nowhere dense sets: $I = \bigcup_{n \in \mathbb N} U_n$. Then $\mathbb R = \bigcup_{q \in \mathbb Q} \{ q \} \cup \bigcup_{n \in \mathbb N} U_n$ is also a countable union of nowhere dense sets.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.