About the Author |
|
vi | |
Preface for Students |
|
xiii | |
Preface for Instructors |
|
xiv | |
Acknowledgments |
|
xviii | |
|
|
1 | (12) |
|
1A Review: Riemann Integral |
|
|
2 | (7) |
|
|
7 | (2) |
|
1B Riemann Integral Is Not Good Enough |
|
|
9 | (4) |
|
|
12 | (1) |
|
|
13 | (60) |
|
|
14 | (11) |
|
Motivation and Definition of Outer Measure |
|
|
14 | (1) |
|
Good Properties of Outer Measure |
|
|
15 | (3) |
|
Outer Measure of Closed Bounded Interval |
|
|
18 | (3) |
|
Outer Measure is Not Additive |
|
|
21 | (2) |
|
|
23 | (2) |
|
2B Measurable Spaces and Functions |
|
|
25 | (16) |
|
|
26 | (2) |
|
|
28 | (1) |
|
|
29 | (2) |
|
|
31 | (7) |
|
|
38 | (3) |
|
2C Measures and Their Properties |
|
|
41 | (6) |
|
Definition and Examples of Measures |
|
|
41 | (1) |
|
|
42 | (3) |
|
|
45 | (2) |
|
|
47 | (15) |
|
Additivity of Outer Measure on Borel Sets |
|
|
47 | (5) |
|
|
52 | (3) |
|
Cantor Set and Cantor Function |
|
|
55 | (5) |
|
|
60 | (2) |
|
2E Convergence of Measurable Functions |
|
|
62 | (11) |
|
Pointwise and Uniform Convergence |
|
|
62 | (1) |
|
|
63 | (2) |
|
Approximation by Simple Functions |
|
|
65 | (1) |
|
|
66 | (3) |
|
Lebesgue Measurable Functions |
|
|
69 | (2) |
|
|
71 | (2) |
|
|
73 | (28) |
|
3A Integration with Respect to a Measure |
|
|
74 | (14) |
|
Integration of Nonnegative Functions |
|
|
74 | (3) |
|
Monotone Convergence Theorem |
|
|
77 | (4) |
|
Integration of Real-Valued Functions |
|
|
81 | (3) |
|
|
84 | (4) |
|
3B Limits of Integrals & Integrals of Limits |
|
|
88 | (13) |
|
Bounded Convergence Theorem |
|
|
88 | (1) |
|
Sets of Measure 0 in Integration Theorems |
|
|
89 | (1) |
|
Dominated Convergence Theorem |
|
|
90 | (3) |
|
Riemann Integrals and Lebesgue Integrals |
|
|
93 | (2) |
|
Approximation by Nice Functions |
|
|
95 | (4) |
|
|
99 | (2) |
|
|
101 | (15) |
|
4A Hardy--Littlewood Maximal Function |
|
|
102 | (6) |
|
|
102 | (1) |
|
|
103 | (1) |
|
Hardy--Littlewood Maximal Inequality |
|
|
104 | (2) |
|
|
106 | (2) |
|
4B Derivatives of Integrals |
|
|
108 | (8) |
|
Lebesgue Differentiation Theorem |
|
|
108 | (2) |
|
|
110 | (2) |
|
|
112 | (3) |
|
|
115 | (1) |
|
|
116 | (30) |
|
5A Products of Measure Spaces |
|
|
117 | (12) |
|
|
117 | (3) |
|
|
120 | (3) |
|
|
123 | (5) |
|
|
128 | (1) |
|
|
129 | (7) |
|
|
129 | (2) |
|
|
131 | (2) |
|
|
133 | (2) |
|
|
135 | (1) |
|
5C Lebesgue Integration on R" |
|
|
136 | (10) |
|
|
136 | (3) |
|
|
139 | (1) |
|
Volume of Unit Ball in R" |
|
|
140 | (2) |
|
Equality of Mixed Partial Derivatives Via Fubini's Theorem |
|
|
142 | (2) |
|
|
144 | (2) |
|
|
146 | (47) |
|
|
147 | (8) |
|
Open Sets, Closed Sets, and Continuity |
|
|
147 | (4) |
|
Cauchy Sequences and Completeness |
|
|
151 | (2) |
|
|
153 | (2) |
|
|
155 | (8) |
|
Integration of Complex-Valued Functions |
|
|
155 | (4) |
|
Vector Spaces and Subspaces |
|
|
159 | (3) |
|
|
162 | (1) |
|
|
163 | (9) |
|
|
163 | (4) |
|
|
167 | (3) |
|
|
170 | (2) |
|
|
172 | (12) |
|
Bounded Linear Functionals |
|
|
172 | (2) |
|
Discontinuous Linear Functionals |
|
|
174 | (3) |
|
|
177 | (4) |
|
|
181 | (3) |
|
6E Consequences of Baire's Theorem |
|
|
184 | (9) |
|
|
184 | (2) |
|
Open Mapping Theorem and Inverse Mapping Theorem |
|
|
186 | (2) |
|
|
188 | (1) |
|
Principle of Uniform Boundedness |
|
|
189 | (1) |
|
|
190 | (3) |
|
|
193 | (18) |
|
|
194 | (8) |
|
|
194 | (4) |
|
|
198 | (1) |
|
|
199 | (3) |
|
|
202 | (9) |
|
|
202 | (2) |
|
|
204 | (2) |
|
|
206 | (2) |
|
|
208 | (3) |
|
|
211 | (44) |
|
|
212 | (12) |
|
|
212 | (2) |
|
Cauchy-Schwarz Inequality and Triangle Inequality |
|
|
214 | (7) |
|
|
221 | (3) |
|
|
224 | (13) |
|
|
224 | (5) |
|
|
229 | (4) |
|
Riesz Representation Theorem |
|
|
233 | (1) |
|
|
234 | (3) |
|
|
237 | (18) |
|
|
237 | (6) |
|
|
243 | (2) |
|
Gram-Schmidt Process and Existence of Orthonormal Bases |
|
|
245 | (5) |
|
Riesz Representation Theorem, Revisited |
|
|
250 | (1) |
|
|
251 | (4) |
|
9 Real and Complex Measures |
|
|
255 | (25) |
|
|
256 | (11) |
|
Properties of Real and Complex Measures |
|
|
256 | (3) |
|
|
259 | (3) |
|
The Banach Space of Measures |
|
|
262 | (3) |
|
|
265 | (2) |
|
9B Decomposition Theorems |
|
|
267 | (13) |
|
Hahn Decomposition Theorem |
|
|
267 | (1) |
|
Jordan Decomposition Theorem |
|
|
268 | (2) |
|
Lebesgue Decomposition Theorem |
|
|
270 | (2) |
|
|
272 | (3) |
|
|
275 | (3) |
|
|
278 | (2) |
|
10 Linear Maps on Hilbert Spaces |
|
|
280 | (59) |
|
10A Adjoints and Invertibility |
|
|
281 | (13) |
|
Adjoints of Linear Maps on Hilbert Spaces |
|
|
281 | (4) |
|
Null Spaces and Ranges in Terms of Adjoints |
|
|
285 | (1) |
|
Invertibility of Operators |
|
|
286 | (6) |
|
|
292 | (2) |
|
|
294 | (18) |
|
|
294 | (5) |
|
|
299 | (3) |
|
|
302 | (3) |
|
Isometries and Unitary Operators |
|
|
305 | (4) |
|
|
309 | (3) |
|
|
312 | (14) |
|
The Ideal of Compact Operators |
|
|
312 | (4) |
|
Spectrum of Compact Operator and Fredholm Alternative |
|
|
316 | (7) |
|
|
323 | (3) |
|
10D Spectral Theorem for Compact Operators |
|
|
326 | (13) |
|
Orthonormal Bases Consisting of Eigenvectors |
|
|
326 | (6) |
|
Singular Value Decomposition |
|
|
332 | (4) |
|
|
336 | (3) |
|
|
339 | (41) |
|
11A Fourier Series and Poisson Integral |
|
|
340 | (15) |
|
Fourier Coefficients and Riemann-Lebesgue Lemma |
|
|
340 | (4) |
|
|
344 | (4) |
|
Solution to Dirichlet Problem on Disk |
|
|
348 | (2) |
|
Fourier Series of Smooth Functions |
|
|
350 | (2) |
|
|
352 | (3) |
|
11B Fourier Series and LP of Unit Circle |
|
|
355 | (8) |
|
Orthonormal Basis for L2 of Unit Circle |
|
|
355 | (2) |
|
Convolution on Unit Circle |
|
|
357 | (4) |
|
|
361 | (2) |
|
|
363 | (17) |
|
Fourier Transform on L1(R) |
|
|
363 | (5) |
|
|
368 | (2) |
|
Poisson Kernel on Upper Half-Plane |
|
|
370 | (4) |
|
Fourier Inversion Formula |
|
|
374 | (1) |
|
Extending Fourier Transform to L2(R) |
|
|
375 | (2) |
|
|
377 | (3) |
|
|
380 | (20) |
|
|
381 | (2) |
|
Independent Events and Independent Random Variables |
|
|
383 | (5) |
|
Variance and Standard Deviation |
|
|
388 | (2) |
|
Conditional Probability and Bayes' Theorem |
|
|
390 | (2) |
|
Distribution and Density Functions of Random Variables |
|
|
392 | (4) |
|
Weak Law of Large Numbers |
|
|
396 | (2) |
|
|
398 | (2) |
Photo Credits |
|
400 | (2) |
Bibliography |
|
402 | (1) |
Notation Index |
|
403 | (3) |
Index |
|
406 | (5) |
Colophon: Notes on Typesetting |
|
411 | |