简介：这份资料是Folland《Real Analysis》教材的英文习题解答，面向高校数学专业学生与自学者，用于配合原书逐节练习、核对证明思路，尤其适合实分析入门阶段巩固测度与积分理论。压缩包内共1个PDF文件，约549KB，按章节整理为部分习题解答，涵盖测度、积分、符号测度与微分、点集拓扑、泛函分析初步、Lp空间、Radon测度、Fourier分析与分布理论等模块，每道题给出证明或证明思路，如测度构造、不可数族上确界的可测性、单调函数的Borel可测性及Cantor函数相关结论。已有2256人学习，可帮助读者对照原书习题检验理解、梳理证明框架并查漏补缺。
1. 实分析复习地图：从测度到广义函数的九章骨架
实分析这门课最反直觉的地方在于：教材读起来每句话都懂，合上书却连第一步该往哪走都不知道。Folland 的《Real Analysis》正是典型——定义、定理、习题都写得干净利落，但习题往往要求你把整章的概念串起来用，单看某一节根本做不动。这份英文版部分习题解答覆盖第 1 到第 9 章，从测度、积分一路铺到 Lp 空间、Radon 测度、Fourier 分析与分布论，等于把整门课的知识骨架按章节钉了一遍。它适合正在系统学实分析、或者期末与资格考试前需要查漏补缺的人：你拿到的不是零散答案，而是一张能对照自己推导、定位卡点的地图。下面按模块把重点、难点和最容易翻车的地方逐层拆开。
2. 测度与积分：从 μ_E 构造到控制收敛的复习重点
前两章是整个实分析的地基，几乎所有后续章节的证明都在反复调用这里的工具：测度的可数可加性、可测函数的构造、单调收敛与控制收敛。解答里第 1 章只给了一道题（1.10），第 2 章却密集覆盖了 2.6 到 2.43，这个分布本身就说明：积分部分的习题才是真正的分水岭。
2.1 测度的构造与验证：μ_E 这类题在考什么
Folland 1.10 要求验证 μ_E(A) = μ(A ∪ E) 仍是测度。这类题看着简单，实际考的是测度三条件的完整书写：空集取值为零、非负性、可数可加性。解答的关键一步是把 μ(E ∪ ⋃A_i) 拆成 ⋃(A_i ∪ E) 再用 μ 的可数可加性，注意这里默认了各 A_i ∪ E 互不相交——严格写时要先做不交化处理，否则直接套可数可加性是错的。这是第一个容易含糊过去的点。
梳理下来会发现，第 1 章的习题量少但每道都是「定义级」的：你必须在没有定理可借的情况下，纯靠定义把结论推出来。复习时建议把测度的三条性质默写一遍，再对照解答看自己漏了哪条。
2.2 可测性判定的三条主线
第 2 章前半段（2.6、2.7、2.8、2.11）集中处理「什么函数可测」。可以归成三条主线：
| 主线 | 代表题 | 核心手法 | 结论方向 |
|---|---|---|---|
| 上确界破坏可测性 | 2.6 | 取不可测集 A，构造 χ_A 作为不可数上确界 | 不可数族的上确界未必可测 |
| 单调函数必 Borel 可测 | 2.8 | 证 f⁻¹([a,∞)) 是区间 | 单调 ⇒ Borel 可测 |
| 逐变量连续 ⇒ 联合可测 | 2.11 | 用分段线性插值 f_n → f | 每个变量分别连续则 Borel 可测 |
2.6 是很多人第一次意识到「可测性对极限运算不封闭」的地方：χ_A 每个都可测，取上确界就翻车。2.11 的构造值得单独记：对 x 做 i/n 的网格划分，用相邻格点值线性插值，得到一列 Borel 可测的 f_n 逐点收敛到 f。这个「先离散化再取极限」的套路在后面章节反复出现。
2.3 收敛性辨析：一致收敛、依测度收敛与 L1 收敛
第 2 章后半段是全章最难的部分，四道题构成一张收敛关系网：
- 2.19：μ(X) < ∞ 时一致收敛可推出 L1 收敛与积分收敛；μ(X) = ∞ 时反例是 f_n = (1/n)χ_[−n,n]，一致收敛到 0 但积分恒为 2。
- 2.21：f_n → f a.e. 且 f_n, f ∈ L1 时，∫|f_n − f| → 0 等价于 ∫|f_n| → ∫|f|。证明靠的是 |f_n| + |f| → 2|f| 加控制收敛。
- 2.32：ρ(f,g) = ∫ |f−g|/(1+|f−g|) dμ 是度量，且 ρ 收敛等价于依测度收敛。三角不等式那步要通分比较，是纯计算硬功夫。
- 2.34：|f_n| ≤ g ∈ L1 且 f_n → f 依测度，则 f_n → f 在 L1。证明用「子列 a.e. 收敛 + 反证法」：若整列不 L1 收敛，抽出坏子列，再抽 a.e. 收敛子列，用控制收敛得矛盾。
提示：2.34 的「抽子列再反证」是实分析里最高频的证明模板之一，务必能默写完整逻辑链，而不是只记住结论。
2.4 依测度收敛的运算封闭性
2.38 分两部分：加法在依测度收敛下封闭，证明用 {|f_n+g_n−(f+g)| ≥ ε} ⊂ {|f_n−f| ≥ ε/2} ∪ {|g_n−g| ≥ ε/2} 做集合包含估计；乘法在 μ(X) < ∞ 时封闭，靠一个技术引理「f_n → f 依测度 ⇒ f_n² → f² 依测度」，再借 (f_n+g_n)² 展开反推 f_n g_n。μ(X) = ∞ 时反例是 f_n = g_n = x + (1/n)χ_[n,n+1)，在 [n, n+1) 上乘积比 fg 多出至少 2，不依测度收敛。这道题最容易错在以为乘法无条件封闭——有限测度这个条件是硬的。
3. 符号测度、微分与点集拓扑：Hahn 分解与 Riesz 表示的衔接
第 3、4 章是从「积分」走向「结构」的过渡带：符号测度要求你把正负部分开，微分理论把测度与函数挂钩，点集拓扑则为第 5 章泛函分析铺路。解答在这两章覆盖的题量适中，但每道都踩在概念衔接处。
3.1 符号测度：正负部分与 Hahn 分解的复习要点
符号测度一章的核心是把一个取值为实数的集函数拆成两个非负测度之差。复习时要能回答三个问题：Hahn 分解定理保证正集与负集的存在性，但分解不唯一；Jordan 分解 ν = ν⁺ − ν⁻ 是唯一的，且 |ν| = ν⁺ + ν⁻；绝对连续与相互奇异的关系决定了 Radon–Nikodym 导数是否存在。解答里对应的证明通常先构造「最大正集」，再用测度的可数可加性验证剩余部分是负集。最容易含糊的是「正集」的定义方向：A 是正集指对任意可测子集 B ⊂ A 都有 ν(B) ≥ 0，而不是 ν(A) ≥ 0 就够。
3.2 微分理论：从平均算子到 Lebesgue 微分定理
微分部分的主线是：局部平均能否收敛回函数本身。Lebesgue 微分定理说 L1 函数的局部平均在 a.e. 点收敛到函数值，证明依赖 Hardy–Littlewood 极大函数的弱 (1,1) 估计。复习时把链条理清：极大不等式 → 弱型估计 → 稠密性论证 → a.e. 收敛。解答里相关习题往往要求你先证极大算子的弱型界，再推微分定理，顺序不能反。这里最容易翻车的是把「a.e. 收敛」误记成「处处收敛」——反例在 Cantor 型构造里很常见。
3.3 点集拓扑：为泛函分析准备的四件工具
第 4 章点集拓扑在实分析课里不是独立目标，而是为第 5 章服务。真正要带走的是四件工具：紧性（有限子覆盖）、Hausdorff 分离、Urysohn 引理、以及局部紧 Hausdorff 空间上的连续函数空间结构。解答里拓扑题的证明风格和前面不同——更多是「构造开集」而非「估计测度」。复习时注意区分：紧集上连续函数必有界且取到极值，这条在一般拓扑空间不成立，必须 Hausdorff 加紧。梳理下来会发现，第 4 章的习题量不大，但每道都在为 Riesz 表示定理的陈述做铺垫，跳过它直接看第 5 章会卡在「为什么需要局部紧」这个问题上。
4. 泛函分析、Lp 空间与 Radon 测度：三大定理与对偶结构
第 5 到 7 章是整份解答里技术密度最高的部分：泛函分析的三大定理（Hahn–Banach、开映射、闭图像）、Lp 空间的对偶与完备性、Radon 测度的 Riesz 表示。这三章的共同点是「抽象结论 + 具体验证」，习题往往要求你在抽象定理和具体空间之间来回翻译。
4.1 三大定理的适用条件对照
| 定理 | 前提条件 | 结论 | 常见误用 |
|---|---|---|---|
| Hahn–Banach | 线性空间 + 次线性泛函控制 | 泛函可延拓且保范 | 误以为延拓唯一 |
| 开映射定理 | Banach 空间间有界满射 | 开集映为开集 | 漏掉「满射」或「完备」 |
| 闭图像定理 | Banach 空间间线性算子图像闭 | 算子有界 | 把「图像闭」当成「连续」的充分条件而不查完备性 |
这三条定理的证明在解答里通常只给思路，但考试要求你能复述关键步骤：Hahn–Banach 用 Zorn 引理做极大延拓；开映射定理靠 Baire 纲定理；闭图像定理把图像当作 Banach 空间再用开映射。最容易错的是条件记忆——闭图像定理要求定义域和值域都是 Banach 空间，缺一个结论就不成立。
4.2 Lp 空间：完备性、对偶与收敛模式
第 6 章的核心结论是 Lp（1 ≤ p ≤ ∞）是 Banach 空间，1 < p < ∞ 时对偶是 Lq（1/p + 1/q = 1）。复习重点有三个：Riesz–Fischer 定理保证 Lp 完备；Hölder 与 Minkowski 不等式是几乎所有估计的工具；Lp 收敛与依测度收敛、a.e. 收敛的关系要能画成一张图。解答里相关习题常要求证明「Lp 收敛 ⇒ 依测度收敛」以及反向在什么条件下成立（需要控制函数）。这里最容易漏的是 p = ∞ 的单独处理：L∞ 的对偶不是 L1，而是包含更多元素的抽象空间，很多人在这一步想当然。
4.3 Radon 测度与 Riesz 表示：局部紧空间上的对偶
第 7 章把前面所有工具收束到 Riesz 表示定理：局部紧 Hausdorff 空间上，紧支连续函数空间 C_c(X) 上的正线性泛函对应唯一的 Radon 测度。证明分三步：先用 Urysohn 引理构造测试函数、再定义外测度、最后验证可数可加性。复习时把这三步和「为什么需要局部紧」绑在一起记——没有局部紧，Urysohn 引理给不出足够的测试函数，构造就断了。解答里这部分的习题往往要求你具体算某个泛函对应的测度，属于「抽象定理落地」的典型训练。
5. Fourier 分析与分布论：从变换到广义函数的最后一公里
第 8、9 章是整本书的技术高峰：Fourier 分析要求你在 L1 与 L2 之间切换，分布论则把「函数」这个概念本身推广掉。解答在这两章覆盖的题量相对少，但每道都要求前面的积分与 Lp 工具全部到位。
5.1 Fourier 变换：L1 与 L2 上的两套逻辑
Fourier 变换在 L1 上由积分定义，Riemann–Lebesgue 引理保证变换后函数连续且趋于零；在 L2 上则靠 Plancherel 定理延拓成等距同构。复习时要分清两条路径的证明工具：L1 路径用控制收敛与稠密性，L2 路径用 L1 ∩ L2 上的稠密性和等距性延拓。最容易错的是把 L1 上的逐点积分公式直接搬到 L2——L2 函数未必可积，变换只能作为极限定义。解答里相关习题常要求验证某个具体函数的变换或反演公式，计算量大但套路固定：先算 L1 情形，再用稠密性推广。
5.2 分布论：弱导数与广义函数的运算规则
分布论的核心是把函数看成作用于测试函数空间上的连续线性泛函。复习要点：分布的导数由「分部积分搬符号」定义，即 ⟨T', φ⟩ = −⟨T, φ'⟩；每个局部可积函数对应一个分布；弱导数存在则几乎处处唯一。解答里这部分的习题通常要求计算某个不连续函数（如阶跃函数）的分布导数，答案是 δ 函数——这类计算的关键是严格按定义走一遍分部积分，而不是凭直觉写结果。梳理下来会发现，分布论把前面所有「a.e. 相等」「可积性」的讨论统一成了泛函语言，是整门课概念密度最高的一章。
6. 查漏补缺：一份可执行的实分析复习清单
复习到这一步，真正决定分数的不再是「看过多少题」，而是「哪些概念你以为懂了其实没懂」。下面这份清单按「自检问题 → 对应章节 → 补法」组织，建议每项先合上书自答，答不上再翻解答对照。
| 自检问题 | 对应章节 | 补法 |
|---|---|---|
| 测度三条件能否不看书写全？ | 第 1 章 | 默写定义，对照 1.10 检查不交化步骤 |
| 不可数上确界为何破坏可测性？ | 2.6 | 复现 χ_A 构造，说清哪一步用到 A 不可测 |
| 一致收敛推 L1 收敛为何需要有限测度？ | 2.19 | 手写 f_n = (1/n)χ_[−n,n] 反例 |
| 「抽子列 + 反证」模板能否默写？ | 2.34 | 不看解答完整写一遍矛盾链 |
| 乘法依测度收敛的有限测度条件能否举反例？ | 2.38 | 复现 [n, n+1) 上的构造 |
| Hahn 分解与 Jordan 分解的区别？ | 第 3 章 | 各写一句定义，标出唯一性差异 |
| 三大定理的前提条件能否逐条列出？ | 第 5 章 | 用上面的对照表自测，重点查「完备」和「满射」 |
| L∞ 的对偶为何不是 L1？ | 第 6 章 | 回到对偶定义，说明 L1 不够大 |
| Riesz 表示为何需要局部紧？ | 第 7 章 | 把 Urysohn 引理在证明中的位置标出来 |
| 阶跃函数的分布导数怎么算？ | 第 9 章 | 严格按 ⟨T', φ⟩ = −⟨T, φ'⟩ 走一遍 |
具体执行上，我自己的习惯是三轮：第一轮按章节顺序把解答当「对照答案」用，每道题先自己写证明骨架再比对，差异处用红笔标；第二轮只做上面清单里的自检问题，答不上的回对应章节补；第三轮挑第 2、5、9 章各一道综合题限时重做，因为这三章分别代表「积分工具」「抽象定理」「概念推广」三种最常考的题型。血泪经验是：第 2 章的收敛关系网如果第一轮没理清，后面 Lp 和 Fourier 会连环翻车，所以宁可在这里多花两天。
最容易忽略的是解答本身的定位——它是「部分解答」，不是标准答案全集，有些题只给证明思路（比如 2.7 的 f(x) := inf{α : x ∈ E_α}），你需要自己把细节补完才算真会。从那以后我每次复习实分析，都强制自己先合上解答写一遍骨架，再逐行对照，哪怕写得慢也不跳步。希望这份地图帮到你。
本文还有配套的精品资源，点击获取
