简介《陶哲轩实分析》中文版习题解答是一份面向自学实分析、准备数学专业课程或考研复试读者的配套答案文档针对教材习题难度大、推导容易卡壳的问题提供逐题参考思路与证明示范。压缩包内仅含1个PDF文件约624KB按原书章节组织从引论、自然数、集合论、整数与比例数到实数构造、序列极限、级数、无限集合等均有对应解答并涉及Peano公理、Cauchy序列、最小上界性质等核心内容便于在阅读教材时同步核对也适合作为课程作业后的自查材料。已有722人学习下载说明其在中英文实分析学习者中有一定参考价值。作者力求解答简单自然、思路清晰、便于记忆并参考网络资料整理读者可借此检查证明细节、梳理解题框架减少在习题上反复停滞的时间也可作为交流心得的对照材料。1. 从自然数到 Lebesgue 积分一份实分析习题解答的知识地图翻开一份从自然数公理一路写到 Lebesgue 积分的实分析习题解答最先该做的不是从第一题开始抄而是把目录拍成一张地图这本教材到底在哪儿卡人。梳理下来主线只有一条——用公理和 ε 语言把微积分重造一遍Peano 公理造自然数等价类造整数、有理数、实数再用极限、连续、微分、积分一层层往上盖最后停在度量空间、一致收敛和测度积分。这份习题解答的价值就在于把每一步「为什么能这么跳」写成了可复查的推导而不是甩一个答案了事。它适合已经学过一遍微积分、想把 ε-δ 语言补成体系的人零基础直接啃大概率在第二章归纳法那里就翻车。2. 数系从零开始Peano 公理、加法乘法与实数构造教材前五章干的事是把中学里所有「显然」重新证一遍。很多人翻这部分觉得浪费时间其实后面每一条极限定理的严谨性都压在这几页上加法交换律没证过后面级数重排就没法讲清楚。习题解答在这一段含金量最高因为它把每个「显然」拆成了可以逐行检查的归纳步哪一步用了归纳假设、哪一步用了定义一目了然。2.1 Peano 五条公理与归纳法的固定骨架自然数的五条公理是整个体系的起点抄一遍不费事但要知道每条在挡什么。第一条说 0 是自然数给出存在性第二条说后继 n 还是自然数给出封闭性第三条 n ≠ 0把自然数钉成一条从 0 开始的链而不是环第四条后继单射保证不会有两个数撞到同一个后继第五条归纳原理是后面所有证明的工具箱。归纳法证明的骨架永远是三段先证 P(0)再假设 P(n) 成立去证 P(n)最后引用归纳原理收尾。骨架简单翻车点在于归纳变量选错。比如要证加法交换律 abba正确做法是固定 a、对 b 归纳如果两个都动归纳步会变成循环论证。习题解答里这类地方通常只写一行「由归纳假设」自己复现时最容易在这里断片。还有一个常被忽略的细节归纳步证的是「P(n) 蕴含 P(n)」不是「P(n1) 成立」。这两句话在自然数上看起来一样但前者才是归纳原理能用的形式。写答案时把蕴含箭头画出来比在脑子里默念靠谱。2.2 加法、乘法与序关系每条性质都要靠归纳加法是递归定义的m0 : mm(n) : (mn)。乘法同理m×0 : 0m×(n) : m×n m。定义只有两行性质却要一条条归纳出来。最先要证的是 0m m 和 m0 m。后者由定义直接成立前者必须对 m 归纳不能一句「显然」带过。这两条引理看着琐碎但它们是后面证 abba 的必经步骤基例 b0 要用 0aa归纳步要用 (ab) (ba)。习题解答在这里一般写得很简自己补的时候建议把「用了哪条引理」标在等号上方复习时能一眼看出断点。序关系定义为n ≥ m 当且仅当存在自然数 a 使 n ma。由这个定义能推出一串性质自反性、传递性、反对称性、与加法相容、ab 等价于 a≤b、ab 等价于存在非零 d 使 bad。其中反对称性的证明要用到「nm0 蕴含 nm0」而这条又要用乘法那条「乘积为零则至少一个因子为零」的引理链条拉得挺长。复习时如果只记结论不记链条考场上很容易写出「两边消去」这种未经证明的操作。2.3 整数与有理数等价类第一次登场整数不是「带符号的自然数」而是自然数对 a—b 的等价类等价条件是 ad cb。有理数同理是整数对 a//b 的等价类b≠0等价条件是 ad bc。这一步的重点不在构造本身而在两件事。第一等价关系三条性质要逐条验证自反、对称、传递缺一不可。第二定义在等价类上的运算必须先证 well-defined也就是换一个代表元算出来结果不变。比如整数加法 (a—b)(c—d) : (ac)—(bd)得说明若 a—b 等价于 a—b则和也等价。习题解答里这一步经常被压缩成「容易验证」但考试真考的时候丢分就丢在这四个字上。有理数的倒数定义还要额外处理「分子不为零」的条件a//b 的倒数是 b//a前提是 a≠0。这个条件漏写后面除法运算就会在 0 上炸掉。2.4 有理数的空隙与 Cauchy 序列造实数有理数域有洞最经典的例子是「平方等于 2 的有理数不存在」用反证法加奇偶性两行就能证完。洞的存在意味着有理数上的序列可以「想收敛但没地方落」实数就是把这些落点补出来的结果。构造方式是用 Cauchy 序列的等价类。Cauchy 序列的定义是对每个 ε0存在 N使得对所有 i,j≥N|a_i − a_j| ≤ ε。两个 Cauchy 序列等价当且仅当对每个 ε0存在 N使得对所有 n≥N|a_n − b_n| ≤ ε。实数就是这些等价类0 是零序列的类1 是常数列 1 的类加法和乘法逐项定义。这里有两个必须补的证明。一是 Cauchy 序列有界否则后面定义乘法时 |a_n b_n| 没法控制二是等价类上的运算 well-defined理由是「两个 Cauchy 序列之和仍是 Cauchy 序列」以及「等价类替换后差的极限仍为零」。这两条在习题解答里通常写得比较完整值得照着推一遍因为它们是「实数是一个域」这个结论的全部支撑。2.5 最小上界性质分析学的第一块地基实数集非空且有上界就一定有上确界这条叫最小上界性质是有理数没有而实数有的关键差别。有理数集 {x : x² 2} 有上界但没有有理上确界实数集里它的上确界就是 √2。这条性质的证明思路是从上界集合里构造一个 Cauchy 序列逼近再用实数完备性收口。它的地位极高后面序列极限的存在性、连续函数的最大值原理、Riemann 积分的可积判据全都要回到这条性质上。复习时如果只记「实数完备」四个字遇到「证明单调有界序列收敛」这类题就会无从下手因为标准证法就是取上确界再验证极限。3. 集合、函数与基数习题解答里最容易被跳过的底座集合论那几章在教材里篇幅不长很多人直接跳到实数构造结果在后面遇到「逆象保持交集」「可数集合的并仍可数」时只能凭感觉。这部分习题的特点是证明短、但每一步都要引用公理或定义跳步就会被扣。把这几章的答案过一遍相当于给后面的所有证明做一次语法检查。3.1 集合运算与分离公理把「存在」写清楚集合的基本公理里外延公理最常用A B 当且仅当对任意 xx∈A 与 x∈B 等价。空集、单点集、无序对、并集、交集、差集每个运算的定义都要能写成「x 属于它当且仅当……」。分离公理给出 {x∈A : P(x)}把「满足性质的对象」限制在一个已知集合里这条限制正是为了避免 Russell 悖论。Russell 悖论的构造是如果存在万有集合那么 {x : x∉x} 也会是集合问它是否属于自己两边都矛盾。教材把它列为选读但习题里常考「为什么不能有万有集合」「为什么 {x : xx} 不是集合」。答案的关键不是背悖论而是指出「使用了万有分类公理」而这个公理被分离公理取代了。集合运算的代数律交换、结合、分配、德摩根在习题里出现频率很高证明方式几乎固定展开定义化成命题逻辑用分配律或德摩根律再收回去。写得熟练以后一页能推五六条。这里最容易漏的是差集相关的等式比如 A(B∪C) (A\B)∩(A\C)因为它同时涉及否定和两个量词。3.2 函数、象与逆象单射满射双射的证明套路函数在集合论里的定义是有序对的集合满足单值性若 (x,y) 和 (x,y) 都在 f 里则 yy。这个定义看起来啰嗦但它让「函数相等」变成集合相等后面证复合结合律时直接用外延公理就行。单射、满射、双射的证明套路很固定。证单射就是「设 f(x₁)f(x₂)推出 x₁x₂」证满射就是「任取 y∈Y构造 x∈X 使 f(x)y」。复合保持单射和满射这条要分别证而且方向不能反g∘f 单射推不出 g 单射只能推出 f 单射反例是 g(x)x²、f(x)x。习题解答里这类反例通常会给一个具体函数自己复习时最好能独立再构造一个。象和逆象的区别是另一个高频错点。逆象保持并、交、差象只保持并不保持交。反例很好找f(x)x²A[-1,0]B[0,1]f(A∩B){0}但 f(A)∩f(B)[0,1]。这个反例建议直接记住考场上现想容易慌。3.3 基数、可数与不可数双射是唯一的尺子两个集合基数相等定义为存在双射。有限集的基数就是元素个数无限集则要靠构造双射来比较。自然数集、整数集、有理数集都可数实数集不可数。整数可数的构造是按 0,1,-1,2,-2 排有理数可数靠的是把 a//b 按 |a|b 排序或者画一张二维表沿对角线走。实数不可数用 Cantor 对角线假设能列成 a₁,a₂,…构造一个数其第 n 位与 a_n 的第 n 位不同这个数不在表里矛盾。这部分习题的难点不在结论而在「构造要写完整」。说「显然可数」通常不给分必须写出具体的枚举函数并验证它是双射。另外Cantor 定理说幂集的基数严格大于原集合证明里同样是对角线论证只是把「数位」换成了「属于关系」思路可以复用。3.4 选择公理与序集什么时候可以「任取」选择公理说一族非空集合的笛卡儿积非空。直观理解就是「可以同时从每个集合里挑一个元素」。它在分析里的出场方式很隐蔽比如「取每个 n 对应的 x_n」这种写法如果 n 跑遍无限集且没有统一的选取规则就已经用到了可数选择。序集部分是给 Zorn 引理和后续泛函内容铺路的。偏序、全序、上界、极大元这几个定义要分清楚尤其是「极大元」不是「最大元」极大元只要求没有比它更大的元素不要求它比所有元素都大。习题里常给出一个偏序集让找极大元错答基本都是把极大当成了最大。选择公理、良序定理、Zorn 引理三者等价教材一般只证其中一条链。复习时知道「哪条题用了选择公理」比背等价证明更有用因为分析课里真正要判断的是「这个构造是否允许无限次任意选取」。4. 连续、微分、积分与收敛分析主干的六个模块从第九章开始教材进入大多数人印象里的「真正的分析」极限、连续、导数、积分、一致收敛、测度。这部分习题量大但结构其实很清楚每个模块都是「定义—基本性质—存在性定理—反例」四件套。抓住这个结构答案就不用死记。4.1 连续与一致连续δ 到底依赖谁连续的定义是f 在 x₀ 连续若对每个 ε0存在 δ0使得当 |x−x₀|δ 时 |f(x)−f(x₀)|ε。一致连续把 δ 的位置提前了对每个 ε0存在 δ0使得对所有 x₀ 和所有满足 |x−x₀|δ 的 x都有 |f(x)−f(x₀)|ε。差别只在一个量词的位置后果却很大。1/x 在 (0,1) 上连续但不一致连续因为 x 越靠近 0同样的 ε 需要越小的 δ。x² 在实数集上连续但不一致连续因为 x 越大斜率越大。紧集上的连续函数一定一致连续这条定理是考试常客证明用的是开覆盖加有限子覆盖。连续函数的运算性质和、积、商、复合都要会证其中商要注意分母不为零。最大值原理和介值定理分别依赖紧致性和连通性证明时不要把它们混着用最大值原理靠的是紧集上连续像紧致介值定理靠的是连通集上连续像连通。4.2 微分、中值定理与 LHôpital 法则导数定义为差商的极限f(x₀) lim_{x→x₀, x≠x₀} (f(x)−f(x₀))/(x−x₀)。可微必连续反之不成立|x| 在 0 处是标准反例。求导法则里链法则最容易写错顺序尤其是多层复合。习题解答里通常会画一个变量依赖图虽然教材不画图但自己推的时候在草稿上标一下 ug(x)、yf(u)能省不少事。中值定理是这一章的枢纽f 在 [a,b] 连续、在 (a,b) 可微则存在 c 使 f(c) (f(b)−f(a))/(b−a)。它的证明先把函数搬到「端点值相等」的情形用最大值原理取到极值点再由费马引理得导数为零。LHôpital 法则的证明也是回到中值定理条件是分子分母都趋于零或无穷、导数之比有极限。这部分最容易被忽略的是「中值定理的适用区间」。开区间可微、闭区间连续两个条件缺一不可习题里经常给一个在端点不可微的函数看你是否注意到。4.3 Riemann 积分上下积分夹逼与基本定理Riemann 积分不是「面积」而是上积分和下积分的夹逼。给定分法 P构造逐段常值函数上和取下确界、下和取上确界可积的定义是上积分等于下积分。可积的充分条件有三条常考连续函数可积、单调函数可积、只有有限个间断点的有界函数可积。不可积的标准反例是 Dirichlet 函数有理点取 1、无理点取 0任何分法上积分都是 1、下积分都是 0所以不可积。微积分基本定理分两部分。第一部分f 连续F(x)∫ₐˣ f则 F 可微且 Ff。第二部分F 可微且 F 连续则 ∫ₐᵇ F F(b)−F(a)。两部分的证明方向相反第一部分用积分中值估计第二部分用中值定理加可积性复习时最好分开默写别串成一条。Riemann-Stieltjes 积分把 dx 换成 dα可积性条件更细习题里通常只考「α 单调时哪些性质还成立」把单调性用在哪里搞清楚就够了。4.4 度量空间、紧致与连通度量空间把「距离」抽出来d(x,y)≥0d(x,y)0 当且仅当 xy对称三角不等式。欧氏空间、离散空间、函数空间上的上确界度量都是例子。开球、开集、闭集、内部、闭包、边界这一串定义要能用开球重写。相对拓扑是易混点子集 Y 上的开集不是 X 上的开集而是 X 上开集与 Y 的交。习题里常给一个子集让你判断某集合在相对拓扑下是否开错答基本都忘了取交。紧致性有三种等价说法每个开覆盖有有限子覆盖、每个序列有收敛子序列、完备且完全有界在度量空间里。Heine-Borel 定理说实数中的紧集就是有界闭集这条只在有限维成立习题里如果出现函数空间就不能直接套。连通性定义为不能写成两个非空不交开集之并。连续函数把连通集映成连通集这条和「连续函数把紧集映成紧集」经常成对出现证明方式都是「开集的原象是开集」。4.5 一致收敛、幂级数与 Fourier 级数逐点收敛是「对每个 x存在 N」一致收敛是「存在 N对所有 x」。量词一换结论天差地别连续函数列逐点收敛的极限可以不连续一致收敛的极限一定连续。一致收敛的度量是上确界范数 d∞(f,g)sup|f−g|在这个度量下讨论收敛很多命题就变成度量空间里的普通命题。Weierstrass M 判别法若 |f_n(x)|≤M_n 且 ΣM_n 收敛则 Σf_n 一致收敛。用的时候要先找 M_n再验证数项级数收敛两步都不能省。一致收敛与积分可以交换f_n 一致收敛到 f则 ∫f_n → ∫f。一致收敛与导数不能直接交换需要导数序列本身一致收敛而且原序列至少在一个点收敛。这个条件在习题里经常被漏答案写「一致收敛所以可以逐项求导」基本必错。幂级数的收敛半径由 limsup |a_n|^{1/n} 给出Abel 定理处理边界点的收敛性。Fourier 级数部分的核心是内积和正交性Plancherel 定理说的是 L² 范数相等证明靠三角多项式逼近思路和 Weierstrass 逼近定理一脉相承。4.6 多元微分与 Lebesgue 测度积分多元导数是线性映射不是数。Df(x₀) 满足 lim_{h→0} |f(x₀h)−f(x₀)−Df(x₀)h|/|h| 0这个定义里 h 是向量Df(x₀) 是矩阵。偏导数和方向导数都存在推不出可微标准反例是 (xy)/(x²y²) 那类函数。Clairaut 定理说二阶偏导连续时可以交换求导顺序条件是「连续」不是「存在」。压缩映射定理用于证明反函数定理和隐函数定理核心是构造一个压缩映射再取不动点证明里那个常数小于 1 的条件不能丢。Lebesgue 测度从外测度开始m*(E) 是所有覆盖区间长度和的下确界。外测度不是可加的所以要把集合限制到「可测」这一类上用 Carathéodory 条件判断。可测函数是开集的原象可测简单函数积分从示性函数推广单调收敛定理、Fatou 引理、控制收敛定理是三大工具用的时候要注意「非负」和「可积控制」这两个前提。5. 易漏点实分析习题里最容易翻车的五个地方批改和对照答案时最扎心的不是不会做而是「以为自己做对了」。下面五个地方在习题解答里出现频率极高每一个都能独立毁掉一道 20 分的题。把它们单独列出来是因为它们不属于任何一个章节而是贯穿整本书的坏习惯。5.1 量词顺序ε-N 与 ε-δ 写反易漏点把「对每个 ε0存在 N对所有 n≥N」写成「存在 N对每个 ε0对所有 n≥N」。为什么漏中文语序里「存在」和「任意」读起来都顺写的时候凭语感排不凭逻辑排。而且很多证明前半段确实先取 ε后半段才找 N写着写着位置就颠倒了。怎么补每写一个极限定义先在草稿上画量词块用括号把依赖关系标出来比如 ∀ε0 ∃N(ε) ∀n≥N。写完后再问一句「N 能不能依赖 ε」能依赖就是收敛不能依赖就是更強的结论。这个检查动作花十秒能挡掉一大半错误。5.2 等价类与循环论证易漏点用 Cauchy 序列的极限来定义实数或者用有理数的上确界来证实数的最小上界性质。为什么漏实数构造这一章的目标就是「造出极限」但人的直觉里 √2 早就是数了写证明时不知不觉就把结论当前提用了。等价类运算的 well-defined 也常被跳过因为「换个代表元结果一样」看起来太自然。怎么补把「目前允许使用的对象」写在纸的顶端只有有理数和 Cauchy 序列凡是出现「极限」「上确界」的字样都要停下来问是不是已经证过。等价类的每条运算定义后面强制加一句「与代表元选取无关因为……」这个句式能逼自己把验证补上。5.3 一致连续被当成连续易漏点看到「连续函数」就默认一致连续或者反过来看到「紧集上连续」还去证一致连续之外的东西。为什么漏两个定义只差一个量词位置读题时容易滑过去。而且很多常见函数多项式、指数在紧集上确实一致连续做多了会产生错觉。怎么补准备两个反例随时能写出来——1/x 在 (0,1) 上连续非一致连续x² 在实数上连续非一致连续。判断一致连续时先看定义域是不是紧的不紧就去找「x 越靠近某点、δ 越被压小」的结构。这个检查顺序固定下来比背结论可靠。5.4 一致收敛与导数、积分交换次序易漏点认为函数列一致收敛就可以逐项求导或逐项积分。为什么漏积分那条确实成立导数那条不成立两条定理挨着出现记忆时容易合并成一条。而且很多教材例题里函数列既一致收敛又导数一致收敛看起来像是「一致收敛就够了」。怎么补把两条定理的条件并排写在一张卡片上。积分交换一致收敛即可。导数交换导数序列一致收敛且原序列至少一点收敛。再补一个反例f_n(x)sin(nx)/n 一致收敛到 0本文还有配套的精品资源点击获取
