简介《陶哲轩实分析中文版习题解答》面向自学《陶哲轩实分析》的读者及数学专业低年级学生针对教材习题难度较高、证明细节不易自查的问题提供参考。压缩包共1个PDF文件约624KB按原书章节顺序编排内容从引论、自然数与Peano公理、集合论、整数与比例数讲起延伸至Cauchy序列构造实数、序列极限、级数、无限集合等分析学基础模块。作者力求解答简单自然、思路清晰方便读者对照自己的推导过程发现遗漏的公理依据与论证步骤并逐步补足严谨性。已有722人学习适合逐题练习后核对答案、期末复习或分析学入门也可用于比较不同证法、整理证明脉络形成可复用的解题框架。1. 从“数是什么”开始这份习题解答的知识地图实分析这门课最让人崩溃的地方不是某一条定理难而是它要求你从头把数系重新造一遍。这份中文版习题解答遵循的正是这样一条主线先用 Peano 公理确立自然数用等价类构造整数和有理数再用 Cauchy 序列的等价类补上有理数的空隙得到实数接着依次讨论序列、级数、基数、连续、微分、Riemann 积分后半程则一路抽象到度量空间、一致收敛、幂级数、Fourier 级数、多元微分和 Lebesgue 测度与积分。它的价值不在于提供可抄的答案而在于每一道题都要求你把定义里的量词顺序写对。适合正在系统学习这本教材、打算一题一题做完的人也适合考前想把整条证明链重新走一遍的人。2. 数的地基Peano 公理与集合论证明骨架教材开篇几乎不做铺垫直接把你放进公理系统里这正是许多人第一次翻车的地方前面的“112”看起来像废话可一旦要求你只用五条公理把它证出来就不知道从哪下手。这一章真正要练的是把“显然成立”翻译成“对哪个变量做归纳、用哪条定义展开”。2.1 Peano 公理与递归定义加法和乘法是怎么“长”出来的公理部分只有几条自然数集非空、有一个特殊元素 0、有一个后继运算0 不是任何数的后继后继是单射以及归纳原理若 P(0) 成立且 P(n) 能推出 P(n)则对所有 n 成立。看起来很少但足以定义加法和乘法。加法采用对第一个变量递归的方式0 m : m(n) m : (n m)。乘法同样是递归0 × m : 0(n) × m : (n × m) m。这两条定义决定了后面所有习题的展开方向碰到a b先看 a 是不是 0不是就拆一层后继。梳理下来这一段的习题可以归成下面几类复习时对着表格逐项检查比盲刷有效得多习题要证的命题关键动作2.2.1(ab)c a(bc)对 c 归纳每次用后继定义拆开一层2.2.2a ≠ 0 则存在唯一的 b 使 b a对 a 归纳注意 0 的边界单独处理2.2.3序的性质自反、传递、反对称、加法保序把 a ≥ b 还原成 a b m再做代数变形2.2.5强归纳原理令 Q(n) : 对所有 m nP(m) 成立2.2.6向下归纳原理令 Q(n) : P(n) 推出对所有 m ≤ nP(m)2.3.1n×0 0、n×m n×m n、交换律交换律要对 n 归纳并调用加法交换律与分配律2.3.2m×n 0 则 m 0 或 n 0反证把非零元素写成后继2.3.3乘法结合律对第一个变量归纳展开时用分配律2.3.5欧几里得除法对 n 归纳余数 r 要不要进位是唯一的分类讨论点最容易忽略的是强归纳和向下归纳的“改写”动作。教材没有把这两个原理当公理而是要求你用普通归纳去证证法的共同点是把目标命题 P 包一层变成关于“所有小于 n 的 m”的命题。这一步想不到后面证明素数分解、证明递归定义的唯一性时都会卡住。把递归定义直接翻译成代码能帮助体会“定义只告诉我们怎么拆不告诉我们怎么算得快”# 把 Peano 公理里的后继与递归定义直译成代码只为看清展开顺序 def succ(n): return n 1 # 后继运算 n def add(m, n): # 0 m m(n) m (n m) if n 0: return m return succ(add(m, n - 1)) def mul(m, n): # 0 × m 0(n) × m (n × m) m if n 0: return 0 return add(mul(m, n - 1), m) if __name__ __main__: # 有限取值上抽查结合律只是手感检查不是证明 for a in range(7): for b in range(7): for c in range(7): assert add(add(a, b), c) add(a, add(b, c)) assert mul(mul(a, b), c) mul(a, mul(b, c))这段代码里add对第二个参数做递减对应教材定义里对第一个参数做递归两者在结果上一致但展开的过程相反写归纳证明时必须跟定义的原方向对齐否则归纳假设对不上号写着写着就发现推不下去。2.2 集合论并交差、函数、象与逆象的边界第 3 章把集合当成“一堆对象”但很快用外延公理把相等定义清楚A B 当且仅当对任意 xx ∈ A 与 x ∈ B 等价。接着是空集、单元素集、配对、并、交、差、子集、真子集以及分离公理{x ∈ A : P(x)}和替换公理。习题 3.1.6、3.1.7 把并交的交换、结合、分配、De Morgan 律一条条列出来让你证这些证明的共同套路是把集合等式拆成“对任意元素 x左边成立当且仅当右边成立”然后就是命题逻辑的化简。函数部分定义得很干净函数是满足单值性的有序对集合复合、单射、满射、双射依次定义。象和逆象是这一章的高频考点也是错得最多的地方可以列一张对照表运算保持并集保持交集保持差集备注象 f(A)是仅单射时等号成立仅单射时等号成立一般只有包含关系逆象 f⁻¹(B)是是是逆象没有单射要求逆象之所以性质那么好是因为它的定义是“把满足条件的元素全部收集回来”本质上是一个分离公理而象是“把元素送出去”送出过程可能把不同的点粘在一起信息就丢了。下面这个小例子能说明为什么 f(A∩B) 一般不等于 f(A)∩f(B)# 用非单射函数检验f(A∩B) 一般只是 f(A)∩f(B) 的子集 def f(x): return x * x A {-1, 2} B {1, 3} print({f(x) for x in (A B)}) # f(A∩B) 空集 print({f(x) for x in A} {f(x) for x in B}) # f(A)∩f(B) {1}代码里 A∩B 是空集送出去还是空集但 f(A) 得到 {1, 4}f(B) 得到 {1, 9}交集是 {1}。两个结果不相等说明包含关系是严格的。写这类证明时先明确要证的方向是“⊆”还是“”再去找反例或者在单射假设下补出原像思路就不会乱。2.3 这一段的重点把“显然”写成量词这一章的重点是证明的规范程度而非具体结论。归纳证明的第一步是把 P(n) 完整写出来包括量词的顺序很多人败在“设 P(n) 为某个显然成立的命题”写到一半发现归纳假设根本用不上。第二步是确认边界情形0 的情况、空集的情况、空函数的情况教材里专门用习题 3.3.3 让你讨论空函数的单射满射性质就是在提醒你边界不是废话。Russell 悖论那一段是选读但它回答了一个容易被跳过的问题为什么不能随便用{x : P(x)}造集合。教材的处理方式是保留分离公理先从某个已知集合里筛排除万有分类公理再用正则性公理排除 A ∈ A 这类自指结构。复习时不必深挖公理集合论的细节但要能说清楚“如果没有限制会发生什么”这是后面理解“为什么实数要构造而不是直接假设存在”的伏笔。3. 从整数到实数等价类构造与最小上界自然数只有加法和乘法连减法都不封闭所以第 4 章用形式差造整数用商造有理数第 5 章再用 Cauchy 序列的等价类把有理数的“空隙”填上。这条链每一步都在做同一件事先给元素一个表示再定义等价关系然后证明运算与代表元的选取无关。掌握了这个三段式后面构造实数、构造度量空间的完备化都是同一套动作。3.1 整数与有理数等价类怎么造、良定性怎么证整数被定义成形式差 a−b 的等价类等价关系是(a,b) ~ (c,d)当且仅当a d c b。这个定义的精髓在于它只用自然数的加法和等式就表达了“差相等”这个原本需要减法的概念。加法定义成[(a,b)] [(c,d)] : [(ac, bd)]乘法定义成[(a,b)] × [(c,d)] : [(acbd, adbc)]然后必须证明换一组代表元结果不变。这就是良定性证明也是这一章最容易写崩的地方。以加法为例假设(a,b) ~ (a,b)、(c,d) ~ (c,d)要证(ac, bd) ~ (ac, bd)展开后正好是两个已知等式的相加一步就完。乘法需要多绕几下用分配律把交叉项拆开再代换。教材把这类证明放在习题里是希望你亲手体会“为什么必须先证良定性才能谈论运算”。有理数用商 a//bb ≠ 0表示等价关系是ad cb。到这里减法、除法除数非零、序、绝对值都能定义了。第 4.3 节定义绝对值与整数指数运算第 4.4 节证明有理数存在空隙不存在有理数 q 使 q² 2证明用的是奇偶性——若 q a/b 且最简则 a² 2b²推出 a 为偶数代回又推出 b 为偶数与最简矛盾。从自然数一路走到有理数每一步补上了什么、又还缺什么值得整理成一张表构造元素表示等价关系新获得的性质仍然缺什么整数 Z形式差 a−ba d c b减法封闭、有零元与负元除法不封闭有理数 Q商 a//bb≠0ad cb非零元可除、全序、绝对值完备性最小上界性质实数 RCauchy 序列的等价类差序列趋于 0完备、最小上界性质成立代数闭包要到复数3.2 Cauchy 序列与实数的构造Cauchy 序列的定义是对任意 ε 0存在 N使得对所有 j, k ≥ N都有 |a_j − a_k| ≤ ε。注意这里没有出现极限值因为极限值正是我们还没造出来的东西。两个 Cauchy 序列等价当且仅当它们的差趋于 0。实数就被定义成这些等价类。这一步的动机值得反复咀嚼有理数序列可以“想要收敛到一个不存在的点”比如不断逼近 √2 的那串有理数。有理数系没法给这个序列一个极限于是干脆把“所有想收敛的序列”按“想收敛到同一个点”分类每一类就当做一个新的数。这不是玄学而是把“完备化”这件事做了一遍具体操作。教材把关键的引理放在习题里梳理下来主要是三条。第一条Cauchy 序列有界这是乘法良定性的前提因为证明两个序列乘积仍是 Cauchy 序列时要用到其中一个序列的界去控制误差项。第二条两个 Cauchy 序列的和、积仍是 Cauchy 序列证明套路是加减同一项做放缩。第三条等价关系与运算相容即等价的序列做加法、乘法后仍然等价。序的定义稍微反直觉x y 当且仅当存在 ε 0 和 N使得对所有 n ≥ N都有 y_n − x_n ≥ ε。它没有直接说“差是正数”因为“正数”本身要靠序来定义所以改用“差在某一项之后被一个正有理数顶住”来表达严格小于。from fractions import Fraction def sqrt2_seq(n): # 牛顿迭代x_{k1} (x_k 2/x_k)/2全程用分数保证每项都是有理数 x Fraction(1) for _ in range(n): x (x Fraction(2, 1) / x) / 2 return x # 相邻项的差迅速变小序列在 Q 里是 Cauchy 的 vals [sqrt2_seq(k) for k in range(1, 9)] for v in vals: print(v, float(v))这段代码的意义在于让你看到一串完全由有理数构成的序列它越来越“像”收敛但在有理数系里找不到极限。正式证明它不收敛于任何有理数还得回到 q² 2 无解这个结论上Cauchy 序列只是把“收敛的愿望”形式化了。3.3 最小上界性质与指数运算的两步走实数系和有理数系最本质的差别是最小上界性质任何非空有上界的实数子集都有上确界。这条性质是后面几乎所有存在性定理的来源中值定理、最大值原理、Riemann 可积性背后都在用它。教材的证明思路是从集合里挑一串越来越接近上界的元素证明它是 Cauchy 序列它的等价类就是上确界难点在于怎么构造这串元素需要用到 Archimedes 性质对任意正数 ε存在自然数 n 使 1/n ε。指数运算被拆成两部分这个安排很容易被忽略。第 5.6 节先定义有理指数 x^q先对自然数指数递归定义再取倒数得到负指数最后用 q 次根的存在性定义分数指数并证明结果与 q 的表示无关。第 6.7 节才用上确界把指数推广到实数指数x^α 定义为所有 x^qq 为有理数且 q ≤ α的上确界。分开的原因是实数指数的定义依赖最小上界性质而最小上界性质要到第 5.5 节才证完顺序不能颠倒。复习这一段时重点检查三件事能不能独立写出最小上界性质的证明梗概能不能说清为什么有理指数的良定性必须单独证能不能指出 x^α 定义中“上确界”取的是哪个集合的上确界。三个问题答不上来后面的幂级数和指数函数都会变成黑匣子。4. 极限、级数与基数ε-N 语言的主战场第 6 到第 8 章是整本书训练量最大的部分序列极限、级数、可数与不可数几乎每一道题都在重复同一件事给定 ε找到一个 N。很多人在这里掉队原因是把“找 N”当成了灵感其实它有固定套路。4.1 序列极限的证明模板收敛的定义是对任意 ε 0存在 N使得对所有 n ≥ N都有 |a_n − L| ≤ ε。证明题的标准流程是四步写出要估计的 |a_n − L|做代数变形和放缩把它变成一个只含 n 的表达式令这个表达式 ≤ ε解出 n 的下界取 N 为对应的整数。放缩是全部功夫所在。常见的处理方式有分子分母同除最高次幂、用三角不等式拆本文还有配套的精品资源点击获取 
长河君 · 2026/10/28 4:58:04 · 阅读 1.2k 实分析习题解答：从Peano公理到Lebesgue积分的证明链
简介《陶哲轩实分析中文版习题解答》面向自学《陶哲轩实分析》的读者及数学专业低年级学生针对教材习题难度较高、证明细节不易自查的问题提供参考。压缩包共1个PDF文件约624KB按原书章节顺序编排内容从引论、自然数与Peano公理、集合论、整数与比例数讲起延伸至Cauchy序列构造实数、序列极限、级数、无限集合等分析学基础模块。作者力求解答简单自然、思路清晰方便读者对照自己的推导过程发现遗漏的公理依据与论证步骤并逐步补足严谨性。已有722人学习适合逐题练习后核对答案、期末复习或分析学入门也可用于比较不同证法、整理证明脉络形成可复用的解题框架。1. 从“数是什么”开始这份习题解答的知识地图实分析这门课最让人崩溃的地方不是某一条定理难而是它要求你从头把数系重新造一遍。这份中文版习题解答遵循的正是这样一条主线先用 Peano 公理确立自然数用等价类构造整数和有理数再用 Cauchy 序列的等价类补上有理数的空隙得到实数接着依次讨论序列、级数、基数、连续、微分、Riemann 积分后半程则一路抽象到度量空间、一致收敛、幂级数、Fourier 级数、多元微分和 Lebesgue 测度与积分。它的价值不在于提供可抄的答案而在于每一道题都要求你把定义里的量词顺序写对。适合正在系统学习这本教材、打算一题一题做完的人也适合考前想把整条证明链重新走一遍的人。2. 数的地基Peano 公理与集合论证明骨架教材开篇几乎不做铺垫直接把你放进公理系统里这正是许多人第一次翻车的地方前面的“112”看起来像废话可一旦要求你只用五条公理把它证出来就不知道从哪下手。这一章真正要练的是把“显然成立”翻译成“对哪个变量做归纳、用哪条定义展开”。2.1 Peano 公理与递归定义加法和乘法是怎么“长”出来的公理部分只有几条自然数集非空、有一个特殊元素 0、有一个后继运算0 不是任何数的后继后继是单射以及归纳原理若 P(0) 成立且 P(n) 能推出 P(n)则对所有 n 成立。看起来很少但足以定义加法和乘法。加法采用对第一个变量递归的方式0 m : m(n) m : (n m)。乘法同样是递归0 × m : 0(n) × m : (n × m) m。这两条定义决定了后面所有习题的展开方向碰到a b先看 a 是不是 0不是就拆一层后继。梳理下来这一段的习题可以归成下面几类复习时对着表格逐项检查比盲刷有效得多习题要证的命题关键动作2.2.1(ab)c a(bc)对 c 归纳每次用后继定义拆开一层2.2.2a ≠ 0 则存在唯一的 b 使 b a对 a 归纳注意 0 的边界单独处理2.2.3序的性质自反、传递、反对称、加法保序把 a ≥ b 还原成 a b m再做代数变形2.2.5强归纳原理令 Q(n) : 对所有 m nP(m) 成立2.2.6向下归纳原理令 Q(n) : P(n) 推出对所有 m ≤ nP(m)2.3.1n×0 0、n×m n×m n、交换律交换律要对 n 归纳并调用加法交换律与分配律2.3.2m×n 0 则 m 0 或 n 0反证把非零元素写成后继2.3.3乘法结合律对第一个变量归纳展开时用分配律2.3.5欧几里得除法对 n 归纳余数 r 要不要进位是唯一的分类讨论点最容易忽略的是强归纳和向下归纳的“改写”动作。教材没有把这两个原理当公理而是要求你用普通归纳去证证法的共同点是把目标命题 P 包一层变成关于“所有小于 n 的 m”的命题。这一步想不到后面证明素数分解、证明递归定义的唯一性时都会卡住。把递归定义直接翻译成代码能帮助体会“定义只告诉我们怎么拆不告诉我们怎么算得快”# 把 Peano 公理里的后继与递归定义直译成代码只为看清展开顺序 def succ(n): return n 1 # 后继运算 n def add(m, n): # 0 m m(n) m (n m) if n 0: return m return succ(add(m, n - 1)) def mul(m, n): # 0 × m 0(n) × m (n × m) m if n 0: return 0 return add(mul(m, n - 1), m) if __name__ __main__: # 有限取值上抽查结合律只是手感检查不是证明 for a in range(7): for b in range(7): for c in range(7): assert add(add(a, b), c) add(a, add(b, c)) assert mul(mul(a, b), c) mul(a, mul(b, c))这段代码里add对第二个参数做递减对应教材定义里对第一个参数做递归两者在结果上一致但展开的过程相反写归纳证明时必须跟定义的原方向对齐否则归纳假设对不上号写着写着就发现推不下去。2.2 集合论并交差、函数、象与逆象的边界第 3 章把集合当成“一堆对象”但很快用外延公理把相等定义清楚A B 当且仅当对任意 xx ∈ A 与 x ∈ B 等价。接着是空集、单元素集、配对、并、交、差、子集、真子集以及分离公理{x ∈ A : P(x)}和替换公理。习题 3.1.6、3.1.7 把并交的交换、结合、分配、De Morgan 律一条条列出来让你证这些证明的共同套路是把集合等式拆成“对任意元素 x左边成立当且仅当右边成立”然后就是命题逻辑的化简。函数部分定义得很干净函数是满足单值性的有序对集合复合、单射、满射、双射依次定义。象和逆象是这一章的高频考点也是错得最多的地方可以列一张对照表运算保持并集保持交集保持差集备注象 f(A)是仅单射时等号成立仅单射时等号成立一般只有包含关系逆象 f⁻¹(B)是是是逆象没有单射要求逆象之所以性质那么好是因为它的定义是“把满足条件的元素全部收集回来”本质上是一个分离公理而象是“把元素送出去”送出过程可能把不同的点粘在一起信息就丢了。下面这个小例子能说明为什么 f(A∩B) 一般不等于 f(A)∩f(B)# 用非单射函数检验f(A∩B) 一般只是 f(A)∩f(B) 的子集 def f(x): return x * x A {-1, 2} B {1, 3} print({f(x) for x in (A B)}) # f(A∩B) 空集 print({f(x) for x in A} {f(x) for x in B}) # f(A)∩f(B) {1}代码里 A∩B 是空集送出去还是空集但 f(A) 得到 {1, 4}f(B) 得到 {1, 9}交集是 {1}。两个结果不相等说明包含关系是严格的。写这类证明时先明确要证的方向是“⊆”还是“”再去找反例或者在单射假设下补出原像思路就不会乱。2.3 这一段的重点把“显然”写成量词这一章的重点是证明的规范程度而非具体结论。归纳证明的第一步是把 P(n) 完整写出来包括量词的顺序很多人败在“设 P(n) 为某个显然成立的命题”写到一半发现归纳假设根本用不上。第二步是确认边界情形0 的情况、空集的情况、空函数的情况教材里专门用习题 3.3.3 让你讨论空函数的单射满射性质就是在提醒你边界不是废话。Russell 悖论那一段是选读但它回答了一个容易被跳过的问题为什么不能随便用{x : P(x)}造集合。教材的处理方式是保留分离公理先从某个已知集合里筛排除万有分类公理再用正则性公理排除 A ∈ A 这类自指结构。复习时不必深挖公理集合论的细节但要能说清楚“如果没有限制会发生什么”这是后面理解“为什么实数要构造而不是直接假设存在”的伏笔。3. 从整数到实数等价类构造与最小上界自然数只有加法和乘法连减法都不封闭所以第 4 章用形式差造整数用商造有理数第 5 章再用 Cauchy 序列的等价类把有理数的“空隙”填上。这条链每一步都在做同一件事先给元素一个表示再定义等价关系然后证明运算与代表元的选取无关。掌握了这个三段式后面构造实数、构造度量空间的完备化都是同一套动作。3.1 整数与有理数等价类怎么造、良定性怎么证整数被定义成形式差 a−b 的等价类等价关系是(a,b) ~ (c,d)当且仅当a d c b。这个定义的精髓在于它只用自然数的加法和等式就表达了“差相等”这个原本需要减法的概念。加法定义成[(a,b)] [(c,d)] : [(ac, bd)]乘法定义成[(a,b)] × [(c,d)] : [(acbd, adbc)]然后必须证明换一组代表元结果不变。这就是良定性证明也是这一章最容易写崩的地方。以加法为例假设(a,b) ~ (a,b)、(c,d) ~ (c,d)要证(ac, bd) ~ (ac, bd)展开后正好是两个已知等式的相加一步就完。乘法需要多绕几下用分配律把交叉项拆开再代换。教材把这类证明放在习题里是希望你亲手体会“为什么必须先证良定性才能谈论运算”。有理数用商 a//bb ≠ 0表示等价关系是ad cb。到这里减法、除法除数非零、序、绝对值都能定义了。第 4.3 节定义绝对值与整数指数运算第 4.4 节证明有理数存在空隙不存在有理数 q 使 q² 2证明用的是奇偶性——若 q a/b 且最简则 a² 2b²推出 a 为偶数代回又推出 b 为偶数与最简矛盾。从自然数一路走到有理数每一步补上了什么、又还缺什么值得整理成一张表构造元素表示等价关系新获得的性质仍然缺什么整数 Z形式差 a−ba d c b减法封闭、有零元与负元除法不封闭有理数 Q商 a//bb≠0ad cb非零元可除、全序、绝对值完备性最小上界性质实数 RCauchy 序列的等价类差序列趋于 0完备、最小上界性质成立代数闭包要到复数3.2 Cauchy 序列与实数的构造Cauchy 序列的定义是对任意 ε 0存在 N使得对所有 j, k ≥ N都有 |a_j − a_k| ≤ ε。注意这里没有出现极限值因为极限值正是我们还没造出来的东西。两个 Cauchy 序列等价当且仅当它们的差趋于 0。实数就被定义成这些等价类。这一步的动机值得反复咀嚼有理数序列可以“想要收敛到一个不存在的点”比如不断逼近 √2 的那串有理数。有理数系没法给这个序列一个极限于是干脆把“所有想收敛的序列”按“想收敛到同一个点”分类每一类就当做一个新的数。这不是玄学而是把“完备化”这件事做了一遍具体操作。教材把关键的引理放在习题里梳理下来主要是三条。第一条Cauchy 序列有界这是乘法良定性的前提因为证明两个序列乘积仍是 Cauchy 序列时要用到其中一个序列的界去控制误差项。第二条两个 Cauchy 序列的和、积仍是 Cauchy 序列证明套路是加减同一项做放缩。第三条等价关系与运算相容即等价的序列做加法、乘法后仍然等价。序的定义稍微反直觉x y 当且仅当存在 ε 0 和 N使得对所有 n ≥ N都有 y_n − x_n ≥ ε。它没有直接说“差是正数”因为“正数”本身要靠序来定义所以改用“差在某一项之后被一个正有理数顶住”来表达严格小于。from fractions import Fraction def sqrt2_seq(n): # 牛顿迭代x_{k1} (x_k 2/x_k)/2全程用分数保证每项都是有理数 x Fraction(1) for _ in range(n): x (x Fraction(2, 1) / x) / 2 return x # 相邻项的差迅速变小序列在 Q 里是 Cauchy 的 vals [sqrt2_seq(k) for k in range(1, 9)] for v in vals: print(v, float(v))这段代码的意义在于让你看到一串完全由有理数构成的序列它越来越“像”收敛但在有理数系里找不到极限。正式证明它不收敛于任何有理数还得回到 q² 2 无解这个结论上Cauchy 序列只是把“收敛的愿望”形式化了。3.3 最小上界性质与指数运算的两步走实数系和有理数系最本质的差别是最小上界性质任何非空有上界的实数子集都有上确界。这条性质是后面几乎所有存在性定理的来源中值定理、最大值原理、Riemann 可积性背后都在用它。教材的证明思路是从集合里挑一串越来越接近上界的元素证明它是 Cauchy 序列它的等价类就是上确界难点在于怎么构造这串元素需要用到 Archimedes 性质对任意正数 ε存在自然数 n 使 1/n ε。指数运算被拆成两部分这个安排很容易被忽略。第 5.6 节先定义有理指数 x^q先对自然数指数递归定义再取倒数得到负指数最后用 q 次根的存在性定义分数指数并证明结果与 q 的表示无关。第 6.7 节才用上确界把指数推广到实数指数x^α 定义为所有 x^qq 为有理数且 q ≤ α的上确界。分开的原因是实数指数的定义依赖最小上界性质而最小上界性质要到第 5.5 节才证完顺序不能颠倒。复习这一段时重点检查三件事能不能独立写出最小上界性质的证明梗概能不能说清为什么有理指数的良定性必须单独证能不能指出 x^α 定义中“上确界”取的是哪个集合的上确界。三个问题答不上来后面的幂级数和指数函数都会变成黑匣子。4. 极限、级数与基数ε-N 语言的主战场第 6 到第 8 章是整本书训练量最大的部分序列极限、级数、可数与不可数几乎每一道题都在重复同一件事给定 ε找到一个 N。很多人在这里掉队原因是把“找 N”当成了灵感其实它有固定套路。4.1 序列极限的证明模板收敛的定义是对任意 ε 0存在 N使得对所有 n ≥ N都有 |a_n − L| ≤ ε。证明题的标准流程是四步写出要估计的 |a_n − L|做代数变形和放缩把它变成一个只含 n 的表达式令这个表达式 ≤ ε解出 n 的下界取 N 为对应的整数。放缩是全部功夫所在。常见的处理方式有分子分母同除最高次幂、用三角不等式拆本文还有配套的精品资源点击获取