Is countable intersection of open sets an open set???
I doing some exercise related to $G_{\delta}$ set and got something confused. From the definition of topology space, finite intersection of finite open sets is an open set. By induction, we can conclude that countable intersection of open sets is open too (I see a lot of proof concluding that in set theory). But then $G_{\delta}$ notion is the same as open set, which I think impossible. Can some one clarify for me?
Thanks so much.
$\endgroup$ 22 Answers
$\begingroup$You can't use induction like that. If you started with the fact that the intersection of two open sets is open, induction will get you that for any finite number of open sets, their intersection is open. But there is no way to go from that to a countable intersection of open sets is open. Which is good because, as seen in the other answers, that is false.
$\endgroup$ $\begingroup$In general no, just take intervals $(-1/n, 1/n)$ for $n=1,2,\ldots$ as open subsets of the real line. Then the countable intersection of all these is just the point $0$, which is not an open set.
$\endgroup$
