简介：本资源是《Folland Real Analysis》英文原版教材的配套习题解答集，面向高校数学专业本科生、研究生及实分析自学者，专为解决课后习题无参考答案、证明思路难梳理等学习痛点而整理。全包仅含1个PDF文件（549KB），内容覆盖第1章测度、第2章积分、第3章带号测度与微分等核心章节的精选习题详解，包括Folland 1.10测度定义验证、2.6不可测上确界反例、2.7可测函数构造、2.8单调函数Borel可测性证明等典型题目，每题均含严谨推导与关键注释。解答由UCLA实分析课程学习者同步整理，附有清晰章节索引与符号说明，便于对照教材逐节研读、检验理解、夯实基础。目前已有2256人下载学习，是实分析初学者系统训练证明能力、深化概念认知的高实用性参考资料。

1. Folland实分析答案：不是“抄作业指南”，而是实分析学习路上的「思维校准器」

你有没有过这种体验？翻开《Folland实分析》，第一页就写着“设 $(X, \mathcal{M}, \mu)$ 是一个测度空间”——字都认识，连起来却像在读密码；课后习题里一道看似简单的“证明 $\mu_E$ 是测度”，你写了半页，回头一看定义漏了可数可加性条件；考试前翻笔记，发现“绝对连续”“奇异分解”“Radon-Nikodym导数”这些词像一串彼此咬合又打滑的齿轮，转得飞快，却没带动任何理解。这不是你不够努力，而是实分析这门课，天生就拒绝“只看不练、只记不思”的学法。它不像微积分有大量直觉图像，也不像线性代数有矩阵运算的确定路径；它的力量藏在定义的毫厘之间，差一点，整个推理大厦就塌一角。

这时候，一份靠谱的Folland实分析答案，根本不是让你跳过思考的“快捷键”，而是一面高精度的“思维校准镜”：它不替你动笔，但当你卡在“为什么这里要用单调类定理？”“这个集合列为什么能保证可测？”“反例构造到底要堵住哪个漏洞？”时，它用清晰的逻辑链告诉你——真正的严谨长什么样。它帮你把模糊的“好像对”变成确定的“必须这样”，把“老师讲过”变成“我亲手验证过”。尤其对自学或跨专业入门的同学，这份答案的价值，远不止于核对结果；它是你在抽象森林里反复迷路后，突然看见的一条被踩实的小径——脚印未必是你的，但方向一定是对的。别把它当答案册，把它当一位沉默却从不敷衍的同行者。

2. 它到底是什么：一份“部分解答”为何值得你郑重对待？

2.1 不是全本答案，而是“关键节点的思维锚点”

先破除一个常见误解：这份资源标题里的“Partial Solutions”（部分解答）是刻意为之，绝非偷工减料。它覆盖了Folland教材中从第一章测度到第九章分布理论共九章的核心习题，但并非每道题都给出完整推演。它的筛选逻辑非常务实：重点落在那些概念转折点、证明方法典型题、易错陷阱密集区上。比如：

• 第一章的Folland 1.10（定义新测度 $\mu_E$ 并验证其性质），表面是定义套用，实则逼你直面“测度三公理”中可数可加性的严格操作——稍不注意，就会把 $\mu(A_i \cap E)$ 错写成 $\mu(A_i) \cap \mu(E)$ 这种类型错误；
• 第二章的Folland 2.6（不可数族上确界未必可测），用一个精巧的反例（利用非Lebesgue可测集 $A$ 构造函数族 $f_x = \chi_{{x}}$）击穿“上确界保可测”的直觉幻觉；
• 第二章的Folland 2.9（Cantor函数相关命题），四小问层层递进：从构造双射 $g(x)=f(x)+x$，到计算像集测度 $m(g(C))=1$，再到导出“Lebesgue可测但非Borel集”的存在性——它把实分析最震撼的结论之一，拆解成你能一步步踩实的台阶。

提示：所谓“部分”，是指它不追求题题俱全，而是确保每个入选题目都成为你理解该章节核心思想的“支点”。你不需要靠它做完所有题，但需要靠它真正搞懂“为什么这道题必须这么解”。

2.2 作者背景赋予它独特的“教学感”与“实战感”

这份答案由一位当时正在UCLA修读研究生实分析课程的学习者（Zhengjun Liang）在学习过程中同步整理完成。这个背景至关重要——它意味着内容天然带有两种珍贵特质：

• 教学感：作者清楚记得自己初学时的卡点。比如在Folland 2.7（构造满足层叠条件的可测函数）的证明思路中，他没有直接抛出 $f(x) := \inf{\alpha : x \in E_\alpha}$ 这个神来之笔，而是用“Proof Sketch”（证明思路）引导你思考：“这个下确界定义，如何自然地满足 $f(x) \leq \alpha$ 在 $E_\alpha$ 上？又如何保证可测性？” 这种写法，像一位坐在你旁边的学长，在草稿纸上边写边说：“你看，如果我们想让函数值‘贴着’集合族变化，下确界是不是最顺手的工具？”

• 实战感：所有解答都经过真实课堂检验。例如Folland 2.32（用 $\rho(f,g)=\int \frac{|f-g|}{1+|f-g|}d\mu$ 定义收敛度量），证明中不仅验证三角不等式，更关键的是明确指出“识别a.e.相等函数”是构成度量空间的前提，并用两段清晰论证分别处理“收敛于度量 $\Leftrightarrow$ 收敛于测度”的双向逻辑。这不是教科书式的完美复述，而是经历过作业批改、助教答疑、期中考试后的经验沉淀。

2.3 内容结构：按教材章节编排，形成“学-练-校”闭环

整份答案严格遵循Folland原书的九章结构，每一章内部再按习题编号组织。这种设计不是为了方便查找，而是构建一个与教材完全同步的学习回路：

这种结构让答案不再是孤立的“结果”，而成为你阅读教材时手边的“活页笔记”，随时可撕下一页，贴在对应章节旁。

3. 它为什么存在：直面实分析学习的三大“不可言说之痛”

3.1 痛点一：定义抽象如雾，习题是唯一穿透它的光

实分析的定义，常以极致的简洁包裹极致的重量。比如“测度”仅三条公理，但每一条都在挑战你对“大小”的日常认知：空集测度为0，是为排除荒谬；可数可加性，是为兼容无限分割；非负性，是为拒绝“负长度”。这些定义本身不提供直觉，它们像一组精密的锁具，而习题就是唯一能让你亲手转动钥匙、听见“咔哒”一声的实践机会。

Folland的习题设计深谙此道。以Folland 1.10为例，它不让你证明一个凭空而来的测度，而是给你一个具体构造 $\mu_E(A) = \mu(A \cap E)$，逼你追问：这个新规则是否尊重旧规则？当你尝试验证 $\mu_E(\emptyset)=0$ 时，你被迫回到 $\mu(\emptyset \cap E) = \mu(\emptyset)$，从而重温“空集与任何集合交仍是空集”这一集合论基本事实；当你处理可数可加性时，你不得不写下 $\mu_E(\bigcup A_i) = \mu((\bigcup A_i) \cap E)$，再利用分配律转化为 $\mu(\bigcup (A_i \cap E))$，最后调用 $\mu$ 的可数可加性——这一连串操作，把“测度”二字从纸面符号，锻造成你肌肉记忆里的动作序列。这份答案的价值，正在于它忠实记录了这个锻造过程中的每一个关键锤点。

3.2 痛点二：证明方法隐形，高手只展示成品，不展示草稿

很多同学觉得“看懂了答案，自己还是写不出”，根源在于标准教材和课堂板书只呈现证明的“终稿”，而隐藏了最关键的“草稿思维”。比如Folland 2.8（单调函数必为Borel可测），标准证明一句带过：“$f^{-1}([a,\infty))$ 是区间，故Borel”。但初学者会懵：为什么是区间？怎么就“故”Borel了？这个“故”字背后，是省略了至少三步：

1. 目标锁定：Borel可测的定义是“原像为Borel集”，而Borel集包含所有区间，所以只要证原像是区间即可；
2. 结构洞察：单调增函数的图像“只向右上方走”，那么所有函数值 $\geq a$ 的输入点，必然构成一个“从某点开始向右延伸”的集合；
3. 边界确认：设 $x_0 = \inf{x: f(x)\geq a}$，则根据单调性，$f^{-1}([a,\infty))$ 只能是 $[x_0,\infty)$、$(x_0,\infty)$、$[x_0,\infty)$ 或 $(x_0,\infty)$ 四种之一——无论哪种，都是Borel集。

这份答案的珍贵之处，在于它常常保留这种“草稿感”。在Folland 2.8的证明中，它没有直接断言“是区间”，而是写出：“Given $x,y \in f^{-1}([a,\infty))$, for any $z \in [x,y]$, since $f$ is monotone, $f(z) \in [f(x),f(y)]$ and thus $z \in f^{-1}([a,\infty))$”，这句话直指核心：区间性源于单调性对中间值的“保序捕获”能力。它不替你思考，但为你点亮思考的探照灯。

3.3 痛点三：反例难造，而它是理解“为什么不能”的唯一桥梁

实分析中，摧毁一个错误猜想，往往比证明一个正确命题更深刻。Folland 2.6（不可数族上确界未必可测）就是典范。学生容易想当然认为：“可测函数的上确界，应该还是可测的吧？”——这个直觉在可数族下成立（因为可数并保持可测），但面对不可数族就崩塌了。而崩塌的现场，需要一个精妙的反例。

这份答案提供的反例，堪称教科书级：

# 伪代码示意，非实际运行 X = R # 实数集 M = L # Lebesgue可测集族（已知存在非Lebesgue可测集 A ⊂ R） for each x in R: f_x(y) = 1 if y == x else 0 # 即 f_x = χ_{x}，单点指示函数 f = sup_{x in A} f_x # 对非可测集A取上确界 # 则 f(y) = 1 当且仅当 y ∈ A，即 f = χ_A # 而 χ_A 不可测，因为 {y: χ_A(y) ≥ 1} = A ∉ L

这个构造的精妙在于：它用最简单的可测函数（单点指示函数，显然可测），通过一个“不可测的索引集 $A$”，生成了一个不可测的上确界。它像一把手术刀，精准切开“可测性”与“集合运算”之间的脆弱连接。没有这样的反例，你永远无法真正理解“可数”与“不可数”在测度论中那道不可逾越的鸿沟。而这份答案，正是那个为你稳稳握着刀柄的人。

4. 常见误区与易混概念：别让这些“看起来很像”的坑绊倒你

4.1 易混点一：$\mu_E(A) = \mu(A \cap E)$ vs. $\mu_E(A) = \mu(A \cup E)$ —— 一个符号之差，本质天壤

• 为什么混？初学者看到“定义新测度 $\mu_E$”，第一反应是“把 $E$ 加进去”，容易想当然写成 $\mu(A \cup E)$。尤其当 $E$ 被描述为“某个固定集合”时，这种直觉更强。
• 本质区别：
  • $\mu_E(A) = \mu(A \cap E)$：这是限制测度（Restriction），它只关心 $A$ 中属于 $E$ 的那部分“大小”。它天然满足测度公理，因为 $A \cap E$ 仍是 $\mathcal{M}$ 中的集合，$\mu$ 的性质可直接迁移。Folland 1.10 正是此定义。
  • $\mu_E(A) = \mu(A \cup E)$：这不是测度！它严重违反非负性与可数可加性。例如，取 $A_1 = E, A_2 = \emptyset$，则 $\mu_E(A_1 \cup A_2) = \mu(E \cup \emptyset) = \mu(E)$，但 $\mu_E(A_1) + \mu_E(A_2) = \mu(E \cup E) + \mu(\emptyset \cup E) = \mu(E) + \mu(E) = 2\mu(E)$，除非 $\mu(E)=0$，否则不等。
• 怎么区分？牢记定义目的：限制测度是为了“聚焦于子集 $E$ 上的行为”，所以只取交；而“并”会无端放大 $A$ 的大小，破坏测度的内在一致性。看到 $\mu_E$，第一反应应是查原文定义，而非凭空脑补。

4.2 易混点二：Borel可测 vs. Lebesgue可测 —— “谁管得更宽”，决定了你能走多远

• 为什么混？两者都叫“可测”，教材中常交替出现，且Borel集是Lebesgue可测集的子集，容易让人误以为只是“范围大小”问题。
• 本质区别：

  特征	Borel可测	Lebesgue可测
  定义基础	$\sigma$-代数 $\mathcal{B}$（由开集生成）	$\sigma$-代数 $\mathcal{L}$（由 $\mathcal{B}$ 添加所有零测集的子集生成）
  关键性质	所有连续函数都是Borel可测的	Lebesgue测度是完备的（complete），即：若 $N$ 是零测集，$B \subset N$，则 $B \in \mathcal{L}$
  致命差异	存在Lebesgue可测但非Borel的集合（如Folland 2.9(c)中 $B = g^{-1}(A)$）	存在Borel可测函数与连续函数的复合，结果不是Lebesgue可测的（Folland 2.9(d)中 $F \circ G$）

• 怎么区分？记住一个口诀：“Borel是‘官方认证’，Lebesgue是‘民间扩容’”。Borel集是数学家们用开集“合法建造”的；Lebesgue集则是在此基础上，把所有“看不见的灰尘”（零测集的子集）也纳入管理。当你看到“$f$ 是Lebesgue可测”，要立刻警觉：它可能在Borel框架下“不合法”，但因测度完备性而被赦免。

4.3 易混点三：几乎处处收敛（a.e.） vs. 测度收敛（in measure） —— “失效点”的分布方式决定一切

• 为什么混？两者都描述“函数列趋近于极限函数”，且Folland 2.32明确指出它们可通过一个度量 $\rho$ 等价。但等价不等于相同，它们的失效模式截然不同。
• 本质区别：
  • a.e.收敛：失效点集 $N = {x: f_n(x) \nrightarrow f(x)}$ 的测度为0。但 $N$ 本身可以很“稠密”，比如有理数集（测度0，但在实数中稠密）。它关注失效点的“总量”。
  • 测度收敛：对任意 $\epsilon > 0$，失效区域 $E_n^\epsilon = {x: |f_n(x)-f(x)| \geq \epsilon}$ 的测度 $\mu(E_n^\epsilon) \to 0$。但 $E_n^\epsilon$ 可以在空间中“乱窜”，今天在$[0,1]$，明天在$[100,101]$。它关注失效区域的“面积”。
• 怎么区分？想象一个“移动的尖峰”：$f_n(x) = n \cdot \chi_{[0,1/n]}(x)$。它在 $[0,1]$ 上积分恒为1，但峰值越来越高、底座越来越窄。
  • 它不a.e.收敛于0：因为在 $x=0$ 处，$f_n(0)=n \to \infty$，且 $x=0$ 是单点，测度0，所以其实它是a.e.收敛于0的（失效点只有 $x=0$）。
  • 更好的例子是 $f_n(x) = \chi_{[n,n+1]}(x)$：它在实数轴上，每次把高度为1的方块向右平移。对任意固定 $x$，当 $n>x$ 后，$f_n(x)=0$，所以 $f_n \to 0$ a.e.；但 $\mu({x: |f_n(x)-0| \geq 0.5}) = \mu([n,n+1]) = 1$，不趋于0，所以不测度收敛。这说明：a.e.收敛允许失效区域“逃逸到无穷”，而测度收敛要求失效区域的“体积”必须坍缩。

4.4 易混点四：$L^1$ 收敛 vs. 一致收敛（uniform convergence） —— “控制权”在谁手里？

• 为什么混？Folland 2.19明确讨论了“一致收敛能否推出 $L^1$ 收敛”，初学者易将二者等同，尤其当函数定义在有限测度空间时。
• 本质区别：
  • 一致收敛：控制权在函数值本身。$\forall \epsilon > 0, \exists N, \forall n>N, \forall x, |f_n(x)-f(x)| < \epsilon$。它要求所有点上的误差同时变小。
  • $L^1$ 收敛：控制权在积分平均。$\int |f_n - f| d\mu \to 0$。它允许个别点误差很大，只要这些点的“权重”（测度）足够小。
• 怎么区分？关键看空间测度是否有限：
  • 若 $\mu(X) < \infty$（如 $[0,1]$），则一致收敛 $\implies L^1$ 收敛（Folland 2.19(a)），因为 $\int |f_n-f| \leq \epsilon \cdot \mu(X)$。
  • 若 $\mu(X) = \infty$（如 $\mathbb{R}$），则一致收敛不能保证 $L^1$ 收敛。Folland 2.19(b)的反例 $f_n = \frac{1}{n}\chi_{[-n,n]}$：它一致收敛于0（$\sup |f_n| = 1/n \to 0$），但 $\int |f_n| = \frac{1}{n} \cdot 2n = 2$，不趋于0。这揭示了本质：$L^1$ 收敛需要“误差”不仅小，还要被有限的“舞台”所约束。

5. 它能解决什么：从“学不会”到“用得上”的四重跃迁

5.1 跃迁一：从“被动接受定义”到“主动验证定义”

实分析的起点是定义，但终点不是背诵定义，而是让定义在你手中活起来。这份答案最基础也最强大的功能，就是把你从“听老师讲定义”的观众，变成“亲手用定义干活”的工匠。

以Folland 2.32中度量 $\rho(f,g)=\int \frac{|f-g|}{1+|f-g|}d\mu$ 为例。教材可能只告诉你“这是一个度量”，但你真正掌握它，需要回答：

• 为什么分母加1？答案：保证被积函数有界（$\leq 1$），从而积分一定存在，即使 $|f-g|$ 无界。
• 为什么这个形式能刻画“测度收敛”？答案：因为 $\frac{|f-g|}{1+|f-g|} \approx |f-g|$ 当 $|f-g|$ 很小时，而 $\approx 1$ 当 $|f-g|$ 很大时。所以积分值主要由“大误差区域”的测度决定，这正是测度收敛的精髓。
• “识别a.e.相等函数”为何是前提？答案：若 $f=g$ a.e.，则被积函数几乎处处为0，故 $\rho(f,g)=0$；反之，若 $\rho(f,g)=0$，因被积函数 $\geq 0$，必有 $\frac{|f-g|}{1+|f-g|}=0$ a.e.，即 $|f-g|=0$ a.e.，故 $f=g$ a.e.。这保证了 $\rho$ 是良定义的度量（正定性）。

当你跟着答案，一步步验证 $\rho$ 满足非负性、对称性、三角不等式，并最终理解它与测度收敛的等价性时，你不再把“度量”当作一个名词，而是一个你可以拆解、调试、甚至修改的工具。这种能力，是应付任何后续课程（如泛函分析、概率论）的底层肌肉。

5.2 跃迁二：从“畏惧反例”到“驾驭反例”

在实分析中，一个好反例的价值，胜过十个正面证明。它像一面棱镜，把抽象概念的光谱强行展开，让你看清哪些特性是本质的，哪些是偶然的。这份答案提供的反例，不是供你膜拜的圣物，而是供你拆解、重组、甚至改造的实验材料。

Folland 2.9(d)的反例 $F \circ G$（Lebesgue可测函数与连续函数的复合，结果不可测）就是一个绝佳范本。它的构造流程清晰可循：

1. 基石：Cantor函数 $f$（连续、单调增、将Cantor集 $C$ 映到 $[0,1]$，但 $m(C)=0$）。
2. 桥梁：$g(x)=f(x)+x$（严格增、连续、双射），其逆 $h=g^{-1}$ 也连续。
3. 靶子：利用 $g(C)$ 包含非Lebesgue可测集 $A$（Exercise 29 Ch1），定义 $B=g^{-1}(A) \subset C$。
4. 组合：令 $F=\chi_B$（$B$ 是Lebesgue可测的，故 $F$ Lebesgue可测），$G=h$（连续），则 $F \circ G = \chi_A$（不可测）。

提示：这个反例的威力，在于它展示了“可测性”在复合运算下的脆弱性。你完全可以基于此，尝试构造自己的变体：比如，能否让 $F$ 是Borel可测，$G$ 是Lebesgue可测（但不连续），使得 $F \circ G$ 不可测？答案通常是“不能”，因为Borel可测函数与Lebesgue可测函数的复合，结果仍是Lebesgue可测的——这恰恰反衬出原反例中“连续性”与“Lebesgue可测性”的微妙张力。

掌握这种反例思维，意味着你不再满足于“这个定理成立”，而会本能地追问“如果去掉某个条件，它会在哪里崩塌？崩塌的形状是什么？”。这是数学直觉最锋利的刀刃。

5.3 跃迁三：从“解题套路”到“概念网络”

Folland的习题不是孤立的靶子，而是织就一张覆盖实分析核心概念的巨网。这份答案的编排，无意中为你标出了这张网的关键节点和连接线。

以“Radon-Nikodym定理”（虽未在摘要中列出，但隐含在Ch3 Signed Measures中）为例，它关联的概念包括：

• 绝对连续性（$\nu \ll \mu$）：Folland 3.5等习题会训练你判断何时一个测度被另一个“控制”。
• 奇异分解（Lebesgue分解）：Folland 3.11等会引导你将任意测度 $\nu$ 分解为 $\nu_a + \nu_s$，其中 $\nu_a \ll \mu$，$\nu_s \perp \mu$。
• 导数概念（Radon-Nikodym导数 $d\nu/d\mu$）：它本质上是“密度函数”，将测度 $\nu$ 的“质量”按 $\mu$ 的“体积”进行分配。

当你做完Ch3的几道关键题，答案会清晰地展示：绝对连续性是Radon-Nikodym定理成立的充要条件；奇异分解是处理不满足该条件时的通用方案；而导数 $d\nu/d\mu$，正是这个条件满足时，$\nu$ 相对于 $\mu$ 的“局部密度”。这不再是三个零散名词，而是一个有因果、有层次、有应用场景的动态系统。你开始理解，为什么在概率论中，概率密度函数 $f_X$ 就是 $dP_X/d\lambda$（$P_X$ 是随机变量 $X$ 的分布，$\lambda$ 是Lebesgue测度）；为什么在金融数学中，“风险中性测度”的存在性，最终归结为某个绝对连续性条件的验证。

5.4 跃迁四：从“课程要求”到“研究准备”

对许多同学而言，实分析是通往更高阶数学的必经之门。这份答案的价值，远超期末考试。它用最扎实的方式，为你铺设了研究级思维的轨道。

• 严谨的写作范式：每一份解答都遵循“陈述→定义引用→逻辑推演→结论”的黄金结构。例如Folland 2.41（$\sigma$-有限空间上的Egoroff定理推广），它先处理有限测度情形（用经典Egoroff），再用$\sigma$-有限性将其拼接，最后用测度的连续性（continuity from above）收束。这种“分而治之、逐层递进”的证明策略，是所有现代分析论文的标准范式。
• 关键引理的预埋：答案中多次出现的“Technical Lemma”（技术引理），如Folland 2.38(b)中证明 $f_n^2 \to f^2$ in measure，其思路（先抽子列a.e.收敛，再用Egoroff或Dominated Convergence）正是处理复杂收敛问题的通用模板。它不教你死记硬背，而是授你以渔。
• 前沿概念的触角：从Ch7 Radon Measures（局部紧空间上的测度）到Ch9 Distribution Theory（广义函数），答案覆盖的内容，已经触及偏微分方程、调和分析等领域的前沿入口。当你能顺畅地处理 $C_c^\infty$ 函数空间上的线性泛函（即分布），你就站在了Sobolev空间、弱解理论的大门前。

从这个角度看，这份答案不是学习的终点，而是你学术生涯中，第一次真正意义上“与数学家的工作方式接轨”的起点。它教会你的，不仅是“怎么做题”，更是“数学家是如何思考、如何提问、如何构建论证”的元能力。

6. 什么时候用它，什么时候别用它：一份清醒的使用守则

6.1 请务必使用它的时候：当你陷入“概念泥潭”，急需一束光

• 场景一：定义交叉，理不清主次
  比如学完Ch2积分，再看Ch3“带号测度”，你被 $\nu = \nu^+ - \nu^-$（Jordan分解）和 $\nu \ll \mu$（绝对连续）绕晕了。此时，立刻打开Ch3的Folland 3.4（证明 $\nu \ll \mu$ 当且仅当 $|\nu| \ll \mu$）。答案中会清晰写出：

  (⇒) If ν ≪ μ, then for any ε>0, ∃δ>0 s.t. μ(E)<δ ⇒ |ν|(E) ≤ |ν|(E) = ν⁺(E) + ν⁻(E) < ε/2 + ε/2 = ε. (⇐) If |ν| ≪ μ, then μ(E)=0 ⇒ |ν|(E)=0 ⇒ ν⁺(E)=ν⁻(E)=0 ⇒ ν(E)=0.

  这短短两行，用绝对值测度 $|\nu|$ 作为桥梁，把两个看似无关的定义焊接到一起。它不增加新知识，但瞬间打通任督二脉。

• 场景二：证明卡壳，缺一个“灵光一现”
  Folland 2.21（$f_n, f \in L^1$, $f_n \to f$ a.e.，则 $\int |f_n - f| \to 0$ iff $\int |f_n| \to \int |f|$）的证明，难点在于“$\Leftarrow$”方向。你可能试过三角不等式、Fatou引理，都差一口气。答案给出的解法是：

  “Notice that $|f_n| + |f| \to 2|f|$ a.e., and $||f_n| - |f|| \leq |f_n| + |f|$. Since $\int(|f_n| + |f|) \to \int 2|f|$, by the previous problem (Folland 2.20, a variant of Dominated Convergence), $\int ||f_n| - |f|| \to 0$. Then use the inequality $||f_n| - |f|| \leq |f_n - f|$ to conclude.”
  这里，“引入 $|f_n| + |f|$ 作为控制函数”是关键跃升。它提醒你：当直接控制 $|f_n - f|$ 太难时，不妨退一步，去控制一个与之紧密相关的、更容易处理的量。

• 场景三：反例空白，需要一个“思维脚手架”
  当你试图构造“一个处处不连续但Lebesgue可测的函数”时，大脑一片空白。这时，Folland 2.25的 $g(x) = \sum 2^{-n} f(x - r_n)$（$f(x)=x^{-1/2}$ on $(0,1)$）就是完美的脚手架。它告诉你：用可数个“尖峰”在有理点上叠加，利用级数收敛性保证整体可积，再用稠密性保证处处不连续。你不必照搬，但它的构造哲学（“稠密放置+可控衰减”）会成为你自己的工具箱。

6.2 请坚决不用它的时候：当它会杀死你最宝贵的“思考肌”

• 禁忌一：翻开教材前，先查答案
  这是最致命的误用。实分析的肌肉，是在你面对Folland 1.10，盯着“$\mu_E(A) = \mu(A \cap E)$”发呆半小时，尝试各种集合恒等式，最终在草稿纸角落歪歪扭扭写下 $\mu_E(\bigcup A_i) = \mu((\bigcup A_i) \cap E) = \mu(\bigcup (A_i \cap E))$ 的那一刻，才开始生长的。提前看答案，等于给肌肉打了麻醉剂。

• 禁忌二：只抄步骤，不究逻辑
  答案中Folland 2.34的证明，用到了“从测度收敛抽a.e.收敛子列”这一关键技巧。如果你只抄下“$\exists {f_{n_j}} \to f$ a.e.”，却不追问“为什么能抽？依据哪个定理？（答：Riesz-Fischer或Folland 2.30）”，那么这个技巧永远不会成为你的武器。正确的做法是：抄完后，合上答案，用自己的话，向空气解释一遍这个抽子列的过程。

• 禁忌三：用它替代教材阅读
  答案是习题的“解码器”，不是概念的“发生器”。它不会解释“为什么需要Radon测度”，也不会展开“分布理论如何统一处理函数与delta函数”。这些宏大的图景，只存在于Folland的正文里。把答案当教材用，就像用菜谱代替农学——你知道怎么做，但永远不懂种子为何发芽。

6.3 我的血泪经验：一个强制执行的“三遍法则”

从UCLA的实分析课挣扎过来，我给自己立下铁律：任何一道题，必须过三遍，且每遍目的不同。

1. 第一遍（裸考）

本文还有配套的精品资源，点击获取