Let $\{G_n\}$ be a sequence of infinite open dense subsets of a complete metric space $X$. I have already proved intersection of $\{G_n\}$ is non-empty and now wants to prove this intersection is dense in $X$ (as it's claimed to be correct in a textbook), but got no idea on how to do so.
Asked
Active
Viewed 62 times
2
-
What do you have available? Proving that from scratch is pretty hard – Severin Schraven Mar 20 '24 at 07:25
-
@SeverinSchraven I believe my answer is quite accessible to OP. – Kavi Rama Murthy Mar 20 '24 at 07:45
-
@geetha290krm That is pretty smooth – Severin Schraven Mar 20 '24 at 15:41
1 Answers
3
If $U$ is a non-empty open set then $U$ is itself a complete metric space under an equivalent metric. Consider $U\cap G_n$ in this space to see that $\cap G_n$ intersects $U$. Hence, $\cap G_n$ is dense.
Kavi Rama Murthy
- 359,332