Abstract
In a topological space that has a countable base, it is obvious that the union of any family of open sets of first category is of first category. One need only take the union of those members of the base that are contained in at least one member of the given family. The same reasoning shoves that the union of any family of open sets of measure zero has measure zero (for any measure defined for all open sets). It is remarkable that the first statement remains valid whether the space has a countable base or not. The second statement, however, needs to be qualified.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1971 Springer-Verlag New York
About this chapter
Cite this chapter
Oxtoby, J.C. (1971). The Banach Category Theorem. In: Measure and Category. Graduate Texts in Mathematics, vol 2. Springer, New York, NY. https://doi.org/10.1007/978-1-4615-9964-7_16
Download citation
DOI: https://doi.org/10.1007/978-1-4615-9964-7_16
Publisher Name: Springer, New York, NY
Print ISBN: 978-0-387-05349-3
Online ISBN: 978-1-4615-9964-7
eBook Packages: Springer Book Archive