Last updated: Apr 19, 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. It will also be translated into French as “Le cours d’analyse de Terence Tao”.
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,
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
.
- Page 27: In the final sentence of Definition 2.2.7, the period should be inside the parentheses. In proposition 2.2.8, “
is positive” should be “
is a positive natural number”.
- Page 29: Add Exercise 2.2.7: “Let
be a natural number, and let
be a property pertaining to the natural numbers such that whenever
is true,
is true. Show that if
is true, then
is true for all
. This principle is sometimes referred to as the principle of induction starting from the base case
“.
- 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
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
will often be abbreviated to “the integers”.”
- Page 47: In “In
did contain itself, then by definition”, add “of
“. After “On the other hand, if
did not contain itself,” add “then by definition of
“, and after “and hence”, add “by definition of
“.
- Page 48: In the third to last sentence of Exercise 3.2.3, the period should be inside the parenthesis.
- Page 49: “unique object
” should be “unique object
“, and similarly “exactly one
” should be “exactly one
“.
- 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
and a property
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
as an ordered triple
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
,
are said to be equal if and only if they have the same domain and codomain (i.e.,
and
), and
for <I>all</I>
.” 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
” with “a given set
“. Similarly, in Exercise 3.3.3 on page 55, replace “the empty function” with “the empty function into a given set
“.
- Page 56: After Definition 3.4.1, replace “a challenge to the reader” with “an exercise to the reader”. In Definition 3.4.1, “
is a set in
” should be “latex S$ is a subset of
“.
- Page 62: Replace Remark 3.5.5 with “One can show that the Cartesian product
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
is a set. (Hint: first use the axiom of replacement to show that for any
, the set
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
-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
-tuple here to replace the construction in Exercise 3.5.1, or one can make a rather pedantic distinction between an ordered
-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
of an ordered pair
, 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
be an arbitrary set” after the first sentence, and let
be a function from
to
rather than from
to
; also
should be an element of
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,
would then have cardinality
. But
has equal cardinality with
(using
as the bijection), hence
, 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
is non-empty.
- Page 77: “negative times positive equals positive” should be “negative times positive equals negative”. Change “we call
a negative integer“, to “we call
a positive integer and
a negative integer“.
- Page 89: In the first paragraph, insert “Note that when
, the definition of
provided by Definition 4.3.11 coincides with the reciprocal of
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
-closeness to include
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
” after the first sentence.
- Page 122: Before Lemma 5.6.6: “
root” should be
roots”. In (e), add “Here
ranges over the positive integers”, and after “decreasing”, add “(i.e.,
whenever
)”. One can also replace
by
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)
.”
- Page 130: Before Corollary 6.1.17, “we see have” should be “we have”.
- Page 131: In Exercise 6.1.6,
should be
.
- Page 134: In the paragraph after Definition 6.2.6, add right parenthesis after “greatest lower bound of
“.
- Page 138: In the second paragraph of Section 6.4,
should be in math mode (three instances). After
in the proof of Proposition 6.3.10, add “(here we use Exercise 6.1.3.)”.
- Page 140: In the first paragraph,
should be in math mode.
- Page 143, penultimate paragraph: add right parenthesis after “
and
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
to
. After Definition 6.6.1, add “More generally, we say that
is a subsequence of
if there exists a strictly increasing function
such that
for all
.”.
- 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
when
is defined on a larger set
than
. 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
should be replaced with its inverse (thus
is defined by
. 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,
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
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
as the difference of
and
. (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
(in particulaar
is well-defined for any
).”.
- Page 178: In the proof of Lemma 7.5.2, after selecting
, add “without loss of generality we may assume that
“. (This is needed in order to take n^th roots later in the proof.) One can also replace
and
with
and
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
” should be “convergent for each
“.
- 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
should instead be
.
- 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
has a minimal element
” should be “every non-empty subset
of
has a minimal element
“.
- Page 203: In Proposition 8.5.10, “Prove that
is true” should be “Then
is true”.
- Page 204: Before “Let us define a special class….”, add “Henceforth we fix a single such strict upper bound function
“.
- Page 205: The assertion that
is good requires more explanation. Replace “Thus this set is good, and must therefore be contained in
” with : “We now claim that
is good. By the preceding discussion, it suffices to show that
when
. If
this is clear since
in this case. If instead
, then
for some good
. Then the set
is equal to
(why? use the previous observation that every element of
is an upper bound for
for every good
), and the claim then follows since
is good. By definition of
, we conclude that the good set
is contained in
“. 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
” should be “every element of
“.
- Page 208: In Exercise 8.5.18, “Tthus” should be “Thus”. In Exercise 8.5.16, “total orderings of
” should be “total orderings of
“.
- 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
is non-empty. In Exercise 9.1.9, delete the hypothesis that
be a real number.
- Page 221: At the end of Remark 9.3.7,
should be
.
- Page 222: Replace the second sentence of proof of Proposition 9.3.14 by “Let
be an arbitrary sequence of elements in
that converges to
.”
- 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
” should be “drop the set
“, and change
to
.
- Page 225: In Example 9.3.20, all occurrences of
should be
.
- Page 226: After Definition 9.4.1, add “We also extend these notions to functions
that take values in a subset
of
, by identifying such functions (by abuse of notation) with the function
that agrees everywhere with
(so
for all
) but where the codomain has been enlarged from
to
.
- 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
should be
. In the sentence starting “Similarly, if
…”, all occurrences of
should be
.
- 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
be a subset of
, and let …”.
- Page 237: Add Exercise 9.6.2: If
are bounded functions, show that
, and
are also bounded functions. If we furthermore assume that
for all
, is it true that
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
should be
.
- 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,
should be
, and “also limit point” should be “also a limit point”.
- Page 257: In Definition 10.2.1, replace “Let …” with “Let
be a subset of
, and let …”. In Example 10.2.3, delete the final use of “local”. In Remark 10.2.5,
should be
.
- Page 259: In Exercise 10.2.4, delete the reference to Corollary 10.1.12.
- Page 260: In Exercise 10.3.5,
should be
.
- Page 261: In Lemma 10.4.1 and Theorem 10.4.2, add the hypotheses that
, and that
are limit points of
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
be differentiable on
may be weakened to being continuous on
and differentiable on
, with
only assumed to be non-zero on
rather than
. In the second paragraph of the proof “converges to
” should be “converges to
“.
- 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 “
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
on the RHS rather than
.
- Page 280: In Remark 11.4.2, add “We also observe from Theorem 11.4.1(h) and Remark 11.3.8 that if
is Riemann integrable on a closed interval
, then
.
- Page 282: In Corollary 11.4.4, replace”
” by “
, defined by
“, and add at the end “(To prove the last part, observe that
.)”
- Page 283: In the penultimate display,
should be
.
- 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
be monotone increasing, and
be an interval that is closed in the sense of Definition 9.1.15, and alter the definition of
as follows. (i) If
is empty, set
. (ii) If
is a point, set
, with the convention that
(resp.
) is
when
is the right (resp. left) endpoint of
. (iii) If
, set
. (iv) If
,
, or
, set
equal to
,
, or
respectively. After the definition, note that in the special case when
is continuous, the definition of
for
simplifies to
, and in this case one can extend the definition to functions
that are continuous but not necessarily monotone increasing. In Example 11.8.2, restrict the domain of
to
, and delete the example of
.
- Page 292: In Example 11.8.6, restrict the domain of
to
. In Lemma 11.8.4 and Definition 11.8.5, add the condition that
be an interval that is closed, and
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
, one can replace the rest of the proof of continuity of
with “This implies that
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
” with “all limit points
of
“. In the proof of Theorem 11.9.4, insert at the beginning “The claim is trivial when
, so assume
, so in particular all points of
are limit points.”. When invoking Lemma 11.8.4, add “(noting from Proposition 10.1.10 that
is continuous)”.
- Page 298: After the assertion
, add “Note that
, being differentiable, is continuous, so we may use the simplified formula for the
-length as opposed to the more complicated one in Definition 11.8.1.”
- Page 299: In Exercise 11.9.1,
should lie in
rather than
. In Exercise 11.9.3,
should lie in
rather than
. 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,
may be improved to
; 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
to indicate that a mathematical object
is being identified with a mathematical object
.”
- Page 334: In the last paragraph of the proof of Theorem B.1.4, “the number
has only one decimal representation” should be “the number
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
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 24: In the analysis of Case 1 of the proof of Theorem 1.5.8,
should be
(two occurrences).
- Page 39: In the last part of Definiton 3.1.15, “if” should be “iff”.
- Page ???: In the statement of Lemma 3.4.10, replace “Then the set” with “Then”.
- Page 66: In Exercise 3.5.6 “the
” should be “the sets
“.
- Page 69: In the paragraph before Definition 3.6.5,
should be
.
- Page 70: In the fifth line of the proof of Lemma 3.6.9,
should be
.
- Page 87: In Proposition 4.3.7(b), add the following parenthetical: “Because of this equivalence, we will also use “
and
are
-close” synonymously with either “
is
-close to
” or “
is
-close to
“.
- 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”. In the proof of Lemma 5.3.15, after “
“, “for all
“, should be “for all
“
- 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
with
.
- 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,
should be
, and similarly
should be
(two occurrences).
- Page 177: In Exercise 7.3.2, add the requirement
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 205: In Proposition 8.5.10, replace
with
.
- Page 207: In Exercise 8.5.15, replace the hint with “Apply Zorn’s lemma to the set of pairs
, where
is a subset of
and
is an injection, after giving this set a suitable partial ordering.”
- Page 215: In the final paragraph of the proof of Lemma 9.1.12,
should be
.
- 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,
should be
.
- 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 249: In the first display of the proof of Theorem 9.9.16,
should be
.
- Page 255: In Theorem 10.13.(h), enlarge the parentheses around
.
- 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:
should be
(two occurrences).
- Page 297: In Definition 11.9.3, “all limit points
of
” should be “all limit points
of
that are contained in
“.
- Page 314: In Examples A.2.1, “no conclusion on
or
” should be “no conclusion for
“.
- 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, William Barnett, 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, Tim Smith, 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,101 comments
Comments feed for this article
5 April, 2022 at 8:16 am
Mat
Does the implication from (b) to (a) in Proposition 9.3.9 require the axiom of choice? Let
be an open ball centered around
with radius
, we want to show for all
there exists
such that
given that all sequences
in
which converges to
, we have
converges to
. Suppose towards a contradiction there exists
such that all
contains a point
where
. Then we can let
for all natural numbers, and apply the axiom of choice to construct a sequence
which converges to
but $\lim f(a_n) \neq L$. The problem here is I have no nice way to describe the elements in
. The only thing I know about this set is that it is not empty.
5 April, 2022 at 3:05 pm
Terence Tao
Yes, (a weak form of) the axiom of choice is needed here.
12 April, 2022 at 6:52 pm
Anonymous
Professor, can you prove implication from (b) to (a) in Proposition 9.3.9 directly? not using reductio ad absurdum.
13 April, 2022 at 9:52 am
Terence Tao
I doubt it; more formally, I suspect that this direction of the implication (sequential continuity implies continuity) is not provable in intuitionistic logic, but I am not an expert in these matters.
13 April, 2022 at 10:39 am
Anonymous
Dr. Tao. Could you comment on the difference between your “Analysis I” and another book “An epsilon of room I: real analysis”? And which one is better for learning?
13 April, 2022 at 6:10 pm
Tim Smith
The second sentence of Lemma 3.4.8 is “Then the set {…} is a set.” The way it is worded, it seems to presuppose what it is trying to state. Maybe remove “the set” and just say “Then {…} is a set.”?
[Erratum added – T.]
5 May, 2022 at 1:51 am
Matthew
Dear Professor Tao,
Thanks for reading my comment! I have some questions below.
1. You mentioned in an earlier comment that in any mathematical theory with types or sorts (such as “natural number”), the property of being any specific sort is automatically a predicate, and that the statement “x=y” is automatically false if one is treating x and y as objects of different types. I am confused about the question of whether 1 and +∞ are objects of the same type(since they are both extended real numbers) or objects of different types(since 1 is a real number and +∞ is not). A similar question is, are 1 and 1/2 objects of the same type (since they are both real numbers) or objects of different types(1 is a natural number but 1/2 is not)?
2. I’ve noticed that there are not any axioms concerning the extended real numbers in the book. Should the existence of +∞ and -∞ be an axiom? Or should we define ±∞ set-theoretically? I find it quite strange to just add these two symbols to the set of real numbers.
3. You extend the operation of negation to R* by defining -(+∞):=-∞. I’m curious whether we should verify the axiom of substitution here. To be precise, I don’t know how to verify the statement “if x=+∞, then -x=-(+∞)” from this definition. Do you think it’s better to define this operation of negation by the sentence “if x=+∞,then -x:=-(+∞)” ?
Sorry for the language barrier. Thanks again for your patience!
Best regards,
Matthew
9 May, 2022 at 1:07 pm
Terence Tao
If one were to strictly adhere to type conventions (analogous to using a strongly typed language in software engineering) then one would have to distinguish between “the natural number 1”, “the integer 1”, “the real number 1”, and the “extended real number 1”, and these are all technically of different types and thus not necessarily comparable with each other. However, in practice we “abuse notation” and identify these objects together, and when asking for instance whether two numbers are equal one implicity applies the appropriate type conversion operator to place them to be of the same type. I talk about this also in this previous comment.
To introduce the extended reals, the only thing required of the new objects
and
is that they be distinct from each other and from all of the real numbers. The fact that we can do this follows for instance from Exercise 3.2.2.
One could define negation in long-hand notation “if
, then
” as you indicate, but it’s quicker to just use the shorthand “
“. Again, this is technically an abuse of notation, but it does save space and does not cause much confusion in practice.
13 May, 2022 at 2:34 am
Matthew
Dear Professor Tao,
Thanks so much for your reply. I am reading the 3rd edition of Analysis Ⅰ and I found that Exercise 3.2.2 is about the proof of “A∉B or B∉A for any sets A,B” using the axiom of regularity. I don’t quite understand the reason why you indicated that the fact that we can make +∞ and -∞ distinct from each other and from all of the real numbers follows from Exercise 3.2.2.
What troubles me most in the book is the notion of equality. It is in your book that I first got to know the serious definition of equality and related axioms. I used to think that “x=y” means that “x and y are precisely the same thing”. But now it seems to me that the statement “x and y are the same object” is actually defined by the statement “x=y”. And the relation of equality, to a large extent, is just a matter of definition. We may define the relation of equality for a class of objects freely so long as the axioms of equality are all satisfied. Is that correct?
What troubles me most is the axiom of substitution, though. You said in a previous comment that any operation on objects defined using previous well-defined operations on those objects is also well-defined. Sometimes I succeed in understanding this (For instance, subtraction on the real numbers is well-defined, because subtraction is defined in terms of previous well-defined operations, namely addition and negation), but other times, I fail to understand this. For instance, suppose that m and m’ are integers such that m=m’, and suppose that (xn)_m is a sequence of reals with starting index m (I’m sorry for not typing this properly),and (xn)_m’ is a sequence of reals with starting index m’. Then is sup(xn)_m=sup(xn)_m’ ? I know that it’s super easy to prove, but my question is, do we actually need to prove this ?(Think about the axiom of substitution for subtraction.Though we can prove it step by step, we don’t need to.) Is it meaningful to think of these kinds of questions? (It seems I have been trapped by these questions.) I find that in most textbooks on analysis or algebra, the authors never talk about the axiom of substitution.
Thanks again for your patience.And I apologize for the language barrier.
Best Regards,
Matthew
14 May, 2022 at 10:02 am
Terence Tao
From Exercise 3.2.2, for every set
there exists an object that does not lie in
, namely
itself. So, given the set of reals
, one can find an object (which one can call
by definition) which does not lie in
, and then one can find another object (which one can call
by definition) which does not lie in
. Fo instance one can take
and
, although this is a somewhat arbitrary choice.
Regarding the foundations of equality, perhaps it is worth making a distinction between the orthodox and “minimalist” foundations of first-order logic that one would see in a logic course, and the less formal and more “high-level” foundations used here which do not strictly adhere to these orthodox foundations but which conform more closely to the actual informal reasoning used by mathematicians in fields such as analysis. (This is somewhat similar to the distinction between low-level computer languages such as Assembly, and the high-level computer languages such as Python, Java, etc., that most programmers use in practice.) In the orthodox foundations, the universe of objects is fixed in advance, with equality given as a primitive notion. The axioms of equality are then postulates. This is a precise logical framework, but if one then wants to enlarge the universe by defining new objects one has to introduce some metamathematical constructions, in particular the notion of a conservative extension. This can be done, but requires a large digression into logic which is not really suitable for an introductory analysis text. Because of this, I have adopted a slightly less informal, “dynamic” approach which I have also described in this previous comment. Here, the universe of objects is not static, but is permitted to evolve by the introduction of classes of new objects, which can be formed for instance by taking class of existing objects and declaring some of them to be equal. One can then also introduce new operations on these new objects, as long as they respect the law of substitution, which is already established for the old objects and old operations but has to be verified for the new objects and operations. If one wants to do this formally, one can define the new objects more formally as equivalence classes of old objects (and new operations as functions on sets of equivalence classes), or by establishing a metatheorem (such as the one permitting extensions by definitions) that permits one to conservatively extend the old universe to incorporate these new objects and operations, but again this creates a significant digression from the primary task of the text, which is to teach analysis, and I would refer you instead to a logic textbook if you are really interested in developing this metatheory on a rigorous level rather than an informal one.