2
$\begingroup$

We know that Baire Category Theorem implies that in a complete metric space, the countable intersection of open and dense sets is nonempty and actually dense itself.

But it is clear that a countable intersection of open sets need not be open.

So, can you find an example of a non-open set that is a countable intersection of open and dense sets in a complete metric space?

$\endgroup$
  • 3
    $\begingroup$ For each rational $r$, let $U_r=\Bbb R\setminus\{r\}$. Then the irrationals are the intersection of the sets $U_r$. $\endgroup$ – David Mitra Jun 3 '14 at 17:29
5
$\begingroup$

Sure:

For each rational number $ r$, let $U_r=\Bbb R\setminus\{\,r\,\}$. Then the set of irrational numbers is the intersection of the sets $U_r$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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