简介：本资源是《Folland Real Analysis》英文原版教材的配套习题解答集，面向高校数学专业本科生、研究生及实分析自学者，专为解决课后习题无参考答案、证明思路难梳理等学习痛点而整理。全书覆盖第1章测度、第2章积分、第3章带号测度与微分等共9章核心内容，含Folland 1.10测度定义验证、2.6不可测上确界反例、2.8单调函数Borel可测性证明等典型题目的严谨推演与关键注释，助力初学者夯实定义理解、掌握标准证明范式。资源为单文件PDF，大小549KB，轻量易读，适合作为教材随身补充材料反复查阅。已有2256人下载学习，内容源自UCLA实分析课程学习笔记，结构清晰、排版规范，每章按题号组织，附有摘要说明与更新日期（2019年11月），具备较强教学参考价值。
1. 实分析习题答案不是“抄作业指南”，而是测度论的底层调试器：为什么Folland第2章那道关于不可数上确界不可测的题，能让你一眼看穿Lebesgue积分的脆弱边界？
你翻过Folland《Real Analysis》第二章习题集，看到2.6题：“The supremum of an uncountable family of measurable $\overline{\mathbb{R}}$-valued functions on $X$ can fail to be measurable”，心里可能嘀咕：不就是个反例吗？抄个答案交差完事。但真正踩过坑的人知道——这道题根本不是考“会不会证”，而是给你一把手术刀，切开Lebesgue积分体系最隐蔽的缝合线：可数性（countability）不是技术细节，而是整个测度论大厦的地基钢筋。当你用$\chi_{{x}}$构造出$\sup_{x\in A}\chi_{{x}} = \chi_A$，而$A$偏偏是非Lebesgue可测集时，你触发的不是一道错题，而是一次系统级告警：所有依赖“可数并/交”操作的定义（比如$\limsup f_n$、Borel集生成、甚至$L^p$空间完备性的证明）在此刻全部悬停。更关键的是，这个反例直接暴露了Folland在2.11题里用分段线性逼近证明“逐变量连续函数必Borel可测”的深层动机——他必须把不可数参数（$y\in\mathbb{R}^k$）强行压进可数网格（$i/n$），否则整个逼近链就断在第一步。这不是数学家的强迫症，是测度论在向你声明：没有可数性约束，就没有可操作的积分理论。这份2019年UCLA研究生手写的Partial Solutions，表面是习题答案，实则是把Folland教科书里所有“默认成立”的隐含条件，全拆成可验证的引理、可复现的构造、可绕开的陷阱——它不教你怎么做题，它教你如何让定义在真实世界里跑通。
2. 测度的构造本质：为什么$\mu_E(A)=\mu(A\cap E)$不是简单替换，而是对“限制测度”概念的三次正交验证？
Folland 1.10题看似平淡：给定测度空间$(X,\mathcal{M},\mu)$和$E\in\mathcal{M}$，定义$\mu_E(A)=\mu(A\cap E)$，证$\mu_E$是测度。但若只按教科书套路验证空集、非负性、可数可加性，你就错过了Folland埋在这里的三重设计意图——它其实在用最简形式，同时验证测度论中三个不可互换的核心机制：限制（restriction）、截断（truncation）、与集合运算的兼容性。
2.1 限制测度：从“全局空间”到“子空间”的无损投影
$\mu_E$的定义直指测度论第一原则：测度必须能在子集上自洽定义。但注意，这里不是定义$\mu|_E$（即只在$E$的子集上定义），而是定义在原$\sigma$-代数$\mathcal{M}$全体上的$\mu_E(A)=\mu(A\cap E)$。这意味着：
- 当$A\subseteq E$时，$\mu_E(A)=\mu(A)$，完全继承原测度；
- 当$A\cap E=\emptyset$时，$\mu_E(A)=0$，即对$E$之外的集合“静音”；
- 关键在于，$\mu_E$的零集族${A\in\mathcal{M}:\mu_E(A)=0}$严格等于${A\in\mathcal{M}:\mu(A\cap E)=0}$，这比单纯限制到$E$的子$\sigma$-代数更精细——它保留了原空间所有集合的“存在感”，只是用$E$作为滤波器。
这种设计在Radon测度（第7章）中成为标配：当你处理局部紧Hausdorff空间上的测度时，$\mu_E$正是构造“在$E$上集中”的测度的原型。Folland在7.1节定义Radon测度时反复强调“inner regularity”，其内正则化过程本质上就是对一列递增紧集$K_n\uparrow E$，用$\mu_{K_n}$逼近$\mu_E$。
2.2 截断操作：为什么$\mu(A\cap E)$比$\mu(A\cup E)$更本质？
原文摘要中误写为$\mu_E(A)=\mu(A\cup E)$，这是典型初学者陷阱。我们来现场勘误并深挖：
注意：Folland 1.10标准表述是$\mu_E(A)=\mu(A\cap E)$，而非$\mu(A\cup E)$。若用并集，$\mu_E(\emptyset)=\mu(\emptyset\cup E)=\mu(E)$，除非$\mu(E)=0$，否则违反测度定义。这个笔误恰恰暴露一个关键认知：测度的“限制”必须是交集操作，因为交集保证了“只取E内部的贡献”，而并集会无端注入E的全质量。
验证可数可加性时，正确推导如下：
\mu_E\left(\bigcup_{i=1}^\infty A_i\right) = \mu\left( \left(\bigcup_{i=1}^\infty A_i\right) \cap E \right) = \mu\left( \bigcup_{i=1}^\infty (A_i \cap E) \right) = \sum_{i=1}^\infty \mu(A_i \cap E) = \sum_{i=1}^\infty \mu_E(A_i)这里第三步依赖${A_i\cap E}$的两两不交性（由${A_i}$不交保证），而可数可加性成立的根本，在于交集运算与可数并的交换律：$(\bigcup A_i)\cap E = \bigcup (A_i\cap E)$。这个等式在ZFC公理下恒真，但它在更广义的格论（lattice theory）中并非自动成立——Folland刻意选此例，是为第3章Signed Measures中Jordan分解做铺垫：当处理带符号测度$\nu=\nu^+-\nu^-$时，“限制”操作必须分别作用于正部和负部，而交集的分配律正是保证$\nu_E^+=(\nu^+)_E$成立的基石。
2.3 与集合运算的兼容性：为什么$\mu_E$天然适配Lusin定理的构造？
Lusin定理（第2章末）断言：对任意Lebesgue可测函数$f$和$\epsilon>0$，存在闭集$F\subset[0,1]$满足$m([0,1]\setminus F)<\epsilon$且$f|F$连续。其证明核心步骤是：对每个$n$，取$E_n={x:|f(x)|\leq n}$，再用Egoroff定理在$E_n$上找一致收敛子集。此时，$\mu{E_n}$就是你在$E_n$上“临时启用”的测度——它让原空间在$E_n$内保持完整结构，而在外部归零，从而允许你把全局问题切割为可数个局部良态问题。Folland在2.41题（$\sigma$-finite空间上的Egoroff推广）中，正是将$X=\bigsqcup X_i$后，在每个$X_i$上定义$\mu_{X_i}$，再拼接解。这种“分片治理”能力，源于$\mu_E$对集合运算的完美兼容：若$E,F\in\mathcal{M}$，则$(\mu_E)F = \mu{E\cap F}$，即限制可交换。这在代码实现中对应着嵌套filter操作的幂等性——任何严肃的测度论库（如Python的measurepy或Haskell的measure-theory）都把restrict_to :: Measure a -> Set a -> Measure a作为核心API，其内部必然校验restrict_to m ecomposerestrict_to m f == restrict_to m (eintersectionf)。
3. 可测性危机：Folland 2.6题的反例为何是Lebesgue积分的“心脏起搏器故障”？
Folland 2.6题构造了一个看似荒谬却致命的场景：令$X=\mathbb{R}$，$\mathcal{M}=\mathcal{L}$（Lebesgue可测集族），取非可测集$A\subset\mathbb{R}$（由选择公理保证存在），对每个$x\in\mathbb{R}$定义$f_x(y)=\chi_{{x}}(y)$，则$f(y):=\sup_{x\in A}f_x(y)=\chi_A(y)$不可测。这个反例常被轻描淡写为“可数性失效”，但它的真正杀伤力在于直接瘫痪Lebesgue积分的三大支柱：单调收敛定理（MCT）、Fatou引理、控制收敛定理（DCT）。
3.1 单调收敛定理的“断点”：当上确界不可测，序列连起点都没有
MCT要求：若$0\leq f_1\leq f_2\leq\cdots$且每个$f_n$可测，则$f=\sup f_n$可测且$\int f = \lim\int f_n$。但Folland 2.6的反例表明：即使每个$f_x$都是最简单的单点指示函数（显然可测），其不可数上确界$\chi_A$仍不可测。这意味着MCT的“前提”在不可数索引下根本无法建立——你甚至无法写出$f=\sup f_n$这个对象，遑论积分。这解释了为何Folland在2.11题中不惜用分段线性逼近（$f_n(x,y)$）来处理$\mathbb{R}\times\mathbb{R}^k$上的函数：他必须把不可数参数$y$离散化为可数网格${i/n}$，从而将$\sup$操作降维到可数序列，确保MCT可用。源码级实现中，这对应着数值积分库（如SciPy的quad）强制要求被积函数为Python callable object，而非泛函空间中的抽象元素——因为计算机只能处理可数操作。
3.2 Fatou引理的“真空地带”：不可测上确界导致极限下确界失去定义
Fatou引理断言：若$f_n\geq 0$可测，则$\int\liminf f_n \leq \liminf\int f_n$。但若${f_n}$是不可数族，$\liminf$本身需定义为$\sup_{k}\inf_{n\geq k}f_n$，而$\inf$在不可数集上未必可达。Folland 2.6的构造中，若取$f_x$的“下确界族”，$\inf_{x\in A}f_x$恒为0（因每点$y$至多在一个$f_x$中为1），但$\inf$操作本身不产生新函数——它只是平凡零函数。真正的危机在“上确界不可测”导致的测度空间不完备性：Lebesgue可测集族$\mathcal{L}$在可数并/交下封闭，但在不可数并下不封闭。这正是为什么现代测度论教材（如Cohn《Measure Theory》）开篇就强调：$\sigma$-algebra的$\sigma$特指“countable”，而非“arbitrary”。Folland在第1章习题1.8中已埋下伏笔：证明$\mathcal{M}={E\subset X: E\text{ or }E^c\text{ is countable}}$是$\sigma$-algebra，但若把“countable”换成“finite”，它就不再是$\sigma$-algebra——因为可数并可能产生无限集。
3.3 控制收敛定理的“失效开关”：当控制函数$g$存在，但上确界不可测，DCT拒绝启动
DCT要求：若$|f_n|\leq g\in L^1$且$f_n\to f$ a.e.，则$f\in L^1$且$\int f_n\to\int f$。但Folland 2.6的反例揭示一个更隐蔽的漏洞：DCT的前提“$f_n\to f$ a.e.”隐含$f$必须可测（否则a.e.收敛无定义）。若你试图用$f_x$构造一个“收敛序列”，比如令$f_n = \sup_{x\in A_n}f_x$，其中$A_n\uparrow A$为可数子集，则每个$f_n=\chi_{A_n}$可测，且$f_n\uparrow\chi_A$，但$\chi_A$不可测，故$f_n\to\chi_A$不构成a.e.收敛（因极限函数不在可测函数空间中）。这迫使Folland在2.34题中严格限定“$f_n\to f$ in measure”并配合控制函数$g$，因为“依测度收敛”不预设极限可测——它用测度大小$\mu(|f_n-f|>\epsilon)$描述收敛，而该表达式仅需$f_n,f$可测，对$f$本身无要求。这种设计取舍在数值PDE求解中极为常见：有限元代码从不假设解函数解析表达式存在，而是直接在Sobolev空间中验证弱收敛。
4. 避坑：实分析习题解答中5个高频翻车现场与血泪修复方案
实分析不是靠直觉就能通关的领域，尤其在处理Folland这类严谨教材时，很多“看起来显然”的步骤藏着致命陷阱。以下是基于UCLA这份Partial Solutions及多年教学反馈总结的5个高频翻车点，每条均按“现象→原因→解决”展开，全部来自真实debug经历。
4.1 现象：在证Folland 2.8（单调函数Borel可测）时，误认为$f^{-1}([a,\infty))$是闭区间，直接断言其Borel
原因：混淆“区间类型”与“拓扑性质”。单调函数的原像确实是区间，但可能是开区间$(b,c)$、半开区间$[b,c)$、射线$[b,\infty)$等，而Borel集要求对可数并/交/余封闭。若仅说“区间是Borel”，未说明所有区间类型（开、闭、半开、有界、无界）均可由可数个开集生成，证明不完整。例如，单点集${b}=[b,b]$是闭区间，但需通过${b}=\bigcap_{n=1}^\infty (b-\frac{1}{n},b+\frac{1}{n})$证明其Borel性。
解决：严格分类讨论$f^{-1}([a,\infty))$的四种可能形态，并给出统一构造：
- 若存在最小$x_0$使$f(x_0)\geq a$，则$f^{-1}([a,\infty))=[x_0,\infty)$或$(x_0,\infty)$；
- 否则为$\emptyset$或$\mathbb{R}$。
所有情形均可表示为开区间的可数交或并，故属Borel集。代码中可写为：
def is_borel_interval(interval_type, endpoints): """interval_type: 'open', 'closed', 'half_open_left', etc.""" if interval_type in ['open', 'closed', 'half_open_left', 'half_open_right']: return True # All intervals are Borel by definition in R raise ValueError("Non-interval set requires explicit Borel construction")4.2 现象：在Folland 2.9(c)中，误以为$B=g^{-1}(A)\subset C$推出$B$必为Borel，因$C$是Borel集
原因：犯了“子集继承性质”的经典错误。Cantor集$C$是Borel（事实上是$G_\delta$集），但其子集$B$未必Borel——Borel集族对子集不封闭！$C$的势为连续统，而Borel集全体势为$\mathfrak{c}$（连续统），但$C$的子集有$2^{\mathfrak{c}}$个，远超Borel集数量。Folland此处精妙利用了Lebesgue测度的完备性：$m(C)=0$，故任何$B\subset C$都有$m(B)=0$，从而$B$是Lebesgue可测集，但Borel性需额外证明。
解决：必须显式引用完备测度空间的定义：若$\mu(N)=0$且$B\subset N$，则$B$可测。此处$N=C$，$\mu(C)=0$，故$B$ Lebesgue可测。而$B$非Borel的证明，需反证：若$B$ Borel，则$h=g^{-1}$连续推出$h(B)=A$ Borel（因连续映射的Borel原像是Borel），但$A$被构造为非Lebesgue可测集，矛盾。此逻辑链缺一不可。
4.3 现象：计算Folland 2.25(a)中$g(x)=\sum 2^{-n}f(x-r_n)$的$L^1$范数时，直接交换求和与积分顺序，未验证Tonelli定理条件
原因：Tonelli定理要求被积函数非负且可测，此处$f(x)=x^{-1/2}\chi_{(0,1)}(x)\geq 0$，故$\sum 2^{-n}f(x-r_n)\geq 0$，可交换。但若题目改为$g(x)=\sum 2^{-n}(-1)^n f(x-r_n)$，则项可正可负，必须改用Fubini定理，需先证$\iint |2^{-n}f(x-r_n)|dx dn <\infty$。许多学生忽略符号，直接套用，导致结论错误。
解决：建立机械检查流程：
- 判断$\sum_n \int |h_n(x)| dx$是否有限（Tonelli适用）；
- 若否，检查$\int \sum_n |h_n(x)| dx$是否有限（Fubini适用）；
- 仅当两者之一成立，才可交换。本题中$\sum_n \int |2^{-n}f(x-r_n)|dx = \sum_n 2^{-n} \cdot 2 = 2 < \infty$，故Tonelli适用。
4.4 现象：在Folland 2.32中证$\rho(f,g)=\int \frac{|f-g|}{1+|f-g|}d\mu$是度量时，三角不等式证明跳步，误用$\frac{a+b}{1+a+b}\leq\frac{a}{1+a}+\frac{b}{1+b}$
原因：该不等式实际不成立！反例：$a=b=1$，左边=$\frac{2}{3}\approx 0.666$，右边=$\frac{1}{2}+\frac{1}{2}=1$。正确路径是利用函数$\phi(t)=\frac{t}{1+t}$在$[0,\infty)$上凹（concave），故$\phi(a+b)\leq \phi(a)+\phi(b)$不成立，但$\phi$是次可加（subadditive）的：$\phi(a+b)\leq \phi(a)+\phi(b)$当且仅当$a,b\geq 0$。Folland原文的代数推导（见项目正文）虽繁琐但正确，省略会导致逻辑断裂。
解决：记住$\phi(t)=t/(1+t)$的关键性质：
- 单调增（因$\phi'(t)=1/(1+t)^2>0$）；
- 次可加：$\phi(a+b)\leq \phi(a)+\phi(b)$（由$\frac{a+b}{1+a+b} = 1 - \frac{1}{1+a+b} \leq 1 - \frac{1}{1+a} + 1 - \frac{1}{1+b} = \phi(a)+\phi(b)$？错！正确证法：$\frac{a+b}{1+a+b} = \frac{a}{1+a+b} + \frac{b}{1+a+b} \leq \frac{a}{1+a} + \frac{b}{1+b}$，因分母增大使分数减小）。代码中可封装验证：
def phi_subadditive(a, b, tol=1e-10): left = (a + b) / (1 + a + b) right = a/(1+a) + b/(1+b) return left <= right + tol assert all(phi_subadditive(a,b) for a in [0.1,1,10] for b in [0.1,1,10])4.5 现象：Folland 2.40中推广Egoroff定理时，误以为“$|f_n|\leq g\in L^1$”可直接替代“$\mu(X)<\infty$”，忽略$g$的可积性对集合测度的约束
原因：Egoroff定理原证中，集合$E_k={x:|f_n(x)-f(x)|\geq 1/k\text{ i.o.}}$需满足$\mu(E_k)<\infty$才能应用连续性。当$\mu(X)=\infty$时，$E_k$可能无限。Folland 2.40的解法是证$E_k\subset{x:g(x)\geq 1/(2k)}$，从而$\mu(E_k)\leq \int_{g\geq 1/(2k)} 1 d\mu \leq 2k \int g d\mu <\infty$。若忽略$g\in L^1$，则$2k\int g$可能无穷，整个估计崩塌。
解决：必须显式写出测度控制不等式：
$$\mu\left(\left{x:g(x)\geq \frac{1}{2k}\right}\right) \leq 2k \int_X g,d\mu$$
此即Markov不等式（Chebyshev不等式特例）。任何实分析代码库在实现Egoroff算法时，都会先校验np.trapz(g, dx=dx) < np.inf，否则抛出ValueError("Control function not integrable")。
5. 构造的艺术：为什么Folland 2.9中Cantor函数$g(x)=f(x)+x$的逆函数$h=g^{-1}$，是理解“绝对连续”与“奇异连续”分水岭的活体标本？
Folland 2.9题堪称实分析的“意识觉醒时刻”：它用一个具体构造——Cantor函数$f$（连续、单调增、几乎处处导数为0）与恒等函数叠加得$g(x)=f(x)+x$，再取逆$h=g^{-1}$，一举打通了Lebesgue分解定理（第3章）的任督二脉。这不是炫技，而是Folland在告诉你：要真正理解“绝对连续测度”与“奇异连续测度”的区别，你必须亲手造一个函数，让它既把零测集撑成正测集（$g(C)$），又保持整体连续性（$h$连续）。
5.1 $g$的构造：如何用“病态”函数制造“良性”逆映射
Cantor函数$f$的魔力在于：它把Cantor集$C$（测度0）映到$[0,1]$（测度1），且在$[0,1]\setminus C$（测度1）上为常数。因此$g(x)=f(x)+x$的导数：
- 在$[0,1]\setminus C$上，$f'=0$，故$g'(x)=1$；
- 在$C$上，$f'$几乎处处不存在或为0，但$g'(x)=1+f'(x)=1$ a.e.（因$C$测度0）。
所以$g$是严格增、连续、几乎处处导数为1的函数，从而是绝对连续函数（AC函数）。其逆$h=g^{-1}$也严格增、连续，且由微积分基本定理，$h'(y)=1/g'(h(y))=1$ a.e.。但关键在(b)问：$m(g(C))=1$。计算如下：
$$[0,2]=g([0,1])=g([0,1]\setminus C)\sqcup g(C)$$
而$[0,1]\setminus C$是可数个开区间$\bigsqcup (a_i,b_i)$，在每个$(a_i,b_i)$上$f$为常数$c_i$，故$g((a_i,b_i))=(c_i+a_i,c_i+b_i)$，长度$b_i-a_i$。因此
$$m(g([0,1]\setminus C))=\sum (b_i-a_i)=m([0,1]\setminus C)=1$$
故$m(g(C))=2-1=1$。这证明$g$把零测集$C$拉伸为正测集$g(C)$，而$h$作为其逆，就把正测集$g(C)$压缩回零测集$C$——这正是奇异函数（singular function）的定义：连续、单调，但导数几乎处处为0，且将零测集映为正测集。
5.2 $h$的病理学意义：为何$F=\chi_B$与$G=h$的复合$F\circ G$不可测？
Folland 2.9(d)的终极杀招：取$B=g^{-1}(A)\subset C$（$A\subset g(C)$非Lebesgue可测），则$B$ Lebesgue可测（因$m(C)=0$），但非Borel。令$F=\chi_B$，$G=h$，则
$$(F\circ G)(y)=\chi_B(h(y))=\chi_{h^{-1}(B)}(y)=\chi_A(y)$$
因$h^{-1}(B)=g(B)=A$。而$\chi_A$不可测（因$A$不可测），故$F\circ G$不可测。这揭示了可测函数类对复合运算不封闭——即使$F$ Lebesgue可测、$G$连续（从而Borel可测），其复合仍可能不可测。此现象在概率论中致命：若$X$是随机变量（可测函数），$g$是连续变换，则$g(X)$未必是随机变量（除非$g$是Borel可测，而连续函数是Borel可测，但此处$F$是Lebesgue可测非Borel，故$F\circ G$失效）。Folland用此例警告：Lebesgue可测性比Borel可测性“更大”，但更大不意味着更稳健。
5.3 设计取舍：为什么Folland不直接用$g$本身，而偏要用$h$来构造反例？
这里有三层深意：
- 技术可行性：$g$是绝对连续函数，其像$g(C)$虽测度1，但仍是Lebesgue可测集（因$g$连续，$C$紧，故$g(C)$紧，从而Borel）。要得到非可测集$A$，必须在$g(C)$内部选取（由选择公理），而$g(C)$本身可测。若用$g$直接复合，$g\circ \chi_A$无意义（$\chi_A$非函数）。
- 概念对称性：$h$是$g$的逆，而$g$把$C$（零测）→ $g(C)$（正测），$h$则把$g(C)$（正测）→ $C$（零测）。用$h$构造反例，凸显了“压缩零测集”与“扩张零测集”的对偶关系，这正是Radon-Nikodym定理中$d\nu/d\mu$存在的几何直观。
- 教学节奏：Folland在第2章就抛出此例，是为第3章Signed Measures铺路。第3章核心是Jordan分解$\nu=\nu^+-\nu^-$，而$g$的导数$g'=1+f'$中，$f'$对应奇异部分，$1$对应绝对连续部分。$h$的出现，提前让学生感受“奇异部分如何主导全局行为”。
从那以后我每次讲授实分析，只要涉及可测性、连续性、测度变换，必定带学生重走一遍Folland 2.9的构造：先手算$g$在Cantor三分集前几层的值，再用Python画出$g$和$h$的图像（matplotlib中用plt.plot绘制分段线性逼近），最后用scipy.integrate.quad验证$\int_0^1 g'(x)dx = g(1)-g(0)=2$，而$\int_C g'(x)dx=0$（因$C$测度0）。这个过程不是为了记住答案，而是让抽象定义在坐标系里长出血肉——当$h$的曲线在屏幕上缓缓展开，你看到的不是函数图像，而是Lebesgue测度在连续映射下的弹性变形。希望帮到你。
本文还有配套的精品资源，点击获取