Abstract
Up to now, we have given no indication that the class of measurable sets, or of sets having the property of Baire, does not include all subsets of the line. We know that any set obtained as the result of countably many applications of union, intersection, or complementation, starting from a countable family of closed, open, or nullsets, will be measurable. It can also be shown that any analytic set is measurable. (An analytic set is one that can be represented as the continuous image of a Borel set.) According to a result of Godel [18, p. 388], the hypothesis that there exists a non-measurable set that can be represented as the continuous image of the complement of some analytic set is consistent with the axioms of set theory, provided these axioms are consistent among themselves. No actual example of a non-measurable set that admits such a representation is known (but see [40, p. 17]). Nevertheless, with the aid of the axiom of choice it is easy to show that non-measurable sets exist. We shall consider several such constructions.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
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). Non-Measurable Sets. In: Measure and Category. Graduate Texts in Mathematics, vol 2. Springer, New York, NY. https://doi.org/10.1007/978-1-4615-9964-7_5
Download citation
DOI: https://doi.org/10.1007/978-1-4615-9964-7_5
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