Book contents
- Frontmatter
- Contents
- PREFACE
- CHAPTER 1 MOTIVATION
- CHAPTER 2 A MODICUM OF MEASURE THEORY
- CHAPTER 3 DENSITIES AND DERIVATIVES
- CHAPTER 4 PRODUCT SPACES AND INDEPENDENCE
- CHAPTER 5 CONDITIONING
- CHAPTER 6 MARTINGALE ET AL.
- CHAPTER 7 CONVERGENCE IN DISTRIBUTION
- CHAPTER 8 FOURIER TRANSFORMS
- CHAPTER 9 BROWNIAN MOTION
- CHAPTER 10 REPRESENTATIONS AND COUPLINGS
- CHAPTER 11 EXPONENTIAL TAILS AND THE LAW OF THE ITERATED LOGARITHM
- CHAPTER 12 MULTIVARIATE NORMAL DISTRIBUTIONS
- APPENDIX A MEASURES AND INTEGRALS
- APPENDIX B HILBERT SPACES
- APPENDIX C CONVEXITY
- APPENDIX D BINOMIAL AND NORMAL DISTRIBUTIONS
- APPENDIX E MARTINGALES IN CONTINUOUS TIME
- APPENDIX F DISINTEGRATION OF MEASURES
- INDEX
CHAPTER 3 - DENSITIES AND DERIVATIVES
Published online by Cambridge University Press: 29 March 2011
- Frontmatter
- Contents
- PREFACE
- CHAPTER 1 MOTIVATION
- CHAPTER 2 A MODICUM OF MEASURE THEORY
- CHAPTER 3 DENSITIES AND DERIVATIVES
- CHAPTER 4 PRODUCT SPACES AND INDEPENDENCE
- CHAPTER 5 CONDITIONING
- CHAPTER 6 MARTINGALE ET AL.
- CHAPTER 7 CONVERGENCE IN DISTRIBUTION
- CHAPTER 8 FOURIER TRANSFORMS
- CHAPTER 9 BROWNIAN MOTION
- CHAPTER 10 REPRESENTATIONS AND COUPLINGS
- CHAPTER 11 EXPONENTIAL TAILS AND THE LAW OF THE ITERATED LOGARITHM
- CHAPTER 12 MULTIVARIATE NORMAL DISTRIBUTIONS
- APPENDIX A MEASURES AND INTEGRALS
- APPENDIX B HILBERT SPACES
- APPENDIX C CONVEXITY
- APPENDIX D BINOMIAL AND NORMAL DISTRIBUTIONS
- APPENDIX E MARTINGALES IN CONTINUOUS TIME
- APPENDIX F DISINTEGRATION OF MEASURES
- INDEX
Summary
SECTION 1 explains why the traditional split of introductory probability courses into two segments—the study of discrete distributions, and the study of “continuous” distributions—is unnecessary in a measure theoretic treatment. Absolute continuity of one measure with respect to another measure is defined. A simple case of the Radon-Nikodym theorem is proved.
SECTION *2 establishes the Lebesgue decomposition of a measure into parts absolutely continuous and singular with respect to another measure, a result that includes the Radon-Nikodym theorem as a particular case.
SECTION 3 shows how densities enter into the definitions of various distances between measures.
SECTION 4 explains the connection between the classical concept of absolute continuity and its measure theoretic generalization. Part of the Fundamental Theorem of Calculus is deduced from the Radon-Nikodym theorem.
SECTION *5 establishes the Vitali covering lemma, the key to the identification of derivatives as densities.
SECTION *6 presents the proof of the other part of the Fundamental Theorem of Calculus, showing that absolutely continuous functions (on the real line) are Lebesgue integrals of their derivatives, which exist almost everywhere.
Densities and absolute continuity
Nonnegative measurable functions create new measures from old.
Let (X, A, µ) be a measure space, and let Δ(·) be a function in M+(X, A). The increasing, linear functional defined on M+(X, A) by vf ≔ µ(fΔ) inherits from µ the Monotone Convergence property, which identifies it as an integral with respect to a measure on A.
- Type
- Chapter
- Information
- A User's Guide to Measure Theoretic Probability , pp. 53 - 76Publisher: Cambridge University PressPrint publication year: 2001