The proof for Baire category theorem in my book assumes that the intersection of dense subsets of a complete metric space is nonempty. Why can this be assumed, why is it true?
Intersection of open dense subsets in a complete metric space is nonempty
general-topology
Related Question
- Are there any vector spaces that cannot be given a norm that makes the vector space a complete metric space
- For a locally compact Hausdorff or complete metric space, every nonempty countable closed subset contains an isolated point.
- Baire category theorem dense subsets
- Proof verification: countable intersection of dense $G_\delta$’s in a complete metric space is dense
- Suppose that (𝑋,𝑑) is a complete metric space. Show that there is no open, continuous function 𝑓:𝑋→ℚ
Best Answer
It's not true the way you stated it (think $\Bbb Q$ and the irrationals $\Bbb P$ in $\Bbb R$, e.g.)
But two (or finitely many) open dense sets always intersect, because dense sets intersect all (non-empty) open sets... In any space the finite intersection of finitely many dense open sets is dense and open, Baire strengthens this to countably infinite intersections in some spaces (we lose openness of the intersection, but keep dense-ness).