简介:这份资源是《陶哲轩实分析》中文版的全书习题解答,面向正在系统自学实分析、希望逐题吃透教材的数学学习者,尤其适合不满足于只看定理证明、想通过动手做题检验理解程度的读者。作者按原书章节顺序撰写答案,从引论、Peano 公理与自然数,到集合论、整数与比例数、Cauchy 序列与实数构造,再到序列极限、级数、无限集合等,覆盖了教材的主要知识模块,思路力求简单自然、推导清晰、便于记忆,也参考了网络上的部分解答。资源包内为 1 个 PDF 文件,约 624KB,方便保存到本地随时翻阅,也可打印后配合教材同步练习。目前已有 724 人学习下载,适合作为课后对照答案、查漏补缺与交流解题心得的参考材料。
1. 从自然数到 Lebesgue 积分:一张实分析习题地图
实分析难,难在它不是“算”出来的,而是“证”出来的。很多人翻开教材第一章觉得不过如此,到 Cauchy 序列还勉强跟得上,一进度量空间和一致收敛就开始掉队,最后在 Lebesgue 测度面前彻底放弃。问题往往不在智商,而在于没有一张清晰的地图:不知道每个概念为什么被引入、前后怎么咬合、哪些定理是后面反复调用的“工具”。这份《陶哲轩实分析》中文版习题解答,恰好补上了这个缺口——它按教材章节逐题给出证明过程,从 Peano 公理一路推到 Lebesgue 积分,把每一步推导摊开给你看。梳理下来会发现,整本书其实是一条“构造数系 → 建立极限 → 抽象空间 → 推广积分”的主线,习题就是这条主线上的关节。适合正在系统啃教材的人对照排查,也适合复习阶段快速定位自己卡在哪一环。
2. 数系构造:从 Peano 公理到实数的复习重点
2.1 自然数、整数与比例数:每一步都在补漏洞
教材前四章看似基础,实则是整个分析的地基。Peano 公理给出自然数的五条规则,加法与乘法全靠归纳法定义,习题里大量出现“对 $a$ 归纳”的证明结构,比如结合律 $(a+b)+c=a+(b+c)$ 的证明,就是先固定 $b,c$ 对 $a$ 归纳,基例用 $0+b=b$,归纳步把 $(a'+b)+c$ 拆成 $((a+b)+c)'$ 再套归纳假设。这类题最容易犯的错是“跳步”——默认加法交换律成立,但交换律本身是要证的。
从自然数到整数,核心动作是引入“形式差”$a-b$ 并证明它等价于有序对 $(a,b)$ 的等价类;从整数到比例数,则是用“形式商”$a/b$ 构造。每一层都在解决上一层的缺陷:自然数没有减法,整数没有除法,比例数有“空隙”。习题解答里对等价关系的自反、对称、传递三条验证从不省略,因为这是构造新数系的合法性依据。
| 数系 | 构造方式 | 解决的缺陷 | 典型习题考点 |
|---|---|---|---|
| 自然数 | Peano 公理 | 无 | 归纳法证明结合律、分配律 |
| 整数 | 自然数有序对等价类 | 减法不封闭 | 验证等价关系、定义序 |
| 比例数 | 整数有序对等价类 | 除法不封闭 | 绝对值、指数运算、稠密性 |
| 实数 | Cauchy 序列等价类 | 比例数有空隙 | 最小上界性质 |
2.2 Cauchy 序列与实数构造:等价类为什么必须证
第五章是第一个真正的难点。实数被定义为 Cauchy 序列的等价类,两个序列等价当且仅当它们的差趋于零。习题里反复要求证明“等价关系”的三条性质,以及加法、乘法在等价类上“良定义”——也就是说,换一个代表元,运算结果不变。这一步很多人觉得啰嗦,但它是整个构造的命门:如果不验证良定义,后面定义序关系、证明最小上界性质全是空中楼阁。
最小上界性质是实数区别于比例数的标志,习题通常要求从 Cauchy 序列出发构造上确界。思路是:对非空有上界的集合,取上界序列和集合内点序列,用二分法造出一个 Cauchy 序列,再证明它的等价类就是上确界。这条证明链很长,解答里把每一步的 $\varepsilon$ 选取都写清楚了,复习时值得逐行对照。
提示:实数构造这一章,凡是出现“良定义”三个字的地方,都是考试和推导的高频考点,不要跳过。
3. 极限与级数:序列、子序列与判别法的易错点
3.1 收敛、上下极限与子序列:$\varepsilon$ 怎么取才不翻车
第六章把极限的算律、广义实数系、上下极限、子序列一口气铺开。最容易翻车的是上下极限的定义:$\limsup$ 是序列所有极限点的上确界,等价于 $\limsup_{n\to\infty} a_n = \inf_{N} \sup_{n\ge N} a_n$。习题里常要求证明 $\liminf \le \limsup$,以及序列收敛当且仅当两者相等。证明的关键是构造子序列:从每个 $N$ 之后取一个接近上确界的项,再用对角线法抽出收敛子序列。解答里对“取 $\varepsilon/2^k$”这类技巧有明确标注,复习时可以把这些 $\varepsilon$ 的取法单独抄成一页。
Bolzano-Weierstrass 定理(有界序列必有收敛子序列)是这一章的枢纽,后面紧致性、完备性都靠它。习题中常出现“用子序列证明某序列不收敛”的反证结构,比如 $(-1)^n$ 有两个不同的极限点,所以发散。
3.2 级数判别法:方根法与比例法的适用边界
第七章从有限级数过渡到无限级数,核心是部分和序列的收敛性。非负项级数的和可以用上确界定义,这为后面的重排、判别法打基础。方根判别法和比例判别法是习题高频区,但很多人只记结论不记条件:
- 比例判别法:$\lim |a_{n+1}/a_n| = L$,$L<1$ 收敛,$L>1$ 发散,$L=1$ 失效。
- 方根判别法:$\lim |a_n|^{1/n} = L$,判据同上。
- 两者失效时($L=1$),要回到比较判别法或积分判别法。
习题解答里对 $L=1$ 的边界例子(如调和级数、$1/n^2$)都有专门讨论,这正是最容易漏的地方——以为判别法万能,结果在边界上栽跟头。级数重排那一节则提醒:条件收敛级数重排会改变和,绝对收敛才不会,这个反直觉结论在习题里用具体例子验证过。
4. 连续性与微分:从实直线到度量空间的抽象跳跃
4.1 连续、一致连续与最值定理:量词顺序是命门
第九章在 $\mathbb{R}$ 上定义连续:$\forall \varepsilon>0, \exists \delta>0$,使得 $|x-x_0|<\delta$ 时 $|f(x)-f(x_0)|<\varepsilon$。一致连续则把 $\delta$ 提到 $\forall x_0$ 之前,只依赖 $\varepsilon$。这个量词顺序的差别,是整章最容易混淆的点。习题里常要求判断 $f(x)=x^2$ 在 $\mathbb{R}$ 上连续但不一致连续,证明时要用到“对任意 $\delta$,取 $x$ 和 $x+\delta/2$ 使差超过 $\varepsilon$”的构造。
最大值原理和中值定理的证明依赖紧致性和连通性,在 $\mathbb{R}$ 上表现为闭区间上连续函数取到最值、介值性。习题解答把“闭区间”这个条件标得很重——开区间上最值定理不成立,反例 $f(x)=x$ 在 $(0,1)$ 上无最大值,这是踩坑高发区。
4.2 导数、反函数与 L'Hôpital 法则:局部性质别当全局用
第十章定义导数,强调它是局部性质:$f'(x_0)$ 只依赖 $x_0$ 附近的行为。习题里常见“可导必连续,连续不一定可导”的验证,以及单调函数导数非负、反函数求导公式 $(f^{-1})'(y)=1/f'(x)$ 的推导。L'Hôpital 法则的习题最容易忽略前提:必须是 $0/0$ 或 $\infty/\infty$ 型,且导数之比的极限存在。解答里对“导数之比振荡”的反例有讨论,提醒不能无条件套用。
注意:反函数求导公式要求 $f'(x)\neq 0$,这个条件在习题里经常被隐去,复习时要主动补上。
5. 积分与抽象空间:Riemann、度量空间与一致收敛的衔接
5.1 Riemann 积分:上积分与下积分夹逼
第十一章用分法和逐段常值函数定义上下 Riemann 积分,可积当且仅当上下积分相等。习题里大量出现“对任意分法,上和减下和小于 $\varepsilon$”的证明结构。连续函数可积、单调函数可积是两条主定理,证明都依赖对区间做精细分割。一个非 Riemann 可积的函数(如 Dirichlet 函数)是必考反例,解答里用有理数和无理数的稠密性说明上下积分差恒为 1。
微积分基本定理把微分和积分接起来,习题常要求验证“连续函数的变上限积分可导且导数等于原函数”。这里容易漏的是连续性条件——不连续时基本定理可能失效。
5.2 度量空间与紧致性:开集、闭集与完备性的关系
第十二章把 $\mathbb{R}$ 上的概念抽象到度量空间:开球、开集、闭集、相对拓扑、Cauchy 序列、完备性、紧致性。习题里最绕的是“紧致”的等价刻画:在度量空间里,紧致等价于序列紧致(每个序列有收敛子序列),也等价于完备加全有界。证明这条链要来回用好几次对角线法,解答里把每一步的依赖关系标出来了。
相对拓扑是易漏点:子集 $Y\subset X$ 中的开集是 $X$ 中开集与 $Y$ 的交,不是 $X$ 中的开集本身。习题里常要求判断某个集合在子空间里是否开,很多人直接套 $X$ 的拓扑,结果错。
5.3 一致收敛与函数级数:逐点收敛不够用
第十四章区分逐点收敛与一致收敛:一致收敛要求 $N$ 不依赖 $x$。习题里经典反例 $f_n(x)=x^n$ 在 $[0,1]$ 上逐点收敛到不连续函数,说明逐点收敛不保连续性;而一致收敛保连续性、保积分。Weierstrass M 判别法是判断函数级数一致收敛的利器:若 $|f_n(x)|\le M_n$ 且 $\sum M_n$ 收敛,则 $\sum f_n$ 一致收敛。习题里常要求找 $M_n$,关键是找到与 $x$ 无关的上界。
一致收敛与导数是最微妙的部分:一致收敛的函数列,导数列不一定收敛,甚至收敛也不一定等于极限函数的导数。解答里用 $f_n(x)=\sin(nx)/n$ 这类例子说明,复习时要单独记这一条“不一致”的结论。
6. 易漏点清单:五处最容易翻车的证明细节
6.1 易漏点一:归纳法基例与归纳步的边界
为什么漏:很多人写归纳证明时直接写“假设对 $n$ 成立,则对 $n+1$ 成立”,忘了验证 $n=0$ 或 $n=1$ 的基例,或者归纳步里偷偷用了未证明的交换律。
怎么补:每道归纳题先单独写基例,再写“固定其他变量,对目标变量归纳”,归纳步只允许调用归纳假设和已证定理。习题解答里每个归纳证明都标了基例,对照检查自己有没有省。
6.2 易漏点二:等价关系与良定义的验证
为什么漏:构造整数、比例数、实数时,觉得“显然”成立,跳过自反、对称、传递的验证,或者定义运算后不检查换代表元结果是否不变。
怎么补:凡是出现“等价类”“商结构”,强制写三行:自反、对称、传递;凡是定义在等价类上的运算,强制验证良定义。这是数系构造的合法性底线,习题里分值不低。
6.3 易漏点三:$\varepsilon$-$\delta$ 证明中 $\delta$ 的选取
为什么漏:连续、一致连续、极限的证明里,$\delta$ 往往写成“取 $\delta=\varepsilon/2$”就完事,不说明为什么这个选取能推出结论。
怎么补:每写一个 $\delta$,后面跟一句“则当 $|x-x_0|<\delta$ 时,有……”,把不等式链走完。一致连续还要检查 $\delta$ 是否与 $x_0$ 无关。解答里对 $\delta$ 的选取有逐行推导,可以当模板抄。
6.4 易漏点四:紧致性证明中“有限子覆盖”的提取
为什么漏:证明紧致性时,从“每个点有邻域”直接跳到“有限个邻域覆盖”,中间少了“全有界”或“序列紧致”的桥梁。
怎么补:在度量空间里,紧致证明走“序列紧致 → 完备 + 全有界 → 有限子覆盖”的路线,每一步单独成段。习题解答把对角线法的抽取过程写全了,复习时按这条链默写一遍。
6.5 易漏点五:一致收敛与积分、导数交换顺序的条件
为什么漏:看到 $\lim \int f_n = \int \lim f_n$ 或 $(\lim f_n)' = \lim f_n'$ 就直接用,不检查一致收敛或导数一致收敛的条件。
怎么补:交换积分与极限,先确认 $f_n$ 一致收敛;交换导数与极限,先确认 $f_n'$ 一致收敛且 $f_n$ 至少一点收敛。把这两个条件写在便签上,做题前扫一眼。
7. 复习路线:按章节权重分配时间的查漏补缺法
复习实分析,最怕平均用力。按习题解答的覆盖密度和考试出现频率,可以把十八章分成三档:核心档(第 2、5、6、7、9、12、14 章)占六成时间,这些是证明链条最长、前后依赖最多的部分;支撑档(第 3、4、10、11、13 章)占三成,概念多但证明相对短;拓展档(第 15、16、17、18、19 章)占一成,幂级数、Fourier、多元微分、Lebesgue 测度与积分属于后期内容,复习时先抓定义和主定理,细节证明可以放到第二轮。
具体操作上,我习惯用“三遍法”:
第一遍:对照目录,每章用一句话写出核心定理和它的前提条件 第二遍:挑每章 2-3 道典型习题,不看解答独立写证明,写完逐行对照 第三遍:只看出错的地方,把错误归类到上面的易漏点清单,标记重复出错的章节第一遍的目的是建地图,第二遍是验地图,第三遍是补地图上的洞。三遍下来,哪一章的洞最多一目了然,时间就往那里倾斜。习题解答的价值不在于“看答案”,而在于第二遍写完后对照时,能发现自己哪一步的 $\varepsilon$ 取错了、哪个良定义没验、哪个一致收敛条件漏了。
| 复习阶段 | 时间占比 | 主要动作 | 检查标准 |
|---|---|---|---|
| 第一遍 | 30% | 写每章核心定理与前提 | 能不看书画出章节依赖关系 |
| 第二遍 | 50% | 独立做典型题再对照 | 证明步骤与解答差异不超过一处 |
| 第三遍 | 20% | 归类错误、回补易漏点 | 同一类错误不再出现第二次 |
从那以后我每次复习证明题,都强制先写“前提条件”再写“结论”,中间每一步只调用已证定理,不跳步、不默认。这份习题解答我放在手边,卡住的时候翻对应章节,看别人怎么处理 $\varepsilon$ 和量词顺序,比反复读教材正文管用。希望帮到你。
本文还有配套的精品资源,点击获取