THEORY OF THE INTEGRAL Brian S. Thomson Simon Fraser University CLASSICALREALANALYSIS.COM This text is intended as a treatise for a rigorous course introducing the ele- ments of integration theory on the real line. All of the important features of the Riemann integral, the Lebesgue integral, and the Henstock-Kurzweil integral are covered. The text can be considered a sequel to the four chapters of the more elementary text THE CALCULUS INTEGRAL which can be downloaded from our web site. For advanced readers, however, the text is self-contained. For further information on this title and others in the series visit our website. www.classicalrealanalysis.com There are free PDF files of all of our texts available for download as well as instructions on how to order trade paperback copies. We also allow access to the content of our books on GOOGLE BOOKS and on the AMAZON Search Inside the Book feature. COVER IMAGE: This mosaic of M31 merges 330 individual images taken by the Ultravio- let/Optical Telescope aboard NASA’s Swift spacecraft. It is the highest-resolution image of the galaxy ever recorded in the ultraviolet. The image shows a region 200,000 light-years wide and 100,000 light-years high (100 arcminutes by 50 arcminutes). Credit: NASA/Swift/Stefan Immler (GSFC) and Erin Grand (UMCP) —http://www.nasa.gov/mission_pages/swift/bursts/uv_andromeda.html Citation: Theory of the Integral, Brian S. Thomson, ClassicalRealAnalysis.com (2013), [ISBN 1467924393 ] Date PDF file compiled: June 11, 2013 ISBN-13: 9781467924399 ISBN-10: 1467924393 CLASSICALREALANALYSIS.COM Preface The text is a self-contained account of integration theory on the real line. The usual curricula in real analysis courses do not allow for much time to be spent on the Henstock-Kurzweil integral. Instead extensive accounts of Riemann’s in- tegral and the Lebesgue integral are presented. Accordingly the version here would be mostly recommended for supplementary reading. Even so it would be a reasonable course design to teach this material prior to a course in abstract measure and integration. The student should end up as well-prepared as in more traditional courses. Certainly every professional math- ematician should be aware of more than Lebesgue’s theory; while nonabsolutely convergent integrals do not play an extensive role in applications, they are part of our history and of our culture. The reader might want to view first the prequel to this text: B. S. Thomson, The Calculus Integral, ClassicalRealAnalysis.com (2008). ISBN-13: 978-1442180956, ISBN-10: 1442180951 That text is an (experimental) outline of an elementary real analysis course in which the Newton integral plays the key role. Since the presentation in the present textbook also uses the Newton integral (in its various versions) as a motivating tool, the reader may wish also to consult the prequel to see how this would work at an introductory level. There are innumerable books published on the Lebesgue integral. The reader needing instruction in that theory is faced with too many choices, al- though many of them are truly excellent. For the more general integral (called here the general Newton integral or simply “the integral”) that is best known classically as the Denjoy-Perron integral and, more recently, as the Henstock- Kurzweil integral, there are far fewer choices and not all of them are excellent. I have resisted for many years writing a lengthy account of this integral, partly because the topic is not widely thought of as being of much significance. As an further experiment, however, I offer this account of the theory of that integral. The challenge as I see it is to present a coherent narrative leading the readers to a deep understanding of the nature of integration on the real line ii and, moreover, fully preparing them to study abstract measure and integration. But that is just a goal, not necessarily realized here. Most teachers will, doubt- less, remain with the usual sequence of instruction: basic calculus (the Riemann and improper Riemann integrals vaguely presented), elementary analysis (the Riemann integral treated in depth), then abstract measure and integration in graduate school. My guess is that few graduate students, freshly taught this sequence, could survive an oral examination on the statement b F′(x)dx = F(b) F(a), Za − giving all conditions on how this might or might not hold. I hope my readers do better. BST Contents Preface i Table of Contents ii 1 By way of an introduction 1 1.1 The classical Newton integral ................... 1 1.1.1 Bounded integrable functions and Lipschitz functions ... 3 1.1.2 Absolutely integrable functions and bounded variation ... 4 1.1.3 The Newton integral is a nonabsolute integral ....... 5 1.2 Continuity and integrability ..................... 6 1.2.1 Upper functions ....................... 7 1.2.2 Continuous functions are Newton integrable ........ 7 1.2.3 Proof of Lemma 1.5 ..................... 8 1.3 Riemann sums ........................... 10 1.3.1 Mean-value theorem and Riemann sums ......... 13 1.3.2 Uniform Approximation by Riemann sums ......... 16 1.3.3 Cauchy’s theorem ...................... 17 1.3.4 Robbins’s theorem ..................... 18 1.3.5 Proof of Theorem 1.9 .................... 19 1.4 Characterization of Newton’s integral ............... 23 1.4.1 Proof of Theorem 1.10 ................... 25 1.5 How to generalize the integral? .................. 29 1.5.1 What sets to ignore? .................... 29 1.6 Exceptional sets .......................... 30 1.6.1 Sets of measure zero .................... 30 1.6.2 Proof of Lemma 1.12 .................... 32 1.7 Zero variation ............................ 33 1.8 Generalized Newton integral .................... 34 1.8.1 Exercises .......................... 35 1.8.2 Newton integral: controlled version ............. 37 1.8.3 Proof of Theorem 1.16 ................... 38 1.8.4 Continuous linear functionals ................ 41 iv CONTENTS 1.8.5 Which Newton variant should we teach .......... 42 1.9 Constructive aspects: the regulated integral ............ 43 1.9.1 Step functions and regulated functions ........... 44 1.10 Riemann’s integral ......................... 46 1.10.1 Integrability criteria ..................... 47 1.10.2 Proof of Theorem 1.21 ................... 48 1.10.3 Volterra’s Example ..................... 52 1.11 Integral of Henstock and Kurzweil ................. 53 1.11.1 A Cauchy criterion ..................... 54 1.11.2 The Henstock-Saks Lemma ................ 55 1.11.3 Proof of Theorem 1.24 ................... 56 1.11.4 The Henstock-Kurzweil integral includes all Newton integrals 59 1.12 Integral of Lebesgue ........................ 62 1.13 The Cauchy property ........................ 63 1.14 Lebesgue differentiation theorem ................. 65 1.14.1 Bounded variation ..................... 65 1.14.2 The Dini derivatives ..................... 66 1.14.3 Two easy lemmas ...................... 67 1.14.4 Proof of the Lebesgue differentiation theorem ....... 68 1.14.5 Removing the continuity hypothesis ............ 71 1.15 Infinite integrals ........................... 72 1.16 Where are we? ........................... 74 1.17 Appendix: Constructive vs. descriptive ............... 75 2 Covering Theorems 77 2.1 Covering Relations ......................... 78 2.1.1 Partitions and subpartitions ................. 78 2.1.2 Covering relations ..................... 78 2.1.3 Prunings .......................... 78 2.1.4 Full covers ......................... 79 2.1.5 Fine covers ......................... 79 2.1.6 Uniformly full covers .................... 80 2.2 Covering arguments ........................ 83 2.2.1 Cousin covering lemma ................... 83 2.2.2 A simple covering argument ................ 84 2.2.3 Decomposition of full covers ................ 85 2.3 Riemann sums ........................... 86 2.4 Sets of Lebesgue measure zero .................. 89 2.4.1 Lebesgue measure of open sets .............. 89 2.4.2 Sets of Lebesgue measure zero .............. 91 2.4.3 Sequences of Lebesgue measure zero sets ........ 91 2.4.4 Almost everywhere a.e. language ............. 94 CONTENTS v 2.5 Full null sets ............................ 96 2.6 Fine null sets ............................ 97 2.7 The Mini-Vitali Covering Theorem ................. 98 2.7.1 Covering lemmas for families of compact intervals ..... 99 2.7.2 Proof of the Mini-Vitali covering theorem ..........100 2.8 Functions having zero variation ..................102 2.8.1 Zero variation and zero derivatives .............104 2.8.2 Generalization of the zero derivative/variation . .105 2.8.3 Zero variation and mapping properties ...........106 2.9 Absolutely continuous functions ..................108 2.9.1 Absolute continuity in the sense of Vitali ..........109 2.9.2 Proof of Lemma 2.30 ....................109 2.9.3 Absolute continuity in the variational sense ........110 2.9.4 Absolute continuity and derivatives .............111 2.10 An application to the Henstock-Kurzweil integral ..........113 2.10.1 Proof of Theorem 2.35 ...................114 2.11 Lebesgue differentiation theorem (2nd proof) ...........114 2.11.1 Upper and lower derivates .................115 2.11.2 Geometrical lemmas ....................116 2.11.3 Proof of the Lebesgue differentiation theorem . .117 2.11.4 Fubini differentiation theorem ................119 2.12 An application to the Riemann integral ...............120 2.12.1 Riesz’s problem .......................123 2.12.2 Other variants ........................124 3 The Integral 127 3.1 Upper