Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Possible Duplicate:
How would one go about proving that the rationals are not the countable intersection of open sets?

As the topic, prove that set $S$ of rational numbers in the interval (0,1), cannot be expressed as the intersection of a countable collection of open sets.

share|cite|improve this question

marked as duplicate by Chris Eagle, BenjaLim, Nate Eldredge, Norbert, J. M. Oct 5 '12 at 13:10

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

This follows immediately from the Baire category theorem. Suppose that $\Bbb Q\cap(0,1)=\bigcap_{n\in\Bbb N}U_n$, where each $U_n$ is open. For each $q\in\Bbb Q\cap(0,1)$ let $V_q=(0,1)\setminus\{q\}$. Then $$\{U_n:n\in\Bbb N\}\cup\{V_q:q\in\Bbb Q\cap(0,1)\}$$ is a countable family of dense open subsets of $(0,1)$ whose intersection is empty. Since $(0,1)$ is locally compact, however, the Baire category theorem ensures that the intersection of a countable family of dense open sets is dense in $(0,1)$.

share|cite|improve this answer

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