简介本资源是《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_{i1}^\infty A_i\right) \mu\left( \left(\bigcup_{i1}^\infty A_i\right) \cap E \right) \mu\left( \bigcup_{i1}^\infty (A_i \cap E) \right) \sum_{i1}^\infty \mu(A_i \cap E) \sum_{i1}^\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$和$\epsilon0$存在闭集$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_{n1}^\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)中误以为$Bg^{-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$可测。此处$NC$$\mu(C)0$故$B$ Lebesgue可测。而$B$非Borel的证明需反证若$B$ Borel则$hg^{-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{ab}{1ab}\leq\frac{a}{1a}\frac{b}{1b}$原因该不等式实际不成立反例$ab1$左边$\frac{2}{3}\approx 0.666$右边$\frac{1}{2}\frac{1}{2}1$。正确路径是利用函数$\phi(t)\frac{t}{1t}$在$[0,\infty)$上凹concave故$\phi(ab)\leq \phi(a)\phi(b)$不成立但$\phi$是次可加subadditive的$\phi(ab)\leq \phi(a)\phi(b)$当且仅当$a,b\geq 0$。Folland原文的代数推导见项目正文虽繁琐但正确省略会导致逻辑断裂。解决记住$\phi(t)t/(1t)$的关键性质单调增因$\phi(t)1/(1t)^20$次可加$\phi(ab)\leq \phi(a)\phi(b)$由$\frac{ab}{1ab} 1 - \frac{1}{1ab} \leq 1 - \frac{1}{1a} 1 - \frac{1}{1b} \phi(a)\phi(b)$错正确证法$\frac{ab}{1ab} \frac{a}{1ab} \frac{b}{1ab} \leq \frac{a}{1a} \frac{b}{1b}$因分母增大使分数减小。代码中可封装验证def phi_subadditive(a, b, tol1e-10): left (a b) / (1 a b) right a/(1a) b/(1b) 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, dxdx) np.inf否则抛出ValueError(Control function not integrable)。5. 构造的艺术为什么Folland 2.9中Cantor函数$g(x)f(x)x$的逆函数$hg^{-1}$是理解“绝对连续”与“奇异连续”分水岭的活体标本Folland 2.9题堪称实分析的“意识觉醒时刻”它用一个具体构造——Cantor函数$f$连续、单调增、几乎处处导数为0与恒等函数叠加得$g(x)f(x)x$再取逆$hg^{-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$上$f0$故$g(x)1$在$C$上$f$几乎处处不存在或为0但$g(x)1f(x)1$ a.e.因$C$测度0。所以$g$是严格增、连续、几乎处处导数为1的函数从而是绝对连续函数AC函数。其逆$hg^{-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_ia_i,c_ib_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-11$。这证明$g$把零测集$C$拉伸为正测集$g(C)$而$h$作为其逆就把正测集$g(C)$压缩回零测集$C$——这正是奇异函数singular function的定义连续、单调但导数几乎处处为0且将零测集映为正测集。5.2 $h$的病理学意义为何$F\chi_B$与$Gh$的复合$F\circ G$不可测Folland 2.9(d)的终极杀招取$Bg^{-1}(A)\subset C$$A\subset g(C)$非Lebesgue可测则$B$ Lebesgue可测因$m(C)0$但非Borel。令$F\chi_B$$Gh$则$$(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$的导数$g1f$中$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)dx0$因$C$测度0。这个过程不是为了记住答案而是让抽象定义在坐标系里长出血肉——当$h$的曲线在屏幕上缓缓展开你看到的不是函数图像而是Lebesgue测度在连续映射下的弹性变形。希望帮到你。本文还有配套的精品资源点击获取