Analysis I

Last updated: Jan 11, 2022

Analysis, Volume I
Terence Tao
Hindustan Book Agency, January 2006. Third edition, 2014
Hardcover, 368 pages.

ISBN 81-85931-62-3 (first edition)

This is basically an expanded and cleaned up version of my lecture notes for Math 131A. 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 II. It is currently in its third edition (corrected), with a fourth edition in preparation.

There are no solution guides for this text.

Sample chapters (contents, natural numbers, set theory, integers and rationals, logic, decimal system, index)

Errata to older versions than the corrected third edition can be found here.

— Errata to the corrected third edition —

Page 1: On the final line, $-2$ should be in math mode.
Page 7: In Example 1.2.6, Theorem 19.5.1 should be “Theorem 7.5.1 of Analysis II”.
Page 8: In Example 1.2.7, “Exercise 13.2.9” should be “Exercise 2.2.9 of Analysis II”. In Example 1.2.8, “Proposition 14.3.3” should be “Proposition 3.3.3 of Analysis II”. In Example 1.2.9, “Theorem 14.6.1” should be “Theorem 3.6.1 of Analysis II”.
Page 9: In Example 1.2.10, “Theorem 14.7.1” should be “Theorem 3.7.1 of Analysis II”.
Page 11: In the final line, the comma before “For instance” should be a period.
Page 14: “without even aware” should be “without even being aware”.
Page 17: In Definition 2.1.3, add “This convention is actually an oversimplification. To see how to properly merge the usual decimal notation for numbers with the natural numbers given by the Peano axioms, see Appendix B.”
Page 19: After Proposition 2.1.8: “Axioms 2.1 and 2.2” should be “Axioms 2.3 and 2.4”.
Page 20: In the proof of Proposition 2.1.11, the period should be inside the parentheses in both parentheticals. Also, Proposition 2.1.11 should more accurately be called Proposition Template 2.1.11.
Page 23, first paragraph: delete a right parenthesis in $f_3(a_3))$ .
Page 27: In the final sentence of Definition 2.2.7, the period should be inside the parentheses. In proposition 2.2.8, “ $a$ is positive” should be “ $a$ is a positive natural number”.
Page 29: Add Exercise 2.2.7: “Let $n$ be a natural number, and let $P(m)$ be a property pertaining to the natural numbers such that whenever $P(m)$ is true, $P(m+\!+)$ is true. Show that if $P(n)$ is true, then $P(m)$ is true for all $m \geq n$ . This principle is sometimes referred to as the principle of induction starting from the base case $n$ “.
Page 31: “Euclidean algorithm” should be “Euclid’s division lemma”.
Page 39: in the sentence before Proposition 3.1.18, the word Proposition should not be capitalised.
Page 41: In the paragraph after Example 3.1.22, the final right parenthesis should be deleted.
Page 45: at the end of the section, add “Formally, one can refer to ${\bf N}$ as “the set of natural numbers”, but we will often abbreviate this to “the natural numbers” for short. We will adopt similar abbreviations later in the text; for instance the set of integers ${\bf Z}$ will often be abbreviated to “the integers”.”
Page 47: In “In $\Omega$ did contain itself, then by definition”, add “of $\Omega$ “. After “On the other hand, if $\Omega$ did not contain itself,” add “then by definition of $P$ “, and after “and hence”, add “by definition of $\Omega$ “.
Page 48: In the third to last sentence of Exercise 3.2.3, the period should be inside the parenthesis.
Page 49: “unique object $f(x)$ ” should be “unique object $f(x) \in Y$ “, and similarly “exactly one $y$ ” should be “exactly one $y \in {\bf N}$ “.
Page 49+: change all occurrences of “range” to “codomain” (including in the index). Before Example 3.3.2, add the following paragraph: “Implicit in the above definition is the assumption that whenever one is given two sets $X, Y$ and a property $P$ obeying the vertical line test, one can form a function object. Strictly speaking, this assumption of the existence of the function as a mathematical object should be stated as an explicit axiom; however we will not do so here, as it turns out to be redundant. (More precisely, in view of Exercise 3.5.10 below, it is always possible to encode a function $f$ as an ordered triple $(X, Y, \{ (x,f(x)): x \in X \})$ consisting of the domain, codomain, and graph of the function, which gives a way to build functions as objects using the operations provided by the preceding axioms.)”
Page 51: Replace the first sentence of Definition 3.3.7 with “Two functions $f: X \to Y$ , $g: X' \to Y'$ are said to be equal if and only if they have the same domain and codomain (i.e., $X=X'$ and $Y=Y'$ ), and $f(x)=g(x)$ for <I>all</I> $x \in X$ .” Then add afterwards: “According to this definition, two functions that have different domains or different codomains are, strictly speaking, distinct functions. However, when it is safe to do so without causing confusion, it is sometimes useful to “abuse notation” by identifying together functions of different domains or codomains if their values agree on their common domain of definition; this is analogous to the practice of “overloading” an operator in software engineering. See the discussion [in the errata] after Definition 9.4.1 for an instance of this.”
Page 52: In Example 3.3.9, replace “an arbitrary set $X$ ” with “a given set $X$ “. Similarly, in Exercise 3.3.3 on page 55, replace “the empty function” with “the empty function into a given set $X$ “.
Page 56: After Definition 3.4.1, replace “a challenge to the reader” with “an exercise to the reader”. In Definition 3.4.1, “ $S$ is a set in $X$ ” should be “latex S$ is a subset of $X$ “.
Page 62: Replace Remark 3.5.5 with “One can show that the Cartesian product $X \times Y$ is indeed a set; see Exercise 3.5.1.”
Page 65: Split Exercise 3.5.1 into three parts. Part (a) encompasses the first definition of an ordered pair; part (b) encompasses the “additional challenge” of the second definition. Then add a part (c): “Show that regardless of the definition of ordered pair, the Cartesian product $X \times Y$ is a set. (Hint: first use the axiom of replacement to show that for any $x \in X$ , the set $\{ (x,y): y \in Y \}$ is a set, then apply the axioms of replacement and union.)”. In Exercise 3.5.2, add the following comment: “(Technically, this construction of ordered $n$ -tuple is not compatible with the construction of ordered pair in Exercise 3.5.1, but this does not cause a difficulty in practice; for instance, one can use the definition of an ordered $2$ -tuple here to replace the construction in Exercise 3.5.1, or one can make a rather pedantic distinction between an ordered $2$ -tuple and an ordered pair in one’s mathematical arguments.)”
Page 66: In Exercise 3.5.3, replace “obey” with “are consistent with”, and at the end add “in the sense that if these axioms of equality are already assumed to hold for the individual components $x,y$ of an ordered pair $(x,y)$ , then they hold for an ordered pair itself”. Similarly replace “This obeys” with “This is consistent with” in Definition 3.5.1 on page 62.
Page 67: In Exercise 3.5.12, add “Let $X$ be an arbitrary set” after the first sentence, and let $f$ be a function from ${\mathbf N} \times X$ to $X$ rather than from ${\mathbf N} \times {\mathbf N}$ to ${\mathbf N}$ ; also $c$ should be an element of $X$ rather than a natural number. This generalisation will help for instance in establishing Exercise 3.5.13.
Page 68: In the first paragraph, the period should be inside the parenthetical; similarly in Example 3.6.2.
Page 71: The proof of Theorem 3.6.12 can be replaced by the following, after the first sentence: ” By Lemma 3.6.9, ${\bf N} \backslash \{0\}$ would then have cardinality $n-1$ . But ${\bf N}$ has equal cardinality with ${\bf N} \backslash \{0\}$ (using $x \mapsto x+1$ as the bijection), hence $n = n-1$ , which gives the desired contradiction. Then in Exercise 3.6.3, add “use this exercise to give an alternate proof of Theorem 3.6.12 that does not use Lemma 3.6.9.”.
Page 73: In Exercise 3.6.8, add the hypothesis that $A$ is non-empty.
Page 77: “negative times positive equals positive” should be “negative times positive equals negative”. Change “we call $-n$ a negative integer“, to “we call $n$ a positive integer and $-n$ a negative integer“.
Page 89: In the first paragraph, insert “Note that when $n=1$ , the definition of $x^{-1}$ provided by Definition 4.3.11 coincides with the reciprocal of $x$ defined previously, so there is no incompatibility of notation caused by this new definition.”
Page 94, bottom: “see Exercise 12.4.8” should be “see Exercise 1.4.8 of Analysis II”.
Page 97: In Example 5.1.10, “1-steady” should be “0.1-steady”, “0.1-steady” should be “0.01-steady”, and “0.01-steady” should be “0.001-steady”.
Page 104: In the proof of Lemma 5.3.7, after the mention of 0-closeness, add “(where we extend the notion of $\varepsilon$ -closeness to include $\varepsilon=0$ in the obvious fashion)”, and after Proposition 4.3.7, add “(extended to cover the 0-close case)”.
Page 113: In the second paragraph of the proof of Proposition 5.4.8, add “Suppose that $x>y$ ” after the first sentence.
Page 122: Before Lemma 5.6.6: “ $n^{th}$ root” should be $n^{th}$ roots”. In (e), add “Here $k$ ranges over the positive integers”, and after “decreasing”, add “(i.e., $x^{1/k} < x^{1/l}$ whenever $l>k$ )”. One can also replace $x<1$ by $0 < x < 1$ for clarity.
Page 123, near top: “is the following cancellation law” should be “is another proof of the cancellation law from Proposition 4.3.12(c) and Proposition 5.6.3”.
Page 124: In Lemma 5.6.9, add “(f) $(xy)^q = x^q y^q$ .”
Page 130: Before Corollary 6.1.17, “we see have” should be “we have”.
Page 131: In Exercise 6.1.6, $LIM$ should be $\mathrm{LIM}$ .
Page 134: In the paragraph after Definition 6.2.6, add right parenthesis after “greatest lower bound of $E$ “.
Page 138: In the second paragraph of Section 6.4, $-1$ should be in math mode (three instances). After $xL=L$ in the proof of Proposition 6.3.10, add “(here we use Exercise 6.1.3.)”.
Page 140: In the first paragraph, $-1$ should be in math mode.
Page 143, penultimate paragraph: add right parenthesis after “ $L^+$ and $L^-$ are finite”.
Page 144: In Remark 6.4.16, “allows to compute” should be “allows one to compute”.
Page 147: “(see Chapter 1)” should be “(see Chapter 1 of Analysis II)”.
Page 148: In the first sentence of Section 6.6, replace $(a_n)_{n=1}^\infty$ to $(a_n)_{n=m}^\infty$ . After Definition 6.6.1, add “More generally, we say that $(b_n)_{n=m'}^\infty$ is a subsequence of $(a_n)_{n=m}^\infty$ if there exists a strictly increasing function $f: \{ n \in {\bf N}: n \geq m'\} \to \{ n \in {\bf N}: n \geq m\}$ such that $b_n = a_{f(n)}$ for all $n \in {\bf N}$ .”.
Page 153: Just before Proposition 6.7.3, “Section 6.7” should be “Section 5.6”.
Page 157: At the end of Definition 7.1.6, add the sentence “In some cases we would like to define the sum $\sum_{x \in X} f(x)$ when $f: Y \to {\bf R}$ is defined on a larger set $Y$ than $X$ . In such cases we use exactly the same definition as is given above.”
Page 161: In Remark 7.1.12, change “the rule will fail” to “the rule may fail”.
Page 163: In the proof of Corollary 7.1.14, the function $h$ should be replaced with its inverse (thus $h: Y \times X \to X \times Y$ is defined by $h(y,x) := (x,y)$ . In Exercise 7.1.5, “Exercise 19.2.11” should be “Exercise 7.2.11 of Analysis II“.
Page 166: In Remark 7.2.11 add “We caution however that in most other texts, the terminology “conditional convergence” is meant in this latter sense (that is, of a series that converges but does not converge absolutely).
Page 172: In Corollary 7.3.7, $q$ can be taken to be a real number instead of rational, provided we mention Proposition 6.7.3 next to each mention of Lemma 5.6.9.
Page 175: A space should be inserted before the (why?) before the first display.
Page 176: In Exercise 7.4.1, add “What happens if we assume $f$ is merely one-to-one, rather than increasing?”. Add a new Exercise 7.4.2.: “Obtain an alternate proof of Proposition 7.4.3 using Proposition 7.4.1, Proposition 7.2.14, and expressing $a_n$ as the difference of $a_n+|a_n|$ and $|a_n|$ . (This proof is due to Will Ballard.)”
Page 177: In beginning of proof of Theorem 7.5.1, add “By Proposition 7.2.14(c), we may assume without loss of generality that $m \geq 1$ (in particulaar $|a_n|^{1/n}$ is well-defined for any $n \geq m$ ).”.
Page 178: In the proof of Lemma 7.5.2, after selecting $N$ , add “without loss of generality we may assume that $N \geq 1$ “. (This is needed in order to take n^th roots later in the proof.) One can also replace $|a_n|^{1/n} \geq 1$ and $|a_n| \geq 1$ with $|a_n|^{1/n} > 1$ and $|a_n| > 1$ respectively.
Page 186: In Exercise 8.1.4, Proposition 8.1.5 should be Corollary 8.1.6.
Page 187, After Definition 8.2.1, the parenthetical “(and Proposition 3.6.4)” may be deleted.
Page 188: In the final paragraph, after the invocation of Proposition 6.3.8, “convergent for each $m$ ” should be “convergent for each $n$ “.
Page 189, middle: in “Why? use induction”, “use” should be capitalised.
Page 190: In the remark after Lemma 8.2.5, “countable set” should be “at most countable set”.
Page 193: In Exercise 8.2.6, both summations $\sum_{m=N}^\infty$ should instead be $\sum_{m=0}^N$ .
Page 198: In Example 8.4.2, replace “the same set” with “essentially the same set (in the sense that there is a canonical bijection between the two sets)”.
Page 203: In Definition 8.5.8, “every non-empty subset of $Y$ has a minimal element $\mathrm{min}(Y)$ ” should be “every non-empty subset $Z$ of $Y$ has a minimal element $\mathrm{min}(Z)$ “.
Page 203: In Proposition 8.5.10, “Prove that $P(n)$ is true” should be “Then $P(n)$ is true”.
Page 204: Before “Let us define a special class….”, add “Henceforth we fix a single such strict upper bound function $s$ “.
Page 205: The assertion that $Y_\infty \cup \{ s(Y_\infty)\}$ is good requires more explanation. Replace “Thus this set is good, and must therefore be contained in $Y_\infty$ ” with : “We now claim that $Y_\infty \cup \{ s(Y_\infty)\}$ is good. By the preceding discussion, it suffices to show that $x = s( \{ y \in Y_\infty \cup \{ s(Y_\infty)\}: y < x \}$ when $x \in (Y_\infty \cup \{s(Y_\infty)\}) \backslash \{x_0\}$ . If $x = s(Y_\infty)$ this is clear since $\{ y \in Y_\infty \cup \{ s(Y_\infty)\}: y < x \} = Y_\infty$ in this case. If instead $x \in Y_\infty$ , then $x \in Y$ for some good $Y$ . Then the set $\{ y \in Y_\infty \cup \{ s(Y_\infty)\}: y < x \}$ is equal to $\{ y \in Y: y < x \}$ (why? use the previous observation that every element of $Y' \backslash Y$ is an upper bound for $x$ for every good $Y'$ ), and the claim then follows since $Y$ is good. By definition of $Y_\infty$ , we conclude that the good set $Y_\infty \cup \{ s(Y_\infty)\}$ is contained in $Y_\infty$ “. In the statement of Lemma 8.5.15, add “non-empty” before “totally ordered subset”.
Page 206: Remove the parenthetical “(also called the principle of transfinite induction)” (as well as the index reference), and in Exercise 8.5.15 use “Zorn’s lemma” in place of “principle of transfinite induction”. In Exercise 8.5.6, “every element of $x$ ” should be “every element of $X$ “.
Page 208: In Exercise 8.5.18, “Tthus” should be “Thus”. In Exercise 8.5.16, “total orderings of $P$ ” should be “total orderings of $X$ “.
Page 215: Exercise 9.1.1 should be moved to be after Exercise 9.1.6, as the most natural proof of the former exercise uses the latter.
Page 216: In Exercise 9.1.8, add the hypothesis that $I$ is non-empty. In Exercise 9.1.9, delete the hypothesis that $x$ be a real number.
Page 221: At the end of Remark 9.3.7, $\lim_{x \in x_0; x \in E \backslash \{x_0\}}$ should be $\lim_{x \to x_0; x \in E \backslash \{x_0\}}$ .
Page 222: Replace the second sentence of proof of Proposition 9.3.14 by “Let $(a_n)_{n=0}^\infty$ be an arbitrary sequence of elements in $E$ that converges to $x_0$ .”
Page 223: Near bottom, in “Why? use induction”, “use” should be capitalised.
Page 224: In Example 9.3.17, (why) should be (why?). In Example 9.3.16, “drop the set $X$ ” should be “drop the set $E$ “, and change $\lim_{x \in x_0; x \in X}$ to $\lim_{x \to x_0; x \in X}$ .
Page 225: In Example 9.3.20, all occurrences of ${\bf R} - \{1\}$ should be ${\bf R} - \{-1\}$ .
Page 226: After Definition 9.4.1, add “We also extend these notions to functions $f: X \to Y$ that take values in a subset $Y$ of ${\bf R}$ , by identifying such functions (by abuse of notation) with the function $\tilde f: X \to {\bf R}$ that agrees everywhere with $f$ (so $\tilde f(x) = f(x)$ for all $x \in X$ ) but where the codomain has been enlarged from $Y$ to ${\bf R}$ .
Page 230: In Exercise 9.4.1, “six equivalences” should be “six implications”. “Exercise 4.25.10” should be “Exercise 4.25.10 of Analysis II“.
Page 231: In the second paragraph after Example 9.5.2, Proposition 9.4.7 should be 9.3.9. In Example 9.5.2, all occurrences of $x_0$ should be $0$ . In the sentence starting “Similarly, if $(b_n)_{n=0}^\infty$ …”, all occurrences of $a_n$ should be $b_n$ .
Page 232: In the proof of Proposition 9.5.3, in the parenthetical (Why? the reason…), “the” should be capitalised. Proposition 9.4.7 should be replaced by Definition 9.3.6 and Definition 9.3.3.
Page 233-234: In Definition 9.6.1, replace “if” with “iff” in both occurrences.
Page 235: In Definition 9.6.5, replace “Let …” with “Let $X$ be a subset of ${\bf R}$ , and let …”.
Page 237: Add Exercise 9.6.2: If $f,g: X \to {\bf R}$ are bounded functions, show that $f+g, f-g$ , and $f \cdot g$ are also bounded functions. If we furthermore assume that $g(x) \neq 0$ for all $x \in X$ , is it true that $f/g$ is bounded? Prove this or give a counterexample.”
Page 248: Remark 9.9.17 is incorrect. The last sentence can be replaced with “Note in particular that Lemma 9.6.3 follows from combining Proposition 9.9.15 and Theorem 9.9.16.”
Page 252: In the third display of Example 10.1.6, both occurrences of $(0,\infty)$ should be $(-\infty,0)$ .
Page 253: In the paragraph before Corollary 10.1.12, after “and the above definition”, add “, as well as the fact that a function is automatically continuous at every isolated point of its domain”.
Page 256: In Exercise 10.1.1, $Y \subset X$ should be $Y \subseteq X$ , and “also limit point” should be “also a limit point”.
Page 257: In Definition 10.2.1, replace “Let …” with “Let $X$ be a subset of ${\bf R}$ , and let …”. In Example 10.2.3, delete the final use of “local”. In Remark 10.2.5, $\subset$ should be $\subseteq$ .
Page 259: In Exercise 10.2.4, delete the reference to Corollary 10.1.12.
Page 260: In Exercise 10.3.5, $X \subset {\bf R}$ should be $X \subseteq {\bf R}$ .
Page 261: In Lemma 10.4.1 and Theorem 10.4.2, add the hypotheses that $X, Y \subseteq {\bf R}$ , and that $x_0,y_0$ are limit points of $X,Y$ respectively.
Page 262. In the parenthetical ending in “$latex f^{-1} is a bijection”, a period should be added.
Page 263: In Exercise 10.4.1(a), Proposition 9.8.3 can be replaced by Proposition 9.4.11.
Page 264: In Proposition 10.5.2, the hypothesis that $f,g$ be differentiable on $[a,b]$ may be weakened to being continuous on $[a,b]$ and differentiable on $(a,b]$ , with $g'$ only assumed to be non-zero on $(a,b]$ rather than $[a,b]$ . In the second paragraph of the proof “converges to $x$ ” should be “converges to $a$ “.
Page 265: In Exercise 10.5.2, Exercise 1.2.12 should be Example 1.2.12.
Page 266: “Riemann-Steiltjes” should be “Riemann-Stieltjes”.
Page 267: In Definition 11.1.1, add “ $X$ is nonempty and” before “the following property is true”, and delete the mention of the empty set in Example 11.1.3. In Lemma 11.1.4, replace “connected” by “either connected or empty”. (The reason for these changes is to be consistent with the notion of connectedness used in Analysis II and in other standard texts. -T.)
In the start of Appendix A.1, “relations between them (addition, equality, differentiation, etc.)” should be “operations between them (addition, multiplication, differentiation, etc.) and relations between them (equality, inequality, etc.)”.
Page 276: In the proof of Lemma 11.3.3, the final inequality should involve $f$ on the RHS rather than $g$ .
Page 280: In Remark 11.4.2, add “We also observe from Theorem 11.4.1(h) and Remark 11.3.8 that if $f: [a,b] \to {\bf R}$ is Riemann integrable on a closed interval $[a,b]$ , then $\int_{[a,b]} f = \int_{(a,b]} f = \int_{[a,b)} f = \int_{(a,b)} f$ .
Page 282: In Corollary 11.4.4, replace” $|f| = f_+ - f_-$ ” by “ $|f|$ , defined by $|f|(x) := |f(x)|$ “, and add at the end “(To prove the last part, observe that $|f| = f_+ - f_-$ .)”
Page 283: In the penultimate display, $(\overline{f_+}-\underline{f_-}(x))$ should be $(\overline{f_+}-\underline{f_-})(x)$ .
Page 284: Exercise 11.4.2 should be moved to Section 11.5, since it uses Corollary 11.5.2.
Page 288: In Exercise 11.5.1, (h) should be (g).
Page 291: In the paragraph before Definition 11.8.1, remove the sentences after “defined as follows”. In Definition 11.8.1, add the hypothesis that $\alpha$ be monotone increasing, and $X$ be an interval that is closed in the sense of Definition 9.1.15, and alter the definition of $\alpha[I]$ as follows. (i) If $I$ is empty, set $\alpha[I]:=0$ . (ii) If $I = \{a\}$ is a point, set $\alpha[\{a\}] := \lim_{x \to a^+; x \in X} \alpha(x) - \lim_{x \to a^-; x \in X} \alpha(x)$ , with the convention that $\lim_{x \to a^+; x \in X} \alpha(x)$ (resp. $\lim_{x \to a^-; x \in X} \alpha(x)$ ) is $\alpha(a)$ when $a$ is the right (resp. left) endpoint of $X$ . (iii) If $I = (a,b)$ , set $\alpha[(a,b)] := \lim_{x \to b^-; x \in X} \alpha(x) - \lim_{x \to a^+; x \in X} \alpha(x)$ . (iv) If $I = [a,b)$ , $(a,b]$ , or $[a,b]$ , set $\alpha[I]$ equal to $\alpha(\{a\}) + \alpha((a,b))$ , $\alpha((a,b)) + \alpha(\{b\})$ , or $\alpha(\{a\}) + \alpha((a,b)) + \alpha(\{b\})$ respectively. After the definition, note that in the special case when $\alpha$ is continuous, the definition of $\alpha[I]$ for $I = (a,b), [a,b), (a,b], [a,b]$ simplifies to $\alpha[I] = \alpha(b) - \alpha(a)$ , and in this case one can extend the definition to functions $\alpha$ that are continuous but not necessarily monotone increasing. In Example 11.8.2, restrict the domain of $\alpha$ to $[0,+\infty)$ , and delete the example of $\alpha[(-3,-2)]$ .
Page 292: In Example 11.8.6, restrict the domain of $\alpha$ to $[0,+\infty)$ . In Lemma 11.8.4 and Definition 11.8.5, add the condition that $X$ be an interval that is closed, and $\alpha$ be monotone increasing or continuous.
Page 293: After Example 11.8.7, delete the sentence “Up until now, our function… could have been arbitrary.”, and replace “defined on a domain” with “defined on an interval that is closed” (two occurrences).
Page 294: The hint in Exercise 11.8.5 is no longer needed in view of other corrections and may be deleted.
Page 295: In the proof of Theorem 11.9.1, after the penultimate display $|F(y)-F(x)| \leq M|x-y|$ , one can replace the rest of the proof of continuity of $F$ with “This implies that $F$ is uniformly continuous (in fact it is Lipschitz continuous, see Exercise 10.2.6), hence continuous.”
Page 297: In Definition 11.9.3, replace “all $x \in I$ ” with “all limit points $x$ of $I$ “. In the proof of Theorem 11.9.4, insert at the beginning “The claim is trivial when $b=a$ , so assume $b > a$ , so in particular all points of $[a,b]$ are limit points.”. When invoking Lemma 11.8.4, add “(noting from Proposition 10.1.10 that $F$ is continuous)”.
Page 298: After the assertion $F[J] = F(d)-F(c)$ , add “Note that $F$ , being differentiable, is continuous, so we may use the simplified formula for the $F$ -length as opposed to the more complicated one in Definition 11.8.1.”
Page 299: In Exercise 11.9.1, $q$ should lie in ${\bf Q} \cap (0,1)$ rather than ${\bf Q} \cap [0,1]$ . In Exercise 11.9.3, $x_0$ should lie in $(a,b)$ rather than $[a,b]$ . In the hint for Exercise 11.9.2, add “(or Proposition 10.3.3)” after “Corollary 10.2.9”.
Page 300: In the proof of Theorem 11.10.2, Theorem 11.2.16(h) should be Theorem 11.4.1(h).
Page 310: in the last line, “all logicallly equivalent” should be “all logically equivalent”.
Page 311: In Exercise A.1.2, the period should be inside the parentheses.
Page 327: In the proof of Proposition A.6.2, $0 \leq y \leq x$ may be improved to $0 < y < x$ ; similarly for the first line of page 328. Also, the “mean value theorem” may be given a reference as Corollary 10.2.9.
Page 329: At the end of Appendix A.7, add “We will use the notation $X \equiv Y$ to indicate that a mathematical object $X$ is being identified with a mathematical object $Y$ .”
Page 334: In the last paragraph of the proof of Theorem B.1.4, “the number $a_n \dots a_0$ has only one decimal representation” should be “the number $a_n \dots a_1$ has only one decimal representation”.

— Errata to the fourth edition —

General: all instances of “supercede” should be “supersede”, and “maneuvre” should be “manoeuvre”.
Page 15: “carry of digits” should be “carry digits”. “Giuseppe” should be “Guiseppe”.
Page 16: The semicolon before $5 \times 3$ should be a colon.
Page 17: the computing language C should not be italicised.
Page 22: In Remark 2.1.5, the first “For instance” may be deleted.
Page 39: In the last part of Definiton 3.1.15, “if” should be “iff”
Page 66: In Exercise 3.5.6 “the $A,B,C,D$ ” should be “the sets $A,B,C,D$ “.
Page 69: In the paragraph before Definition 3.6.5, $N$ should be ${\bf N}$ .
Page 70: In the fifth line of the proof of Lemma 3.6.9, $1 \leq i \leq N$ should be $1 \leq i \leq n$ .
Page 102: In the sixth line from the bottom of the proof, delete the first “yet”.
Page 104: In the statement of Lemma 5.3.6, delete the space before the close parenthesis.
Page 109: In the top paragraph (after Proposition 5.3.11), “On obvious guess” should be “One obvious guess”.
Page 116: The paragraph after Remark 5.4.11 may be deleted, since it is essentially replicated near Definition 6.1.1.
Page 159: In Lemma 7.1.4(a), one can replace $m \leq n < p$ with $m \leq n \leq p$ .
Page 161: In the third display, on the right-hand side of the equation, the sizes of the first two left parentheses should be interchanged.
Page 174: In Proposition 7.4.1, $(S_N)_{n=0}^\infty$ should be $(S_N)_{N=0}^\infty$ , and similarly $(T_M)_{m=0}^\infty$ should be $(T_M)_{M=0}^\infty$ (two occurrences).
Page 177: In Exercise 7.3.2, add the requirement $x \neq 1$ to the geometric series formula.
Page 200: In Remark 8.3.5, “Exercise 7.2.6” should be “Exercise 7.2.6 of Analysis II“.
Page 201: In the first paragraph of Section 8.4, “Section 7.3” should be “Section 7.3 of
Analysis II“.
Page 219: In Remark 9.1.25, “Theorem 1.5.7” should be “Theorem 1.5.7 of Analysis II“.
Page 231: In Example 9.4.3, in the second limit, $x_0 \in x$ should be $x \to x_0$ .
Page 234: To improve the logical ordering, Proposition 9.4.13 (and the preceding paragraph) can be moved to before Proposition 9.4.10 (and similarly Exercise 9.4.5 should be moved to before Exercise 9.4.3, 9.4.4).
Page 237: At the start of Section 9.7, “a continuous function attains” should be “a continuous function on a closed interval attains”.
Page 255: In Theorem 10.13.(h), enlarge the parentheses around $\frac{f}{g}$ .
Page 271: In Remark 11.1.2, “Section 2.4” should be “Section 2.4 of Analysis II“.
Page 278: In Remark 11.3.5, replace “this is the purpose of the next section” with “see Proposition 11.3.12”. (Also one can mention that this definition of the Riemann integral is also known as the Darboux integral.)
Page 281: In Remark 11.3.8, “Chapter 8” should be “Chapter 8 of Analysis II“.
Page 292: In Remark 11.7.2, “Chapter 8” should be “Chapter 8 of Analysis II“.
Page 294: $\alpha(I)$ should be $\alpha[I]$ (two occurrences).
General LaTeX issues: Use \text instead of \hbox for subscripted text. Some numbers (such as 0) are not properly placed in math mode in certain places. Some instances of \ldots should be \dots. \lim \sup should be \limsup, and similarly for \lim \inf.

Thanks to aaron1110, Adam, James Ameril, Paulo Argolo, José Antonio Lara Benítez, Dingjun Bian, Philip Blagoveschensky, Tai-Danae Bradley, Brian, Eduardo Buscicchio, Matheus Silva Costa, Gonzales Castillo Cristhian, Ck, William Deng, Kevin Doran, Lorenzo Dragani, Evangelos Georgiadis, Elie Goudout, Ti Gong, Cyao Gramm, Christian Gz., Ulrich Groh, Yaver Gulusoy, Minyoung Jeong, Erik Koelink, Brett Lane, David Latorre, Kyuil Lee, Matthis Lehmkühler, Bin Li, Percy Li, Ming Li, Mufei Li, Manoranjan Majji, Mercedes Mata, Simon Mayer, Pieter Naaijkens, Vineet Nair, Cristina Pereyra, Huaying Qiu, David Radnell, Tim Reijnders, Issa Rice, Eric Rodriguez, Pieter Roffelsen, Luke Rogers, Feras Saad, Gabriel Salmerón, Vijay Sarthak, Leopold Schlicht, Marc Schoolderman, Rainer aus dem Spring, SkysubO, Sundar, Karim Taha, Chaitanya Tappu, Winston Tsai, Kent Van Vels, Andrew Verras, Daan Wanrooy, John Waters, Yandong Xiao, Hongjiang Ye, Luqing Ye, Christopher Yeh, Muhammad Atif Zaheer, and the students of Math 401/501 and Math 402/502 at the University of New Mexico for corrections.

1,079 comments

Comments feed for this article

3 July, 2021 at 11:22 am

Darshan Pillay

Dear Professor Tao,

I am currently using the 3rd corrected edition of Analysis 1 and I am having some trouble understanding Definition 9.3.6 (Convergence of functions at a point) and also Definition 9.3.3 (Local epsilon-closeness). In particular when we set X to be the empty set then X has no adherent points and I am not sure how to make sense of Definition of 9.3.3 and Definition 9.3.6 in this case. In the Definition 9.3.3 do we impose that X is non-empty and in Definition 9.3.6 do we leave the limit undefined when X is empty?

Kind Regards,
Darshan Pillay

3 July, 2021 at 11:26 am

Darshan Pillay

in Definition 9.3.6 do we also require that E be non-empty?

6 July, 2021 at 12:34 am

Terence Tao

The non-emptiness of $X$ or $E$ is a consequence of the hypotheses of the definition (since, as you say, there would otherwise not be any adherent points), but does not need to be explicitly stated; there is no way in which Definition 9.3.6 could be applied to an empty set since one could not produce the adherent point $x_0$ that is part of the concept being defined.

6 July, 2021 at 6:53 am

yalikes

Dear Professor Tao,

I am reading the 3rd edition of Analysis 1, and I have a question about the definition of $\alpha$ -length in Riemann-Stieltjes integral(in the Errata to the third edition, definition 11.8.1),

Do we need function $\alpha$ to be bounded or domain of $\alpha$ X to be closed interval?
you see, if $I := (0,1), X:=(0,1)$ and $\alpha(x)=1/(1-x)$

$\alpha[I]$ does not define.

This means for some $\alpha$ , $\alpha$ -length didn’t define for some bounded interval I. length of interval always have a definition, but $\alpha$
doesn’t. Is this intended?

I am confusing about this.
(English is not my native language, sorry).

[Fair enough, I have now required $X$ to be closed. -T]

13 July, 2021 at 10:57 am

William Deng

If $X$ is now required to be closed, then would the domain $[0,+\infty)$ in Examples $11.8.2$ and $11.8.6$ , or the domain $\textbf R=(-\infty,+\infty)$ in Examples $11.8.3$ and $11.8.7$ be considered closed? They wouldn’t from the perspective of Definition $9.1.1$ , but would be relatively closed with respect to $\textbf R$ (as in Section $1.3$ of Analysis II).

[Here we are using the notion of closed set from Definition 9.1.15; I’ve updated the errata accordingly. -T]

11 July, 2021 at 12:17 am

Anonymous

Dear prof tao.

in Proposition 5.5.12, the book says “Since x^2 >2, we can choose 0<e2 , and thus (x-e)^2 >2”

how can we choose an e??

13 July, 2021 at 12:50 pm

William Deng

In Exercise $8.5.6$ , after the map $f(x):=(x)$ is defined, it says “that sends every element of $x$ to its order ideal” when it should say “that sends every element of $X$ to its order ideal”. In Exercise $8.5.16$ , there is a part that read “Show that the maximal elements of $P$ are precisely the total orderings of $P$ ” when it should instead be “the total orderings of $X$ “.

14 July, 2021 at 12:07 pm

Terry, this page used to load all the comments at once and one can easily search among them conveniently. Now it loads only a few. Do you know a way to search the comments conveniently (e.g. find all the comments by “Terence Tao”)?

16 July, 2021 at 9:35 am

William Deng

In Definition $8.5.1$ , don’t we technically also need to know the nature of the equality relation which has been defined on the objects of $X$ in order to check anti-symmetry for instance? So instead of viewing a poset as just a pair $(X,\leq_X)$ , we should view it as $(X,\leq_X,=_X)$ , where $=_X$ is the equality relation which has been defined on the elements of $X$ ?

[All first-class mathematical objects are understood to have an equality relation assigned to them. -T]

20 July, 2021 at 10:20 am

William Deng

In Zorn’s lemma (Lemma $8.5.15$ ), is the assumption that $X\neq\emptyset$ really necessary? I believe the other hypothesis that every chain in $X$ has an upper bound ( $\textbf{in}$ $X$ ) is sufficient to ensure that $X\neq\emptyset$ .

[Technically yes, but in practice one only verifies the upper bound property for non-empty totally ordered sets when invoking Zorn’s lemma and then one needs the additional hypothesis that $X$ is non-empty, which is in analogy with the base case of mathematical induction. I’ve added an erratum to reflect this. -T]

27 July, 2021 at 10:26 pm

Anonymous

Dear Professor Tao,
According to Example 8.4.2,if I is a set of the form \{i\in:1≤i≤n\},then the infinite cartesian products is the same set as the set n-fold cartesian product defined in Definition 3.5.7.However,from Exercise 3.5.2 we can kwon ordered n-tuple in n-fold cartesian product must be a surjective function.But the functions in the infinite cartesian products are not necessarily surjective.Why the two set are the same?
(English is not my native language, hope you can understand,sorry!)
Thank you for reading my comment!

[Fair enough, the more precise statement is that $\prod_{i=1}^n X_i$ and $\prod_{\alpha \in \{i \in {\bf N}: 1 \leq i \leq n\}} X_\alpha$ can be canonically identified through a one-to-one correspondence, rather than being literally equal, though in most cases one can safely “abuse notation” by viewing the two sets as the same. (The point being that a function $x : \{i \in {\bf N}: 1 \leq i \leq n\} \to \bigcup_\alpha X_\alpha$ in the latter set can be uniquely identified with a surjective function $x' : \{i \in {\bf N}: 1 \leq i \leq n\} \to X$ in the former set by taking $X$ to be the range of $x$ . -T]

3 August, 2021 at 9:27 pm

Anonymous

Dear Prof Tao,
In the page 100, the book says “If we are to define the real numbers from the Cauchy sequences of rationals as limits of Cauchy sequences, we have to know when two Cauchy sequences of rationals give the same limit, without first defining a real number(since that would be circular).

I can’t understand what argument would be circular.

a circular argument would be like this.

“why is A?” “because B” “then why is B?” “because A”

but I can’t find what argument would be circular in this 100p paragraph.

please help!

4 August, 2021 at 1:05 pm

solveallx

I don’t think the inferences are circular, but rather, the definition would be circular. A circular argument goes the way that you say, but a circular definition would go something like this:

“What is A? It is a thing which we can define in terms of B. But what is B? It is a thing that we can define in terms of A.”

Here the challenge is to define the equality of real numbers, assuming that we define a real number to be any Cauchy sequence of rational numbers. If x, y are two real numbers, how should we define x=y? We cannot say that this equation holds so long as x and y converge to the same real number, because if we did, then we would be defining the real numbers by reference to the real numbers. That would be a circular definition.

4 August, 2021 at 4:47 am

William Deng

Dear Professor Tao
I believe that due to the revisions that were made to Definition $11.8.1$ , the hint in Exercise $11.8.5$ is now obsolete since one can directly find piecewise constant functions majorizing and minorizing $f$ whose (piecewise constant) Riemann-Stieltjes integral is precisely $2f(0)$ . For instance, if $f:[-1,1]\to\textbf R$ , being continuous on a closed interval, is bounded by some real number $M$ , then the functions $f^+,f^-:[-1,1]\to\textbf R$ defined by $f^{\pm}(0):=f(0)$ and $f^{\pm}(x):=\pm M$ for $x\neq 0$ majorize and minorize $f$ respectively and are both piecewise constant with respect to the partition $\{[-1,0),\{0\},(0,1]\}$ of $[-1,1]$ , and in both cases we have

$\displaystyle p.c.\int_{[-1,1]}f^{\pm}d\mathrm{sgn}=2f(0)$

[Erratum added, thanks – T.]

4 August, 2021 at 12:56 pm

solveallx

Dear professor Tao, in your development of Fubini’s theorem of infinite sums, you show that if a sum over a countable set is absolutely convergent then it equals the iterated sum. (By the way, I searched FAR and wide to find someone who proves this, and of about 30 texts that I looked at, yours was one of two that contained such a proof! So I deeply thank you for this!)

However, I am wondering if the converse is true (if the iterated series converges then the sum over the terms is absolutely convergent). I mention this in part because I wonder if you would enjoy including this in your text … and of course selfishly, because I’d enjoy seeing a proof. :)

Anyway, if you ever do include it in a future version I’ll be happy to see it.

Thank you again for the text.

Best wishes,
Adam Frank

[Convergence of the iterated series is not sufficient; see Example 1.2.5. But absolute convergence of the iterated series suffices; this follows from the Fubini-Tonelli theorem, which is covered in my measure theory text. -T]

4 August, 2021 at 12:57 pm

solveallx

(Note: I have not found the converse in ANY of the texts that I’ve searched.)

17 August, 2021 at 11:34 pm

guanyuminghe

Dear professor Tao,
in your introduction of Cartesian products (finite or infinite), you first give definitions, then state their existence by the finite choice lemma and the axiom of choice.

I noticed that in these two statements, you only say that the cartesian product set is non-empty. I wonder how can this non-emptiness imply that the sets contain exactly the elements that the definitions give.

I appreciate your response about this text.

20 August, 2021 at 9:48 pm

guanyuminghe

Dear professor Tao,
I have a question about the proof of Proposition 8.1.5, in which you construct an infinite sequence by $a_n:=\min\{x \in X: x \ne a_m \forall m < n\}$ .

I wonder if this construction requires the axiom of choice or a similar assertion. It is to select an infinite sequence from an infinite set. By induction we can know that for every finite $n$ , there is a finite sequence. However, can we really show that the entire sequence, the function $f$ is defined on the entire $\mathbb{N}$ ?

I know that by the well-ordering principle, every $a_n$ is well-defined, but, the problem is, it is trying to define infinitely.

By the way, if it really requires the axiom of choice, I don't know how to apply the axiom since that the choices we made are all definitive.

Thank you for reading my comment.

22 August, 2021 at 1:12 pm

Terence Tao

The axiom of choice is not required here. For each $N$ , one can define the partial function $\{1,\dots,N\} \to \{a_1,\dots,a_N\}$ , or equivalently define the partial graph $\{ (1,a_1),\dots,(N,a_N) \}$ . Applying the axioms of union (and replacement), one can then define the complete graph $\{ (1,a_1), (2,a_2), \dots \}$ , and this gives the full function $n \mapsto a_n$ .

21 August, 2021 at 4:38 am

Anonymous

Dear prof Tao.
hello professor
Is equality a relation?
some books are saying that the set $latex\left \{ \left ( x,x \right )|x\in S \right \}$ is equality relation for any given set S.
But I think this definition already implies what’s the same and what’s different.

Is it correct definition of equality?

21 August, 2021 at 9:38 am

solveallx

Yes, equality is a relation. The definition you gave does not use the notion of equality, so it’s not a circular definition. What it uses is the ability of a quantifier to pick out any x in the domain and use it (repeatedly) to state something about it.

22 August, 2021 at 2:00 am

Anonymous

if you think like that, then can you prove that this equality relation is an equivalence relation only using the definition which I gave ? {(x, x)|x $\ in S$ }

22 August, 2021 at 1:39 pm

solveallx

Yep. For all x: (x,x) is in the set. And if (x,y) is in the set then (x,y)=(x,x)=(y,x) so the relation is symmetric. And so on.

22 August, 2021 at 8:41 pm

Anonymous

I said only using the definition. you did like this. (x,y)=(x,x), -> x=x, y=x -> x=x, x=y -> (y,x)=(x,x). but the equality signs in here ” x=x, y=x -> x=x, x=y ” is not what we defined. it is something that we should already know to define the set {(x, x)|x in S}.

22 August, 2021 at 5:01 pm

Anonymous

dear professor tao, i wonder about realation between Proposition 5.4.14 and Definition 5.4.5. how can i understand about it?

4 September, 2021 at 1:45 am

johnhtwan

Dear Professor Tao,

In Analysis I Ch3, is “Equality of set” an axiom or definition? Coz in my hardcover book it’s an axiom, while in electronic copy it’s a definition. Thank you so much!

John

21 September, 2021 at 7:27 am

Atom

Professor.

I sent an errata up to Chapter 6 of Analysis I (in a LaTeX pdf) on your email: tao@math.ucla.edu. But I guess that since you are a very busy person, I thought of bringing that to your notice here. (seeing that you take out time for comments here).

For your reference, I sent the email on September 8 (11:25 pm IST), entitled “Errata for Analysis I”.

(Feel free to delete this comment.)

30 September, 2021 at 7:19 am

Anonymous

Dear professor Tao,

In the Errata it said that in Exercise 8.4.3, “there exists an injection $f: A \to B$ ; in other words…” should be “there exists an injection $f: A \to B$ with $g \circ f: A \to A$ the identity map; in particular…”. (This is needed in order to establish the converse part of the question.)
But I seem to solve the converse part of the question without this errata and I could not find any mistake in the proof. My proof is as follows. Could you please check whether it is valid?
Suppose for arbitrary sets $A,B$ such that there exists a surjection $g: B \to A$ , there then exists an injection $f: A \to B$ . We need to show that the axiom of choice is true.
Let $I$ be a set, and for each $\alpha \in I$ let $X_{\alpha}$ be a non-empty set. Suppose that all the sets $X_{\alpha}$ are disjoint from each other. Then for each $\alpha \in I$ , we define a function $g_{\alpha}: X_{\alpha} \to \{\alpha\}$ by $g_{\alpha}(x):= \alpha$ .As $X_{\alpha}$ is a non-empty set for each $\alpha \in I$ , we can see that $g_{\alpha}$ is a surjection for each $\alpha \in I$ . So there exists an injection $f_{\alpha}: {\alpha} \to X_{\alpha}$ for each $\alpha \in I$ . Now if we define set $Y :=\{ f_{\alpha}(\alpha): \alpha \in I \}$ ,we will have $\#(Y \cap X_{\alpha})=1$ for all $\alpha \in I$ . By Exercise 8.4.2 we can know that the axiom of choice is true.
English is not my native language, hope you can understand, sorry!
Thank you for reading my comment!

3 October, 2021 at 4:46 pm

Terence Tao

In order to select a single $f_\alpha$ for each $\alpha \in I$ , you have to invoke the axiom of choice, which is what you are trying to prove.

4 October, 2021 at 2:12 am

Woody Young

Dear Professor Tao, I’d like to refer to Definition 6.2.6 in your book Analysis I for Supremum of sets of extended reals. Suppose $E=A\cup\{+\infty\}$ where $A\subset\mathbb{R}$ and $A\neq\emptyset$ . If $A$ is not bounded below, $\inf(E)$ doesn’t exist. Can I therefore suggest two small changes to Definition 6.2.6: [1] append to rule (c) “… provided that $\sup(E\setminus\{-\infty\})$ exists or supremum of E is not defined. [2] Append “… provided that $\sup(-E)$ exists if rule (c) is applicable or infinmum of E is not defined.” to the definition of infinmum at the bottom of 6.2.6? Please correct me if I am wrong. (By the way, thank you very much for writing the book. :-))

4 October, 2021 at 8:03 am

Terence Tao

By the analogue of Definition 5.5.10 for infima, the infimum of a set that is not bounded below is $-\infty$ by definition.

4 October, 2021 at 7:37 pm

Woody Young

Thanks, Prof. I just read Definition 5.5.10 and realized that the two cases were already covered. Thanks for your response.

13 October, 2021 at 4:23 am

Anonymous

Dear Professor Tao,
In Exercise 8.5.19,we need prove that the maximal elements of Ω are precisely the well-orderings (X,≤) of X.However,whether Ω has a maximal element is unknown.So I think it is better to change it into:if Ω has maximal elements,then the maximal elements of Ω are precisely the well-orderings (X,≤) of X.Exercise 8.5.16 also needs the same change.
What’s your opinion about this?
Thank you for reading my comment!

13 October, 2021 at 4:55 am

Anonymous

I think maybe I need a further explanation.The question here is that whether X has at least one well-ordering is unknown.If it has one,then it is easy to prove the maximal elements of Ω are precisely the well-orderings (X,≤) of X.If we only know that Ω has maximal elements,but do not know whether X has at least one well-ordering,then we should suppose for sake of contradictionthe that the maximal element is not the well-orderings (X,≤) of X,then we can find a bigger one,a contradiction.So if Ω has maximal elements,then the well-orderings (X,≤) of X exist,and the maximal elements of Ω are precisely the well-orderings (X,≤) of X.
English is not my native language,hope you can understand,sorry!

[One does not need to know the existence of a well-ordering to prove the claim that the maximal elements of $\Omega$ are the well-orderings of $X$ . If there are no such well-orderings, then both collections are empty. -T]

21 October, 2021 at 8:26 am

Anonymous

I’m sorry I didn’t make it clear.What I wanted to say is:in order to prove the claim(called it claim A) that the maximal elements of Ω is the well-orderings of X,one must first show that there exist a maximal elements of Ω,which one should use Zorn’s lemma to prove.However,in this exercise,this part(there exist a maximal elements of Ω) is arranged after the proof of the claim A.This is a little strange.So I think it is better to change claim A into:if Ω has maximal elements,then the maximal elements of Ω are precisely the well-orderings of X.
If my understanding is wrong,could you please correct it?
Once again,Thank you for reading my comment!

[A statement of the form “All As are Bs” does not require one to first establish that As exist; the statement is vacuously true if no such As exist. -T]

18 October, 2021 at 4:36 am

Yaver Gulusoy

Dear Prof. Tao, on page 22: in the sentence with “for instance, understanding numbers”, the expression “for instance” is written twice.

[Erratum added, thanks- T.]

21 October, 2021 at 9:16 am

Issa Rice

I have a question about Exercise 9.4.4. I am interpreting the hint to first show $\lim_{x\to 1} x^p = 1$ to mean that eventually we want to evaluate the limit $\lim_{x\to a} (x/a)^p = 1$ , and then use properties of exponentiation and the limit laws to say that $\lim_{x\to a} x^p = a^p$ . But evaluating $\lim_{x\to a} (x/a)^p = 1$ seems to require Proposition 9.4.13, which comes after the proposition this exercise is trying to prove (Proposition 9.4.11). If that’s right, it seems worth flagging that this is the case, or reordering the propositions somehow. But perhaps there is another way to do this exercise that I am missing?

[One can use $(x/a)^p = x^p/a^p$ and Proposition 9.4.9 rather than Proposition 9.4.13 -T.]

2 November, 2021 at 11:34 pm

Friedrich

This also confuses me. Even if we choose to use Proposition 9.4.9, we probably have to say somehow that $\lim_{x \to a} (x/a)^p = \lim_{x \to 1} x^p$, but there is no statement in Section 9.4 about limits of a composition of two functions, so that we cannot use this fact in Exercise 9.4.4. I don’t see either how to solve this exercise using only Proposition 9.4.9, since it does not give by itself the ability to turn a $\lim_{x \to a}$ into a $\lim_{x \to 1}$. But I may be missing something as well :)

3 November, 2021 at 7:34 pm

Terence Tao

Ah, I see the issue now. The proposed fix of reordering the exercises and propositions is probably the simplest way to address this issue.

21 October, 2021 at 4:15 pm

Issa Rice

While writing my previous comment, I noticed that the page now says “with a fourth edition in preparation”. I’ve been keeping a list of corrections that I’ve been too lazy to type up, but this has now prompted me to type it all up. I hope it’s not too late to include in the new edition. (Also sorry if some of these seem really nitpicky or minor stylistic things. I really like this book so I want to have it be typographically beautiful as well as free of errors.)

Page 15: For “why do we have to carry of digits”, I think this should be either “why do we have to carry digits” (without “of”) or e.g. “why is carry of digits required”.

Page 16: When discussing $5^3$ and $5 \times 3$ , there’s an inconsistent use of colon vs semicolon. The sentence structure is the same here but one uses a colon the other uses a semicolon. I think they should both be a colon.

Page 16: The programming language C is italicized, but programming language names are not conventionally italicized (the term “C” also does not appear in the index, so it doesn’t seem to be intended as an introduction of a new technical term either).

Page 39: In the last part of Definition 3.1.15 (for $\subsetneq$ ), “if” should be “iff” for consistency with earlier in the definition.

Page 66: In Exercise 3.5.6 at the end, “the $A, B, C, D$ ” should be just $A, B, C, D$ or “the sets $A, B, C, D$ “.

Page 69: In the paragraph before Definition 3.6.5, $N$ should be $\mathbf N$ .

Page 70: In the fifth line of the proof of Lemma 3.6.9, $1 \leq i \leq N$ should be $1 \leq i \leq n$ (strangely, this is fine in the second edition but becomes capitalized in the uncorrected third edition).

Page 102: In the 6th line from the bottom of the proof, “yet” is repeated twice.

Page 104: In the statement of Lemma 5.3.6, at the end there is a space before the close parenthesis.

Page 160: In Remark 7.1.10, there are three places where an expression like $\displaystyle \sum_{x \in \{y \in X : P(y) \mbox{ is true}\}} f(x)$ appears. In each of these cases, the “is true” appears bigger than the surrounding text, I believe because \mbox is used instead of \text. With \text, it looks like $\displaystyle \sum_{x \in \{y \in X : P(y) \text{ is true}\}} f(x)$ , which has the correct size of “is true”.

Page 167: In the statement of Proposition 7.2.12, $0$ should be in math mode so as not to be italicized, in order to be consistent with the other occurrence of $0$ .

Page 169: In the statement of Lemma 7.2.15, $0$ should be in math mode so as not to be italicized, in order to be consistent with the other occurrences of $0$ .

Page 175: In Example 7.4.2, $+\ldots$ should be $+\cdots$ (i.e. \cdots instead of \ldots) to match the addition operation (two occurrences).

Page 176 and 177: In Example 7.4.4, $+\ldots$ should be $+\cdots$ (i.e. \cdots instead of \ldots) to match the addition operation (two occurrences).

Page 237: $n_1 < n_2 < \ldots$ should be $n_1 < n_2 < \cdots$ (i.e. \cdots instead of \ldots) to match the $<$ .

Page 248: $n_0 < n_1 < n_2 < \ldots$ should be $n_0 < n_1 < n_2 < \cdots$ (i.e. \cdots instead of \ldots) to match the $<$ .

Page 255: In Theorem 10.1.13(h), $\displaystyle (\frac fg)'$ should be $\displaystyle \left(\frac fg\right)'$ with bigger parentheses.

Page 278: Remark 11.3.5 says “However, the two definitions turn out to be equivalent; this is the purpose of the next section” but the discussion of Riemann sums happens later on in the same section.

Page 294: I think “ $\alpha(I) \geq 0$ ” should be “ $\alpha[I] \geq 0$ “, and “ $\alpha$ -lengths $\alpha(I)$ ” should be “ $\alpha$ -lengths $\alpha[I]$ “.

Throughout the text, $\displaystyle \lim \sup_{n\to \infty}$ and $\displaystyle \lim \inf_{n\to \infty}$ are used, but they should be $\displaystyle \limsup_{n\to \infty}$ and $\displaystyle \liminf_{n\to \infty}$ , i.e. using the LaTeX commands \limsup and \liminf. (I’d be happy to try to locate every instance of liminf and limsup if that’s required to make the change, but I’m guessing for you it’s possible to easily find these by searching the LaTeX source.)

[Corrections added, thanks – T.]

2 November, 2021 at 7:02 pm

Anonymous

Dear Prof Tao.
professor, in lemma 7.1.4 (a) , the statement is “Let m ≤ n < p be integers~~".

I think m ≤ n ≤ p is fine too. is it Erratum?

and in Definition 7.1.1

a(i) is a real number assigned to each integer i between m and n.

but there is a real number a(n+1) in definition of Finite series.

Is this possible?

sequence is function, and function has domain and domain is {m ≤ i ≤ n}

we can not define f(n+1), i.e a(n+1).

[First erratum added. As for the second point, to define a concept $C(n)$ recursively, one defines $C(n+1)$ in terms of $C(n)$ (see Proposition 2.1.16), so in this case one would define the summation concept $\sum_{i=m}^{n+1} a_i$ for a finite sequence $(a_i)_{i=m}^{n+1}$ in terms of the summation concept $\sum_{i=m}^n a_i$ for a finite sequence $(a_i)_{i=m}^n$ . -T]

21 November, 2021 at 7:22 pm

aaron1110

Dear Professor Tao,

In the proof of Lemma 7.1.13, the parenthesis sizes in the following equality appear to be mismatched:

$= (\sum\limits_{x \in X'} \left(\sum\limits_{y \in Y} f(x, y))\right) + \left(\sum\limits_{y \in Y} f(x_0, y) \right) ;$

The first opening parenthesis appears to be closed after $f(x, y)$ , before the second (large) opening parenthesis is closed. I think the small open and close parentheses could be omitted entirely:

$= \sum\limits_{x \in X'} \left(\sum\limits_{y \in Y} f(x, y)\right) + \left(\sum\limits_{y \in Y} f(x_0, y) \right) ;$

Thank you for writing this excellent book!

[Correction added, thanks – T.]

4 December, 2021 at 9:52 pm

oiu850714

Dear professor Tao,

The errata in this page added Exercise 2.2.8 on page 29, but the book only has Exercise until 2.2.6, so it seems that the new Exercise should be numbered as Exercise 2.2.7?

Best regards

[Corrected, thanks – T.]

5 December, 2021 at 11:27 pm

Wojtek

Dear profesor tao, Are tej additive combinatoricks books understandable for a high school level student?

6 December, 2021 at 6:07 pm

John

Trivial spelling error: All instances of “supercede” should instead be “supersede”.

(Google :supercede v supersede” for many discussions on this. This isn’t a British vs American spelling thing. E.g. Grammarist “the misspelling supercede has been recorded for multiple centuries. … It is interesting to note that the error has never been adopted as an accepted alternative, which is the case with some other widespread errors.”)

[Correction added, thanks – T.]

6 December, 2021 at 10:07 pm

Anonymous

If it’s been spelled this way for hundreds of years and it appears in books then who’s to say it’s incorrect?

6 December, 2021 at 9:11 pm

John

There are several references to a “Chapter 11.45” in the book–is this perhaps an error?

– p. 51 footnote 2
– p. 267
– p. 278 (twice)
– p. 292

[Corrections added, thanks – T.]

21 December, 2021 at 6:42 pm

John

May I ask what the corrections are? (I can’t seem to find them in the above errata.) Thanks!

[These issues have been fixed since the corrected third edition: “Chapter 19” should refer to “Chapter 8 of Analysis II”, etc. Not sure why in your edition, 19 has been replaced with 11.4. -T]

14 December, 2021 at 4:36 pm

oiu850714

Dear professor Tao,

There has an errata for page 49+: change all occurrences of “range” to “codomain”.
It seems that the occurrence of “range” after Example 3.1.22. on page 41 should also be replaced.

Best regards

[This has been corrected for the fourth edition -T.]

21 December, 2021 at 4:35 am

Anonymous

Dear professor Tao,

In exercise 8.1.1 show that X is infinite if and only if there exists a proper subset Y of X which has the same cardinality as X,

why is the axiom of choice required?

to prove this proposition, we need a statement “every infinite set has a countably infinite subset” as lemma.

to make countable subset of X, I think I can pick an element x_0 from X and pick x_1 from X/{x_0} and pick x_2 from X/{x_0, x_1} and so forth. so we can pick x_n from X/{x_0,…x_n-1} for every natural number n. I know this argument lacks some rigor but uses only Lemma3.1.5(single choice) and induction.

I have the same question for exercise 81.9 too

particularly, when proving countable unions of countable sets are countable.

index set is countable and each element of index set is assigned countable set, we can make surjective function f from N*N onto countable unions of countable sets because there exist bijection for index set and for each set assigned by element of index set.

28 December, 2021 at 11:10 am

Terence Tao

Single choice lets you pick any finite number of distinct elements $x_0,\dots,x_n$ of $X$ for any natural number $n$ , but in order to pick a countably infinite number of distinct elements $x_0,x_1,x_2,\dots$ of $X$ one needs a stronger version of choice, such as countable choice, dependent choice, or the full axiom of choice. (The problem here is the lack of uniqueness in specifying the finite sequence $x_0,\dots,x_n$ , which prevents one from easily specifying an infinite $x_0, x_1, x_2, \dots$ from knowledge of existence of the finite sequences.)

21 December, 2021 at 6:43 pm

John

p. 197: “We will give another proof of this result using measure
theory in Exercise 11.42.6.” Might this be a typo? I can’t seem to find any Exercise 11.42.6 in either Analysis I or II

[In recent editions this has been corrected to Exercise 7.2.6 of Analysis II. -T]

22 December, 2021 at 8:37 pm

Hana

The above errata states, “Page 7: In Example 1.2.6, Theorem 19.5.1 should be “Theorem 7.5.1 of Analysis II”.”

1. I can’t find any mention of “Theorem 19.5.1”, only one “Theorem 11.50.1” (https://books.google.com/books?id=ecTsDAAAQBAJ&pg=PA7)

2. Also, I can’t find any Theorem 7.5.1 in Analysis II

p9: “maneuvre” is usually spelt either “maneuver” (US) or “manoeuvre” (UK”

p10: “See Theorem 11.37.4 and Exercise 11.37.1”–I can’t seem to find either of these. My guess is that they should instead be Theorem 6.5.4 and Exercise 6.5.1 (both in Analysis II)

p13: Near bottom, “Section 11.26”–can’t find this

p15: “Guiseppe” should be “Giuseppe”

[These errata are for the corrected third edition, not the original third edition, and have been corrected for the fourth edition. For instance, Theorem 7.5.1 of Analysis II should be Theorem 8.5.1. The third edition has slightly different page numbering than the recent editions, so if you could give more context to your errata than just page number (e.g., section number, proposition number, etc.) that would aid in locating the corresponding location in the current edition – T.]

22 December, 2021 at 10:04 pm

Alan

Above errata:

1. “Page 23” should be “Page 24”?

2. “Page 27: In the final sentence of Definition 2.2.7, the period should be inside the parentheses.” I think instead of this, we should just delete the period before the left parenthesis?

24 December, 2021 at 9:41 pm

oiu850714

Dear professor Tao,

There is an errata for page 49+. However the description of that errata says “Before Exercise 3.3.2, add the following paragraph…”. It seems that “Exercise 3.3.2” should be “Example 3.3.2”?

Best regards.

[Corrected, thanks – T.]

26 December, 2021 at 6:34 pm

Mike

Please take a look at this: https://math.stackexchange.com/questions/4342276

26 December, 2021 at 11:27 pm

Lina

p107: “On obvious first guess for how to proceed would be define” should perhaps instead be “One obvious first guess for how to proceed would be to define”?

Possible repetition:

p126: “First, we define distance for real numbers … Proposition 4.3.3 works just as well for real numbers”

But p114 already defined distance and stated that Proposition 4.3.3 also works for reals.

Possible repetition:

p126: “First, we define distance for real numbers … Proposition 4.3.3 works just as well for real numbers”

But p114 already defined distance and stated that Proposition 4.3.3 also works for reals.

p175, a bit after middle, “Exercise 11.32.2”–can’t find this

Similarly at p177, just before Exercises

p177, near top, “Example 11.25.7”–can’t find this

p195: “Of course, the real numbers R can contain many infinite sequences”–should “infinite” be replaced by “countable”?

p197, Remark 8.3.5, “Exercise 11.42.6”–can’t find this

p198, bottom: “Section 11.43”–can’t find

[Corrections added. The reference errors you mention have been corrected by the fourth edition – for instance, Remark 8.3.5 now refers to Exercise 7.2.6 of Analysis II. Unfortunately I cannot locate some of your corrections due to changes in numbering between editions.-T]

28 December, 2021 at 3:18 am

Waqar Ahmed

Typo in Example 9.4.3 on page 228 third edition. “It should x tends to x0 but not x0 belongs to x “

2 January, 2022 at 12:23 am

Anonymous

Dear professor Tao.

Do ‘Definition 8.2.4’ work for finite sets as well?

I was wondering if we can say that a summation over a finite set is absolutely convergent

[Yes, though one can easily show from induction that every summation of a real-valued function over a finite set will be absolutely convergent. -T]

3 January, 2022 at 10:13 pm

Anonymous

thank you for your answer professor! but then how do we define convergence of summation over finite set? I mean it is weird to say that summation over finite set is convergent or absolutely convergent.
it doesn’t really have a sequence of the partial sum.

[Definition 8.2.4 makes no reference to any “sequence of the partial sum” – T.]

2 January, 2022 at 8:40 am

Anonymous

In section 3.3, Definition 3.3.1, it is written that

$y=f(x)$ if and only if $P(x,y)$ is true.

(1) What kind of object is $P(x,y)$ ? Is it a “mathematical statement” that has free variables $x$ and $y$ mentioned in appendix A.1?

(2) What is really the expression $y=f(x)$ in first-order logic? People call $x$ the “independent variable” and $y$ the “dependent variable”. But there is no such thing in first-order logic.

3 January, 2022 at 10:27 am

Terence Tao

Yes, $P(x,y)$ is a mathematical statement with free variables, otherwise known as a predicate. The expression $y=f(x)$ is a mathematical expression with free variables: without further context, all three mathematical objects $x, y, f$ are free variables here.

The definition of a function is really an axiom, asserting that there exist a class of mathematical objects called functions $f$ , which each function $f$ having a domain $X$ , a codomain $Y$ (both of which are sets), and an evaluation operation that takes $f$ and an element $x$ of the domain $X$ and returns an element $f(x)$ of the codomain $Y$ , with the property that for any predicate $P(x,y)$ for free variables $x \in X, y \in Y$ obeying the vertical line test, there exists a function $f$ such that for any $x \in X, y \in Y$ , one has $y=f(x)$ if and only if $P(x,y)$ holds. This axiom is in fact redundant from the other axioms of set theory as one can encode functions as a certain type of set; see Exercise 3.5.10. However I prefer to introduce functions instead via the slightly informal Definition 3.3.1 to avoid making the first-order logic formalism too prominent in the text.

18 January, 2022 at 6:12 am

Anonymous

Dear Professor Tao,
I have a question about the Errata to the definition of $\alpha$ -length in Riemann-Stieltjes integral:Why we need this errata?What’s wrong with the simple definition $\alpha[I] = \alpha(b) - \alpha(a)$ ?In Rudin’s Principles of Mathematical Analysis,the definition of $\alpha$ -length(or similar one) is just $\alpha[I] = \alpha(b) - \alpha(a)$ .
Thank you for reading my comment!

20 January, 2022 at 5:41 pm

Terence Tao

This was discussed in a previous comment. Basically, the simpler definition of the (generalized) Riemann-Stieltjes integral gives results that do not agree with the Lebesgue-Stieltjes integral in some cases (though for Riemann-Stieltjes integrable functions they agree).

	Amos Kipngetich Kori… on The Euler-Maclaurin formula, B…
	Terence Tao on Analysis I
	Terence Tao on 245B, notes 5: Hilbert sp…
	Terence Tao on 247B, Notes 1: Restriction…
	Terence Tao on Analysis II
	Terence Tao on 246A, Notes 0: the complex…
	Terence Tao on 247B, Notes 2: Decoupling…
	Andre j- Grebenc on Eigenvectors from eigenvalues
	Anonymous on Analysis I
	Quan on 246B, Notes 2: Some connection…
	Fred on Analysis II
	Anonymous on 246B, Notes 1: Zeroes, poles,…
	Anonymous on 245B, notes 5: Hilbert sp…
	Anonymous on 245C, Notes 2: The Fourier…
	Anonymous on The Collatz conjecture, Little…

Analysis I

Recent Comments

Articles by others

Diversions

Mathematics

Selected articles

Software

The sciences

Top Posts

Archives

Categories

The Polymath Blog

1,079 comments

Leave a Reply Cancel reply

For commenters

Analysis I

Share this:

Like this:

Recent Comments

Articles by others

Diversions

Mathematics

Selected articles

Software

The sciences

Top Posts

Archives

Categories

The Polymath Blog

1,079 comments

Leave a Reply Cancel reply

For commenters