Baire category theorem
Jump to navigation
Jump to search
In general topology, the Baire category theorem states that a non-empty complete metric space is a second category space: that is, it is not a countable union of nowhere dense sets (sets whose closure have empty interior).
References
- J.L. Kelley (1955). General topology. van Nostrand.