Baire Space iff Open Sets are Non-Meager/Historical Note

From ProofWiki
Jump to navigation Jump to search

Historical Note on Baire Space iff Open Sets are Non-Meager

This result was the original definition which René-Louis Baire gave for the Baire space.

The more modern approach is to define it directly in terms of interiors of countable unions of closed sets.