Abstract
In Chapter 2 (see Example 2C) we considered the Lebesgue measure \(\lambda\) on the Borel algebra \(\mathfrak{R}\), which is the \(\sigma\)-algebra of subsets of the real line \(\mathbb{R}\) generated by the collection of all open intervals; and we have been using the notion of Lebesgue measure since then, although it has not been properly constructed so far. Indeed, in Example 2C we promised to prove existence and uniqueness of the Lebesgue measure \(\lambda: \mathfrak{R}\rightarrow \overline{\mathbb{R}}\) in Chapter 8. We will comply with that promise in Section 8.3, as a special case of the following program. (1) First we introduce the concept of a measure \(\mu\) on an algebra \(\mathcal{A}\) (rather than on a \(\sigma\)-algebra) of subsets of set X. (2) Then we consider the notion of an outer measure \(\mu ^{{\ast}}\) generated by that measure \(\mu\) on an algebra \(\mathcal{A}\), which is a set function on the power set \(\wp (X)\). (3) Finally, we show that this outer measure \(\mu ^{{\ast}}\) induces a \(\sigma\)-algebra \(\mathcal{A}^{{\ast}}\) of subsets of X (such that \(\mathcal{A}\subseteq \mathcal{A}^{{\ast}}\)) upon which the restriction \(\mu ^{{\ast}}\vert _{\mathcal{A}^{{\ast}}}\) is a measure on the \(\sigma\)-algebra \(\mathcal{A}^{{\ast}}\). This is the Carathéodory Extension Theorem, which is the central result of this chapter, whose applications go as far as Chapters 9, 11, and 13.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
S. Abbott, Understanding Analysis, Springer, New York, 2001.
E. Asplund and L. Bungart, A First Course in Integration, Holt, Rinehart and Winston, New York, 1966.
R.G. Bartle, The Elements of Real Analysis, 2nd ed., Wiley, New York, 1976.
R.G. Bartle, The Elements of Integration and Lebesgue Measure, Wiley, New York, 1995; enlarged 2nd ed. of The Elements of Integration, Wiley, New York, 1966.
R.G. Bartle, A Modern Theory of Integration, Graduate Studies in Mathematics, Vol. 32, Amer. Math. Soc., Providence, 2001.
H. Bauer, Measure and Integration Theory, Walter de Gruyter, Berlin, 2001.
S.K. Berberian, Measure and Integration, Chelsea, New York, 1965.
A. Brown and C. Pearcy, Introduction to Operator Theory I: Elements of Functional Analysis, Springer, New York, 1977.
A. Brown and C. Pearcy, An Introduction to Analysis, Springer, New York, 1995.
D.L. Cohn, Measure Theory, 2nd ed., Birkhäuser-Springer, New York, 2013.
J.B. Conway, A Course in Abstract Analysis, Graduate Studies in Mathematics, Vol. 141, Amer. Math. Soc., Providence, 2012.
J. Dugundji, Topology, Allyn & Bacon, Boston, 1966.
N. Dunford and J.T. Schwartz, Linear Operators – Part I: General Theory, Interscience, New York, 1958.
K.J. Falconer, The Geometry of Fractal Sets, Cambridge University Press, Cambridge, 1986.
K.J. Falconer, Fractal Geometry: Mathematical Foundations and Applications, 3rd ed., Wiley, Chichester, 2014.
G.B. Folland, Real Analysis: Modern Techniques and their Applications, 2nd ed., Wiley, New York, 1999.
C. Goffman and G. Pedrick, First Course in Functional Analysis, Prentice-Hall, Englewood Cliffs, 1965.
P.R. Halmos, Measure Theory, Van Nostrand, New York, 1950; reprinted: Springer, New York, 1974.
P.R. Halmos, Naive Set Theory, Van Nostrand, New York, 1960; reprinted: Springer, New York, 1974.
P.R. Halmos, A Hilbert Space Problem Book, Van Nostrand, New York, 1967; 2nd ed., Springer, New York, 1982.
J.L. Kelley, General Topology, Van Nostrand, New York, 1955; reprinted: Springer, New York, 1975.
J.L. Kelley and T.P. Srinivasan, Measure and Integral – Volume 1, Springer, New York, 1988.
J.F.C. Kingman and S.J. Taylor, Introduction to Measure and Probability, Cambridge University Press, Cambridge, 1966.
A.N. Kolmogorov and S.V. Fomin, Introductory Real Analysis, Prentice-Hall, Englewood Cliffs, 1970.
C.S. Kubrusly, Measure Theory: A First Course, Academic Press-Elsevier, San Diego, 2007.
C.S. Kubrusly, The Elements of Operator Theory, Birkhäuser-Springer, New York, 2011; enlarged 2nd ed. of Elements of Operator Theory, Birkhäuser, Boston, 2001.
C.S. Kubrusly, Spectral Theory of Operators on Hilbert Spaces, Birkhäuser-Springer, New York, 2012.
S. Lang, Real and Functional Analysis, 3rd ed., Springer, New York, 1993.
J.N. McDonald and N.A. Weiss, A Course in Real Analysis, Academic Press, San Diego, 1999.
M.E. Munroe, Measure and Integration, 2nd ed., Addison-Wesley, Reading, 1971.
L. Nachbin, The Haar Integral, Van Nostrand, New York, 1965.
M. Reed and B. Simon, Methods of Modern Mathematical Physics I: Functional Analysis, 2nd ed., Academic Press, New York, 1980.
F. Riesz and B. Sz.-Nagy, Functional Analysis, Frederick Ungar, New York, 1955.
C.A. Rogers, The Hausdorff Measure, Cambridge University Press, Cambridge, 1970.
H.L. Royden, Real Analysis, 3rd ed., Macmillan, New York, 1988.
W. Rudin, Real and Complex Analysis, 3rd ed., McGraw-Hill, New York, 1987.
H. Sagan, Space-Filling Curves, Springer, New York, 1994.
G.E. Shilov and B.L. Gurevich, Integral, Measure and Derivative: A Unified Approach, Prentice-Hall, Englewood Cliffs, 1966.
P. Suppes, Axiomatic Set Theory, Van Nostrand, New York, 1960.
R.L. Vaught, Set Theory: An Introduction, 2nd ed., Birkhäuser, Boston, 1995.
A.J. Weir, Lebesgue Integration and Measure, Cambridge University Press, Cambridge, 1973.
A.J. Weir, General Integration and Measure, Cambridge University Press, Cambridge, 1974.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Kubrusly, C.S. (2015). Extension of Measures. In: Essentials of Measure Theory. Springer, Cham. https://doi.org/10.1007/978-3-319-22506-7_8
Download citation
DOI: https://doi.org/10.1007/978-3-319-22506-7_8
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-22505-0
Online ISBN: 978-3-319-22506-7
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)