Baire category theorem

From Citizendium
Revision as of 20:31, 6 January 2009 by Richard Pinch (Talk | contribs) (update link)

Jump to: navigation, 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).


  • J.L. Kelley (1955). General topology. van Nostrand, 200-201.