← Library
Topology
The Baire Category Theorem
Proves that a countable intersection of open dense subsets of a complete metric space is dense, using nested balls and a Cauchy-sequence construction.
Your browser cannot display this PDF inline.
Open the PDF