Home

# Measures: Back and Forth Between Point sets and Large sets

## Extract

It was questions about points on the real line that initiated the study of set theory. Points paved the way to point sets and these to ever more abstract sets. And there was more: Reflection on structural properties of point sets not only initiated the study of ordinary sets; it also supplied blueprints for defining extra-ordinary, “large” sets, transcending those provided by standard set theory. In return, the existence of such large sets turned out critical to settling open conjectures about point sets.

How to explain such action at a distance between the very large and the rather small? Rather than having an air of magic, could these results rest on deep structural similarities between the two superficially distant species of sets?

In this essay I dissect one group of such two-way results. Their linchpin is the notion of measure.

§1. Vitali's impossibility result. Our starting point is a problem in measure theory regarding the notion of “Lebesgue measure.” Before presenting the problem, I would like to review the notion of Lebesgue measure. Rather than listing its main properties, I would like to show how Lebesgue measure is born out of an attempt to generalize the notion of the length of an interval to arbitrary sets of reals. One tries to approximate arbitrary sets of reals by intervals, in the hope that the lengths of the intervals will induce a measure on these sets.

## References

Hide All
[1] Drake, F. R., Set theory, North-Holland, 1974.
[2] Folland, G. B., Real analysis, Wiley-Interscience, 1984.
[3] Gödel, K., The consistency of the axiom of choice and of the generalized continuum hypothesis, Proceedings of the National Academy of Science of the USA, vol. 24 (1938), pp. 556557, reprinted in [4].
[4] Gödel, K., Collected works, Volume II: Publications 1938–1974, edited by Feferman, Solomon (editor-in- chief), Dawson, John W. Jr., Kleene, Stephen C., Moore, Gregory H., Solovay, Robert M. and van Heijenoort, Jean, Oxford University Press, New York, 1990.
[5] Jech, T., Set theory, Academic Press, 1978.
[6] Lusin, N., Sur la classification de M. Baire, Comptes Rendus de l'Academie des Sciences, Paris, vol. 164 (1917), pp. 9194.
[7] Lusin, N. and Sierpinski, W., Sur quelques proprietes des ensembles (A), Bulletin International de l'Academie des Sciences de Cracovie (1918), pp. 3548.
[8] Margin, D. A. and Steel, J. R., Projective determinacy, Journal of the American Mathematical Society, vol. 2 (1989), pp. 71126.
[9] Moschovakis, Y. N., Descriptive set theory, North-Holland, 1980.
[10] Raisonnier, J., The measure problem, Israel Journal of Mathematics, vol. 48 (1984), pp. 4856.
[11] Royden, H. L., Real analysis, The Macmillian Company, 1963.
[12] Shelah, S., Can we take Solovay's inaccessible away?, Israel Journal of Mathematics, vol. 48 (1984), pp. 147.
[13] Shelah, S. and Woodin, H., Large cardinals and Lebesgue measure, Israel Journal of Mathematics (1980), pp. 381394.
[14] Shoenfield, J. R., The problem of predicativity, Essays on the foundations of mathematics (Bah-Hillel, Y. et al., editors), The Magnes Press, Jerusalem, 1961.
[15] Solovay, R., The cardinality of sets of reals, Symposium papers commemorating the sixtieth birthday of Kurt Gödel, Springer-Verlag, 1969, pp. 5973.
[16] Solovay, R., A model of set theory in which every set of reals is Lebesgue measurable, Annals of Mathematics, vol. 92 (1970), pp. 156.
[17] Solovay, R., Real valued measurable cardinals, Axiomatic set theory (Scott, D., editor), Proceedings of the Symposium in Pure Mathematics, no. 13, AMS, 1971, pp. 397428.
[18] Solovay, R., Gödel 1938: Introductory note to 1938, 1939, 1939a and 1940, in Gödel [5].
[19] Ulam, S., Zur Masstheorie in der allgemeinen Mengenlehre, Fundamenta Mathematica, vol. 16 (1930), pp. 140150.
[20] Wagon, S., The Banach-Tarski paradox, Cambridge University Press, 1985.
[21] Woodin, W. H., Supercompact cardinals, sets of reals, and weakly homogeneous trees, Proceedings of the National Academy of Sciences of the USA, vol. 85 (1988), pp. 65876591.

# Measures: Back and Forth Between Point sets and Large sets

## Metrics

### Full text viewsFull text views reflects the number of PDF downloads, PDFs sent to Google Drive, Dropbox and Kindle and HTML full text views.

Total number of HTML views: 0
Total number of PDF views: 0 *