1 Introduction
This collection joins the single-variable MATH 451 notes with the multivariate MATH 395 notes. The reading path moves from the real-number system, sequences, continuity, differentiation, series, and Riemann integration to metric spaces, multivariable differentiation, implicit functions, change of variables, and an IBL transition toward Lebesgue measure.
The original course directories and their source manifests remain authoritative. This entry only composes their lecture notes and personal homework transcriptions for publication. Missing submissions and unfinished source proofs remain visibly missing rather than being reconstructed from checking-only material.
2 The real-number system
2.1 Set notation and the construction of
源页题记:「此课将使用以下 symbols」。
For such a family,
and
The relative complement is . The source places these next to the inclusion chain
It annotates this chain with “given by God” below and “algebraically closed” below . The structural discussion distinguishes three approaches to fundamental issues:
- naïve approach;
- axiomatic approach; and
- constructive approach (set theory, 582).
constructive approach 从 , , , and 构造 。本课程中 。
A set is inductive if:
- ; and
- for every , implies .
Then is the smallest inductive subset of ; hence under the course convention.
For and , integer powers are fixed by and . The factorial is fixed by and .
The handout also records summation and product notation: and .
The recalled identities are
- ;
- ;
- for ;
- ; and
- .
The source labels the last formula “Binomial Thm”.
2.2 Ordered fields and completeness
是一个 ordered field:其 order 是 transitive、irreflexive 和 trichotomous。它满足 completeness axiom:每个非空且 bounded above 的 的 subset 在 中都有 supremum。这是 的 geometric’‘ closure, 区别于 的 algebraic closure。
源页以混排写道: 有 和 ,但没有 ; 有 ,但没有 ; 才满足 ordered-field axioms。 随后标出 的 algebraic deficiency’‘:有 rational coefficients 的 polynomial equation 却没有 rational root。例子是 ,旁注为 Pythagoras: is irrational’‘。
Indeed, multiplying by yields
and, symmetrically,
.
Thus and ; coprimality and the Fundamental Theorem of Arithmetic give and . For , the only possible rational roots would be in , and none is a root.
The examples in the source are (a root of ), (a root of ), (a root of ), and every (a root of ). The annotation is “ and are transcendental (hard to prove)”. The set of all algebraic numbers is denoted , the algebraic closure of , and is a field.
Thus is algebraically closed, and the Fundamental Theorem of Algebra says that is algebraically closed. 源页旁注以原来的 混排对照 algebraically closed’‘ 与 geometric deficiency (R.F. order theory)’‘: 有一部分 real numbers 和一部分 non-real numbers,但缺少 的 order-theoretic completeness。
2.3 Bounds, extrema, and intervals
Let have a linear relation , and let . A point is an upper bound of when for every ; then is bounded above in . Lower bounds and bounded below are defined dually.
If is an upper bound, then , the largest element of . If is an upper bound and every upper bound satisfies , then , the least upper bound (supremum). Dually one has and (infimum).
The notes emphasize that may have no in and may have no in . If a maximum exists, it is unique: if , then and , so .
For a linear order, and ; similarly for the other endpoint choices. The convention on the page is , , and . The latter two are explicitly “not in ”.
Examples from the page:
- every finite is bounded and has a maximum and minimum;
- , , and are not bounded above in ;
- is bounded below in , with and its lower bounds ;
- and ;
- does not exist, while ;
- for , , , and does not exist.
If is an upper bound of in , every in is an upper bound; lower bounds satisfy the dual statement. If has a maximum, then .
For the dual statement, let be the set of all lower bounds of . Then , and . Equivalently, with , a nonempty set bounded below has .
源页称此为 LUB property’‘,并写道 geometrically complete ordered set 需要 LUB property’‘;从这个意义上 complete ordered field 就是 。In particular, has outside ; this exhibits the geometric deficiency of both and .
2.4 Page-complete lecture record
The following preserves the remaining readable working, labels, and native schematics from the two source pages. It is intentionally kept in the source’s Chinese–English mixed language.
2.4.1 L01–Real–Num–System–I, p. 1
The sheet begins Instructor: Scott Schneider and records the four symbols power set, indexed family, indexed union, indexed intersection, and relative complement. Its number-system relationship is reconstructed as a native table; the labels given by god, ordered field, field, and algebraically closed occur at these positions.
It explicitly gives
If is a set and, for every , is a set, then is an indexed family of sets. The three approaches are The three approaches are (1) naive approach; (2) axiomatic approach; and (3) constructive approach (set theory, 582). Under Using constructive approach to build , it lists
In this class, . The inductive definition reads
followed by Then . The recalled secondary-school formulas are, in the source order,
and, for all , (Binomial Thm.). The induction definitions also state, for ,
The last lower-right note says that has the linear relation , marked (1) transitive, irreflexive; (2) trichotomy, and the completeness axiom , , .
2.4.2 L02–Real–Num–System–II, p. 1
The top note is is the unique complete ordered field (所有 complete ordered field 都同构 ), and again is the intersection of all inductive subsets of . The deficiency table is retained in source order:
| 没有 , | |
| 没有 | |
| satisfies Axiom 1–14, so is an ordered field | |
| algebraic deficiency: rational-coefficient algebraic equations can have no rational roots |
For , the page writes , , , hence , and says these are not roots. Its complete calculation is
By FTA and , this yields and . The algebraic-number examples are: is a root of ; is a root of ; is a root of ; and every is algebraic since it is a root of . and are transcendental (hard to prove). The set of all algebraic numbers is , which is a field, called the algebraic closure of .
An algebraically closed field is stated as: every polynomial of degree with coeffs in has roots in (counting multiplicities). Thus is algebraically closed; by FTA, is algebraically closed. has some irrational and some non-real numbers, but still has geometric deficiency (see order theory). The reminder is: an irreflexive, transitive partial order () that also has trichotomy is a linear order ().
2.4.3 L02–Real–Num–System–II, p. 2
For bounds, the sheet requires , , and a linear relation on :
Similarly we have lower bound, bounded below, , infimum . Its proof of uniqueness is . An interval is
It records and , then the convention , , (They are not in ). The listed examples are:
- Every finite is bounded and has .
- are not bounded above in .
- is bounded below in , , and all lower bounds of in are .
- , , and DNE, while , .
- For , DNE, , .
If is a UB of in , every in is a UB (LB similarly); if has a maximum then . The LUB property is: if is not empty, then ; an ordered set with it is geometrically complete, and an ordered field with it is a complete ordered field. The handwritten example is
and it closes: and have geometric deficiency, whereas is a complete ordered field (but has algebraic deficiency).
3 Functions, countability, and metric spaces
3.1 Archimedean facts and metric spaces
源页问 一个 field 既 algebraically closed 又 geometrically closed’‘。 答案是 :both algebraically and geometrically closed (topologically)’‘; 但 不是 ordered field。作业旁注是 impossible to define linear order on ’‘。尽管 的 completeness axiom 用 order 表述,后面会从 Cauchy sequences 得到一个不依赖 order 的版本。
The Chinese explanation is: “只要下移一点点,就会超进去”. For a set bounded below, if is its set of lower bounds, then ; equivalently, .
In an Archimedean ordered field :
- for every , there is with ;
- for every in , there is with ;
- for every , there is with ;
- equivalently, for in , there is with .
这些 characterizations 给出 的 density:
取 使 ,再取 使 ,于是 。所以任意两个 reals 之间有 infinitely many rational points。 源页还写 is also dense in (hw)‘’。
若 有 upper bound,令 。则 不是 upper bound,故某个 满足 。于是 ,但 ,矛盾。源页给出 (rational functions)和 -adic fields 作为 non-Archimedean examples,并写道: “there is a consistent and rigorous way to do calculus with infinitesimals (non-standard analysis)”.
The proof of the triangle inequality squares both sides: . The extended form is .
A metric on is a map such that, for all :
- , with equality if and only if ;
- ; and
- .
The pair is a metric space.
Cauchy–Schwarz, , follows by expanding and taking when . The metric triangle inequality then follows from .
3.2 Functions
The lecture begins with
and
.
It records , , for , , and . The warning is in general.
一个 function 是 的 subset,且对每个 ,恰有一个 满足 。 Write , , and .
For and , and .
源页 examples 为 on 、 on 、the supremum function from to , the harmonic function , and Dirichlet’s function for and for .
The handout “More Joy of Sets” retains its English terminology: “map” and “mapping” are synonyms for function; domain/source and codomain/target space are and ; an input variable is independent and an output variable dependent. The pointwise notation is .
For image and inverse image:
- and ;
- ;
- ;
- ;
- inverse images preserve union, intersection, and difference exactly.
The identity is , . Composition is and is associative.
If and , composition preserves injectivity, surjectivity, and bijectivity; if is injective, is injective, and if it is surjective, is surjective. The source’s graph remark is that horizontal lines meet an injective real graph at most once and a surjective one at least once.
The restriction of to is the map which agrees with on . Thus on is neither injective nor surjective, its restriction to is injective, and , , is bijective.
list 记住 order 和 repetition: and . An -tuple is . The Cartesian product is , while is both a Cartesian product and a vector space. The graph is , and the rigorous ordered-pair encoding is .
3.3 Cardinality and countability
is finite if for some , and infinite if an injection exists. Write for an injection , and for a bijection.
is countably infinite if ; it is countable if .
The example maps an odd to and an even to ; it is bijective.
Rationals are diagonally enumerated as pairs , . If were surjective, choose decimal whose th digit differs from the th digit of ; it is not in the range. More generally, for , cannot equal for any . The page notes and calls the assertion that no cardinality lies strictly between and the continuum hypothesis.
For the product, injections yield
an injection by unique prime factorization. For the union, take a surjection , surjections , and a surjection with ; then is surjective onto the union.
最后, 包含 uncountably many irrational numbers:若其 irrational part countable,与 的 union 会使 countable。手写结论为 is countable,so there are uncountably many transcendental numbers。
3.4 Page-complete lecture record
3.4.1 L03–Archimedean-property&Metric-Space, p. 1
The review first says is algebraically closed and is geometrically closed, but and . The written question is “can we find a both-closed field?” Answer: yes, ; “ is both algebraically and geometrically closed (topologically)”. However, “ is not an ordered field” and the homework is “impossible to define linear order on ”. The note asks how can be geometrically complete if the completeness axiom for is based on order; answer: define an order-free axiom with Cauchy sequences (next week).
The dual completeness statement is written and proved twice:
First let be the set of all lower bounds of ; completeness gives , and the goal is . Second define ; then and, since is bounded below, is bounded above, and .
The useful supremum fact is stated as
The source’s number-line schematic is equivalently rendered by
and its Chinese explanation is “只要下移一点点,就会超进去”. It also records the “wrong” Newton/Leibniz definition is infinitesimal exactly when , then asks “这边 infinitesimal 吗?” The answer depends on the definition of ; according to axioms 1–15, “NO!”, and the present proof uses the Archimedean property of .
For every ordered field , the page constructs its copies of : , , ; then ; and finally . The Archimedean properties are listed exactly as
3.4.2 L03–Archimedean-property&Metric-Space, p. 2
The page observes that (4) implies (1) by taking , while (1) implies (4): given , choose . It states density in the mixed wording “ 在 中稠密性: s.t. ”. The complete working is
choose with ; by the integer property choose with ; hence .
The native number-line schematic on the sheet has the rational point between the endpoints:
The conclusion is “there are infinitely many rational pts between ”; also “ is also dense in (hw)”. It contrasts and as Archimedean with non-Archimedean ordered fields, giving (all real functions) and -adic fields . The full proof of “ is an Archimedean ordered field” is: suppose such that no has . Then is a UB of , so . Since is not a UB, some satisfies , hence , contradicting . The source then says, “尽管 infinitesimal 在 real line 上不存在, there is a consistent and rigorous way to do calculus with infinitesimals (non-standard analysis).”
The absolute-value list is
For the triangle inequality it writes
then . The extension is
A metric is a function with (i) and , (ii) , and (iii) . If it satisfies the triangular property, is a metric and is a metric space; hence absolute value makes a metric space.
3.4.3 L03–Archimedean-property&Metric-Space, p. 3
For , the source writes
and . The proofs of positivity and symmetry are explicitly if (and exactly when equal), and .
For Cauchy–Schwarz, gives
Take when , giving
hence . For the triangle inequality, let , , , so ; then
3.4.4 L04(1)–Function&Countability, pp. 1–3
The review uses the two native interval relationships
and the Archimedean test: in any ordered field, ; in an Archimedean ordered field it suffices that . It then lists , , , for , , , and .
The “blobs and arrows” function diagram is rebuilt natively:
Its exact definition is , , and such that ; it calls , , and . It gives and . The explicit examples are the squaring function, reciprocal function , supremum function , harmonic function , , and Dirichlet’s function for , for .
Its two-level function sketch is retained natively:
For cardinality, “finite” means such that has elements, denoted ; “infinite” means an injection . means an injection and a bijection. The homework remark is iff there is an injection , not merely a surjection . The bijection is for odd and for even , with table , , , , , , dots. “Countably infinite” means ; “countable” means , equivalently a surjection .
The lattice diagram for is retained natively. View as , , and enumerate the lattice by increasingly large finite squares, omitting repetitions; this yields a surjection . Cantor’s proof writes any proposed as , chooses with th digit of , and concludes for every , so and are uncountable.
The power-set proof defines, for ,
If , then iff , a contradiction. The page then asks whether there are cardinalities larger than and answers (though ); whether there are cardinalities strictly between and remains unknown, and the assertion that there are none is the continuum hypothesis. The final theorem says finite products of countable sets are countable and, for countable , a family of countable sets has countable union; the final application is that has uncountably many irrationals and is countable, hence there are uncountably many transcendental numbers.
3.4.5 L04(2)–Handout–Function, pp. 1–4
“More Joy of Sets” says it continues the basic-set-theory summary from “The Joy of Sets”, with special emphasis on FUNCTIONS. It explains that a function from to assigns each a unique ; is read “ maps to ”. Map/mapping are synonyms for function; is domain/source and codomain/target space. The pointwise arrow is ; a rule’s input variable is independent and output variable dependent. A footnote says might have been better notation for a left-to-right reader, but mathematical convention writes .
The image is ; for subsets, and . The complete displayed list is
The identity example is , . It gives the power-set example , , then composition: if , , , and . Composition is read backwards: “ means first apply , then apply ”.
An inverse satisfies and ; if it exists it is unique and is denoted . Definitions are injective ( implies ), surjective (), and bijective (both); the theorem is “for any function , is invertible iff is bijective”. The sheet adds: equal functions require the same domain and codomain; restricted to is , , written or ; a function with the same rule is surjective. For real graphs, injective means every horizontal line meets at most once; surjective means every horizontal line meets at least once. The squaring function example and its restriction have the same statements as above.
A list is a finite ordered set: and ; order and repetition matter. A list of length is ; equal lists have the same length and entries in the same order. A sequence is an infinite ordered set ordered like . Cartesian products are
with and generally the set of -tuples. It gives and the familiar increasing exponential sketch through ; generally . The rigorous definition is then repeated: a function is its graph, and ; this has and .
3.4.6 L04(3)–Handout–Countability, pp. 1–2
The Cantor–Schröder–Bernstein proof is reproduced in full. Given injective and , define by
Put , , and . Define
for , while for .
Using De Morgan and preservation of unions/intersections by forward images of injective functions,
Thus , which makes bijective.
For countable products, injections produce
where is the th prime; FTA makes it injective. For countable unions, take a surjection , for each a surjection , and a surjection , . Then is surjective onto .
4 Sequences and metric topology
4.1 Sequences and elementary limits
源页强调 order matters in seq.!!‘’。其 examples 是 constant sequence 、harmonic sequence 、 , the Fibonacci sequence , , , decimal approximations to , and .
不存在 使其 converges 的 sequence 称为 divergent。源页还定义:对每个 都 eventually 时 ; 对偶。 其 examples 是:
- a constant sequence converges to its constant;
- by the Archimedean property;
- ;
- Fibonacci terms diverge to ;
- does not converge;
- decimal approximations converge to ; and
- (the definition of appears later).
Use density to choose with .
Given , choose so that both after . Then .
For , Bernoulli gives ; for , write and compare with . The handwritten note says that the case uses an earlier fact. The source also proves for and , citing Rudin 3.20 for the latter.
源页写道 convergent sequence 与其 tail 可以看成没有任何本质区别’‘。
The rendered page is blank except for its page frame; it contains no mathematical text to transcribe.
4.2 Limit laws, boundedness, and
If and , then
- (and likewise for subtraction);
- for every ;
- ; and
- if no is zero and , then .
对于 product,展开 and use bounds. For reciprocals, first use convergence to obtain eventually, then . The source annotates these two preliminary bounds as “bound ①” and “bound ②”.
Further laws recorded on the page are: convergent implies converges; for , ; and for , provided . It defines real exponentiation for by when .
正向使用 ; for the reverse direction, make each coordinate error smaller than . Vector sum, dot product, and scalar multiplication obey the same limit laws as real sequences.
若 ,取一个 tail 使 ,再分别 bound finitely many earlier terms。直接应用 limit laws 给出 rational function : it is when , it is either or when , with the sign determined by .
The exercise records, for a positive real sequence: if and only if ; the negative version gives if and only if .
源页说明 increasing seq. 必定 bounded below;decreasing seq. 必定 bounded above’‘。证明令 and takes a term with .
For a bounded sequence set and . Then is decreasing and increasing, and
, .
The notes display
.
直观地, 是 the largest number that can get arbitrarily close to, for infinitely often’‘。 是 当且仅当对每个 ,有 infinitely many 使 ,且只有 finitely many 使 。定义也经由 和 延伸至 unbounded sequences。
Examples include , , , and , . If eventually, then and . The page proves the squeeze theorem and the ratio-test corollary: for positive , if , then .
4.3 Cauchy sequences, subsequences, and completeness
Every Cauchy sequence is bounded: use the Cauchy condition with for a tail and bound the finitely many initial terms. The converse first proves from pairwise closeness.
源页写 和 complete,而 不 complete。一个 example 定义 、,and for ; it has and is Cauchy.
Every contractive real sequence is Cauchy, hence convergent. The source uses the geometric bound . It also solves , : a bounded increasing sequence converges to the positive root . The decreasing sequence defines .
对 ,even subsequence converges to 而 full sequence diverges。 的每个 subsequence 都 converges to ,且每个 tail 是一个 subsequence。
A term is dominant if it is at least every later term. If infinitely many dominant terms occur, they form a decreasing subsequence; otherwise, after the final dominant term one recursively chooses later, strictly larger terms to obtain an increasing subsequence.
Apply the monotone subsequence theorem and monotone convergence. For a bounded sequence of values, the set of subsequential limits is nonempty; if , it is ; and , . The source adds that these claims extend to unbounded sequences using and .
4.4 Topology in metric spaces
The examples say and are both open and closed in , while is closed but not open in . Common metrics are on , Euclidean distance and taxi-cab distance on , and on .
is an interior point if some neighborhood of lies in ; is the set of all such points.
is a limit point of if every neighborhood of contains a point of . An element of which is not a limit point is isolated. The closure is where is the set of limit points.
The Chinese note says interior membership is necessary but not sufficient for being an interior point; isolated points are not necessarily interior points. A set is open exactly when . A discrete set is ; it has no limit points, only isolated points.
In , every open neighborhood is exactly an open interval, every nonempty open contains around each of its points, closed intervals are closed, finite sets are closed, and every open set is a countable union of open intervals. The generalized Bolzano–Weierstrass theorem recorded here is: every bounded sequence in a complete metric space has a convergent subsequence. In particular and are complete, but is not.
4.5 Page-complete lecture record
4.5.1 L05–Seq&Limit, pp. 1–3
Besides the definitions above, the source writes the divergent negation , and as (dually for ). It gives the decimal sequence for , the Fibonacci recurrence , , and the proof of uniqueness: for , . For every , choose with .
For , proves ; for , proves . If , ; if , write and use . The case is annotated as an earlier fact. For , obeys ; for , , so (Rudin 3.20). L05 p. 3 is visually blank.
4.5.2 L06–Limit–II, pp. 1–4
The worked epsilon proof is once . The product-law proof expands ; the reciprocal proof uses eventually and . The source additionally gives , for nonnegative terms, and .
For vector sequences, coordinatewise convergence is equivalent to Euclidean convergence: one way, and coordinate errors the other. The rational function rule is for equal degrees, for numerator degree smaller, and signed infinity for larger degree. A convergent sequence’s explicit bounds are , .
The infinity multiplication table has the usual signs , , , ; if one sequence tends to either infinity and the other converges, their sum tends to that infinity. For positive , exactly when (negative dual). The monotone proof is: bounded increasing has and for ; the decreasing dual tends to infimum.
Put , ; is decreasing, increasing, and limsup/liminf are their limits. The native tail schematic is
It gives the “infinitely often” limsup criterion and examples , , , , , . It proves convergence iff limsup equals liminf, including the extension. The comparisons, squeeze theorem, and ratio corollary are all shown with their tail bounds: positive and give ; homework records the divergence case.
4.5.3 L07–Cauchy-seq, pp. 1–3
The source warns convergent implies , but not conversely. The Cauchy boundedness proof takes epsilon about , then bounds the initial finite set. For the reverse Cauchy criterion, pairwise closeness gives
so upper and lower limits are equal. Complete metric space means every Cauchy sequence converges; the source explicitly gives the complex metric .
The averaging example is , , , with and
A contractive sequence has , , and is Cauchy (Rudin 3.8). , is bounded increasing and limits to . For the same averaging recursion with , the source derives and limit . It proves weakly decreasing and , then defines .
4.5.4 L08(1)–subseqs, pp. 1–2
A subsequence is for strictly increasing . Examples: has and constant subsequence ; has subsequential limits . The forward proof for subsequences uses . A dominant term has for all later ; infinitely many dominant terms form a decreasing subsequence, otherwise the recursive choice of later larger terms gives a strictly increasing one. Thus BW holds. It names as an example.
For bounded , the set of subsequential limits is nonempty, , , . The proof chooses with both and , and rules out by a tail supremum. It explicitly extends this to unbounded sequences: has , limsup , liminf .
4.5.5 L08(2)–topology-in-metric-space, pp. 1–3
The source’s visible native neighborhood pictures are the circle in and interval in . It defines , and says membership is necessary but not sufficient for being interior; isolated points need not be interior. It defines , , isolated , and discrete .
The sequential closed-set proof is complete: if is closed, an open neighborhood of any eventually contains any sequence tending to , so it cannot lie in . If not closed, choose for a point whose every neighborhood meets ; then . It also proves a limit point has infinitely many nearby points by using the minimum positive distance to a hypothetical finite list. In , every open set is a countable union of open intervals. General convergence, boundedness by , and generalized BW are stated; the page concludes complete and not complete.
5 Limits and continuity
5.1 Limit points and limits of functions
Let and . Then is a limit point of if for every there exists with . Equivalently, every open neighborhood of meets .
Write for the set of limit points and for the closure. A point of is isolated; a set is discrete when .
中文批注说,在 topology 中也能给出这个定义,但“还是等价的”. 每个 limit point 都是某个 subsequence 的 limit;若 ,则其 limit points 来自 的 subsequential limits,但 reverse inclusion 不必成立。Examples:
- has no limit point in ;
- every real number is a limit point of ;
- .
源页写 是 closed,并且是包含 的 smallest closed set。
中文解释把它和 sequences 比较: 控制 index,而这里 由 distance 控制。此 definition 不要求 ,并且即使 有定义, 其 value 也不起作用。
The source uses its contrapositive to show that if some approaches but does not approach , then the limit is not ; if one approaching sequence has divergent values, or two have different image limits, the function limit does not exist.
means that for every there is such that whenever and . Definitions at and are analogous.
If is a limit point of , then means the same estimate with . The left-hand limit is defined dually.
源页说有五种 function limits:。其 examples 包括 does not exist and does not exist.
If and exist, then for :
- ;
- ;
- ; and
- when .
Function limits are unique. If in a deleted neighborhood of and both limits exist, then . The squeeze theorem says that there and imply . The examples are
,
, and
does not exist.
The last page annotation explains that , and every rational function in particular, is continuous at every point of its domain.
5.2 Alternative formulations and continuity
sequence test 再次强调: 不表示 every sequence of domain points 都 tends to ;test limit 要取 中 approaching 的 sequences。源页也给出如下 open-neighborhood formulation。
The source convention is that if is bounded above/below, then ; open neighborhoods of are and of are .
手写 distinction 很重要:limit at 需要 ,却不需要 ;continuity at 需要 ,却不需要 是 limit point。 Accordingly, every function is continuous at an isolated point of its domain.
For , the following are equivalent:
- is continuous at ;
- either is isolated in , or ;
- for every sequence in with , one has ;
- for every open neighborhood of , there is an open neighborhood of with .
The source lists rational functions (especially polynomials), power functions on , exponential functions, logarithms, trig/inverse trig functions, and as continuous on their natural domains.
源页给出 在 ctn 的 direct epsilon–delta proof,取 ;在一般 取 。 又用 证明 everywhere ctn,旁注为: “here depend on but not ”.
It also notes that
for , while
is continuous everywhere except at , whereas
for , while
is continuous everywhere by squeeze. Dirichlet’s function is discontinuous everywhere. Thomae’s function
for a rational in lowest terms, and for
is continuous at every irrational and is a source of the questions “是否存在 使 ctn at iff ?” and “is diffable anywhere?”.
The examples are for a jump, the function off and at for a removable discontinuity, for essential/oscillating discontinuity, and (with a chosen value at ) for infinite discontinuity.
5.3 Closure properties and uniform continuity
The domains recorded on the page are for , , and , and for .
源页明确说此 theorem 也有 variants,把 limit at 全部替换为 limit at 、、 或 。Examples 是 and .
Further source examples retain their proof choices:
- at : , choose ;
- : choose ;
- at any : choose ;
- has a “longest ” at of ;
- is uniformly continuous on with ;
- with value at is continuous everywhere;
- is discontinuous everywhere; and
- for , for is continuous at but discontinuous everywhere else.
The source’s quantifier comparison is retained: ordinary continuity has “for every point ” before the choice of ; uniform continuity chooses one for all points. 中文解释为:对任意 ,总有一个距离 使得在 上距离足够近 的点,其 image 的距离也足够近;“uniformly ctn 的要求比 ctn 更严格”.
The examples are (choose ), not uniformly continuous on (take and a large ), and uniformly continuous on . The source observes that is uniformly continuous on but not on nor on for .
proof 假设 not uniformly continuous,固定 ,构造 使 但 。Bolzano–Weierstrass 给出 convergent subsequences 、;distance condition 给出 。closedness 保证 ,continuity 使两条 image subsequences 都趋于 ,矛盾。
The Chinese discussion explains why both hypotheses matter: on is continuous and its domain closed but unbounded, so not uniformly continuous; on is continuous on a bounded but nonclosed set and is not uniformly continuous. Positive examples are on , on for , and with value at zero on .
The page’s counterexample is on : is Cauchy but is not, so is not uniformly continuous on any set containing .
For the forward direction, if and tends to , define ; uniform continuity makes Cauchy and the definition independent of the approximating sequence.
5.4 Extreme and intermediate values
The proof sets . Choose in with , take a convergent subsequence, use closedness to retain its limit , and use continuity to obtain . The notes summarize: “closed + bounded + ctn ,那么 extreme value 一定存在”.
Assume and set . Then is nonempty and bounded above; for , continuity and sequences approaching from both sides give . The source’s Chinese explanation is that a continuous curve on an interval must “覆盖了 中的所有值”.
The application is the fixed-point theorem: if is continuous, then some has . When the endpoint signs do not immediately give this, take and apply IVT.
For , choose preimages and apply IVT on the subinterval between them. If is a closed bounded interval, EVT gives , so the image is again a closed bounded interval.
5.5 Page-complete proof and diagram ledger
5.5.1 L09–Limit-of-Functions-I, pp. 1–3
The visible lecture framing is “Ch4 limit of functions”, , , with three equivalent styles: epsilon/delta, sequences, and open sets. A limit point is exactly , equivalently every open neighborhood meets . The sheet writes that a sequence’s limit points are subsequential limits but the reverse can fail (constant-sequence example); it gives no limit point, all reals as limit points of , and . It defines , isolated , and discrete .
The three graph examples , , and the latter assigned zero at have the same limit at . The sequential proof forward combines with the epsilon condition; backwards selects with and . It explicitly records the diagnostics: one approaching sequence with images not tending to disproves ; divergent images prove DNE; two image limits that differ prove DNE.
The one-sided definition restricts , requiring a limit point from that side. The displayed examples are and DNE at zero. The sheet says there are five kinds of limits: . The limit laws include scalar, sum, product, quotient, order and squeeze. Its calculations are near , , and while diverges.
5.5.2 L10(1)–Limit-of-Functions-II, pp. 1–2
The sequence review graph distinguishes a sequence approaching with image limits and (so no limit) from a curve with a separately assigned isolated value at (nearby limit ). The open-neighborhood definition is
The convention gives for bounded-above/below sets and neighborhoods , . The ordinary limit is equivalent to both matching one-sided limits; the proof takes . The finite zero forms are , , and .
5.5.3 L10(2)–Continuity-I, pp. 1–2
The source contrasts a limit at (requires , not ) with continuity at (requires , not a limit point). Thus every isolated domain point is continuous. Its four criteria are: continuity; isolated or limit ; sequence criterion; and the open neighborhood inverse-image inclusion.
Visible epsilon proofs are with ; with ; and with . It asks for the longest delta at , recording . The diagrams classify jump , removable off zero and at zero, essential , and infinite with a zero value. It proves continuous at zero by , says Dirichlet is discontinuous everywhere, and states the continuity properties of the rational/irrational indicator and Thomae’s function exactly as in the source.
5.5.4 L11(1)–Continuity-II, pp. 1–2
The closure-property domain ledger is: , . The proof uses sequence continuity. For composition, , , gives ; the source’s variants replace throughout by . Examples are and . The topology proof uses .
5.5.5 L11(2)–Uniform-Continuity, pp. 1–3
The quantifier contrast is for ordinary continuity versus for uniform continuity; the page states the latter delta does not depend on the position of . Uniform continuity implies continuity and restrictions remain uniform. Examples: uses ; on fails by taking epsilon , , and comparing ; on uses ; is uniform on but not on or for .
Heine–Cantor’s contradiction creates , , takes convergent subsequences, uses equal limits from the distance condition, closedness to retain the limit in , and continuity for the contradiction. It lists the source counterexamples on and on , plus positive examples , away from zero, and on .
The Cauchy theorem follows by applying uniform delta to the Cauchy tail. For , is Cauchy but is not, so no uniform continuity on a set containing . The extension theorem for bounded defines, for , for any tending to ; uniform continuity makes this well-defined. The reverse direction uses compact and Heine–Cantor.
5.5.6 L12–EVT&IVT, pp. 1–2
EVT proves a maximum by , a sequence , BW , closedness , and continuity ; the minimum is dual. IVT takes , , tending to , and , then continuity yields . The fixed point proof uses . For continuous , is an interval by applying IVT between preimages; for , EVT plus IVT gives .
6 Differentiation
6.1 Derivatives and rules (L13)
Let , , and (此处 是 accumulation point,所以 lies in the domain of ). Define the derivative of at by
If , then , hence equivalently
如果 exists,则称 is differentiable at . 把 作为 variable 时,我们把 derivative 看作 function:
如果 且 都有 differentiable at , 则称 is differentiable on .
Suppose exists, so . Then
Since , implies continuity. 因而 differentiability continuity,但反之不成立(例如尖点图形)。 □
Suppose are differentiable at , and . Then and are differentiable at , and
即 is a linear operator.
and the source continues the second calculation line by line:
□
若 在 处 diffble,则 在 处 diffble,且
□
若 在 处 diffble 且 ,则 在 处 diffble,且
记号为 ,且 ; likewise , , , .
If is a polynomial, then
The proof is by induction on ; in particular
The lecture records the facts
especially , and
L13 p.2 还逐项写了以下 derivative-law exercises:
如果 在 处 differentiable 且 在 处 differentiable, 则 在 处 differentiable,且
设 的辅助函数为
Thus for all in the domain of , and is continuous at . Hence
这个证明的核心在于构造一个函数 ,用来模拟用 tangent line 逼近 附近的行为,并通过 的 differentiability 说明 在 的 continuity,从而在 limit 中使用 expansion。 □
Let
We know are continuous everywhere. For ,
At , DNE, while ; but DNE. 因而 derivatives 不连续。
6.2 Extrema, MVT, and Darboux (L14)
Let , , and . If there is such that for all , then is a local maximum point of , and is a local maximum value of . Dually define local minimum point/value; together these are local extreme point and local extrema.
L14 p.1 的曲线标出了一个 local min、两个 local max(其中右侧极大值 高于左侧),以及随后的 local min;其可辨识信息是极值只比较 的某个 neighborhood,而非整个 domain。用点位/不等式表表示为
| left local min | interior local max | right local min |
| nearby | nearby | nearby |
.
Let , , , and suppose is differentiable at .
(i) If , then there is such that, for all , implies .
(ii) Dually, if , then there is such that implies .
For (i), let . Fix such that
whenever . Thus
If , division by gives , while division by gives . (ii) is dual. 这两条 lemma 的结论也说明: 如果 ,则 在 的某个 open neighborhood 中严格 monotone。 □
If is continuous on and differentiable on , then there is such that
Let . Then is continuous on , differentiable on , and . Rolle’s theorem gives , which rearranges to the displayed equality.
The L14 p.1 secant/tangent diagram records the same parallel-slope relation:
| is the tangent slope | ||
| secant slope | = |
□
Weakly increasing or decreasing on ’‘ 与 monotone on 同义。If is differentiable on , then for every implies is increasing on . If for all , then is strictly increasing. Both statements have decreasing duals.
Note: (i) is a weak statement, but (ii) has a strict conclusion. For , implies , though .
6.3 Functions on intervals, inverse functions, and L’Hôpital (L14(2))
Standing assumption: let be a nondegenerate interval, and a function.
If is strictly increasing, then:
- is injective;
- is also strictly increasing;
- if is not the right endpoint of , then exists;
- if is not the left endpoint of , then exists;
- has at most countably many discontinuities, and they are all jumps;
- if is an interval, then is continuous.
If is continuous, then:
- is an interval;
- if is closed and bounded, so is ;
- is strictly monotone iff is injective;
- if is injective, then is also continuous.
The first two were proved previously. For the backward direction of (iii), if is not strictly monotone, WLOG find in with either or . IVT then implies is not one-to-one. L14(2) p.2 visualizes these two alternatives by the following ordered-value charts, each forcing a repeated intermediate value:
| not one-to-one by IVT |
Finally, injectivity makes strictly monotone, hence strictly monotone; since is an interval, the previous theorem makes continuous. □
If is injective, then is strictly increasing iff is strictly increasing; is strictly decreasing iff is strictly decreasing; and is continuous iff is continuous.
Question: Could we add “ is differentiable iff is differentiable”? Answer: not quite. is injective and differentiable on , but is not differentiable at .
Suppose is continuous and injective on an open interval , let , and suppose is differentiable at with . Then is differentiable at and
The p.3 inverse-function sketch has the paired coordinates
.
Write . Since and for ,
Fix such that the difference between the displayed quotient and is less than whenever . Continuity of at supplies with whenever . Substitution is the displayed p.4 calculation: for ,
and, since and , this gives
whence the result. Consequently, if is differentiable and on an open interval , then is injective on , is differentiable on , and . The final visible p.4 margin annotation is: “Prove? Fix? Skip? 6.1.9”. □
Define the invertible differentiable function
on . Find . Since and
6.4 L’Hôpital’s Rule
Let , and suppose are continuous on and differentiable on . Then there is such that
Extend to by . Rolle’s theorem on shows that not just but itself is never on . Let in tend to . Cauchy’s MVT supplies with
Then and for all ; hence the quotient tends to . Since was arbitrary, the desired right-hand limit is .
Remark: the rule also holds for two-sided limits and limits at . It also holds for indeterminate limits of the form , and can be adapted to , , , , and (see 6.3). Skip the rest? □
Let and . Then and exists. The definition of derivative and L’Hôpital’s rule give
□
7 Numerical series
若 是 中的一个 sequence,记
为其 th partial sum; 是 sequence of partial sums。用 表示由 确定的 infinite series。
若 ,则 series converges;否则 diverges。Informally,。Note: 代表一个 limit 而非 algebraic operation.
The harmonic series diverges to :
给定 和 , 是 geometric series。If ,then
and therefore
The source writes the finite calculation explicitly (for ):
hence .
给定 ,形如
的 series 称为 -series。
If , then , so and comparison with the harmonic series gives divergence. If ,
The notes record , , and “: no nice formula”. □
For the alternating harmonic series,
If , then increases and decreases, so
设 和 converge,且 。Then
Note: .
令 是 partial sums 为 的 series。则 converges iff is Cauchy,即对每个 存在 such that
Equivalently, .
□
Let be a sequence of nonnegative numbers and let be any sequence.
- If converges and for all , then converges.
- If and for all , then .
The finite-tail form is also recorded: if converges and for all , then converges; of course the limit is different.
Let and be the partial sums of and . In the first case,
Thus the Cauchy criterion makes converge. The second assertion is similar. □
converges by comparison with , since for all sufficiently large ,
A series converges absolutely if converges. Absolute convergence is a stronger condition: if converges absolutely, then converges, because
Let be a sequence in and let .
- If , then converges absolutely.
- If for infinitely many (which happens when ), then diverges.
Note: iff, for every , there are only finitely many with , while there are infinitely many with .
Let be a sequence of nonzero numbers.
- If , then converges absolutely.
- If , then diverges.
This follows from the root test and the lecture’s fact
If is a decreasing sequence of positive numbers converging to , then
converges.
Let . Then
is increasing and bounded above by , hence converges to . Choose so that and for . Then
Thus as well, hence . □
Let be a positive and decreasing function on . Then
converges, where
Note: 此时我们还没有严格定义 improper integral;integral test 的证明以后 再证,但其意义很直观,并由矩形比较
L15 p.4 的紫色 rectangle sketch 就是这组不等式:一个宽度为 的 interval 上,decreasing curve 下的 area 介于两端点高的 rectangles 之间。其 native table reconstruction is
| left rectangle | curve area over | right rectangle |
| lower bound | middle | upper bound |
.
8 Riemann integration
8.1 Antiderivatives and Riemann sums (L16)
For ,
Thus is an antiderivative of on . For example, has antiderivative ; has ; for , the question is left as an illustration that antiderivatives need not have a familiar formula.
The antiderivative problem:given a ctn function on interval ,find such that on 。Informal 的分析是:当 很小时, differentiability suggests ,即 graph 下的一条 narrow region 的 area approximately 为 。
是一个 function(不需要 ctn)。
- A partition of is a finite ordered set where .
- is the th subinterval of .
The norm (mesh) is
- A tagged partition is a partition together with a choice for every ; is the tag.
The numbered line on L16 p.2 is the partition picture ; a representative finite rendering is
.
对 tagged partition , 在 上的 Riemann Sum 是
tagged partition 就是把 切分成 个 subinterval,在每个 subinterval 上都取一点作为 tag;Riemann Sum 对每个 subinterval 都用 近似面积。
The colored rectangles in L16 p.2 assign one tag to each interval:
.
称 在 上 Riemann Integrable,若存在 ,使对任意 ,存在 满足
对任何 的 tagged partition 都成立。记
并称为 在 上的 Riemann integral。
Riemann Integrable: 对于任意小的 ,都存在 使得对于任何 mesh 小于 的 partition,都有其 Riemann Sum 和 的距离小于 。我们发现这是一个 Cauchy 式的 Definition;直觉上(稍后将证明) mesh 越小,即 partition 越精细,Riemann Sum 就会越接近 area so far,因而这个定义很符合直觉。Informally, .
Prove the contrapositive. Suppose is unbounded on . Let , choose any , and take any tagged partition with . Fix such that is unbounded on , then choose with
Replace only the th tag of by , producing . Then . Thus no common limiting can satisfy the definition. □
一个 regular partition 的所有 都相同: 。对一个 partition,取 得 right Riemann sum;取 得 left Riemann sum;取 得 midpoint Riemann sum。
Combining the regular partition with the right Riemann sum gives
L16 p.3 displays the three choices with their tag positions:
| right Riemann sum | left Riemann sum | midpoint Riemann sum |
.
Compute the right Riemann sum of on using a regular partition with subintervals. Here
for , so
Therefore . But this is only one kind of tags on one family of partitions; Riemann integrability must cover all tagged partitions. We return to this using Darboux sums.
Suppose is bounded and is a partition. The upper and lower sums are
The upper and lower Darboux integrals are
Always . We say is Darboux integrable on iff . Upper Darboux integral 是所有 partitions 的 upper sum 的下确界; lower Darboux integral 是所有 partitions 的 lower sum 的上确界。
Darboux sum 本身不是 Riemann sum,除非 continuous(此时 extrema 可取); but for every tagged partition, .
L16 p.4 contrasts the upper and lower rectangle pictures on one partition:
| rectangle height on | tag height | rectangle height on |
| (lower sum) | (upper sum) | |
.
Let be bounded with for all . Let be partitions of , and put
Then
and dually
Fix , and let be the partition points of in . Then
whereas . Each difference is at most , hence
Sum over . The upper-sum statement is dual. Thus refinement makes lower sums bigger and upper sums smaller, and the difference depends on how many new points and how small the mesh is. □
8.2 Equivalence and basic properties (L17)
For a bounded function , the following are equivalent:
- is Riemann integrable on .
- For every , there is such that every two tagged partitions with satisfy .
- For every , there is such that every partition with satisfies .
- is Darboux integrable on .
- For every , there is a partition of such that .
(1) => (2). If all sufficiently fine Riemann sums are within of , their pairwise difference is below .
(2) => (3). For a fixed fine partition choose, in every , points approaching and sufficiently closely:
The associated tagged sums differ by less than , while their distances to and are each below ; thus .
(3) => (4). Since for every , . Hence .
(4) => (5). Choose partitions with and . For the common refinement ,
whence its upper-minus-lower sum is below .
(5) => (3). Fix with . Let and choose , where is the number of subintervals of . For any with , let . The refinement lemma bounds both changes by . Together with this gives . □
For on and the regular partition with intervals,
Both tend to , so is Darboux and hence Riemann integrable, with .
For on and on , every subinterval contains rationals and irrationals, so every partition has and . Therefore it is neither Darboux nor Riemann integrable, although it is Lebesgue integrable and .
If are Riemann integrable and , then and are Riemann integrable and
If are Riemann integrable and for all , then
WLOG suppose is increasing. Given , take any partition with . Then
□
8.3 Measure-zero criterion, FTC, and rules (L18)
has measure zero if, for every , there is a sequence of open intervals such that
注:zero measure 的意义是这个集合的 length 是 。它可以是无限甚至 uncountable 的,但能由一串很窄的开区间覆盖;例如 Cantor set, , 但它是 zero measure。
Let . Suppose there are such that whenever and . Then is bounded, and
Given , choose least with , so , and set . Each increment is at most , hence
Since are arbitrary, the claim follows. □
Since is integrable it is bounded, so choose a closed bounded interval . Then is uniformly continuous on . Given , choose so that
Choose with . Apply the lemma on every to estimate its oscillation. Then
□
Continuous functions are integrable: take in the composition theorem. If and are integrable, then is integrable, because
and is continuous.
If is integrable on , then is integrable and
If , then is integrable on iff it is integrable on both and , and
More generally, the L18 p.2 restriction construction says: if and
then , where
is the characteristic function of , and
Altering at finitely many points does not change integrability or the integral. Equivalently, if is integrable and
then is integrable and . The proof uses uniform continuity to make the changed finite-point contributions arbitrarily small.
8.4 Fundamental Theorem of Calculus
Suppose is continuous on , differentiable on , and is Riemann integrable on . Then
Notation: .
Given a partition with , MVT supplies with
Thus
Since , the difference between and is below . □
Let be Riemann integrable and define
Then is uniformly continuous on . If is continuous at , then is differentiable at and .
Fix with . If , then
so is uniformly continuous. At a continuity point ,
Given , continuity gives with whenever . Thus, for and ,
Therefore .
Note: 在 处 continuous 是 FTC II 中很重要的条件。 □
is an antiderivative of on because is continuous. Also
though the integral generally cannot be written in elementary closed form. By the chain rule,
More generally,
if is Riemann integrable and continuous where needed.
FTC says differentiation and integration can be inverse operations, but: (1) derivatives need not be integrable, for example has an unbounded derivative; (2) indefinite integrals need not be antiderivatives (Thomae’s function has no antiderivative), while an integral has constant zero.
If are continuous on , differentiable on , and are integrable on , then
In the shorthand, .
Suppose is a continuously differentiable function on an open interval , let be an open interval with , and let be continuous on . Then for ,
9 Sequences and series of functions
9.1 Sequences of functions (L19)
令 是一个 seq. of functions(domains 都相同)。 称 在 上 pointwise converges to ,记作 on ,if
等价地,
seq. of functions 的 pointwise convergence 即:对每一点 , 。
On , let . Then
Every is continuous and differentiable,但 is discontinuous。 因而 pointwise conv. 不 preserve continuity & differentiability。
L19 p.1 draws the family rising from to , with the limiting graph equal to before the endpoint and at the endpoint. The graph information is equivalently captured by
| limit graph | ||
| on and |
.
Write ( 可以任意排序)。Let
Then (Dirichlet’s function). Each is Riemann integrable, but is not;因而 pointwise conv. 不 preserve integrability.
On , let
Each triangular spike has area , so for every . Pointwise , hence
因而 pointwise convergence 不 preserve the limit of an integral。
The p.1 spike picture has base , apex , and area :
| left edge | apex | right edge |
.
On , let . Then , , yet for all while . Thus
pointwise convergence 不 preserve the limit of a derivative。
因而 pointwise limit can destroy continuity, differentiability, and integrability;即使不 destroy,也不 reserve the value of an integral / derivative。pointwise convergence 是局部的逐点性质,不是整体性质: 在每个 ,,最后的 由每个 的极限拼接而成。 若想让 convergence 更好地保留整体性质,就需要更强的定义。
令 是一个 seq. of functions。称 在 上 uniformly converges to ,if
两个 definitions 的 distinction 是:
pointwise 是逐点各自使用自己的 bound;uniform 是一个 bound 所有 共用,把 中所有点作为整体联系起来。
converges uniformly iff it is uniformly Cauchy on , i.e. for every there is such that
for all and .
If uniformly, choose such that for . Then
Conversely, uniformly Cauchy implies each scalar sequence is Cauchy, so define . Choose with for all and ; taking shows for all . □
If uniformly and is continuous at for every , then is continuous at . In symbols,
Let . Uniform convergence supplies with for all . By continuity of at , choose such that if . Then
□
Suppose uniformly on . If every is Riemann integrable, then is integrable and
Uniform convergence makes uniformly Cauchy, so fix with for all and . Then
so is Cauchy and converges, say to . Take sufficiently large so that , for all , and a partition with . The uniform bound gives
and then ; likewise . Since is arbitrary, . □
Suppose is a sequence of functions, pointwise on , and converges uniformly on . Then and
on .
Write . Each is continuous and integrable, so is continuous and integrable by the preceding theorems. For ,
FTC II now gives . The lecture notes that this theorem has many conditions and presents a stronger version. □
Uniform convergence of the derivatives gives, for ,
for all . Pointwise convergence at gives . Thus, for arbitrary ,
So is uniformly Cauchy, hence uniformly convergent. Letting limits in the displayed FTC identity gives
and FTC II yields . □
9.2 Series of functions and power series (L20)
If is a sequence of functions, then is its sequence of partial sums. Write or for the infinite series determined by .
On , the following are definitions:
- converges on iff, for every , exists; equivalently there is with pointwise.
- It converges uniformly on iff those partial sums converge uniformly to some .
- It converges absolutely on iff converges at every ; equivalently converges on .
- If every is continuous on and uniformly on , then is continuous on .
If every is continuous on and uniformly on , then is integrable and
- If every on , on (not necessarily uniformly), and converges uniformly on , then and .
Stronger version of (3): if on , there exists such that converges, and converges uniformly on , then converges uniformly to some , and .
9.3 Power series
For a sequence in , the power series centered at with coefficients is the series of functions
The partial sums are polynomials. Custom: for , ; and for every (including ).
Note: the L20 pages use power series centered at in the displayed examples, but every result applies to a center by replacing with .
Given a power series , let . Then it converges absolutely when and diverges when . Its radius of convergence is
The set of all for which converges is an interval, called the interval of convergence.
- For , , hence ; it converges for all , and in fact equals by Taylor.
For , ; it diverges for , so the interval is , and
- The handwritten page writes . Its subsequent endpoint calculation treats the terms as the harmonic series from : ; at it diverges, and at it is alternating harmonic and converges. Thus the interval written is .
- The handwritten page likewise writes ; the subsequent endpoint sums begin at . Here and both and converge, so the interval is .
- For , , so and it diverges for all .
Let be a sequence of functions, and let be a sequence in such that
for all and . If , then converges uniformly and absolutely on .
Let . Since satisfies Cauchy, choose so that for . Then for all ,
Thus is uniformly Cauchy and converges uniformly; the same calculation gives uniform absolute convergence. □
If has radius of convergence , then for every , converges uniformly to a continuous function on . Indeed and on , so M-test applies.
Consequently is continuous on . However its convergence on the entire interval of convergence may not be uniform:
converges to on as written in the source note, but the convergence is not uniform there (the graph marks the unbounded behavior at ). Fact: a uniform limit of uniformly continuous functions is uniformly continuous.
- If a power series converges at , then it converges uniformly on . If it diverges at , then it diverges on .
- If a power series has radius of convergence , then convergence at an endpoint of its radius implies convergence at every point between that endpoint and ; divergence at an endpoint implies divergence on the corresponding exterior ray.
Note: the convergence of on its interval of convergence may not be uniform.
Let have radius of convergence and let for .
For every , is integrable and
The power series has radius , is differentiable on , and
(i) follows from integrability of polynomials and uniform convergence of on . For (ii), for ,
so the differentiated series has radius ; its uniform convergence on compact subintervals and the preceding derivative theorem prove the claim. □
If , try to approximate near with
and define
where the domain is the interval of convergence of . The source records power series
Thus , , and ; . Termwise integration yields
Remark: The Taylor expansion of may not converge to at even if it converges at . Let
Then on and for all . Its Taylor series converges everywhere, but converges to itself only at . If and pointwise for all lies in the domain of , then is a real analytic function, i.e. ().
10 Homework 1: sets, order, and induction
10.1 Problem 1 — set identities
For each statement about sets, either prove the statement if it is true for all sets, or give a counterexample using specific sets if it is false.
- (a) .
- (b) .
- (c) .
- (d) if and only if .
Assume . If , then . Take ; then . Conversely, take ; then , so . Therefore and , hence .
Assume . Fix . Then , so and . Thus . This proves if and only if .
10.2 Problem 2 — multiples
For each , let .
or or .
and and has all natural numbers that are at least as factors.
10.3 Problem 3 — sum of odd integers
Guess a formula for , then prove it by induction.
Base case: , and .
Inductive step: assume, for , that . Then, for ,
This finishes the proof that for all , .
10.4 Problem 4 —
Determine for which integers is true, and prove the claim by induction.
The submitted claim is: or .
Case 1: . Then and , hence .
Case 2: . The proof is by induction on . Base case: , and , so .
Inductive step: assume for (where and ) that . Then and . Note that . Since , , so . Therefore , and
This finishes the proof that for all integer , .
10.5 Problem 5 — boundedness, supremum, and infimum
For each listed subset of , state whether it is bounded above and below, and its supremum and infimum when they exist. The submitted one-line answers are retained below.
- (a) : bounded below but not above; .
- (b) : bounded below and above; , .
- (c) : bounded below and above; , .
- (d) : bounded below and above; , .
- (e) : bounded below and above; , .
- (f) : bounded below and above; .
- (g) : bounded below and above; , .
- (h) : bounded below but not above; .
- (i) : bounded below and above; , .
- (j) : bounded below and above; , .
- (k) : bounded below but not above; .
- (l) : bounded above but not below; .
- (m) : bounded below and above; , .
- (n) : bounded below and above; , .
- (o) : bounded above but not below; .
- (p) : bounded below and above; , .
- (q) : bounded below and above; , .
- (r) : bounded below and above; .
- (s) and is prime: bounded below and above; , .
- (t) : bounded above but not below; .
- (u) : bounded below but not above; .
- (v) : bounded below and above; , .
- (w) : bounded below but not above; .
- (x) : bounded below but not above; .
10.6 Problem 6 — no ordered-field order on
Assume for contradiction that a linear relation is defined on such that Axioms 13–14 hold: if then , and if and then .
Case 1: define . By Axiom 14, multiplying both sides by gives , hence . Multiplying both sides by gives . By Axiom 13, , so . This contradicts the definition of that .
Case 2: define . Then by Axiom 4, so , contradicting Axiom 5.
Case 3: define . Then for some with . Thus , so (by Axiom 5 and Axiom 14). The same result as in Case 1 contradicts the definition of .
Since in all cases the assumption of a linear order contradicts the properties of , it is impossible to define a linear relation on such that Axioms 13–14 hold.
10.7 Problem 7 — order and supremum
10.7.1 (a)
Let . If for every , then .
10.7.2 (b)
Let and let be an upper bound of . Show that if and only if, for every , there is such that .
One direction: assume . Suppose for contradiction that, for some , there is no such that . Since , no satisfies . Combining the two statements, no satisfies . Thus is an upper bound of , contradicting the definition of supremum since .
The other direction: assume that for every there is with . Let be an arbitrary upper bound of . If , then there is with , contradicting that is an upper bound. Therefore . Since is arbitrary, . □
10.8 Problem 8 — bounded sets
Let and be nonempty bounded subsets of .
10.8.1 (a)
10.8.2 (b)
If , the submitted order is .
10.8.3 (c)
First claim: is an upper bound of . Let be an arbitrary element of . If , then , so . If , then , so again . Hence is an upper bound of .
Let be an arbitrary upper bound of . Then is an upper bound of both and . Suppose . Without loss of generality suppose . Then is not an upper bound of , a contradiction. Therefore , which proves . □
10.9 Problem 9 — supremum of a sum set
Let and be nonempty bounded subsets of , and let and . Prove .
First claim: is an upper bound of . Let be an arbitrary element of (, ). Then and , hence . Thus .
Now show . Assume for contradiction that . Then, for some , . By definition of supremum, is not an upper bound of , so there is with . Similarly, there is with . Therefore but , a contradiction. Thus . □
10.10 Problem 10 — density of irrationals
Prove that is dense in .
10.11 Problem 11 — discrete sets
A set is discrete if for every there is such that , where .
10.11.1 (a)
10.11.2 (b)
10.12 Problem 12 — optional challenge problem
For , let and . The submitted answer, without a proof, is
.
11 Homework 2: cardinality and sequences
The submission uses for the existence of an injective function from to , and for the existence of a bijection. It recalls Cantor–Schröder–Bernstein: if and only if and .
11.1 Problem 1 — triangle inequality for finite sums
For , prove by induction that .
We prove it by induction on . Base case: , and , so the claim holds.
Inductive step: assume the inequality holds for all for . Then
By the inductive hypothesis for , . Combining this with (1), . This finishes the proof. □
11.2 Problem 2 — bounds of a scalar multiple
Let be bounded, let , and write .
If , the submitted expressions are and ; if , both are ; and if , they are and .
For , take arbitrary . Since , , so is an upper bound of . If is an upper bound of , then for all . Since , , so is an upper bound of . Thus , hence . Therefore .
For , , so . For , take arbitrary . Since , , so is an upper bound of . If is an upper bound of , then for all . Since , , so is a lower bound of ; hence and . Thus .
11.3 Problem 3 — injective maps and
Let and be functions.
11.3.1 (a)
11.3.2 (b)
Let be an arbitrary set. The function defined by is injective by uniqueness of every element in a set, so . Thus is reflexive.
Let and . There are injective functions and . By part (a), is injective, so . Therefore is transitive. □
11.4 Problem 4 — inclusions, injections, and surjections
11.4.1 (a)
11.4.2 (b)
First suppose is injective. Let be arbitrary and define by if is in the range of , and if is not in the range of . This function is well-defined since is injective, so there is only one element in for each . Thus The range of is , so is surjective.
Conversely suppose is surjective. For every , there is some with , i.e. . Define by sending every to some . Its well-definedness is guaranteed by ; it is injective because . This finishes the if-and-only-if proof. □
11.5 Problem 5 — remove a finite or countable subset
11.5.1 (a)
11.5.2 (b)
11.6 Problem 6 — algebraic and transcendental real numbers
11.6.1 (a)
Let be the set of all roots of polynomials with rational-number coefficients with terms. By definition, . For arbitrary , let be the polynomial with those coefficients. Then . Since , the fundamental theorem of algebra gives that has at most roots. Thus every is finite. Because is countable, is countable for each , and so is countable.
Since is uncountable and is countable, is uncountable (and ). This indicates uncountably many transcendental numbers. □
11.6.2 (b)
11.7 Problem 7 — power sets and functions
11.7.1 (a)
11.7.2 (b)
11.8 Problem 8 — direct proofs of sequence limits
11.8.1 (a)
11.8.2 (b)
11.9 Problem 9 — absolute values and powers
11.10 Problem 10 — powers of a convergent sequence
The proof is by induction on . Base case: and . Assume for that . Then
by the limit law. Thus if converges to , then for all . □
11.11 Problem 11 — successive differences
Let . If converges, prove converges to zero.
11.12 Problem 12 — a sequence converging to
Let be a bounded nonempty subset of . Show that there is a sequence in converging to .
Consider for . By the definition of supremum, is not an upper bound of ; for each , there exists some where . Take one such as for each (the same can be taken repeatedly). Then is a sequence in .
Let and take with , so . For , . Since and , . Therefore . □
11.13 Optional challenge problems
The personal PDF prints Problem 13(a)–(b), concerning as a union of open intervals and as an intersection of closed intervals, and Problem 14, asking whether the converse of Problem 11 is true. No personal answer is written on source page 14; source pages 15–16 are blank.
12 Homework 3: sequence limits and topology
The submission begins with the definition: a sequence of real numbers is eventually constant if there are and such that for all .
12.1 Problem 1 — reciprocals and divergence to infinity
Consider the bi-implication .
12.2 Problem 2 — a bounded factor
Let and be sequences of real numbers. Prove that if and is bounded, then .
12.3 Problem 3 — three limits
Determine the limits in the extended real line (including positive or negative infinity) of the following sequences and prove the results.
12.3.1 (a)
The submitted answer is . Let . Then
So . □
12.3.2 (b)
12.3.3 (c) ,
Assume . Then , so and . Since for all , the limit can only be if it exists.
Now prove converges. For , . Since , for all . Also . Hence is decreasing and bounded below, so it converges. Therefore . □
12.4 Problem 4 — limits in a discrete set
Suppose is a discrete subset of , and is a convergent sequence of numbers in . Prove that either is eventually constant or .
12.5 Problem 5 — sequences of rationals with bounded numerators
For positive integer , let be the set of rational numbers with and . Prove every sequence of distinct numbers in converges.
12.6 Problem 6 — strict inequalities between sequences
Let for all .
12.6.1 (a)
12.6.2 (b)
12.7 Problem 7 — ratio limit greater than one
Let be a sequence of positive real numbers. Show that if , then .
12.8 Problem 8 — lim sup and lim inf
Find the lim sup and lim inf of the following sequences.
- (a) : and .
- (b) : .
- (c) any bijection: and .
- (d) : .
12.9 Problem 9 — a recursive average
Let with . Let , , and . The submitted claim is .
Let for all . Then , and, for ,
For all ,
Thus
since . □
12.10 Problem 10 — a divergent sequence with one possible subsequential limit
Consider , i.e. . The work claims diverges, but every convergent subsequence converges to .
12.11 Problem 11 — lim sup of a sum
Let and be bounded sequences of positive real numbers.
12.11.1 (a)
12.11.2 (b)
12.11.3 (c)
12.12 Problem 12 — a sequence with every real subsequential limit
12.13 Problem 13 — open and closed sets
The submitted classifications are:
- (a) : neither.
- (b) : closed and not open.
- (c) : open and not closed.
- (d) : closed and not open.
- (e) : neither.
- (f) : closed and not open.
12.14 Problem 14 — closed discrete set with no uniform separation
12.15 Problem 15 — an external limit point
Suppose is infinite, bounded, and discrete. Prove that there is a convergent sequence in whose limit is not in .
13 Homework 4: limits and closure
13.1 Problem 1
Do Challenge Problem (14) from HW 2: if is a sequence in and , must converge? Justify your answer.
No. A counterexample is . Then
but .
13.2 Problem 2
Let be a sequence in , and let be its set of real subsequential limits. Prove that is closed.
Let be arbitrary. We show : that is, there is a subsequence of converging to .
Let . Since , . Choose . Then and , so there is a subsequence of such that as , where is monotonically increasing. Hence there is such that, for all , .
Construct recursively. For , choose as . If and , take and choose as . Then
Thus is a subsequence of , because every term is a term of with increasing index. For , choose with , and take . Then for every . Thus .
We have proved is a subsequential limit of . Since was arbitrary, , so is closed. □
13.3 Problem 3
Given , write for the set of all limit points of and define . (a) Prove that is closed. (b) Prove that is closed. (c) Prove that is the smallest closed set containing .
13.3.1 (a)
Let . Then is not a limit point of , so for some ,
Let be arbitrary. Since , . Thus , which implies . Hence . Since is arbitrary, is open, and so is closed. □
13.3.2 (b)
13.3.3 (c)
13.4 Problem 4
(a) Prove explicitly using the definition that . (b) Given , find the largest such that whenever . (c) Prove explicitly using the definition that . (d) Given , find the largest such that whenever .
13.4.1 (a)
Let . Since
and, for , , take . If , then
Hence . □
13.4.2 (b)
For we want and . Thus
The personal calculation records the largest value as .
13.4.3 (c)
Let . Since
and , take . If , then
Hence . □
13.4.4 (d)
For we want and . Thus
The personal calculation records the largest value as .
13.5 Problem 5
Let , let , suppose is a limit point of , and suppose . Let and suppose . Prove that .
13.6 Problem 6
Let , let , and suppose and . Show by example that need not be the limit of as .
Consider if , and . Also, let and if . Then and , but if and . Hence .
13.7 Problem 7
Prove that for any sequence of nonzero real numbers, .
Let be arbitrary. Then there is such that whenever . For ,
Hence
The final factor tends to , and hence . Since this holds for every , the required inequality follows. □
13.8 Problem 8
Let , suppose , and let . Prove that if and is continuous at , then there is such that is positive and bounded on .
13.9 Problem 9
Suppose are continuous. Prove that if for all , then .
Let be arbitrary, and let . By continuity of , there is such that whenever . By density of in , choose . Then ; similarly, . Since , , and so
Thus . Since was arbitrary, on . □
13.10 Problem 10
Prove that if is not closed, then there is an unbounded continuous function .
Since is not closed, choose with . Define by . This is well defined, and is continuous as a composition of the continuous rational function and the absolute-value function.
Let . Since , there is with . Thus . Hence is unbounded. □
13.11 Problem 11
Using only the definitions of continuity and open set, prove that for any , is continuous if and only if is open for every open set .
Suppose is continuous and let be open. If , then , so there is with . By continuity, there is such that whenever . Thus , proving open.
Conversely, suppose is open for every open . Let and , and take . Then is open and contains , so some lies in . Therefore whenever . Thus is continuous at , and hence continuous. □
13.12 Problems 12–14
The source records these printed problems but no handwritten response:
- (12) If is closed and is continuous, prove there is a continuous with .
- (13) For pairwise disjoint nonempty open sets in , prove is countable.
- (14a) Prove an open subset of is a union of countably many open intervals; (14b) decide whether the intervals can be chosen with rational endpoints.
14 Homework 5: uniform continuity and differentiation
14.1 Problem 1
Suppose is a family of nonempty open sets in such that whenever . Prove that is countable.
14.2 Problem 2
Determine whether each continuous function is uniformly continuous on the given interval: (a) on ; (b) on ; (c) on ; (d) on .
14.2.1 (a)
is uniformly continuous because it is continuous on and is closed and bounded.
14.2.2 (b)
Let and take . If and , then
Thus is uniformly continuous on .
14.2.3 (c)
It is not uniformly continuous. Take . Let be arbitrary and take , . Then
14.2.4 (d)
It is not uniformly continuous. Take . Given , take and . The source records the computation
and uses the preceding lower bound while to obtain a quantity greater than .
14.3 Problem 3
Prove that if there is such that a continuous is uniformly continuous on , then is uniformly continuous.
Suppose is continuous and uniformly continuous on . Since is closed, is uniformly continuous there. Let . Take for and for , each giving . Set .
Let with . If both points are in , use ; if both are in , use . In the remaining case, assume and . Then and , so
Thus is uniformly continuous. □
14.4 Problem 4
Let , let be continuous, and suppose . Suppose further that is uniformly continuous on for some . (a) Prove that any two sequences and in converging to have the same -limit. (b) Prove that extends continuously to .
14.4.1 (a)
Assume the hypotheses and write . Let . Since , there is such that whenever . Uniform continuity gives with whenever . Since , this holds beyond some . Also choose with for . For and ,
Therefore . □
14.4.2 (b)
Define
Then . Since and , . The preceding part gives , so is continuous at . It is already continuous on , and hence is continuous on its domain.
14.5 Problem 5
Show that a composition of uniformly continuous functions is uniformly continuous: if and are uniformly continuous and , then is uniformly continuous.
Let . Take such that when , for . Take such that when , for . Then implies
□
14.6 Problem 6
Find the derivatives from the definition: (a) ; (b) .
14.6.1 (a)
14.6.2 (b)
14.7 Problem 7
Define by for and for . Find all points where is continuous and differentiable (no justification needed).
The personal answer: is continuous only at , and differentiable only at .
14.8 Problem 8
Show that if for all , then is constant.
14.9 Problem 9
If and are differentiable on , , and for all , prove for all .
14.10 Problem 10
Let . Decide each assertion: (a) differentiable is bounded; (b) such is bounded; (c) differentiable, bounded has bounded ; (d) differentiable with bounded is bounded.
14.10.1 (a)
True. A differentiable function is continuous, so the extreme value theorem on the closed, bounded interval gives with for all . Hence the function is bounded.
14.10.2 (b)
False. The source gives for and on . It records , while for ,
which is unbounded near .
14.10.3 (c)
False, by restricting the same counterexample to .
14.10.4 (d)
True. Suppose on . Choose ; then is differentiable on , so the extreme value theorem gives a point controlling there. For arbitrary , the mean value theorem gives a point between and with . Thus
so is bounded.
14.11 Problem 11
For differentiable , decide the converses of: (a) implies increasing; (b) implies strictly increasing.
14.11.1 (a)
The converse is true. Assume is increasing and let . If , take . The derivative definition gives a such that for ,
But and increasing imply , a contradiction. Hence . □
14.11.2 (b)
The converse is false: is strictly increasing on , but .
14.12 Problem 12
Let be differentiable. Prove that if and both exist, then .
Assume the hypotheses and, for a contradiction, suppose . Write . Let . Choose so that for and for . For , and for .
Take . By the mean value theorem, some has
Hence , so , contradicting the choice of . Thus the derivative limit is . □
14.13 Problem 13
Let be differentiable at . (a) If , prove that there is such that for . (b) Decide whether this implies is strictly increasing on .
14.13.1 (a)
Let . By differentiability there is such that
for . Hence , and, since , . □
14.13.2 (b)
The personal answer is true. Use the same and let . By the mean value theorem,
for some . By (a), , so and is strictly increasing on .
14.14 Optional challenge problems 14–15
The source has only the printed prompts and no handwritten response:
- (14) For increasing and decreasing with , decide whether must be nonempty, given that .
- (15) Decide whether an open can contain while is uncountable.
15 Homework 6: sequences, series, and integrability
15.1 Problem 1
Let and be bounded sequences in , with . Show that .
Let denote the set of subsequential limits of , so . Write .
Claim 1. is an upper bound for . Let be an arbitrary convergent subsequence. The source calculates
Thus is an upper bound for .
Claim 2. . Choose a subsequence with . Then , so . The two claims give . □
15.2 Problem 2
(a) For each , find the th derivative of and prove the claim by induction. (b) For , define for and for . Show is -times differentiable but not -times differentiable.
15.2.1 (a)
The th derivative of is . For , . Assuming the statement for ,
This proves the formula by induction. □
15.2.2 (b)
For each , the source writes
It is -times differentiable away from , with for and for . At ,
and the matching left-hand calculation is also , so . But the right derivative quotient of at is while the left quotient is . Therefore the next derivative does not exist.
15.3 Problem 3
Prove by induction: for all , if is -times differentiable and for all , then is a polynomial of degree at most .
The personal proof uses induction on . For , differentiability gives continuity and , hence for some , a polynomial of degree .
Assume the statement for . For , is -times differentiable and . Hence for some real coefficients . Thus
for all , a polynomial of degree at most . □
15.4 Problem 4
Show that diverges, but converges for every .
By the integral test, the second series converges iff converges. With , this is
For , it equals , proving divergence of the first series. For , it equals , which the submission records as , hence convergent. □
15.5 Problem 5
Show that converges conditionally.
Claim 1. The series converges. The personal work records, for every , and hence . It concludes the positive terms are decreasing and have limit , so the alternating series test applies.
Claim 2. The absolute-value series diverges. The work states the limit comparison test: for positive with , the two series converge or diverge together. Its proof takes to get , hence beyond a finite tail. For the present series,
Thus diverges with the harmonic series. The original alternating series therefore converges conditionally. □
15.6 Problem 6
Give a positive sequence converging to zero such that diverges.
The example is for even and for odd . Both the even and odd subsequences tend to , so . The work groups terms as
which diverges.
15.7 Problem 7
Determine whether each series converges: (a) ; (b) ; (c) ; (d) ; (e) .
15.7.1 (a)
With , , so the ratio test gives divergence.
15.7.2 (b)
With , and . The terms do not have a limit, so the series diverges by the nth-term test.
15.7.3 (c)
For , the source uses . Thus , and comparison with the harmonic series gives divergence.
15.7.4 (d)
Let . Then . The work notes , , and is decreasing because when . Thus the alternating series converges.
15.7.5 (e)
Let . The quotient is unbounded above, so the ratio test gives divergence.
15.8 Problem 8
If and converge, prove that converges absolutely.
Write and . Cauchy–Schwarz gives
for every . Thus the partial sums of are bounded above by and below by , and they are increasing. Hence converges, so converges absolutely. □
15.9 Problem 9
Show that if is integrable on , then it is integrable on every subinterval .
Suppose, for a contradiction, that is not integrable on . Since is integrable on , there is such that every tagged partition of mesh less than has . Nonintegrability on gives tagged partitions there with meshes below but .
Refine both partitions to by adding regular extra points with the same tags. The resulting have mesh below , while their sum difference is exactly the displayed difference over , a contradiction. Thus is integrable. □
15.10 Problem 10
If is integrable on , show that for every infinite there is equal to off but not integrable.
Let be infinite. As a bounded infinite set it is not discrete, so choose such that every is nonempty. Define
Given an arbitrary , take , choose , and obtain . Thus is unbounded above and hence not Riemann integrable. □
15.11 Problem 11
Show directly that if a bounded is continuous everywhere except possibly at , then is integrable.
15.12 Problem 12
Suppose and are continuous on and . Prove that some satisfies .
15.13 Optional challenge problem 13
The source records the printed definition on , on , and on , followed by , and asks to prove is continuous at iff .
16 Homework 7: integration and convergence
16.1 Problem 1
Prove that if is continuous on , there is such that .
By the extreme value theorem, there are with for all . Since is continuous, it is integrable, and monotonicity gives
Hence
By continuity of between and and the intermediate value theorem, there is with the required equality. □
16.2 Problem 2
(a) Let be nonnegative and continuous. Prove that if for some , then . (b) Let continuous have for all . Prove that equal integrals imply .
16.2.1 (a)
Let satisfy . By continuity, there is such that for all (by HW 4, problem 8). This set is an interval; fix a closed interval inside it. Then is integrable on , and by problem 1,
for some . Since on ,
□
16.2.2 (b)
16.3 Problem 3
(a) If is integrable on , prove there is with . (b) Give an example showing need not be in .
16.3.1 (a)
By the fundamental theorem of calculus, is continuous on . Since
the intermediate value theorem gives with . Therefore
□
16.3.2 (b)
Take , , and . It is continuous and integrable on , and gives .
16.4 Problem 4
Compute: (a) ; (b) .
16.4.1 (a)
Since is continuous at , the fundamental theorem gives differentiable at . Thus
16.4.2 (b)
The submission rewrites
The derivative factor tends to by the fundamental theorem and , so the limit is .
16.5 Problem 5
For and , let . (a) Find the pointwise limit. (b) Prove uniform convergence on for . (c) Decide uniform convergence on .
16.5.1 (a)
The source computes
Indeed, for , at , and for .
16.5.2 (b)
Let and . For , , and hence . Since , choose with for . Then
for all . Thus converges uniformly on . □
16.5.3 (c)
The sequence does not converge uniformly to on . Take and let be arbitrary. Since , there is such that whenever . Take . Then and .
16.6 Problem 6
If is a sequence of uniformly continuous functions on and uniformly, prove that is uniformly continuous.
Let . Choose such that for all . Since is uniformly continuous, choose with whenever . Then
□
16.7 Problem 7
Give a sequence of continuous converging pointwise but not uniformly to a continuous limit.
Take
Then pointwise on . But with , for arbitrary choose ; then , so the convergence is not uniform.
16.8 Problem 8
Let be a sequence of functions on such that converges uniformly. Prove that if converges for some , then converges for all .
Let . The source chooses so that, for ,
for all , and . For an arbitrary , the fundamental theorem gives
Thus is uniformly Cauchy and hence converges uniformly on . □
16.9 Problem 9
A step function on is constant on every open part of a finite partition. Prove that every continuous is the uniform limit of step functions satisfying .
For , let where , and define
when . Then .
Let . Uniform continuity of gives such that if . Choose with . For and , take the partition interval containing . The extreme value theorem gives in it with ; then
Thus uniformly. □
16.10 Problem 10
Suppose is a power series with . Prove convergence for and divergence for , where .
If , then , so
The ratio test gives absolute convergence. Likewise, when , this quotient limit is greater than , so the series diverges by the ratio test. □
16.11 Problem 11
Find radii and exact intervals of convergence: (a) ; (b) ; (c) .
16.11.1 (a)
, so the radius is . At , diverges; at , diverges. Thus the interval is .
16.11.2 (b)
so the radius is . At , the series is , and at it is ; both converge. The interval is .
16.11.3 (c)
The radius is infinity and the interval is .
16.12 Problem 12
Define by for and . (a) Show by induction that for , with a polynomial. (b) Show for every polynomial . (c) Show exists and equals . (d) Give the stated example.
16.12.1 (a)
The base case is
For the induction step, suppose , where . Then
the product of and another polynomial in . □
16.12.2 (b)
Let . The source applies L’Hopital’s rule, times, term-by-term to and obtains . Thus .
16.12.3 (c)
Induct on . For ,
by part (b). If , then
for some polynomial , again by part (b). □
16.12.4 (d)
The source gives for and .
16.13 Problems 13–14
The final two printed problems have no personal handwritten response.
- (13a) The piecewise made of , , and is to be shown differentiable and uniformly convergent to ; (13b) is to be used to show that uniform convergence need not commute with derivatives.
- (14) Enumerate , set on , and prove convergence and continuity on the irrational domain while limits fail at rational points.
17 Metric spaces and compactness
17.1 Metric spaces, norms, and topology
On , , and also . On the notes use , , and . In , their unit balls are the circle, square, and diamond, labelled (Euclidean), supremum, and metrics.
For , the lecture also writes and .
17.2 Compactness in
closed and bounded’‘ is not the general metric-space criterion.17.3 General metric spaces
Sequential compactness implies total boundedness: otherwise choose points separated by a fixed , producing a sequence with no Cauchy, hence no convergent, subsequence. It also implies completeness because a convergent subsequence of a Cauchy sequence forces the entire sequence to converge to the same limit.
Conversely, total boundedness lets one choose successively infinitely many terms of a given sequence in nested balls of radii ; the selected subsequence is Cauchy and therefore converges by completeness.
For the passage from sequential compactness to compactness, the notes prove the Lebesgue covering lemma: for every open cover of a sequentially compact set there is an such that each has contained in a cover member. If not, choose points for which no fits; a convergent subsequence contradicts openness at its limit. A finite -ball cover then selects a finite subcover. □
18 Multivariable differentiation
18.1 Continuity and differentiability
18.2 Jacobians and the criterion
18.3 Higher derivatives and products
如果 is ,then for every ,
for any permutation 。(即 , 的 -order 的 partial derivative 可以随意换顺序。)For example, if is ,
.
18.4 Chain rule and Taylor’s theorem
Recall first the one-dimensional statement: (if and exist);one can view these as matrices. Now put and, for small, define the remainder
.
Since is differentiable, as . For small, likewise set
,
so as . Set and . Then , and
.
In particular as . The composite remainder is
.
The displayed bound and the two remainder limits make this tend to zero, which proves the stated matrix formula. □
19 Inverse and implicit functions
19.1 Local invertibility
The lower Lipschitz bound makes injective on a small . It also shows that is open: take a closed ball inside , minimize on it, and use the chain rule plus invertibility of the derivative to see that the minimizer for close to is interior. Thus is open and is continuous.
For and , differentiability of gives , where . The lower bound relates to , giving . Hence . Cramer’s rule expresses the inverse matrix as rational functions of the entries of ; induction then upgrades to . □
19.2 Implicit functions
20 Partitions and Lebesgue’s characterization
20.1 Partitions and Darboux sums
A box in is , where the are intervals; here the notes use closed intervals, , with . A partition of is a finite increasing sequence , with mesh .
A partition of a box is an -tuple of coordinate partitions. It decomposes into boxes with pairwise disjoint interiors and mesh .
20.2 The review sheet
20.3 Measure zero and the Lebesgue criterion
First suppose has measure zero. Let and cover by finitely many open boxes whose total volume is less than . For each point outside their union, continuity supplies an open box on which the oscillation is less than . Compactness of gives a finite cover. Choose a partition whose subboxes lie in a chosen member of this finite cover. The boxes inside the first family contribute at most to the Darboux gap; the rest contribute at most . Hence the gap is below .
Conversely define . If a partition has , then the subboxes of meeting in their interiors have total volume below , because each has oscillation at least . The union of the subbox boundaries has measure zero and can be covered with total volume below . Thus has measure zero. Since , so does . □
21 Integration and change of variables
21.1 Fubini’s theorem
Let and be boxes, and let be bounded and Riemann integrable. For , put
Then and are Riemann integrable on and
Consequently, is integrable and
Let and be partitions of and , and let . If is a subbox of and , then
Taking the infimum in and then multiplying by the volume of gives
On summing over the boxes of and ,
The same argument with suprema gives
Refine the product partitions so that tends to zero. The displayed inequalities force the lower and upper integrals of both sectional functions to agree, and their common integrals equal . □
21.2 Integrals over bounded sets
Let be bounded and let be a box containing . For a bounded function , define its zero extension to by
If is Riemann integrable on , define
Whenever the displayed integrals exist, the integral over a bounded set is linear, monotone, and satisfies
It is also additive under a finite disjoint decomposition of . More generally, for two bounded Jordan-measurable sets,
In particular, if have pairwise intersections of Jordan measure zero, then .
A bounded set is Jordan measurable if and only if its boundary has measure zero:
In that event the constant function is integrable over , and
21.3 Extended integrals on open sets
Let be open and let be continuous with . Its extended integral is
This value is allowed to be .
For a continuous , set
If both and are finite, define
Every open set has compact Jordan-measurable sets such that
For continuous on an open set and for any compact exhaustion as above,
In that case,
The integrals of over are increasing. If they are bounded, the positive and negative parts have finite suprema, so the signed extended integral exists and the asserted limit follows by subtracting the two monotone limits. Conversely, if the positive and negative extended integrals are finite, each is bounded by their sum.
The point that the exhaustion computes the supremum is that every compact is contained in some : the open sets cover , so a finite subcover has a largest index. Hence for some , and taking suprema gives the claim. □
If is bounded and open and is bounded and continuous on , then the extended integral exists. If the zero extension makes the ordinary Riemann integral over meaningful, it agrees with the extended integral:
21.4 Change of variables
Let be , and let be continuous on an interval containing . Then
Choose an antiderivative of . The chain rule and the fundamental theorem of calculus give
□
Let be open, let be a diffeomorphism, and let be continuous. Then
and, whenever either condition holds,
On the annular region
use on . Since
the omitted radial cut has measure zero and
With
one has . Thus, subject to the usual bounds on , , and describing the region,
21.5 Diffeomorphisms and null sets
If is a diffeomorphism of open sets and , then
Hence is Jordan measurable if and only if is Jordan measurable.
21.6 Primitive diffeomorphisms
A primitive diffeomorphism changes only one coordinate. For some ,
The proof in the notes has three reductions. First, an invertible linear map is a product of elementary matrices: coordinate swaps, scalings, and additions of one coordinate to another. Each is primitive (a coordinate swap is factored into elementary operations when necessary). Translations are also primitive.
Next assume and . Define
Near , is a diffeomorphism. The map fixes the first coordinates, so is a product of primitive maps. Finally, translate the chosen point to and compose with to reduce the general case to this one. □
21.7 Partitions of unity
Let
Then is , positive on , and zero on . The product
is , positive on the interior of the closed box , and zero outside that interior.
The support of a function is
A partition of unity on an open set , subordinate to an open cover , is a locally finite family of functions such that
Choose a locally finite collection of closed cubes whose interiors cover , with each contained in a member of the given cover. The compact-exhaustion construction supplies such cubes by covering successive compact annuli with finitely many cubes. Let be the smooth box bump positive on and supported in its containing cover member. Local finiteness makes
a smooth, positive function. Then
has the required support, local finiteness, and sum. □
Let be continuous on an open set , and let be a smooth partition of unity with compact supports in . Then
and in that case this series equals .
22 IBL: Baire category through Jordan measure
22.1 1A:证明 metric space 是 topological space
The source’s 1A problem has five parts: prove that these open sets form a topology; compare topological and metric convergence; prove open balls open; prove closed balls closed; and give the discrete-metric counterexample above.
22.2 1C:证明 Baire Category Thm
原 worksheet 接着要求用 nested balls 证明:从任意 ball 出发,选择 与 ,使得 ; prove 是 Cauchy,并识别其 limit。1D 再要求推出:每点都是 limit point 的 nonempty complete metric space 必为 uncountable。
22.3 Why not measure every subset?
The migrated problems ask to show that is nonempty and compact, every point is a limit point, is uncountable by Baire category, and contains no interval. Its stage- total length is , motivating a notion of measure beyond intervals.
The source explicitly notes that merely replacing countable additivity by finite additivity does not solve this problem: Banach–Tarski supplies a finite-piece obstruction in three dimensions. The conclusion is to measure a proper family of subsets rather than every subset of .
22.4 Elementary and pixel measure
The source’s problem sequence establishes closure of elementary sets under union, intersection, difference, symmetric difference, and translation; it then asks for a disjoint-box decomposition and well-definedness of . A lattice-counting route is recorded: scale the number of lattice points in by and pass to the limit.
It then asks for finite additivity on disjoint elementary sets, monotonicity, and finite subadditivity for arbitrary finite collections. The pixel-measure exercise is deliberately retained as a counterexample prompt, since the source does not supply a completed personal answer.
22.5 Jordan measure and Riemann integrability
The retained problem set establishes that elementary sets are Jordan measurable, then asks for closure under union, intersection, difference, and symmetric difference, as well as finite additivity, monotonicity, finite subadditivity, and translation invariance. It asks to prove that the graph of a continuous function on a closed box has Jordan measure zero and that the region below such a graph is Jordan measurable.
The next chapter asks to prove that open and closed balls are Jordan measurable with measure , to bound , and to compare a bounded set with its closure and interior. It gives the boundary criterion above. Finally it defines lower and upper Darboux integrals through a partition and asks to show that a bounded nonnegative is Riemann integrable exactly when its subgraph is Jordan measurable.
23 IBL: Lebesgue outer measure
对 monotonicity,来源的中文批注是「trivial. 每个 的覆盖也覆盖了 」; 这正是 时外测度不增的覆盖论证。
来源对 countable subadditivity 的中文证明思路是:为序列中每个集合创造一个 可数覆盖,得到一个 double union;再用 控制每个集合的覆盖和 与它的 Lebesgue outer measure 的差距,从而把双累加变成单累加。
The IBL problems record that a Jordan-measurable set can be outer-approximated by an elementary set; ; the defining covers may be restricted to open or closed boxes; and every countable set has outer measure zero. The proof sketch preserves the source’s allocation for the countable cover.
来源中的证明记录为: 显然;反向不等式则对任意 ctbl covering 取一个 disjoint cover。后一步的具体推导在来源中未完成,故这里不补造。
关于从 finite 到 countable 的过渡,来源的中文提示为:「extend finite to countable by continuing the seq using empty sets 即可得到。」
23.1 Lebesgue measure 的大小处于 Jordan outer/inner measure 之间
来源把这一节保留为由 elementary measure 与 outer measure 比较得出的结论, 并单独要求构造 non-Jordan-measurable 的 bounded open set,以及证明 ctbl 个 almost disjoint boxes 的 outer-measure union additivity。
来源的 personal solution 只写到「我们首先 list 出 之间的 ratioals, 称为 。我们对于每个……」便中断;这里保留其不完整状态,而不把后续构造 误标为来源解答。
24 IBL: regularity, measurability, and additivity
The source’s construction starts with unit grid boxes contained in an open set, then repeats at dyadic scales after removing boxes selected earlier. It asks to verify that their union is the original open set and that interiors do not overlap.
来源的中文批注说,这与在 上用 ctbl closed intervals 逼近任意 open interval 如出一辙;随后给出的 process 只是更 generalized 的算法。
24.1 outer regularity 的 dual 并不正确
来源要求给出反例,说明不能用 contained open sets 的 outer measure supremum 来代替 outer regularity;正确的 inner regularity 要以 compact sets 逼近。
24.2 Closure properties of measurable sets
来源的中文证明提示为: 也是 ctbl 的。对每个 都选取一个 open cover,最后的 double union 仍是 countable open cover;取任意 , 再用 bound 每个 与其 cover 的差距即可。
The recorded proof plan writes an unbounded closed set as a countable union of closed bounded pieces, reduces to compact sets, and decomposes their open complements into almost-disjoint closed cubes.
24.3 Approximation and regularity
For the difficult direction, the IBL notes choose open with errors , take their union, then cover the remaining null set by an open set of small outer measure. This preserves the original proof strategy without inventing its omitted final estimates.
来源的中文说明强调:和 9D 一样,当希望两个相近集合具有包含关系、但已知条件 又不能直接构造包含关系时,可以先用近似条件构造 measure 无限接近的序列,再经由 intersection 得到一个 measure set,最后通过交、并、补得到所需关系。它还 指出 ordinary set diff 的 measure 总小于等于 sym diff 的大小,以此估计 。
The explicit exercise is retained: with , one must not interchange an infimum and an infinite sum without a valid argument.
25 IBL: limits and Carathéodory’s criterion
The source suggests taking the disjoint increments and applying countable additivity.
The source remarks that some texts use this elementary-test identity as the definition of measurability. Its final linear-map problem asks for the precise Jacobian factor , including singular linear maps.
26 HW 1
26.1 Problem A
Suppose is a metric space. For , show that is a metric on . If has its usual metric, show that has “infinite length” using .
Proof. Take . Positivity and symmetry are immediate: , with equality exactly when , and . Let for . Then and , so is increasing and concave. Thus
.
Hence , completing the metric axioms.
For the length claim, take an equally spaced partition into subintervals. Then and
.
Since , these sums are unbounded above, so for every some partition has sum greater than .
26.2 Bonus problem
If is , is , ordinary multiplication takes scalar multiplications. For
,
find the cheapest parenthesization. The submitted parenthesization is
.
Let be the minimal cost for multiplying the matrix chain from through . The recursion used was
.
The dynamic-programming calculations recorded on the page are
Thus the final answer costs scalar multiplications.
27 HW 2
27.1 Problem A
If is a norm on a vector space , then is a metric. For , positivity gives , with equality iff ; homogeneity gives ; and
Thus a norm induces a metric.
27.2 Problem B
For a linear , the operator norm is . If , then , so proves continuity. Conversely, continuity at gives such that for . Applying this to with gives . Hence is bounded.
27.3 Problem C
An unbounded linear map is the derivative , with the sup norm on the domain. For , , while . Therefore the ratios are at least .
27.4 Problem D
Take . Every is diagonalizable with eigenvalues . For , , so although the eigenvalues are bounded.
27.5 Problem E
If is totally bounded, for every choose a finite -cover with centres . The union of the centres is countable and dense: every either occurs among them or is the limit of selected centres at distance . Hence is separable.
27.6 Problem F
Let be countably many copies of with their left endpoints glued. Write points as and use if , and if . It is bounded. At radius , a ball can cover at most one of the points from distinct far ends, since two such points have distance . Thus infinitely many balls are needed and is not totally bounded.
27.7 Problem G
For with the sup metric, total boundedness is equivalent to boundedness plus: for every , some has for every and . A finite cover proves the tail condition by contradiction (choose increasingly far non-small entries and form a separated subsequence). Conversely, partition the first bounded coordinates into finitely many pieces of length and combine this finite head cover with the tail bound.
27.8 Bonus problem
For a countable dense set in , define . Triangle inequality makes this bounded and gives . Along a subsequence , the coordinate differences tend to , so equality holds. This is an isometric embedding into .
28 HW 3
28.1 Problem A
For a Lipschitz map with constant , . Taking proves uniform continuity. If have one common Lipschitz constant and converge uniformly to , then . Letting the uniform error tend to zero proves that is also Lipschitz with constant . Without a common constant this is false: on , converge uniformly to , which is not Lipschitz near .
28.2 Problem B
If is connected and is continuous, then is connected: a separation pulls back to a separation of . Consequently a continuous assumes every intermediate value between and .
28.3 Problem C
For a continuous bijection with compact, is continuous. A closed is compact, hence is compact and closed in the metric space . Thus is a closed map. Compactness is necessary: , , is a continuous bijection whose inverse is discontinuous at .
28.4 Problem D
If exists, then : for substitute in the defining limit, and is immediate. For at , the derivatives in and are , but that in does not exist because has unequal one-sided limits. For off the origin and at it, when , and otherwise. This formula is not linear in the direction, though polar coordinates show continuity at the origin.
28.5 Problem E
The Baire Category Theorem was written as: in a complete metric space, every countable intersection of open dense subsets is dense.
28.6 Problem F
Let select one element from each class modulo . The translations form a disjoint decomposition of . A countably additive, translation-invariant measure on every subset with would make all have the same measure; this gives either or infinity for the interval. Therefore the stipulated measure does not exist.
28.7 Bonus problem
The Cantor set is uniformly disconnected by its middle-third gaps. The recorded equivalent ultrametric is the infimum of for which an -chain joins to . Concatenating chains yields the ultrametric inequality. Conversely, if and is ultrametric, the chain would force , impossible for distinct points.
29 HW 4
29.1 Problem A
Let satisfy for every and suppose is differentiable at . Put . Homogeneity gives . If , then for every , contradicting differentiability as . Hence , so is linear.
29.2 Problem B
For , if all partial derivatives exist and are bounded on the open set , then is continuous. Write and pass from to one coordinate at a time: , . Applying the one-variable mean value theorem to gives . Summing coordinate and target components yields .
29.3 Problem C
For , and . On , is the quarter-annulus , . The inverse is , continuous on this set. Its derivative is and .
29.4 Problem D
Take away from and . Every directional derivative at is , yet along the quotient of by does not tend to , so is not differentiable at the origin.
29.5 Problem E
For and off , the first partials at are . Off , product and quotient rules give
Both tend to at the origin (each term is bounded by a multiple of or ), so . The mixed partials are equal off , while at direct difference quotients give .
29.6 Bonus problem
In an ultrametric space, is closed: if lies outside it and , then would otherwise contradict . Intersecting balls are nested: if and belongs to both and , then satisfies , hence . Thus every point of a ball is a centre.
For a connected weighted graph, define as the least possible largest edge-weight along a path. Concatenating a best - path and a best - path yields . Conversely, from a finite ultrametric space, join every pair with an edge weighted by its distance; the least maximum path weight is the original metric.
30 HW 5
30.1 Problem A
For ,
,
each component is a composition or product of smooth elementary functions, hence is differentiable. Factor with and . The displayed has third row equal to half the difference of the second and first rows, so . Chain rule gives .
30.2 Problem B
If differentiable maps and are inverse, then and . Both products being identities forces and when .
30.3 Problem C
is a differentiable homeomorphism of , but is not differentiable at .
30.4 Problem D
If is continuous at and the iterated limits exist, each equals . For example, define away from and there. Then while the reversed order is .
30.5 Problem E
The number of four-variable monomials of degree at most is (the red working also sums ).
30.6 Problem F
If is open and connected, is differentiable, and on , then is locally constant: join nearby by coordinate segments inside a small ball and use the one-variable mean value theorem on each segment. The set is both open and closed in , hence is all of .
30.7 Problem G
Leibniz’s formula was proved by induction:
The displayed Leibniz formula differentiates the product of through : , with the same multi-index distribution among all factors.
Differentiating the case and grouping every new multi-index with gives coefficient .
30.8 Problem H
Let be the degree- Taylor polynomial centered at . For the backward direction, Taylor’s theorem writes as a remainder whose terms have ; bounding each monomial by gives the required little- statement.
For the forward direction, the submitted work writes and seeks to show the quotient by does not tend to zero. In Case 1, , it chooses with and obtains a nonzero constant quotient. Case 2, , ends with “idk”. A subsequent attempted route states that a nonzero homogeneous polynomial of degree is not , using ; it then notes that a degree- polynomial need not be homogeneous.
30.9 Problem I
For , chain rule gives and , hence . For the displayed composition problem, write and apply the chain rule. At with , , , both the formula and direct computation give
30.10 Problems J and K
For the specified and , the chain-rule calculation records . The third order Taylor polynomial of at is
.
30.11 Positive definite matrices
For a real symmetric matrix , positive definiteness implies invertibility and , so the angle of with is acute. Conversely, the acute-angle condition gives . In an orthonormal eigenbasis, , proving positive definiteness iff every eigenvalue is positive. Each leading principal minor inherits positive definiteness; the forward direction of Sylvester’s criterion follows. The submitted converse attempt is marked “didn’t work at all.”
31 HW 7
31.1 Problem A
For differentiable and unit , . Cauchy-Schwarz gives , with equality precisely for . Also iff is orthogonal to .
31.2 Problem B
Let , , be , have a local minimum at , and be surjective. Reorder coordinates so . By IFT, locally . For , . Differentiating gives , hence for every . Put ; then .
31.3 Problems C-D
The intuitive explanation says that at a constrained minimum the gradient of is normal to all allowed directions, while is normal to , so the two gradients are parallel. For on , . The critical points are and its negative; the minimum is at .
31.4 Problem E
For with full rank , the stated generalization is . Split variables as with a nonsingular block. IFT writes locally as . The identities and combine to give .
31.5 Problem F
Positive definite symmetric matrices form an open subset of symmetric matrices. For , the quadratic form has positive minimum on the compact unit sphere. If , then on the sphere, and hence for all nonzero .
31.6 Problem G
If , is critical, and is positive definite, continuity of the Hessian makes positive definite near . Taylor’s formula along the segment gives for nearby ; hence a strict local minimum.
31.7 Problem H
For an invertible matrix with cofactor matrix , the diagonal entry equals when by cofactor expansion. For , replace row by row to obtain a matrix with determinant whose cofactor expansion is . Thus , so .
31.8 Problem I
For differentiable , , and differentiating term by term gives .
31.9 Bonus
The epigraph of is convex iff is positive semidefinite everywhere. For the forward direction, restrict to ; convexity gives its second derivative . For the converse, the same one-variable restriction has nonnegative second derivative, hence is convex, and this is exactly the epigraph inequality.
32 HW 8
32.1 Problem A
Let be , , and
The minors are , , and . Thus can be solved in terms of near , and can be solved in terms of ; the IFT gives no conclusion for solving in terms of .
32.2 Problem B
If satisfies and , differentiating gives . Hence
33 HW 9
33.1 Problem A
Let . The continuity set is the intersection of all . If is continuous at , choose a ball mapping into , and the triangle inequality gives . Conversely, choose with and a ball supplied by ; then is continuous at . Each is open: a witnessing ball at contains a smaller ball about every one of its points.
33.2 Problem B
A bounded non-decreasing is Riemann integrable. For a rational between and , let . Every discontinuity belongs to some by density of . Each has at most one point, since in it would force values left/right incompatible with monotonicity. So the discontinuity set is countable and has measure zero.
33.3 Problem C
For integrable , is bounded. It is continuous at whenever both factors are continuous at the corresponding coordinates; hence . The product covers of measure-zero sets show has measure zero, so is integrable.
33.4 Problem D
Define if in lowest terms and on irrationals. Given , choose with , let be rationals with denominator at most , and make a partition containing with mesh . On subintervals missing , the supremum is at most ; the other intervals have total length . Thus . It is continuous at every irrational because its values along rationals with unbounded denominators tend to ; discontinuities are contained in the countable rationals.
33.5 Problem E
If bounded vanishes off a closed measure-zero , cover by finitely many boxes of total volume and choose a partition having these boxes as subboxes. On the remaining subboxes , so the difference of upper and lower sums is . Hence is integrable.
33.6 Problem F
For a countable closed-box cover , first enlarge to open boxes with volume increase . Compactness gives a finite subcover. Successively subtract earlier boxes to make a disjoint measurable cover; additivity and monotonicity give , and then let .
33.7 Problem G
For , , , define . Since , IFT gives a local inverse with the identity. Then is and .
33.8 Bonus
For an open box , choose smooth one-variable functions on and zero outside; is smooth, positive on , and zero outside. For an open , use a countable ball cover and a locally finite smooth partition of unity subordinate to it; is smooth, positive exactly on . For Cantor , apply this to the complement of in . Taking on and off , the graphs of and meet exactly at .
34 HW 10
34.1 Problem A
For integrable , is integrable. At every point where both and are continuous, the maximum is continuous (use the two local bounds). Thus , which has measure zero.
34.2 Problem B
If is integrable then is integrable: , since a fixed jump in gives, by reverse triangle inequality, a jump in . For every partition , , and taking infima yields the corresponding inequality between the integrals of and .
34.3 Problem C
Let and let be the rotation of the rational points in the unit square. It is dense because is a rotation. Two points of on one vertical (or horizontal) line must have equal preimages, since the relevant sine/cosine coefficient is irrational; hence each such line meets at most once. The characteristic function of is except possibly at one point on each coordinate line, so every one-variable slice is integrable; but density gives upper sum and lower sum for every two-dimensional partition.
34.4 Problem D
For and closed box , Fubini and FTC give both integrals of the mixed partials as . On a small box about , apply the integral mean-value theorem twice to their difference; the zero double integral forces equality of mixed partials at .
34.5 Problem E
Riemann integrability implies Darboux integrability because a fine partition has both tagged sums within of the integral, so upper and lower sums are within . Conversely, for a Darboux integrable , refine a near-optimal partition by any sufficiently fine partition. The boundary-strip lemma bounds total volume of new subboxes crossing old boundaries; lower and upper sums on the remaining subboxes stay close to the Darboux sums. Therefore every fine tagged sum is close to the common Darboux integral.
34.6 Problems F-G and Bonus
For , chain rule gives and differentiating once more yields . The quadratic Taylor polynomial is . The bonus proof uses that the continuity set of a map is a set and Baire Category: is not , so no function can be continuous exactly on and discontinuous on its complement.
35 HW 12
35.1 Problem A
Let be bounded, let be the interior of , and let bounded be Riemann integrable on . Since , Lebesgue’s criterion makes integrable on . Also . Split the complement of in into its isolated points, its non-isolated discontinuities, and its non-isolated continuity points. The first is countable; the second has measure zero; on the third, has limiting value and the integral over the set is zero. Hence the integral over the complement is , so the integrals over and agree. If is Jordan measurable, then , and .
35.2 Problem B
For , polar coordinates give its volume as . The spherical-coordinate Jacobian recorded is ; integration produces the factor . Translation has determinant one, giving the formula for all centres. and . Slicing the unit -ball by one coordinate and using polar coordinates gives , hence and .
35.3 Problem C
For with and open Jordan measurable , define by . It is a diffeomorphism. Its derivative is upper triangular with determinant , so change of variables gives the volume of as times the volume of divided by .
35.4 Problem D
The ellipsoid is the inverse image of the unit ball under . The inverse has determinant , so its volume is .
35.5 Problem E
The solid between and projects to . Translating then using the displayed elliptical polar substitution gives the recorded volume .
35.6 Problem F
Integrating over larger and larger disks, polar coordinates give the two-dimensional Gaussian integral as . Fubini over expanding squares makes this the square of the one-dimensional Gaussian integral, so the integral is .
35.7 Problem G
is integrable over the unit ball iff : decompose the punctured ball into annuli and compare the radial series with . It is integrable outside the closed unit ball iff , by the analogous tail series.
35.8 Bonus
For differentiable on compact with , the mean value theorem gives . If , write . Uniform continuity of lets finitely many short intervals cover so that has arbitrarily small total length. Thus and .
36 HW 13
36.1 Problem A
The coordinate swap matrix factors as
each factor a primitive diffeomorphism on .
36.2 Problem B
Let for and otherwise. Put for odd and for even . The supports are the listed intervals or ; at any at most four are supported. Thus is smooth and positive. Setting gives and a smooth partition of unity dominated by the open intervals of length .
36.3 Problem C
For when and otherwise, on , with polynomial. Inductively : after , a bound makes the difference quotient tend to . Thus .
36.4 Problem D
If is smooth and , its image has measure zero by the cited class result. If it contained nonempty open , it would contain a ball of positive Jordan and Lebesgue measure, contradicting monotonicity.
36.5 Problem E
A local diffeomorphism with , is locally factored by choosing a coordinate , setting , and correcting the th coordinate in the target. IFT gives a local factorization into primitive diffeomorphisms. Induction freezes one coordinate at a time, giving a finite factorization into super-primitive diffeomorphisms; translations and elementary linear maps are also decomposed this way.
36.6 Problem F
No injective smooth exists. If all partials vanished everywhere, would be constant. Otherwise, say ; IFT writes the level set locally as , contradicting injectivity.
36.7 Problem G
If is smooth at each , choose local smooth extensions . A locally finite smooth partition of unity subordinate to gives on and elsewhere. The locally finite sum is smooth and, at , equals .
36.8 Problem H
If matrix has rank , select independent columns and then independent rows among them to obtain a minor with nonzero determinant. Any larger minor has rank at most , so determinant zero. Hence rank is the maximum order of a nonzero minor.
37 HW 14
37.1 Problem A
For , , , and , let for and otherwise. Define
The are smooth with disjoint supports . If , then at the midpoint of , while the midpoints tend to and . Thus is not continuous at .
37.2 Problem B
The change-of-variables theorem for linear diffeomorphisms and compactly supported continuous is proved by induction on the dimension, after decomposing a linear map into primitive linear diffeomorphisms. The case is the one-variable substitution theorem. For a primitive map preserving the last coordinate, write , restrict to , extend by , and use Fubini. For each fixed , the -dimensional induction hypothesis supplies the inner substitution formula, which Fubini integrates to the result.
37.3 Problem C
The rank map on is lower semicontinuous. If matrix has rank , choose a nonzero minor. Continuity of determinant supplies a Frobenius-norm ball about in which the same minor remains nonzero, so ranks are at least . It need not be continuous: , but has rank while zero has rank .
38 HW 15
38.1 Problem A
There is no injective smooth for . The proof first records the constant rank theorem: if has constant rank near , choose a nonsingular minor and set . IFT makes a local diffeomorphism. In these coordinates ; the rank calculation makes the partial derivatives of the terms in the last variables zero. A target coordinate change then gives .
For the claimed non-injectivity, lower semicontinuity and the finite set of possible ranks make rank locally constant on some neighbourhood. The normal form is not injective when , and composing with local diffeomorphisms preserves this contradiction.
38.2 Problem B
For continuous compactly supported , define convolution by equal to the integral of over . On a product box containing both supports, Fubini and the substitution give
the integral of equals the product of the integrals of and .
The same substitution proves . Applying Fubini twice shows
The iterated-integral calculation has integrand and yields ,
so convolution is associative.
38.3 Problem C
For on , the only interior critical point is , where . On the boundary, , so the maximum is at and . Thus the minimum is at .
38.4 Problem D
Of , , and , only is a tensor: the first has a quadratic factor in , and the second has a constant term. In the elementary dual basis,
38.5 Problem E
For a vector space , is a vector space under pointwise addition and scalar multiplication: the displayed verification checks linearity in each argument, the zero map, additive inverses, commutativity, associativity, and distributivity.
38.6 Problem F
For the cycle taking to through and back to , write it as transpositions, so its sign is .
38.7 Problem G
If is linear and , then is multilinear. For a permutation , substituting the permuted arguments gives equal to the sign of times , so .
38.8 Problem H
For the elementary alternating tensor on , with and column matrix ,
is the sum over permutations of the sign of times the corresponding product of the selected coordinates, and equals ,
the determinant expansion of the submatrix whose rows are indexed by .
38.9 Bonus
The printed bonus gives the definition of a real analytic function, a binomial-series exercise, radius of convergence , convergence properties, coefficient bounds, and differentiation of a power series. The source page contains no handwritten solution for these printed bonus parts.