Last updated Jan 27, 2022

Analysis, Volume II

Terence Tao

Hindustan Book Agency, January 2006. Third edition, 2014

Hardcover, 236 pages.ISBN 81-85931-62-3 (first edition)

This is basically an expanded and cleaned up version of my lecture notes for Math 131B. In the US, it is available through the American Mathematical Society. It is part of a two-volume series; here is my page for Volume I.

Errata prior to the corrected third edition may be found here.

— Errata for the corrected third edition —

- Page 10: In Exercise 1.1.8, a right parenthesis is missing at the end of the last sentence. In Exercise 1.1.11, should be .
- Page 15: In Proposition 1.2.15, should be (two occurrences).
- Page 16: In the first paragraph, the first parenthetical comment should be closed after “… and hence outside of .” In the second parenthetical comment, the period should be outside the parenthesis. “The point 0” should be “The point ” (two occurrences).
- Page 21: In Exercie 1.4.7 (b), should be .
- Page 22: In Definition 1.5.3, insert “for every ” before “there exists a ball” (in order to keep the empty metric space bounded). Also, add the requirement that be finite.
- Page 23: In Theorem 1.5.8, should be in the statement of the theorem (four occurrences). In Case 2 of the proof, should be . One should in fact split into three cases, , , and . For the last case, write “For this case we argue as in Case 2, but replacing the role of by (say) “. In the proof of Theorem 1.5.8, should be .
- Page 26: In Exercise 1.5.10, should be a natural number rather than a positive integer (in order to ensure that the empty set is totally bounded).
- Page 29: In Theorem 2.1.4(c), all occurrences of should be .
- Page 30: In Exercise 2.1.7, should be .
- Page 33: Add an additional Exercise 2.2.12 after Exercise 2.2.11: “Let be the function defined by when , and when . Show that for every , but that is not continuous at the origin. Thus being continuous on every line through the origin is not enough to guarantee continuity at the origin!”
- Page 34: In Proposition 2.3.2, replace “Furthermore, ” with “Furthermore, if is non-empty”,
- Page 37: In Theorem 2.4.5, replace “Let be a subset…” with “Let be a non-empty subset…”.
- Page 38: In Exercise 2.4.7, “replace “every path-connected set” by “every non-empty path-connected set”. In Exercise 2.4.6, add the hypothesis that is non-empty.
- Page 43: Exercise 2.5.8 is
**incorrect**(the space is sequentially compact) and should be deleted. - Page 44: In Exercise 2.5.14, add “Hausdorff” before “topological space”.
- Page 46: In Definition 3.1.1, the domain of should be rather than . Similarly for Proposition 3.1.5, Exercise 3.1.3, and Exercise 3.1.5. In Remark 3.1.2, should be .
- Page 47: In Proposition 3.1.5(c), all occurrences of should be .
- Page 48: In Exercise 3.1.1, add the hypothesis “Assume that is an adherent point of (or equivalently, that is not an
*isolated point*of )”. In Exercise 3.1.3, replace the last three sentences with “If is a topological space and is a Hausdorff topological space (see Exercise 2.5.4), prove the equivalence of Proposition 3.1.5(c) and 3.1.5(d) in this setting, as well as an analogue of Remark 3.1.6. What happens to these statements of is not Hausdorff?”. - Page 52: In the last paragraph of the section, should be .
- Page 56: In item (c) of Section 3.4, a right parenthesis is missing after Definition 3.2.1. In Definition 3.4.2, add “uniform metric” next to “sup norm metric” and metric”, and restrict the definition of to the case when is non-empty, then add “When is empty, we instead define “; similarly for Definition 3.5.5. In Remark 3.4.1, “(b) is a special case of (a)” should be “(a) is a special case of (b)”. Finally, in Definition 3.4.2, use in place of .
- Page 60: In Example 3.5.8, “ratio test” should be “root test”, and Theorem 7.5.1 should be “from Analysis I”. Also “ converges uniformly” should be “ converges uniformly”.
- Page 61: In the second to last display, the factor in front of should be deleted.
- Page 62: In Example 3.6.3, Lemma 7.3.3 should be “from Analysis I”.
- Page 64: At the end of the first paragraph, the period should be inside the parentheses.
- Page 76: In the first display of Example 4.1.5, should be .
- Page 77: In Remark 4.1.9, it is more appropriate to add “uniformly” after “assures us that the power series will converge”.
- Page 78: At the end of the Exercise 4.1.1, a right parenthesis should be added.
- Page 79: In Definition 4.2.4, add “with the property that every element of is a limit point of ” at the end of the first sentence. At the end of the second sentence, add “, in particular is also a function on .”
- Page 81: In Corollary 4.2.12, “ecah” should be “each”.
- Page 82: In Exercise 4.2.3, the period should be inside the parentheses. In the first paragraph, a right parenthesis should be added.
- Page 83: At the end of Exercise 4.2.8(e), the period should be inside the parentheses. Also in the hint, Fubini’s theorem should be Theorem 8.2.2 of Analysis I, and a remark needs to be made that one may also need to study an analogue of the in which the are replaced by . At the beginning of the exercise, “anaytic in ” should be “analytic at “.
- Page 86: In the last two displays, should be .
- Page 91: Before Definition 4.5.5, “exp is increasing” should be “exp is strictly increasing”.
- Page 92: At the end of Exercise 4.5.1, a right parenthesis should be added.
- Page 99: before the final paragraph, add “Inspired by Proposition 4.5.4, we shall use and interchangeably. It is also possible to define for complex and real , but we will not need to do so in this text.”
- Page 102: In the second paragraph parenthetical, the period should be inside the parentheses.
- Page 103: In the second paragraph, a period should be added before “In particular, we have…”.
- Page 105: In the last paragraph of Exercise 4.7.9, the period should be inside the parentheses (two occurrences).
- Page 112: In Example 5.2.6, should be .
- Page 113: In Exercise 5.2.3, “so that” should be “show that”. For more natural logical flow, the placing of Exercises 5.2.2 and 5.2.4 should be swapped.
- Page 116: In Theorem 5.4.1, “trignometric” should be “trigonometric”. In the paragraph after Remark 5.3.8, the period should be inside the parenthesis.
- Page 125: In the last sentence of Exercise 5.5.3, the period should be inside the parenthesis. In Exercise 5.5.4, add “Here the derivative of a complex-valued function is defined in exactly the same fashion as for real-valued functions.”
- Page 129: In Example 6.1.8, “clockwise” should be “counter-clockwise”.
- Page 133: At the end of the proof of Lemma 6.1.13, should be . Expand the sentence “The composition of two linear transformations is again a linear transformation (Exercise 6.1.2).” to “The composition of two linear transformations is again a linear transformation (Exercise 6.1.2). It is customary in linear algebra to abbreviate such compositions of linear transformations by droppinng the symbol, thus .”
- Page 134: In Lemma 6.2.1, “, and ” should be “, and let be a limit point of “. In the previous display, should be .
- Page 135: In the first paragraph, the period should be inside the parenthesis. In Definition 6.2.2, should be a limit point of .
- Page 138: In Example 6.3.3, “the left derivative” should be “the negative of the left derivative”. In the last sentence, the period should be inside the parenthesis.
- Page 139: In the second paragraph, second sentence, the period should be inside the parenthesis; also in the final sentence. Expand the third display to “, and expand “From Lemma 6.3.5” to “From Lemma 6.3.5 (and Proposition 9.5.3 from Analysis I)”.
- Page 140: In the beginning of the proof of Theorem 6.3.8, should be , and similarly the sum on the RHS should be from to rather than from to . “Because each partial derivative … is continuous on ” should be “Because each partial derivative … exists on and is continuous at “.
- Page 141: The period in the last line (before “and so forth”) should be deleted.
- Page 142: At the end of the page, should be .
- Page 144: In Exercise 6.3.2, should be .
- Page 146: In the second paragraph, third sentence, the period should be inside the parenthesis.
- Page 148: In the proof of Clairaut’s theorem, should be .
- Page 151: In Exercise 6.6.1, the range of should be rather than .
- Page 153: In the second paragraph of the proof of Theorem 6.7.2, “ is
*not*invertible” should be “ is*not*invertible”. - Page 154: In the last text line, can be for clarity.
- Page 155: In the proof of Theorem 6.7.2, after the display after “we have by the fundamental theorem of calculus. add “where the integral of a vector-valued function is defined by integrating each component separately.”
- Page 156: should be . The definition of should be rather than (and the later reference to can be replaced just by ).
- Page 157: In the final paragraph of Section 6.7, “differentiable at ” should be “differentiable at “. Add the following Exercise 6.7.4 after Exercise 6.7.3: “Let the notation and hypotheses be as in Theorem 6.7.2. Show that, after shrinking the open sets if necessary (while still having , $f(x_0) \in V$ of course), the derivative map is invertible for all , and that the inverse map is differentiable at every point of with for all . Finally, show that is continuously differentiable on .”
- Page 158: In the first paragraph, final sentence, the period should be inside the parentheses.
- Page 161: Add the following Exercise 6.8.1: “Let the notation and hypotheses be as in Theorem 6.8.1. Show that, after shrinking the open sets if necessary , that the function becomes continuously differentiable on all of , and the equation (6.1) holds at all points of .”
- Page 163: after “if and are disjoint”, add “, and more generally, that when are disjoint”.
- Page 164: In the first paragraph of Section 7.1, should be .
- Page 165: Superfluous period in Theorem 7.1.1. “Since everything is positive” should be “Since everything is non-negative”, and in the preceding sentence, add “; for instance, in this chapter we adopt the convention that an infinite sum of non-negative quantities is equal to if the sum is not absolutely convergent.”
- Page 169: After (7.1), should be .
- Page 170: In the first paragraph “For all other values if ” should be “For all other values of “.
- Page 172: should be (three occurrences). In Example 7.2.9, “each rational number ” should be “each rational number “.
- Page 173: In Exercise 7.2.2, final sentence: period should be inside parentheses. Also, add “Here we adopt the convention that is infinite for any and vanishes for .” In Example 7.2.12, “countable additivity” should be “countable sub-additivity”.
- Page 174: In the penultimate paragraph, “identical or distinct” should be “identical or disjoint”, and should be . Also, “coset of ” should be “coset of “; in the next paragraph, “the rationals ” should be “the rationals “. In Exercise 7.2.5, “Q1” should be “Exercise 7.2.3”.
- Page 175: In the second paragraph, “constrution” should be “construction”. After the third paragraph, add “Note also that the translates for are all disjoint. For, if there were two distinct with intersecting , then there would be such that . But then and thus , which implies , contradicting the hypothesis.”
- Page 176: In the proof of Proposition 7.3.3, “cardinality 3n” should be “cardinality “.
- Page 178: In Lemma 7.4.5, “and any set ” should be “then for any set “.
- Page 180: In the first paragraph, “Lemma 7.4.5” should be “Lemma 7.4.4(d)”. Also, in the display preceding this paragraph, enclose the sum in parentheses in the middle and right-hand sides (so that the supremum is taken over the sum rather than just the first term).
- Page 181: “… on our wish list is (a)” should be “… on our wish list is (i)”.
- Page 187: In Example 8.1.2, the period should be inside the parentheses in the first parenthetical, and the final right parenthsis should be deleted.
- Page 188: In Lemma 8.1.5 the function should take values in rather than (and then the requirement that be non-negative can be deleted).
- Page 189: In the parenthetical sentence before Remark 8.1.8, the period should be inside the parentheses. In the first display in Lemma 8.1.9, the right-hand side summation should be up to rather than , and “are a finite number” should be “be a finite number”. In Example 8.1.7, “the integral” should be “the interval”.
- Page 190: In the final display in the proof of Lemma 8.1.9, an equals sign should be inserted to the left of the final line.
- Page 194: In Theorem 8.2.9, should take values in rather than .
- Page 196: Before the second display, Proposition 8.2.6(cdf) should be Proposition 8.2.6(bce). Also add “It is not difficult to check that the are measurable”. In the first paragraph, all instances of should be .
- Page 197: After the third display. Proposition 8.1.9(b) should be Proposition 8.1.10(bd).
- Page 199: Exercise 8.2.4 should be moved to Section 8.3 (as it uses the absolutely convergent integral).
- Page 200: In the hint to Exercise 8.2.10, the “for all ” should be moved inside the set builder notation , thus using instead.
- Page 201: Before Definition 8.3.2, when Corollary 7.5.6 is invoked, add “(which can be extended to functions taking values in without difficulty)”.
- Page 202: In the start of the proof of Theorem 8.3.4, add “If was infinite on a set of positive measure then would not be absolutely integrable; thus the set where is infinite has zero measure. We may delete this set from (this does not affect any of the integrals) and thus assume without loss of generality that is finite for every , which implies the same assertion for the .
- Page 204: In the second display, should be instead.
- Page 205: In Proposition 8.4.1, add the hypothesis that is bounded.
- Page 206: In the last paragraph, last sentence, the period should be inside the parentheses. In the last two displays, should be .
- Page 207: In the third paragraph, “Secondly, we could fix” should be “Thirdly, we could fix”.
- Page 208: In the last paragraph, Lemma 8.1.4 should be Lemma 8.1.5.

— Errata for the fourth edition —

- Page 4: In Example 1.1.9, should be .
- Page 14: In Proposition 1.2.15(c), delete the word “then”.
- Page 42: In Exercise 2.5.4, when referring to the trivial topology being non-Hausdorff, add the hypothesis that the space contains at least two points.
- Page 53: In Exercise 3.2.2(c), Lemma 7.3.3 should be Lemma 7.3.3 from Analysis I.
- Page 55: In Remark 3.3.7, “it only works” should be “they only work”.
- Page 107: “Napoleons” should be “Napoleon’s”.
- Page 118?: in the proof of Lemma 5.4.6, the reference to Lemma 7.3.3 should instead be Exercise 7.3.2 from Analysis I.
- Page 150: In exercise 6.6.7, Lemma 7.3.3 should be Lemma 7.3.3 from Analysis I.
- Page 167: “for every box ” should be “for every box “.
- Page 170: In Example 7.2.11, “ has outer measure” should be “ has outer measure”.
- Page 182: In Corollary 7.5.7, “then so is” should be “then so are”.
- Page 187: In Example 8.1.7, “simple integral” should be “Lebesgue integral”.
- Page 205: In Theorem 8.5.1, “Then there exists” should be “Then there exist”.

Caution: the page numbering is not consistent across editions. Starting in the third edition, the chapters were renumbered to start from 1, rather than from 12.

Thanks to Quentin Batista, Biswaranjan Behera, José Antonio Lara Benítez, Dingjun Bian, Petrus Bianchi, Philip Blagoveschensky, Carlos, cebismellim, William Deng, EO, Florian, Aditya Ghosh, Gökhan Güçlü, Yaver Gulusoy, Kyle Hambrook, Minyoung Jeong, Bart Kleijngeld, Eric Koelink, Wang Kunyang, Brett Lane, Matthis Lehmkühler, Zijun Liu, Rami Luisto, Jason M., Manoranjan Majji, Geoff Mess, Jorge Peña-Vélez, Cristina Pereyra, Issa Rice, Frédéric Santos, SkysubO, Rafał Szlendak, Winston Tsai, Kent Van Vels, Andrew Verras, Murtaza Wani, Xueping, Sam Xu, Zelin, and the students of Math 401/501 and Math 402/502 at the University of New Mexico for corrections.

## 406 comments

Comments feed for this article

22 October, 2020 at 7:08 pm

Winston TsaiIn Exercise 2.5.4, I think the trivial topology being not Hausdorff requires X to have more than one element.

[Erratum added, thanks – T.]23 October, 2020 at 2:09 am

Winston TsaiI think there is a typo in the fifth line of Exercise 2.5.6.

[Correction added, thanks – T.]23 October, 2020 at 12:20 pm

AnonymousAlso in Exercise 2.5.6, if the goal is to show that the cofinite topology cannot be obtained from a metric, could one simply use the fact that metric spaces are Hausdorff?

[That would work – T.]3 November, 2020 at 12:08 am

AnonymousIn the paragraph after Example 3.2.9, I think f|_Y should be f|_E.

[Erratum added -T.]3 November, 2020 at 3:34 pm

AnonymousIn Definition 3.4.2, if X is empty then I think the metric outputs .

[Good point; a special convention is needed in this case. -T]4 November, 2020 at 2:40 pm

AnonymousSimilarly for Definition 3.5.5 and Example 3.5.6.

[Erratum updated – T.]5 November, 2020 at 4:34 pm

WinstonIn Definition 4.2.4 where you define k-times differentiability, it is implicitly assumed that F^(k) has domain E. Doesn’t this require every point in E to be a limit point?

This also leads me to another point. I think the “derivative as a function” has never been defined (in either Analysis I or II). Only the value of the derivative of a function at a point has been defined. That is, let F be a function from E to R. Then the function F’ has not been defined, only F'(x_0) is defined for limit points x_0 of E for which this value exists.

Given your definition of differentiability on a domain (Definition 10.1.11), I’ve been working with the ad-hoc definition that F’ is just the function defined on the set of limit points of E for which the derivative exists.

Also, I still feel that “F is differentiable on S” should mean that the derivative exists at every point of S (and hence every point of S is a limit point of E), so we can write F'(x) for any x in S. Then when one says “F is differentiable” it means that F is differentiable on E, the domain of F.

See my comment on March 13, 2020 on the Analysis I page.

[Good point; I have now added the restriction that every point of is a limit point to the definition. -T.]5 November, 2020 at 8:42 pm

AnonymousI apologize if this seems amateurish, I’m just trying to organize my thoughts.

Let be a function.

We define the derivative function , where is set of limit points of for which the derivative exists.

We say that is differentiable on iff exists for all (so ).

The meaning of the original Definition 10.1.11 can always be recovered by letting be the set of limit points of .

If is differentiable on then we just say that is differentiable.

With these modifications I think Definition 4.2.4 can remain unchanged, although one could extend the definition to “k-times differentiable on ” by using the phrase “on ” in the appropriate spots. The definition of “kth derivative of ” remains unchanged (this is where we need a definition of a derivative function), but when is k-times differentiable on then we could define the “k-th derivative of on ” to be . This notion of k-times differentiable on a subset is used in Proposition 4.2.6.

Then also I think my two previous errata for Page 253 and Page 297 of Analysis I would also be reverted.

Would these definitions be worth making/modifying?

6 November, 2020 at 1:38 am

AnonymousActually, defining “k-th derivative of f on S” is pointless. To say that f is k-times differentiable on S is to say that S is a subset of the domain of f^(k). The function f^(k) will always exist, it’s just that it will often be the empty function.

14 November, 2020 at 12:31 am

WinstonIn Example 4.1.5, for the first fraction, I think the ‘n’ should be outside the parentheses.

[Correction added -T]17 November, 2020 at 1:15 am

WinstonIn Corollary 4.2.12, ‘each’ is mispelled.

[Correction added – T.]30 December, 2020 at 9:05 am

AnonymousThe irony…

11 December, 2020 at 6:15 pm

AnonymousIn Example 3.5.8, I think it should be that the series \sum f_n converges uniformly, not that f_n converges uniformly.

[Erratum added, thanks – T.]11 December, 2020 at 8:25 pm

AnonymousIn Definition 3.8.6(c) is the absolute value sign on f(x) redundant?

[Technically yes; however sometimes one can consider more general approximations to the identity in which the non-negativity hypothesis in (a) is omitted, in which case it is useful to retain the absolute value sign in (c). -T]13 December, 2020 at 11:00 pm

AnonymousIn Exercise 4.2.8, “real analytic in a” should be “real analytic at a”

[Erratum added – T.]19 December, 2020 at 1:27 pm

Kyle HambrookOn page 163, you give a set of reasonable properties for a measure defined on all subsets of R^n to obey: measure of unit cube is 1; finitely additive; monotone; translation invariant. The you write “Remarkably, it turns out that such a measure does not exist; one cannot assign a non-negative number to every subset of R^n which has the above properties.” This is not true. It is true if n >= 3 or if “finitely additive” is replaced by “countably additive.” But, if n=1 or n=2, there is a finitely-additive translation invariant extension of Lebesgue measure defined on all subsets of R^n. Original Reference: S. Banach, Sur le probleme de la mesure, Fund. Math. 4 (1923), 7-33.

[Erratum added, thanks – T.]20 December, 2020 at 1:26 pm

Kyle HambrookNot to be too picky, but my last name is “Hambrook”, not “Handbrook” as you wrote in the “thanks for corrections” section of this post.

[Corrected, thanks – T.]22 December, 2020 at 12:05 am

AnonymousIn Definition 6.2.2, the definition of derivative, should x_0 be a limit point of E?

[Erratum added – T.]24 December, 2020 at 8:07 pm

AnonymousIn Analysis 1 we only defined summation on countable sets J if there is a bijection from N to J which makes the corresponding infinite series absolutely convergent. In the definition of outer measure (Definition 7.2.4) and the subsequent material, should we take the sum of volumes to be +infinity if the sum is not absolutely convergent?

[Yes; an erratum has now been added to this effect. -T]28 December, 2020 at 7:18 pm

AnonymousIn Example 8.1.7, ‘integral’ should be ‘interval’.

[Corrected added, thanks – T.]29 December, 2020 at 1:54 am

AnonymousIn Exercise 8.2.4, I think we have not yet defined the integral for functions with negative values. Should we use Definition 8.3.2?

[Good point; erratum added. -T]29 December, 2020 at 4:56 pm

AnonymousIn Proposition 8.3.3, should f and g take values in the extended reals?

31 December, 2020 at 11:59 am

Terence TaoIn principle yes, but a technical difficulty arises in Proposition 8.3.3(b) in this case because might not always be everywhere defined. One can fix this by working with functions that are only defined almost everywhere rather than everywhere (and extending the Lebesgue integral to such absolutely integrable almost everywhere defined functions, taking advantage of Proposition 8.3.3(d)), and changing all the hypotheses in Proposition 8.3.3 to only be applied almost everywhere. This is done in my book on measure theory but for this text I am only giving the briefest introduction to the Lebesgue integral and chose not to dwell on these subtleties.

5 February, 2021 at 9:31 am

AnonymousIn Proposition 3.3.3, can one drop the assumption of completeness of ? I can’t find a counterexample.

[Yes, you are right; I’ve added an erratum to this effect. -T]5 February, 2021 at 2:51 pm

AnonymousOne can show that this is a Cauchy sequence using the assumptions that for each , exists and converges to uniformly.

Without completeness of , how can one show that the limit of the sequence exists?

If one drops the completeness of , does one needs to assume that exists (instead of a conclusion)?

5 February, 2021 at 4:14 pm

Terence TaoAh, that is correct, one runs into issues without completeness after all. A counterexample is , , , , , .

18 May, 2021 at 5:47 pm

samDear Professor Tao:

For Exercise 1.4.8(c): Given a Cauchy sequence of formal limits in the complete metric space, I was trying to show that it converges to the sequence of diagonal elements, but it did not seem to work. Does one have to use the axiom of choice for this part ? I’d be appreciated if you can provide some further hints.

[Yes; see errata for the third edition. -T]26 May, 2021 at 10:21 am

N.Dear Professor Tao,

in the third ed., p. 14, Prop. 1.2.15 g

for the intersection $\cap_{\alpha\in I}{F_\alpha}$ the index set $I$ should be assumed to be non-empty.

[This is not necessary, as by definition the intersection is when is empty. -T]7 June, 2021 at 1:57 pm

N.Thanks for the reply.

I know, that one can define the intersection as $X$ when $I$ is empty.

But in Analysis I, third ed., p. 60 you defined the intersection only for non-empty index sets:

“Note that if $I$ was empty, then

$\bigcup_{\alpha\in I}{A_\alpha}$ would automatically also be empty (why?).

We can similarly form intersections of families of sets, as long as the

index set is non-empty. More specifically, given any non-empty set $I$,

and given an assignment of a set $A_\alpha$ to each $\alpha\in I$, we can define the intersection $\bigcap_{\alpha\in I}{A_\alpha}$ by first choosing some element $\beta$ of $I$ (which we

can do since $I$ is non-empty), and setting

$\bigcap_{\alpha\in I}:=\{x\in A_\beta: x\in A_\alpha\forall\alpha\in I\}$,

which is a set by the axiom of specification.”

So I would recommend to add a remark somewhere, how the intersection should be defined in the case of $I=\emptyset$.

One can find a good explanation here:

https://en.wikipedia.org/wiki/Intersection_(set_theory)#Nullary_intersection

27 May, 2021 at 3:09 am

N.Dear Professor Tao,

in the third ed., p. 21, Ex. 1.4.8. (b)

you define a metric with codomain $\mathbb{R}^+$.

In Analysis 1, Ex. 5.5.3, you defined this set as the set of all positive real numbers.

Shoudn’t the codomain include 0?

Same problem: Analysis 2, Def. 3.4.2

[Errata added, thanks – T.]28 May, 2021 at 5:31 pm

samDear professor Tao:

Thank you for your reply to my question above on the Axiom of Choice and Exercise 1.4.8(c). However, I wonder if one can circumvent the use of Choice as follows: Given a Cauchy sequence in , the term corresponds to a Cauchy sequence in X, which permits some integer after which the terms are of distance at most apart, take the minimum of such integers and denote it by (Assuming to be increasing). We then consider the diagonal sequence formed by picking the term of the member of the original sequence in . May I know what is the issue with this argument?

7 June, 2021 at 12:57 pm

Terence TaoTo make this argument rigorous one would have to select a representative Cauchy sequence attached to each formal limit , and this is where the axiom of (countable) choice needs to be invoked.

9 June, 2021 at 9:39 am

N.Dear Professor Tao,

in Ex. 2.4.7 one is asked to prove that every path-connected subset E of X is connected.

The empty set is path-connected (vacuous truth), but in Def. 2.4.1 you declare the empty set as being special (neither connected nor disconnected.

[Erratum added to remove the empty case – T.]17 June, 2021 at 6:50 am

William DengDear Prof. Tao

I’m wondering about the footnote on the page containing Proposition where you talk about the “automobile” and “pedestrian” metrics. While I understand that given two points and in the city (modelled as a subset of ), the automobile distance between and is generally less than the pedestrian distance between and , for the purposes of discussing convergence of sequences with respect to different metric spaces (which is what the footnote refers to), I think any sequence of points converging in the automobile metric (so that the driving time goes to zero) will also converge in the pedestrian metric (so that the walking time goes to zero), and vice versa (it’s just that the “rate” of the convergence might be different).

19 June, 2021 at 10:18 am

Terence TaoThe example here was explicitly “whimsical” in nature and so should be interpreted loosely. For instance, imagine a person walking towards another person separated by some low fence or other barrier, until they come in contact. Informally this is representing convergence in the pedestrian metric, but if one used cars instead of people then one would not have convergence in the automobile metric if the automobile cannot (legally) cross the fence.

22 June, 2021 at 2:09 pm

AnonymousIn Stein-Shakarchi’s Fourier Analysis, The series is given as an example that is not the Fourier series of a Riemann integrable function. They argue by assuming it is the Fourier series for and the Abel mean at is

They write that (1) tends to infinity as tends to because diverges and this contradicts .

1. But what they are saying is , not . How can one justify exchange of the limit and the sum?

2. If one relaxes the Riemann integrable condition to Lebesgue integrable, can one find such ?

3. Given a sequence , are there well-known results for telling whether it is the Fourier coefficients of some function ?

23 June, 2021 at 2:14 am

ugrohRegarding your question 3.: There is a paper by Carathéodory from 1918. It is written in german (of course) and you find it in Mathematische Zeitschrift, 1918 on 309 – 320. There is a reference (footnote 1) answering your question (I hope).

23 June, 2021 at 10:07 am

AnonymousFor question 1, since , thus , so is dominated by , apply the dominated convergence theorem, we can interchange limit and summation.

23 June, 2021 at 10:25 am

AnonymousActually, never mind. The explanation above is not valid. I don’t think we are exchanging limit and sum here. We just need to find a value of such that the summation diverges.

26 June, 2021 at 6:01 am

N.Dear Professor Tao,

in the third ed., p. 77 (Theorem 4.1.6. (d)) you write:

… converges uniformly to f ‘ on the interval [a-r,a+r].

It should rather be:

… converges uniformly to f ‘(x) on the interval [a-r,a+r].

26 June, 2021 at 6:09 am

N.Dear Professor Tao,

in the third ed., p. 82 – Ex. 4.2.6 – one is asked to show that every polynomial P(x) of one variable is real analytic on the real numbers.

In Def. 4.2.1 you define real analytic functions.

A polynomial is an algebraic object, but not a function.

It only induces a function, as you can define a polynomial function by evaluating the polynomial.

So it should rather be:

Using Ex. 4.2.5, show that every polynomial function of one variable is real analytic on R.

[In these texts we often “abuse notation” by using a formal expression, such as a polynomial, to refer to the function it induces; see e.g., the discussion after Example 3.3.3 in Analysis I. -T]15 July, 2021 at 10:21 am

William DengDear Prof. Tao, shortly after stating Theorem , you say that “However, a version of the Heine-Borel theorem is available if one is willing to replace closedness with the stronger notion of completeness…”, but actually, I think intrinsic closedness is equally strong as completeness (i.e. from Proposition , we see that every complete metric space is also intrinsically closed, while combining with Exercise reveals that every intrinsically closed metric space is also complete).

[Completeness is indeed equivalent to being intrinsically closed, but this is not what being closed refers to by default. -T]15 July, 2021 at 6:25 pm

William DengA suggestion: for clarity, in Definition , replace “” by “” or “” or “finite ” or something to that effect (basically, you probably don’t intend to be a legitimate value for , otherwise for instance one can show using Definition that every metric space is bounded which would make the concept rather boring).

[The requirement that be finite will be added to Definition 1.5.3. -T.]16 July, 2021 at 7:07 am

William DengIs it possible to weaken the hypotheses in Corollary as follows: only assume to be compact and weaken the assumption of compactness on the other sets to closedness (in )? This is a strictly weaker assumption because although one can deduce from the compactness, hence boundedness of along with the totally ordered nature of the sets that the other sets are also closed (in ) and bounded, we saw previously that the full Heine-Borel theorem is not necessarily true for an arbitrary metric space.

16 July, 2021 at 8:12 am

William DengActually never mind, that would not be strictly weaker, rather it would just be an equivalent formulation, thanks to Theorem (so essentially, it seems that the full Heine-Borel theorem can be recovered when working inside a compact metric space).

17 July, 2021 at 1:04 pm

SimonI believe one of the corrections has a small typo. The correction of the beginning of the proof of Theorem 6.3.8 on page 140 has $n$ and $m$ swapped, i.e. it should say “[…] the sum on the RHS should be from $1$ to $n$ rather than from $1$ to $m$.”

[Corrected, thanks – T.]22 July, 2021 at 12:37 am

KevinDear prof. Tao, I believe the statement “Furthermore, if , then ” in Proposition 3.1.5 is wrong.

Consider the function where and for every .

Even if we can construct the function , we cannot derived the continuous property for at .

[For this example all four parts (a), (b), (c), (d) do not hold, precisely because of this “Furthermore, …” condition in (d). If one omitted this extra assertion then one would no longer get the logical equivalence of the four statements. -T]5 September, 2021 at 5:25 am

William DengExercise is technically false when the set is non-empty while the index set is empty. Perhaps the additional assumption that be non-empty should be inserted?

[Erratum added, thanks – T.]13 September, 2021 at 12:37 am

KevinDear prof. Tao, thank you for your reply of my incorrect statement above.

I have another question, and it’s about exercise 5.2.6(d).

Since we are restrict our functions $f_n$ and $f$ to 1-periodic, we cannot have arbitrary large integral on $[0,1]$ when $f_n$ is also pointwise converges to $f$ (this statement is similar to exercise 5.2.6(a), but I have not come up with a proof yet).

[Note in part (d) that the functions are not required to be uniformly bounded, in contrast to (a). -T]15 September, 2021 at 7:34 pm

KevinDear prof.Tao, Definition 5.4.5 seems to be ill-defined, since is a complex number, thus we cannot compare with and .

Also, in Definition 3.8.6, one already given , is the absolute value in condition (c) still necessary?

21 September, 2021 at 12:12 am

KevinDear prof. Tao, I think in Theorem 6.3.8, page 140, the statement “Because each partial derivative is continuous on ” should be “Because each partial derivative exists on and is continuous at ” .

[Erratum added, thanks – T.]12 October, 2021 at 11:53 pm

sinDear Professor Tao:

Can you provide some further hints on how to prove Theorem 4.1.6(d) using Theorem 3.7.1?

[Worl with the partial power series and their derivatives. -T]4 December, 2021 at 12:48 am

sinThank you, professor.

4 December, 2021 at 11:51 pm

sinDear professor Tao:

The second (why?) in the proof of Lemma 5.4.6 suggests the use of Lemma 7.3.3 when x is not an integer, but the common ratio e to the 2*pi*I*x has absolute value 1. Also, it seems that the proof presuppose a complex version of the geometric series formula. What is the reason for considering the case when x is not an integer?

6 December, 2021 at 10:09 am

Terence TaoThe reference should be instead to the geometric series formula in Exercise 7.3.2 of Analysis I (which requires ); I will add errata accordingly.

6 December, 2021 at 10:49 pm

sinThank you professor. By the way, I think “Corollary 5” in the proof of Theorem 5.5.4 is meant to refer to Corollary 5.3.6 instead.

[This is fixed in the fourth edition – T.]8 December, 2021 at 1:50 pm

William DengDear Prof. Tao, in Exercise where we are asked to show that given a set , the trivial topological space is non-Hausdorff, I believe the additional assumption that actually contains two distinct elements is required.

[Erratum added, thanks – T.]11 December, 2021 at 3:27 pm

Josef HuberExample 3.5.4 should be 1/(1-x) and not x/(1-x).

11 December, 2021 at 3:30 pm

Josef HuberSorry I was wrong, all fine (As you do not include n=0)

15 December, 2021 at 10:43 pm

Alexp4 near bottom: Should “sup(3,4)” instead be “sup({3,4})”?

[Correction added, thanks – T.]16 December, 2021 at 12:11 am

Rudip14 Proposition 1.2.15(c), delete “then”?

[Erratum added, thanks – T.]16 December, 2021 at 2:32 am

Anonp39 Definition 2.5.1 Should $\subset$ as usual be replaced by $\subseteq$?

[This has been corrected for the fourth edition -T.]17 December, 2021 at 8:41 pm

Janep55 Should “The above propositions sound very reasonable, but one should caution that it only works” be either

1. “The above proposition sounds very reasonable, but one should caution that it only works”; or

2. “The above propositions sound very reasonable, but one should caution that they only work”

[Erratum added, thanks – T.]18 December, 2021 at 1:26 am

AnonAbove errata has “Page 59: Before Definition 4.5.5, “exp is increasing” should be “exp is strictly increasing”.”

Should “Page 59” instead be “Page 91”?

[Corrected, thanks – T.]18 December, 2021 at 10:48 pm

Okoip107: “during Napoleons reign” missing apostrophe?

[Erratum added, thanks – T.]20 December, 2021 at 7:27 pm

Joanp152: Bottom paragraph, first line, should “even when f’ is not invertible” instead be “even when f is not invertible”?

[This erratum has already been noted – T.]21 December, 2021 at 6:50 pm

Johnp173, Example 7.2.11, “m*(R) has outer measure +∞” — might it be more correct to state instead “R has outer measure +∞”?

p184: Trivial grammatical error: Corollary 7.5.7: “then so is” should be “then so are”?

p189: “simple integral” — should this be “Lebesgue integral” or just “integral”? I don’t think the term “simple integral” has been introduced before

p194: Proposition 8.2.6(e): After “then”, expression in the middle, should it instead be $\int_{\Omega^\prime} f|{\Omega^\prime}$ (as per Remark 8.2.4)?

Similarly for p207, paragraph 2, last line, last expression?

p207: Trivial grammatical error: “Then there exists” should be “Then there exist”

[Corrections added, thanks. For the p194 comment, the notational convention introduced in Remark 8.2.4 removes the need to explicitly restrict to . -T}11 January, 2022 at 7:11 am

FredDear Prof. Tao,

A question about Example 6.2.3 (p. 135). Formally, do we have a result in the book to justify that the first two limits are equal?

I also noted that, in Sections 9.3 and 9.4 of Analysis I, there is no result about the limit of a composition of functions (except, maybe, Proposition 9.4.13 in some way). Is the concept of “change of variables” (in the computation of a limit) supported by some proposition in the book? Or does it rely only on previous knowledge in calculus?

Thanks!

20 January, 2022 at 5:10 pm

Terence TaoSee Exercise 3.1.5.

12 January, 2022 at 1:33 am

AnonymousDear Professor Tao:

For Exercise 7.5.4, how can we show that the pre-image of [a, infinity) is measurable if the pre-image of (a, infinity) is ?

[Express as the intersection of for $n=1,2,\dots$. -T]