Last updated:  Oct 16, 2015

An epsilon of room: pages from year blog
Terence Tao

Volume 1 (Real analysis): Graduate Studies in Mathematics 117, American Mathematical Society, 2010

ISBN-10: 0-8218-5278-7

ISBN-13: 978-0-8218-5278-1
Volume 2: American Mathematical Society, 2011

ISBN-10: 0-8218-5280-9

ISBN-13: 978-0-8218-5280-4

This continues my series of books derived from my blog. The preceding books in this series were “Structure and Randomness” and “Poincaré’s legacies“.

Online versions of both volumes can be found here and here respectively.

Vol I. was reviewed for the Bulletin of the London Mathematical Society by Jonathan Partington here.

Errata for Vol. I:

  • In some early printed versions, the section numbering of references in the preface are either incorrect or missing.  (This only affects a very small number of copies.)
  • Page 6: In Exercise 1.1.2, “unique” should be “maximal”.  (It should also be stated that in this text, manifolds are assumed to be second countable.)
  • Page 7: In Exercise 1.1.8, add “and let the extension \mu: {\cal X} \to [0,+\infty) be the measure constructed in the proof of that theorem” to the end of the first sentence.  The  portion of the exercise regarding how the assumption of finite measure on E may be dropped in the sigma-finite case is incorrect and should be deleted.
  • Page 15: In (1.5), d\mu should be dm.
  • Page 20:  In the statement of Theorem 1.2.4, replace f \in L^1(X,dm) by “f: X \to {\bf R} is measurable”.  Then add “If \mu is finite, then f \in L^1(X,dm) and \mu_s is finite”.   Also replace “\mu, \nu are finite”with “\mu,m” are finite”.  In Corollary 1.2.5, \mu needs to be finite rather than \sigma-finite, and in Corollary 1.2.5 (iii), replace “\mu(E) < \varepsilon” with “|\mu(E)| < \varepsilon“.  After Corollary 1.2.5, add “When \mu is \sigma-finite rather than finite, the three claims (i), (ii), (iii) in Corollary 1.2.5 are no longer equivalent; however, a modification of the above arguments shows that claim (ii) holds if and only if \mu = m_f for some measurable f with at least one of f_+,f_- absolutely integrable.  We take this to be the definition of absolute continuity in the \sigma-finite case.”
  • Page 34: In Exercise 1.3.2 (iv), in the 0 < p < 1 case the additional hypothesis that f, g are non-negative is required.
  • Page 39: In Exercise 1.3.10, f^p and g^q should be |f|^p and |g|^q respectively.
  • Page 41: In the proof of Theorem 1.3.16, “E” should be in math mode (second paragraph) and “g” should be in math mode (end of third paragraph).  Just before (1.28), \mu_g should be \mu_{\overline{g}}.
  • Page 42: In the second to last line, m=1 should be g=1.
  • Page 50: In Exercise 1.4.6, “this inequality” should be “this equality”, and “non-empty finite measure” should be “non-zero finite measure”.
  • Page 53: In Remark 1.4.15, “next set of notes” should be “next section”.
  • Page 55: In Exercise 1.4.18(iv), “take adjoints of (ii)” should be “take adjoints of (iii)”.
  • Page 60: When the notion of isomorphism of normed vector spaces is defined shortly before Exercise 1.5.1, it should be remarked that this is a looser notion than the isometric notion of isomorphism for Hilbert spaces employed after Exercise 1.4.1.  (Different categories of isomorphism.)  Also, in the definition of equivalence, “continuous linear transformation” should be “bicontinuous linear transformation”.  In Remark 1.5.5, one of the “H”s is incorrectly not set in math mode.
  • Page 64:  In the second display in the proof of Proposition 1.5.7, \lambda(y') - \|y'+v\|_X should be -\lambda(y') - \|y'+v\|_X.
  • Page 65: In the proof of the complex case of the Hahn-Banach theorem, \tilde \lambda should take values in {\mathbf C} rather than {\mathbf R}.
  • Page 65: In Exercise 1.5.14, \|\lambda\|_{X^*}=1 should be \|\lambda\|_{X^*} \leq 1. Two lines after 1.5.7, “we see that \tilde \rho has norm at most 1″ should be “we see that \tilde \lambda has norm at most 1″.
  • Page 66: In Exercise 1.5.15(i), the colon after the first appearance of \overline{Y} should be deleted.
  • Page 67: In the proof of Theorem 1.5.13, \|x\| should be \|x\|_X.
  • Page 68: In Remark 1.5.15, add “, with \lambda is now required to be non-zero”.  In Exercise 1.5.18, X should be a real vector space rather than a complex one, and “usual Hahn-Banach theorem” should be “usual Hahn-Banach theorem for real normed vector spaces”.
  • Page 74: In the proof of (ii) implying (i) in Theorem 1.6.8, a closed parenthesis should be added after “converging to x“.
  • Page 81: In Definition 1.6.29, “partially ordered set” should be “pre-ordered set”.
  • Page 89: In the third part of Exercise 1.7.4, some reasonable notion of “operator norm” for a nonlinear operator in order to make the question well-posed.  One choice that works is the Lipschitz norm, but the reader is invited to experiment with other choices as well.  In the proof of Theorem 1.7.5, “must be dense in a ball” should be “one of the E_n must be dense in a ball”.
  • Page 90: In Corollary 1.7.7, Y should be assumed to be Banach space and not merely a normed vector space.
  • Page 92: In the proof of Theorem 1.7.12, nr+n\varepsilon should be n\|f_0\|_Y + nr, and similarly 2nr+2n\varepsilon should be 2n\|f_0\|_Y+2nr, and 2n\|f\|_Y+2n\varepsilon should be 2n (1 + \frac{\|f_0\|_Y}{r}) \|f\|_Y, \frac{5}{2} n should be 2n (1 + \frac{\|f_0\|_Y}{r}), and 5n should be 4n (1 + \frac{\|f_0\|_Y}{r}).
  • Page 93: In Exercise 1.7.6, the Hahn-Banach theorem is actually not necessary for this exercise.  It should also be emphasised that the notion of isomorphism here is the Banach space notion (see Section 1.5.1), and not the Hilbert space notion of isometric isomorphism from after Exercise 1.4.1.
  • Page 94: In Exercise 1.7.7, “we can ensure that” may be clarified to “the above statement remains true if we impose the additional condition that”.
  • Page 95: In Example 1.7.18, both occurrences of c_0({\bf N}) should be c_c({\bf N}).
  • Page 98: In the proof of Theorem 1.7.22, all occurrences of \mu should be replaced by \sigma.
  • Page 100: “Phi, Isett” should be “Phil Isett”.
  • Page 103: Before Exercise 1.8.4, in the definition of an ultrafilter, E \in X should be E \subset X.
  • Page 104: In Exercise 1.8.8, “basis” should be “base”.
  • Page 111: In Exercise 1.8.21, in the optional fifth part, the hypothesis “Let X be a first-countable topological space” is missing.
  • Page 112: In the last bullet point of Definition 1.8.18, x',x \in x should be x',x \in X.
  • Page 113: In Example 1.8.21, “X=Y={\bf R}” should be “X = {\bf R} \backslash \{0\} and Y = {\bf R}“.
  • Page 116?: In Remark 1.9.17, “proper chain” should be “proper well-ordered chain” throughout.
  • Page 119: At the end of Exercise 1.9.3, add the sentence “Such spaces are known as locally convex topological vector spaces.”. In Example 1.9.4,  “topological vector space” should instead read “topological space, but not a topological vector space (because multiplication is not continuous)”, and the final sentence of the example should be deleted.
  • Page 120: In Exercise 1.9.7, one needs to require the additional hypothesis that \mu is finite.  Also, the parenthesis after the epsilon in the definition of B(f,\varepsilon,r) needs to be moved to the left of the < sign.
  • Page 123: In the second and third parts of Exercise 1.9.13, V (and hence V^* and (V^*)^*) need to be assumed to be normed vector spaces.
  • Page 125: In Exercise 1.9.19, the third item is incorrect and should be deleted.
  • Page 135:  \hbox{inf} \{ q: x \in K_q \} should be \hbox{inf} \{ q: x \not \in K_q \}.  “the empty set has sup 0” should be “the empty set has sup 1”.  In Exercise 1.10.3, “the rationals” should be “the set \{{\bf Q}\} consisting of the rationals {\bf Q}“.  To put it another way, {\mathcal F}' is the coarsest topology such that every set that is open in {\mathcal F}, is open in {\mathcal F}', and such that {\bf Q} is also open.
  • Page 136: In Exercise 1.10.4, “on this finite set” should be “on this countable set”.  In Definition 1.10.2, {\bf R}^+ should be [0,+infty).
  • Page 137: In Proposition 1.10.4, the hypothesis that X is sigma-compact may be deleted, by removing all references to the compact set K in the proof (and also deleting the last sentence of the proof).  In Exercise 1.10.7, add the following parenthetical remark: “(This question is easier to prove if one assumes that every non-empty open set has positive measure, but it is also possible to solve the question without this additional hypothesis, by working in the “support” of the measure, that is to say a closed set in which every non-empty open set has finite measure, and then using the Tietze extension theorem.)”.  This exercise should thus also be moved to after the Tietze extension theorem.
  • Page 140: In Exercise 1.10.10, “Then there exists” should be “Show that there exists”.  In the proof of Theorem 1.10.8, Theorem 1.10.5 should be Exercise 1.10.10.
  • Page 141: Add the following exercise: “Let X be a locally compact Hausdorff space, and let (U_\alpha)_{\alpha \in A} be an open cover of X.  Show that there exist compactly supported continuous functions f_\alpha: X \to [0,1] supported on U_\alpha for each \alpha \in A with \sum_{\alpha \in A} f_\alpha(x)=1 for all x \in X (with only finitely many of the terms on the left-hand side non-zero for each x).”
  • Page 146: After “the class of measurable sets is a Boolean algebra”, add “and that \mu_+=\mu_- is finitely additive on this Boolean algebra”.  The sentence fragment “Each f in this supremum is supported in some closed subset K of U” should be replaced by “For each \varepsilon > 0, each f in this supremum is bounded by \varepsilon plus a continuous function between 0 and 1_{K_\varepsilon} for some closed subset K_\varepsilon of U“.
  • Page 148: In Lemma 1.10.15, “functions” should read “functionals”, and “0 \leq I(f) \leq I^+(f)” should read “0, I(f) \leq I^+(f)“.  Exercise 1.10.15 should read as follows: “Show that among all possible choices for the functionals I^+, I^- appearing in the above lemma, there is a unique choice which is minimal in the sense that for any other functionals \tilde I^+, \tilde I^- obeying the conclusions of the lemma, \tilde I^+(f) \geq I^+(f) and \tilde I^-(f) \geq I^-(f) for all non-negative f \in C_c(X \to {\bf R}).”
  • Page 149: After the definition of vague convergence, a remark should be added that an application of the uniform boundedness principle (and Exercise 1.10.7) shows that vague convergence of \mu_n to \mu is equivalent to the \mu_n being uniformly bounded in M(X) <b>and</b> that \int_X f\ d\mu_n \to \int_X f\ d\mu for all f \in C_c(X), however the uniform boundedness aspect cannot be dropped (consider for instance the sequence \mu_n =n \delta_n on the real line).
  • Page 152: In Exercise 1.10.25, [{\bf R},{\bf Z}] should be {\bf R}/{\bf Z}.  In Exercise 1.10.24, “Then” should be “Show that”.
  • Page 154: In Exercise 1.10.30, the phrase “on compact subsets of {\bf R}” is redundant and can be deleted.
  • Page 155: In Exercise 1.10.35, insert “when x is self-adjoint” after the second display.
  • Page 161: In (1.82), (\pi-\delta) t should be (\pi-\delta)|t|.  In Remark 1.11.4, A,\sigma should be A,\delta.  Also, strictly speaking, dispose of the degenerate case when B_0=0 or B_1=0, though this case is easy since non-trivial holomorphic functions cannot vanish on a line. In the last display, the second \|f\|_{L^{p,\infty}(X)} should be \|g\|_{L^{p,\infty}(X)}.
  • Page 162: In Exercise 1.11.4, f(0+it) and f(1+it) should be |f(0+it)| and |f(1+it)| respectively, and similarly for f(\sigma+it).
  • Page 164: In the fourth proof, “analytic function of f” should be “analytic function of s“.
  • Page 166: In the first display, the final \|f\|_{L^{p,\infty}(X)} should be \|g\|_{L^{p,\infty}(X)}.  In Example 1.11.6, the first q>p should be q<p.  In Exercise 1.11.7, the dyadic Lorentz norm \|f\|_{L^{p,q}(X)} defined in the exercise is not quite a quasi-norm, because the homogeneity axiom \|\lambda f \|_{L^{p,q}(X)} = |\lambda| \|f\|_{L^{p,q}(X)} is not satisfied.  Instead, weakened version of the quasi-norm axioms in which the homogeneity axiom is replaced by a quasi-homogeneity axiom c|\lambda|\|f\|_{L^{p,q}(X)} \leq\|\lambda f \|_{L^{p,q}(X)} \leq C |\lambda| \| f \|_{L^{p,q}(X)} for some C,c>0 independent of \lambda, f.  homogeneity rather than quasihomogeneity by working with the non-dyadic Lorentz norm (\int_0^\infty (t^n \lambda_f(t)^{1/p})^q \frac{dt}{t})^{1/q} instead of the dyadic Lorentz norm, which is equivalent up to constants with the dyadic Lorentz norm, although this was not the intent of the exercise.)
  • Page 167: In Exercise 1.11.8, \log(1+|X|) should be \log^{1/p}(1+|X|).  In the last , the condition p_0 \neq p_1 needs to be imposed.
  • Page 171: “it is in fact convex in all of [0,+\infty)^2” should read “it is also convex in the triangular region \{ (1/p,1/q) \in [0,+\infty)^2: p \leq q \}“. In Exercise 1.1.16, “Y (resp. X)” should be “X (resp. Y)”, and there is an extra whitespace after “a.e.”.
  • Page 172: In the definition of a sublinear operator, the additional condition |Tf - Tg| \leq |T(f-g)| should be added in addition to |T(f+g)| \leq |Tf| + |Tg|.  “(S_\alpha)_{\alpha \in A} is a family of linear operators” should be “(S_\alpha)_{\alpha \in A} is a family of sub-linear operators”.  In Exercise 1.11.17, the requirement that p be finite or X has finite measure should be imposed through the entire exercise, not just for the uniqueness aspect.  As such, when defining strong and weak type, one should only use the second bullet point rather than the first or third bullet point (unless one has finiteness of p or of the measure of X).
  • Page 173: Just before Theorem 1.11.10, Marcinkeiwicz should be Marcinkiewicz.  The sentence “We say that a linear operator S is of strong type …” is redundant and may be deleted.
  • Page 174-175: All occurrences of “(1.91), (1.94)” should be “(1.93), (1.94)”.
  • Page 176: In the first display, 2^{n\alpha q_\theta - mp_\theta} should be 2^{(n_\alpha q_\theta - m p_\theta) x_i}.  In Remark 1.11.12, there should not be a C in the subscript of C_{p_0,p_1,q_0,q_1,\theta,C} (two occurrences).
  • Page 177: In Exercise 1.11.21, kO(1) should be k+O(1).
  • Chapter 12: In general, the discussion in this chapter should be restricted to sigma-compact LCA groups (due to the reliance on Fubini’s theorem and the Riesz representation theorem, both of which become quite delicate outside of this setting.)
  • Page 180: In Exercise 1.11.24, x^{r'} should be y^{r'}.
  • Page 187: In Exercise 1.12.3, dx should be d\mu(x) .
  • Page 188: In Exercise 1.12.7(b), the question is technically solvable as stated, but the “Conversely” portion of the question has a trivial answer as currently written.  It should read “For every f \in C_c(G)^+, \varepsilon > 0, and neighbourhood U of the identity, there exists g \in C_c(G)^+ supported  on U such that \int_G f\ d\mu \geq (f:g) \int_G g\ d\mu - \varepsilon” (i.e. the requirement that g has small support is missing).
  • Page 190: In Exercise 1.12.10, the requirement that \mu is non-trivial is redundant and may be deleted.  For clarity “almost every x,y \in G” should be “almost every (x,y) \in G \times G“.
  • Page 194: In the “Unitarity” component of Corollary 1.12.5, “Thus the” should simply be “The”.
  • Page 196: In Exercise 1.12.20, \frac{\sin((N+1/2)x)}{\sin(x/2)} should be \frac{\sin(2\pi(N+1/2)x)}{\sin(\pi x)}.  In Exercise 1.12.21, \frac{\sin(nx/2)}{\sin(x/2)} should be \frac{\sin(\pi N x)}{\sin(\pi x)}.
  • Page 198: In the display in Exercise 1.12.25, {\bf R}^n should be {\bf R}^d.  The final word “that” on this page should be deleted.
  • Page 201: In the final display of Exercise 1.12.36, (\xi-\xi_0) and (x-x_0) should be (\xi-\xi_0)^2 and (x-x_0)^2 respectively.  Also, in (1.109), {\mathcal F} D = X {\mathcal F} and {\mathcal F} X = -{\mathcal F} D should be {\mathcal F} D = - X {\mathcal F} and {\mathcal F} X = D {\mathcal F} respectively.
  • Page 214.  The topology placed on C^\infty_c({\bf R}^d) given in the paragraph before Exercise 1.13.2 is not suitable for the purposes of this section (it is not locally convex, or even a topological vector space).  To fix this, replace the sentences starting with “Because of this…” with “Because of this, we are able to give C^\infty_c({\bf R}^d) a (very strong) topology as follows.  Call a seminorm \| \| on C^\infty_c({\bf R}^d) good if it is a continuous function on C^\infty_c(K) for each compact K (or equivalently, the ball \{ f \in C^\infty_c(K): \|f\| < 1 \} is open in C^\infty_c(K) for each compact K).  We then give C^\infty_c({\bf R}^d) the topology defined by all good seminorms.  Clearly, this makes C^\infty_c({\bf R})^d a (locally convex) topological vector space.”
  • Page 215: Exercise 1.13.3(iii) is incorrect and should be replaced with the following: “(iii) As an additional challenge, construct a set E \subset C^\infty({\bf R}^d) such that 0 is an adherent point of E, but 0 is not as the limit of any sequence in E.”  Exercise 1.13.4(iii) should then be replaced with “Show that a linear map T: C^\infty_c({\bf R}^d) \to X from the space of test functions into a topological vector space generated by some family of seminorms (i.e., a locally convex topological vector space) is continuous if and only if it is sequentially continuous (i.e. whenever f_n converges to f in C^\infty_c({\bf R}^d), Tf_n converges to Tf in X), and if and only if T: C^\infty_c(K) \to X is continuous for each compact K \subset {\bf R}^d.  Thus while first countability fails for C^\infty_c({\bf R}^d), we have a serviceable substitute for this property.”.  Finally, Exercise 1.13.4 (viii) is trivial and should be deleted.
  • Page 215: In Exercise 1.13.4(v), the map T needs to be assumed to be continuous.
  • Page 216: The definition of approximation to to the identity before Exercise 1.13.5 needs to be strengthened, in particular “converge uniformly to zero away from the origin, thus \sup_{|x| \geq r}|\phi_n(x)| \to 0 for all r>0” should be replaced by “has supports shrinking to the identity, thus for each r>0, \phi_n is supported on B(0,r) for sufficiently large n“.
  • Page 217: In the second example after Exercise 1.13.7, “Note that this example generalises the previous one” should be “Note that this example generalises the previous one (in the unsigned or absolutely integrable cases, at least)”.
  • Page 224: In the third bullet point of Exercise 1.13.25, “some compactly supported distributions” should be “some compactly supported distributions \rho,\lambda“.
  • Page 225: In the final bullet point of Exercise 1.13.26, “show that L” should be “show that \lambda“, and should also be preceded by a comma.
  • Page 230: In the final display, t^d should be t^{-d}.
  • Page 232: In Exercise 1.13.37, all the fundamental solutions K are missing a minus sign (this is ultimately due to the refusal to put a minus sign in the definition of the Laplacian, as alluded to on page 229).  In Exercises 1.13.38-1.13.40, the Laplacian should be understood to be with respect to the spatial variable x (i.e. it is not the spacetime Laplacian).  In Exercise 1.13.38, the  factor of |x-y|^2 in the definition of K_t should just be |x|^2.
  • Page 233: In Exercise 1.13.39, the factor of |x-y|^2 in the definition of K_t should just be |x|^2. In Exercise 1.13.40, “wave equation -\partial_{tt}u+\Delta u” should be “wave equation -\partial_{tt}u+\Delta u=0″, and “Schwartz functions f” should be “Schwartz functions f,g“.
  • Page 238:  In the display before Remark 1.14.1, the \partial_x symbols should be replaced by \partial x.  Similarly for the definition of L after Exercise 1.14.3.  In the definition of C^k({\bf R}^d), “derivatives of order k” should be “derivatives of order up to k“.
  • Page 241: In Exercise 1.4.12(2), the additional hypothesis that k \leq l is missing.
  • Page 242: In Exercise 1.4.14, the signs are reversed in the formulae for u(x) and for \frac{\partial u}{\partial x_j} (i.e. there should be a negative sign in the former and a positive sign in the latter, rather than the other way around.  Also, in (iii), the formula for \frac{\partial^2 u}{\partial x_i \partial x_j}(x) has both a reversed sign and a missing term; it should be\frac{1}{3} \delta_{ij} f(x) - \frac{1}{4\pi} \lim_{\varepsilon \to 0} \int_{|x-y| \geq \varepsilon} [ \frac{3(x_i-y_i)(x_j-y_j)}{|x-y|^5} - \frac{\delta_{ij}}{|x-y|^3}] f(y)\ dy.
  • Page 243: In Exercise 1.14.15, Kondrakov should be Kondrachov.
  • Page 244: In Exercise 1.14.16, \phi(x/R) \sin(\xi x) should be A \phi(x/R) \sin(\xi \cdot x).
  • Page 245: In Exercise 1.14.18, “is C^{k+1}({\bf R}^d)” should be “is contained in C^{k+1}({\bf R}^d)“.
  • Page 246: In Theorem 1.14.7, “encluding” should be “excluding”.
  • Page 248: In Exercise 1.14.20, “of the form” should be “which are something like”.  In Exercise 1.4.22, the hypothesis that \Omega is bounded needs to be added.
  • Page 249: Before Exercise 1.14.23, “, which we will do in later notes” should be “; see Exercise 1.15.23”.  In the last display of Exercise 1.14.21, the L^p({\bf R}^d) norm should be L^p({\bf R}^{d-1}) instead.   (The d=1 case of this exercise is somewhat degenerate, but the result is still true in this case; however, the reader may wish to exclude this case in order to avoid such degeneracy.)   Similarly, in the second to last display of the proof of Lemma 1.14.9, \| f_i\|_{L^1({\bf R}^d)} should be \| f_i \|_{L^1({\bf R}^{d-1})}.
  • Page 254: In the second display of Exercise 1.14.36, l(\xi_1,\ldots,\xi_d) should be L(\xi_1,\ldots,\xi_d).
  • Page 258: Before (1.125): “chain of maximal ideals” should be “chain of prime ideals”.  Bougliand should be Bouligand.
  • Page 259: In Section 1.15.1, “k-dimensional subspace” should be “d-dimensional subspace”, and in the second paragraph d should be n throughout.
  • page 260: In the fourth bullet point, \overline{\hbox{dim}}_M should be \underline{\hbox{dim}}_M.
  • Page 265: In the first paragraph on this page of Section 1.15.2, “measre” should be “measure”.
  • Page 268: In the end of the proof of Lemma 1.15.4, \frac{\varepsilon}{k r^n} should be -\frac{\varepsilon}{kr^n}, and the inequalities c \geq \frac{1}{\omega_n} and c \leq \frac{1}{\omega_n} should be swapped.
  • Page 271: In the proof of Lemma 1.15.7, “Huausdorff” should be “Hausdorff”.  In the second bullet point, \sum_{i=1}^k should be \sum_{i=1}^\infty.  In Exewrcise 1.15.17, “compact support there” should be “compact support and there”.
  • Page 303: In (2.14), x \in X should be x \in A.
  • Page 307: In Remark 2.4.22, “Exercises 2.4.3 and 2.4.4” should be “Examples 2.4.6 and 2.4.7”.
  • Page 308: In Exercise 2.4.10, \{\beta,\{\beta\}\} should be \beta \cup \{\beta\}.
  • Page 311:In Definition 2.5.1, \pi should map from \overline{X} to \overline{X}', and \iota = \pi \circ \iota' should be \iota' = \pi \circ \iota.
  • Page 319: In the last paragraph of 2.6.1, the term e^{-i\varepsilon e^{i\varepsilon} z^{2+\varepsilon}} should be e^{i\varepsilon e^{i\varepsilon} z^{2+\varepsilon}}.
  • Page 334: In the proof of (i) implies (ii) in Theorem 2.8.1, \|\nu -\tau_x \nu\|_{L^1(G)} > \varepsilon should be \sup_{x \in S} \|\nu -\tau_x \nu\|_{L^1(G)} > \varepsilon, and “and all x \in S” should be omitted.

Errata for Vol. II:

  • Page 12: “a random complex number in {\bf C}” should be “a random complex vector in {\bf C}^n“.
  • Page ???: In Proposition 1.5.6, the dimension should be n rather than d.
  • Page 40: In the statement of Proposition 1.5.7, a factor of 2 should be inserted in the right hand side, and the dimension should be n rather than d. After that proposition, insert “and dividing into whether {\bf E} f(X) is larger than or smaller than t/2, and noting also that the claim is trivial for t small” before “…”.
  • Page 41: prefactor \pi/2 should instead be 2/\pi (and conversely, 2/\pi should be \pi/2), and the final bound of \exp(Ct) should instead be \exp(Ct^2).
  • Page 43: In Lemma 1.6.1, add “Let P be a finite set of points in R^2” in the first sentence, and replace “in the plane (which may or may not be in L)” with “in L, plus some additional open line segments not containing any points in P”.  In section 1.6.2, “carve out O(r^2) cell” should be “carve out O(r^2) cells”.  In the paragraph starting with “To fix the latter problem…”, add “Note that almost surely the open line segments added will not contain any points of P.” after the parenthetical sentence.
  • Page 54: 30.7% should be 30.1% .
  • Page 82, before (1.53): F_p[X] should be ({\bf Z}/N{\bf Z})[X].
  • Page 90, in the display before (1.61): the final O(1) should be O(\sqrt{x}).
  • Page 112: In Remark 1.15.20, “incompleteness theory” should be “incompleteness theorem”.
  • Page 177: After (2.19), “existence of a quadratic residue” should be “existence of a quadratic nonresidue”.
  • Page 235: The proof of Lemma stated, because it is not demonstrated that the embedding of the A’ free group into the A group is injective.  The proof can be salvaged by constructing the semidirect product first, and then constructing the isomorphism between that product and the free group.  Details can be found at this post.
  • Page 238: In the last display, g_{[[c,b],c]} should be added at the end,  and similarly for the first display on the next page; in the display after that, g_{[[c,b],c]}^{n_{[[c,b],c]}} should also be appended.
  • Page 310: “all group elements t \in K” should be “all group elements t \in H“.

Thanks to Marcelo Aguiar, Adam Azzam, Farzin Barakat, Lucas Braune, Yunbai Cao, Nick Cook, Kun Dong, Sean Eberhard, Sylvester Eriksson-Bique, Federico, Stephen Ge, Wengyin Gan, Julian Gold, Jordy Greenblatt, Robert Hannah, Matthias Hubner, Joe Hughes, Sune Kristian Jakobsen, Zane Li, Dirk Lorenz, Martin Los, Cao Lu, Freddie Manners, Ian Martin, Ricardo Minares, Alexey Muranov, Sujit Nair, Seungly Oh, John Pearson, Qiang, Yudong Qiu, Rex, Lior Silberman, Dan Stroock, Jon Susice, Anthony Verbitsky, Ben Wallis, Joshua Wilson,  wilsonofgordon, xuhmath and Yaoliang  for corrections.