Suggested Reading

There are many books on more advanced analysis and topology. Among my favorites
in the not too advanced category are these.
1. Kenneth Falconer, The Geometry of Fractal Sets.
Here you should read about the Kakeya problem: How much area is needed
to reverse the position of a unit needle in the plane by a continuous motion?
Falconer also has a couple of later books on fractals that are good.
2. Thomas Hawkins, Lebesgues Theory of Integration.
You will learn a great deal about the history of Lebesgue integration and analysis around the turn of the last century from this book, including the fact that
many standard attributions are incorrect. For instance, the Cantor set should
be called the Smith set; Vitali had many of the ideas credited solely to Lebesgue,
etc. Hawkins book is a real gem.
3. John Milnor, Topology from the Dierentiable Viewpoint.
Milnor is one of the clearest mathematics writers and thinkers of the twentieth
century. This is his most elementary book, and it is only seventy-six pages long.
4. James Munkres, Topology, a First Course.
This is a rst-year graduate text that deals with some of the same material you
have been studying.
5. Robert Devaney, An Introduction to Chaotic Dynamical Systems.
This is the book you should read to begin studying mathematical dynamics. It
is rst rate.
One thing you will observe about all these books they use pictures to convey
the mathematical ideas. Beware of books that dont.

Springer International Publishing Switzerland 2015

C.C. Pugh, Real Mathematical Analysis, Undergraduate Texts
in Mathematics, DOI 10.1007/978-3-319-17771-7

467

Bibliography

1. Ralph Boas, A Primer of Real Functions, The Mathematical Association of

America, Washington DC, 1981.
2. Andrew Bruckner, Dierentiation of Real Functions, Lecture Notes in Mathematics, Springer-Verlag, New York, 1978.
3. John Burkill, The Lebesgue Integral, Cambridge University Press, London, 1958.
4. Paul Cohen, Set Theory and the Continuum Hypothesis, Benjamin, New York,
1966.
5. Robert Devaney, An Introduction to Chaotic Dynamical Systems, Benjamin
Cummings, Menlo Park, CA, 1986.
6. Jean Dieudonne, Foundations of Analysis, Academic Press, New York, 1960.
7. Kenneth Falconer, The Geometry of Fractal Sets, Cambridge University Press,
London, 1985.
8. Russell Gordon, The Integrals of Lebesgue, Denjoy, Perron, and Henstock, The
American Mathematical Society, Providence, RI, 1994.
9. Fernando Gouvea, p-adic Numbers, Springer-Verlag, Berlin, 1997.
10. Thomas Hawkins, Lebesgues Theory of Integration, Chelsea, New York, 1975.
11. George Lako, Where Mathematics Comes From, Basic Books, New York, 2000.
12. Edmund Landau, Foundations of Analysis, Chelsea, New York, 1951.
13. Henri Lebesgue, Lecons sur lintegration et la recherche des fonctions primitives, Gauthiers-Villars, Paris, 1904.
14. John Littlewood, Lectures on the Theory of Functions, Oxford University Press,
Oxford, 1944.
15. Ib Madsen and Jrgen Tornehave, From Calculus to Cohomology, Cambridge
University Press, Cambridge, 1997.
Springer International Publishing Switzerland 2015
C.C. Pugh, Real Mathematical Analysis, Undergraduate Texts
in Mathematics, DOI 10.1007/978-3-319-17771-7

469

470

Bibliography

16. Jerrold Marsden and Alan Weinstein, Calculus III, Springer-Verlag,

New York, 1998.
17. Robert McLeod, The Generalized Riemann Integral, The Mathematical Association of America, Washington DC, 1980.
18. John Milnor, Topology from the Dierentiable Viewpoint, Princeton University
Press, Princeton, 1997.
19. Edwin Moise, Geometric Topology in Dimensions 2 and 3, Springer-Verlag, New
York, 1977.
20. James Munkres, Topology, a First Course, Prentice Hall, Englewood Clis, NJ,
1975.
21. Murray Protter and Charles Morrey, A First Course in Real Analysis, SpringerVerlag, New York, 1991.
22. Dale Rolfsen, Knots and Links, Publish or Perish, Berkeley, 1976.
23. Halsey Royden, Real Analysis, Prentice-Hall, Englewood Clis, NJ, 1988.
24. Walter Rudin, Principles of Mathematical Analysis, McGraw-Hill, New York,
1976.
25. James Stewart, Calculus with Early Transcendentals, Brooks Cole, New York,
1999.
26. Arnoud van Rooij and Wilhemus Schikhof, A Second Course on Real Functions,
Cambridge University Press, London, 1982.

Index

C 1 Mean Value Theorem, 289

C r M -test, 297
C r equivalence, 302
C r norm, 296
F -set, 201, 398
G -set, 201, 398
L1 -convergence, 464
L1 -norm, 464
-Holder, 265
-dense, 265
-chain, 131
-principle, 21
-algebra, 389
-compact, 262
-compact, 268
f -translation, 411
k-chain, 342
p-adic metric, 136
p-series, 194
r-neighborhood, 68
t-advance map, 246
xI -area, 329
(, )-condition, 65
absolute continuity, 429
absolute convergence, 192, 217
absolute property, 85

abstract outer measure, 389

abuse of notation, 7
accumulation point, 92
address string, 107
adheres, 65
aleph null, 31
algebraic number, 51
almost every, 407
almost everywhere, 175
alternating harmonic series, 196
alternating multilinear functional, 352
alternating series, 195
ambiently dieomorphic, 378
ambiently homeomorphic, 115
analytic, 158, 248
Analyticity Theorem, 250
Antiderivative Theorem, 185, 431
Antoines Necklace, 117
arc, 131
area of a rectangle, 384
argument by contradiction, 8
Arzel`a-Ascoli Propagation Theorem, 227
Arzel`a-Ascoli Theorem, 224
ascending k-tuple, 333
associativity, 14, 335
average derivative, 289
Average Integral Theorem, 426

Springer International Publishing Switzerland 2015

C.C. Pugh, Real Mathematical Analysis, Undergraduate Texts
in Mathematics, DOI 10.1007/978-3-319-17771-7

471

472
Baire class 1, 201
Baires Theorem, 256
balanced density, 422, 458
Banach Contraction Principle, 240
Banach indicatrix, 460
Banach space, 296
basic form, 331
Bernstein polynomial, 229
bijection, 31
bilinear, 287
block test, 208
Bolzano-Weierstrass Theorem, 80
Borel measurability, 443
Borels Lemma, 267
boundary, 92, 141
boundary of a k-cell, 343
bounded above, 13
bounded function, 98, 261
bounded linear transformation, 279
bounded metric, 138
bounded set, 97
bounded variation, 438
box, 26
Brouwer Fixed-Point Theorem, 240, 353
bump function, 200
Cantor function, 186
Cantor Partition Lemma, 113
Cantor piece, 112
Cantor set, 105
Cantor space, 112
Cantor Surjection Theorem, 108
cardinality, 31
Cauchy completion, 122
Cauchy condition, 18, 77
Cauchy Convergence Criterion, 19, 191
Cauchy product, 210
Cauchy sequence, 77
Cauchy-Binet Formula, 339, 363
Cauchy-Riemann Equations, 360
Cauchy-Schwarz Inequality, 23
Cavalieris Principle, 318, 414

Index
cell, 328
center of a starlike set, 130
chain connected, 131
Chain Rule, 150, 285
Change of Variables Formula, 319
characteristic function, 171
Chebyshev Lemma, 434
class C r , 158, 295
class C , 295
clopen, 67
closed form, 347
closed neighborhood, 94
closed set, 66
closed set condition, 72
closure, 70, 92
cluster point, 92, 140
co-Cauchy, 119
codomain, 30
coherent labeling, 110
common renement, 168
commutative diagram, 302
compact, 79
comparable norms, 366
Comparison Test, 192
complement, 45
complete, 14, 78
completed undergraph, 407
Completion Theorem, 119
complex analytic, 251
complex derivative, 360
composite, 31
concentration, 422
condensation point, 92, 140
condition number, 361
conditional convergence, 192, 464
cone map, 349
cone on a metric space, 139
connected, 86
connected component, 147
conorm, 281, 366
continuity in a metric space, 61

Index

473

dierentiable function, 149, 151

dierential 1-form, 327
dierential quotient, 149
dierentiation past the integral, 290
dipole, 343
directional derivative, 369
disconnected, 86
discontinuity of the rst, second kind, 204
discrete metric, 58
disjoint, 2
distance from a point to a set, 130
distance function, 58
divergence of a series, 191
divergence of a vector eld, 346
division of a metric space, 109
domain, 29
Dominated Convergence Theorem, 409
domination of one series by another, 192
doppelganger, 442
dot product, 22
double density point, 465
Darboux continuous, 154
dyadic, 47
Darboux integrable, Darboux integral, 167 dyadic ruler function, 204
de Rham cohomology, 352
De Morgans Law, 45
Egoros Theorem, 448
Dedekind cut, 12
embedding, 85
Denjoy integral, 464
empty set, 2
dense, 107
envelope sequences, 408
density point, 422
equicontinuity, 224
denumerable, 31
equivalence relation, equivalence class, 3
derivate, 434
Euler characteristic, 50
derivative, 149
Eulers Product Formula, 210
derivative (multivariable), 282
exact form, 347
derivative growth rate, 248
exponential growth rate, 194
determinant, 363
extension of a function, 129
Devils ski slope, 188, 456
exterior derivative, 337
Devils staircase function, 186
fat Cantor set, 108, 203
diagonalizable matrix, 368
Fatous Lemma, 410
diameter in a metric space, 82
eld, 16
dieomorphism, 163, 300
nite, 31
dierentiability of order r, 157
dierentiable (multivariable), 282
nite additivity, 390
continuously dierentiable, 157
Continuum Hypothesis, 31, 137, 145
contraction, weak contraction, 240, 266
convergence, 18, 60, 191
convex, 26
convex combinations, 27, 49
convex function, 49
convex hull, 115
countable, 31
countable additivity, countable subadditivity, 384
countable additivity, subadditivity, 389
countable base, 141, 405, 447
counting measure, 450
covering, 98
covering compact, 98
critical point, critical value, 204, 459
cube, 26
Cupcake Theorem, 145
curl, 347

474

Index

identity map, 31
nite intersection property, 134
xed-point, 47, 240
Identity Theorem for analytic functions,
ow, 246
268
ux, 346
image, 30
Frechet derivative, 284
implicit function, 297
Fubinis Theorem, 316
Implicit Function Theorem, 298
Fubini-Tonelli Theorem, 416
improper Riemann integral, 191
function, 29
inclusion cell, 334
function algebra, 234
indicator function, 171
functional, 328
inmum, 17
Fundamental Theorem of Calculus, 183, innite, 31
426
innite address string, 107
Fundamental Theorem of Continuous Func- innite product, 209
tions, 41
innitely dierentiable, 157
Inheritance Principle, 73, 74
gap interval, 108, 112
inherited metric, 58
Gauss Divergence Theorem, 346
inherited topology, 74
Generalized Heine-Borel Theorem, 103
initial condition for an ODE, 242
generic, 256
injection, 30
geometric series, 191
inner measure, 384
gradient, 311
inner product, inner product space, 28
grand intersection, 134
integer lattice, 24
greatest lower bound, 47
Integral Test, 193
Greens Formula, 346
integrally equivalent, 205
growing steeple, 214
integration by parts, 189
integration by substitution, 189
Holder condition, 198
interior, 92, 140
Hahn-Mazurkiewicz Theorem, 143
Intermediate Value Theorem, 40
Hairy Ball Theorem, 381
Intermediate Value Theorem for f  , 154
harmonic series, 192
intrinsic property, 85
Hausdor metric, 144
Inverse Function Theorem, 162, 301
Hawaiian earring, 132
inverse image, 71
Heine-Borel Theorem, 80, 81
Heine-Borel Theorem in a Function Space, isometry, isometric, 126
iterate, 138
228
Higher Order Chain Rule, 374
Jacobian, 319
Higher Order Leibniz Rule, 199
Jordan content, 319, 450, 451
Hilbert cube, 143
Jordan Curve Theorem, 144
homeomorphism, 62
Jordan measurable, 451
hull, 400
jump, jump discontinuity, 49, 204
hyperspace, 144
idempotent, 70

kernel, 400

Index

475

meager subset, 256

LHopitals Rule, 153
Lagrange form of the Taylor remainder, mean value property, 151
160
Mean Value Theorem, 151, 288
Lagrange multiplier, 310
measurability, measure, 389
least upper bound, 13
measurable function, 406
Least Upper Bound Property, 14
Measurable Product Theorem, 401
Lebesgue Density Theorem, 422
measurable with respect to an outer meaLebesgue Dominated Convergence Theosure, 389
rem, 409
Measure Continuity Theorem, 392
Lebesgue integrability, Lebesgue integral, measure space, 397
406
measure-theoretic connectedness, 465
Lebesgue measurability, Lebesgue measure, measure-theoretic interior, exterior, and
389
boundary, 424
Lebesgue Monotone Convergence Theo- Mertens Theorem, 210
rem, 407
meseometry, 393, 397
Lebesgue number, 100
meseomorphism, 393, 397
Lebesgue outer measure, 383
mesh of a partition, 164
Lebesgues Antiderivative Theorem, 431 metric space, metric subspace, 57, 58
Lebesgues Fundamental Theorem of Cal- middle-quarters Cantor set, 203
culus, 426
middle-thirds Cantor set, 105
Lebesgues Main Theorem, 430, 439
minimum stretch, 366
Leibniz Rule, 149, 285
modulus of continuity, 264
length of a vector, 23
Monotone Convergence Theorem, 407
length of an interval, 383
monotonicity, 125
limit, 65
Moore-Kline Theorem, 112
limit point, 65
Morse-Sard Theorem, 204
limit set, 68
multilinear functional, 352
linear transformation, 277
name of a form, 327
Lipeomorphism, 452
natural numbers, 1
Lipschitz condition, 244
nearly continuous, 447
locally path connected, 143
nearly uniform convergence, 448
locally path-connected, 132
neighborhood, 70
logarithm function, 186
nested sequence, 81
lower Lebesgue sum, 440
norm, normed space, 28, 279
lower sum, lower integral, 166
nowhere dense, 107
Lusins Theorem, 447
magnitude of a number, of a vector, 16, ODE, 242
one-to-one, 30
23
onto, 30
Manhattan metric, 76
open covering, 98
map, mapping, 29
maximum stretch, 279
open mapping, 127

476
open set, 66
open set condition, 72
operator norm, 279
orbit, 138, 441
ordered eld, 16
orthant, 24
oscillating discontinuity, 205
oscillation, 177
outer measure, 383
parallelogram law, 53
partial derivative, 284
partial product, 209
partial sum, 191
partition, 113
partition pair, 164
patches, 99
path, path-connected, 90
Peano curve, 112
Peano space, 143
perfect, 94
Picards Theorem, 244
piece of a compact metric space, 109
piecewise continuous function, 172
Poincare Lemma, 348
pointwise convergence, pointwise limit, 211
pointwise equicontinuity, 224, 261
Polar Form Theorem, 362
positive deniteness, 58
preimage, 71
preimage measurability, 416
proper subset, 86
pullback, pushforward, 338
quasi-round, 449
Rademachers Theorem, 206, 438
Radius of Convergence Theorem, 197
range, 30
rank, Rank Theorem, 301, 303
Ratio Mean Value Theorem, 152
Ratio Test, 195

Index
rational cut, 13
rational numbers, 2
rational ruler function, 173
real number, 12
rearrangement of a sequence, 126
rearrangement of a series, 209
reduction of a covering, 98
Renement Principle, 168
regularity hierarchy, 158
regularity of Lebesgue measure, 399
regularity sandwich, 399
retraction, 353
Riemann -function, 210
Riemann integrability, Riemann integral,
164
Riemann measurable, 319
Riemann sum, 164
Riemanns Integrability Criterion, 171
Riemann-Lebesgue Theorem, 175
Root Test, 194
sample points, 164
Sandwich Principle, 173
Sards Theorem, 204
satellite, 458
sawtooth function, 254
Schroeder-Bernstein Theorem, 36
scraps, 99
second derivative, 291
separable metric space, 141
separates points (function algebra), 234
separation, 86
shadow, 330
shear matrix, 320, 368
sign of a permutation, 363
signed area, 330
signed commutativity, 331
simple closed curve, 144
simple form, 331
simple function, 456
simple region, 377
simply connected, 347

Index
singleton set, 2
slice, 316, 403, 414
sliding secant method, 155
slope over an interval, 434
smooth, 157, 295
solution of an ODE, 242
somewhere dense, 107
space-lling, 112
spherical shell, 379
staircase curve, 376
starlike, 130, 351
steeple functions, 214
Steinhaus Theorem, 441
step function, 172
Stokes Curl Theorem, 347
Stokes Formula for a Cube, 343
Stokes Formula for a general cell, 345
Stone-Weierstrass Theorem, 234
subcovering, 98
subeld, 16
sublinear, 282
subsequence, 60
sup norm, 214
support of a function, 200
supremum, 17
surjection, 30
tail of a series, 192
tame, 116
target, 30
taxicab metric, 76
Taylor Approximation Theorem, 160
Taylor polynomial, 159
Taylor series, 161, 248
Taylors Theorem, 251
Term by Term Integration Theorem, 219
thick and thin subsets, 256
topological equivalence, 73
topological property, 71
topological space, 67
topologists sine circle, 132
topologists sine curve, 91

477
total derivative, 284
total length of a covering, 108, 175, 384
total undergraph, 453
total variation of a function, 438
totally bounded, 103
totally disconnected, 105
trajectory of a vector eld, 243
transcendental number, 51
transformation, 29
Triangle Inequality, 16
Triangle Inequality for distance, 24
Triangle Inequality for vectors, 24
trichotomy, 16
trigonometric polynomial, 238
truncation of an address, 107
ultrametric, 136
unbounded set, 97
uncountable, 31
undergraph, 164, 406
uniform C r convergence, 295
uniform continuity, 52, 85
uniform convergence, 211, 217
uniform equicontinuity, 261
unit ball, sphere, 26
unit cube, 26
universal compact metric space, 108
upper semicontinuity, 147, 275, 454
upper sum, upper integral, 166
utility problem, 144
vanishing at a point (function algebra),
234
vector eld, 243, 346
vector ODE, 242
Vitali covering, 418
Vitali Covering Lemma, 418, 422
wedge product, 334
Weierstrass Approximation Theorem, 228
Weierstrass M-test, 217
wild, 117

478
Zenos staircase function, 174
zero locus, 268, 461
zero set, 108, 175, 315, 386
Zero Slice Theorem, 403
zeroth derivative, 157

Index