简介:《数学分析之课程讲义.pdf》是丘成桐先生为清华大学丘成桐数学英才班编写的分析学教材,面向具备线性代数与多元微积分基础的低年级数学系学生。讲义在传统数学分析框架上,融入距离空间、赋范线性空间、Riemann积分、子流形理论、抽象测度与实变函数、泛函分析等现代分析内容,并以物理学中的引力、电磁、热传导问题为例,帮助读者打通理论与应用。压缩包为单个PDF文件,大小约8.68MB,适合系统通读。已有206人学习下载。这份讲义不仅覆盖数列极限、函数连续性、多元微分积分等经典内容,还引入了Schwartz分布与缓增分布Fourier变换等前沿话题,并附有丘成桐先生对课程设计的说明与反思;对希望深入理解现代分析语言、拓展数学视野的学生和教师都很有参考价值。
1. 数学分析讲义:从大一微积分到实变、泛函分析的桥梁怎么读
手边这份数学分析讲义PDF,核心不只是极限、导数、Riemann积分这条主线,而是把微积分里那些「大概会算」的点,用实变函数和泛函分析的视角重新钉了一遍。翻第一遍像复习,翻第二遍才发现很多证明的落点都在为Lebesgue积分和度量空间的完备性做铺垫。适合三类人:把教材跟丢了想重建推导链的初学者,准备实变考试需要快速找回连续、一致收敛、可积性语感的本科生,以及备课要引用反例的助教。别被「讲义」两个字骗了,重点在它选的反例和习题,答案藏在证明夹缝里。
2. 极限与连续性的处理方式:从epsilon-delta到一致收敛的表格化对比
2.1 epsilon语言怎么被讲出层次感
绝大多数教材把epsilon语言当作一个静态定义,这份讲义不是。它把同一套逻辑拆成四个递进层级:数列极限的epsilon-N、函数极限的epsilon-delta、函数连续性的epsilon-delta、函数列的一致收敛。每一层只改一个变量,前一层的框架原样搬过来,这样后一层的学习成本就被压得很低。
第一个层级讲通了epsilon-N,后面就只是把「n > N」换成「0 < |x - x0| < delta」。讲义在这里插了一个很关键的操作:它把delta的选取过程拆成「先固定epsilon → 反推delta形式 → 再验证首尾」的三步。我见过不少同学在函数极限这里翻车,本质是跳过了第二步,直接凭直觉写delta,写出来是歪的。讲义给出的模板是:先把目标不等式 |f(x) - L| < epsilon 改写成关于 |x - x0| 的形式,然后从这个形式里读出delta的上界,最后再顺着写一遍。这个「反推再正写」的习惯,到多元极限和度量空间里依然通用。
第二个容易被忽略的细节是「delta依赖谁」。epsilon-delta定义里delta可以依赖epsilon,也可以依赖x0,当它不依赖x0时,函数就在这个区间上一致连续。讲义把这两条并排写,delta旁边标注了「与x无关」和「允许与x有关」两种情形。这个标注看着小,实变函数里的等度连续、泛函分析里的紧算子,追根溯源都在这里埋了伏笔。你如果只在算题层面看这个定义,会觉得两个差不多;一旦进入函数空间,逐点连续和一致连续是两个完全不同的对象,前者给出拓扑,后者给出范数。
讲义在这一节后面配的习题也刻意偏「判断型」:给出几个函数,让你判断它在某个区间上是否一致连续,并说明delta的构造。这种题比算极限更接近实变的思维方式,因为答案不唯一,关键是把你对「依赖关系」的理解逼出来。我习惯的检查顺序是:先问自己「delta能不能只由epsilon决定」,如果答案是不能,立刻去找区间端点的行为,比如sin(1/x)在(0,1)上的震荡点列。
2.2 逐点收敛与一致收敛:一张参数对比表
函数列的收敛是讲义里承上启下的核心章,因为它把极限的讨论对象从数变成了函数。逐点收敛和一致收敛的区别,讲义不是用长段文字说的,而是用一张对比表把它和「依赖关系」钉死:
| 对比项 | 逐点收敛 | 一致收敛 |
|---|---|---|
| 定义中的N | N依赖epsilon和x | N只依赖epsilon |
| 验证方式 | 固定x,按数列极限处理 | 转成sup范数,按上确界估计 |
| 连续函数列的极限 | 可能不连续 | 连续 |
| 与积分顺序交换 | 一般不成立 | 成立 |
| 几何直观 | 每条点列各自收敛 | 整条函数曲线贴到极限曲线上 |
这张表最有用的是第三行。sin(2πnx)在[0,1]上的逐点极限是0,但每个点的收敛速度不一样,有的点收敛快,有的点慢,极限函数的连续性在这种「各点各跑」的模式下保不住。一致收敛要求所有点同步逼近,所以极限的连续性才能从每一项的连续性里继承过来。
讲义在这里给了一个值得抄进笔记的套路:判断一致收敛时,先算sup范数,再算它的极限。如果sup范数趋于0,就一致收敛;如果sup范数根本不趋于0,哪怕每个点都收敛,也不是一致收敛。这个sup范数就是后面C[a,b]空间里范数的雏形,也是泛函分析里「按点收敛」和「按范数收敛」分家的起点。
我在读这一节时比较注意到讲义对[0,1]区间封闭性的强调。一致收敛的极限函数连续,依赖的是区间紧性;如果换成(0,1)开区间,这个性质就会坏掉。这个「区间端点」的敏感度,后来在实变函数里演变成「测度有限」和「零测集例外」的敏感度,属于同一个思维模式:先弄清楚性质依赖哪层结构,再换空间时就知道哪个结论会翻车。
2.3 连续函数空间为什么是泛函分析的引子
讲义在一致收敛之后,顺手续了一段「连续函数列构成的集合」。这个集合就是泛函分析里最常见的空间C[a,b]。讲义没有把它叫空间,但做的事已经是在建立空间结构:定义两个函数的距离为sup|f-g|,证明在这个距离下柯西列收敛到连续函数,也就是完备性。
这个证明链条值得完整走一遍,因为它把前面所有单点极限的东西整合成了一个整体。柯西列的定义是把「epsilon-N」用到函数列上,收敛目标是一个函数而不是一个数,最后一步要用一致收敛的极限连续性来关掉证明。整个过程走完,你对完备性的理解就不再是空泛的「有理数缺了无理数」,而是「C[a,b]缺了不连续函数的空隙」。
讲义在这个位置的另一处用心,是它给出了C[a,b]里有限维度子空间的例子,比如次数不超过n的多项式。判断一个多项式序列收敛,只看系数就够了;而在整个C[a,b]里,收敛一个点一个点都难验证。这个对比让你提前看到「有限维」和「无限维」的差异:有限维的收敛等价于坐标收敛,无限维的收敛则依赖范数选择。这个差异会在泛函分析里被反复拿出来做文章。
3. 从Riemann积分到Lebesgue积分的过渡:讲义里埋的三根引线
3.1 Riemann积分的两个经典缺陷:不连续点太多和极限换序困难
讲义花了不小篇幅讲Riemann积分的局限,这一部分在一般微积分教材里通常被压缩成一段话,但实变函数课程默认你清楚这两个缺陷,否则Lebesgue积分引入的动机就立不住。
第一个缺陷是「不连续点集合太大时积分失效」。Dirichlet函数在[0,1]上处处不可积,Riemann积分的上和恒为1,下和恒为0。讲义把这个例子提前放到定积分章末,并附了一个更细的版本:一个函数可以只在无理数点上取0、在有理数点上取1,它的震荡点集合在任意小区间里都稠密,所以可积性完全崩溃。
第二个缺陷是「函数列极限与积分的交换条件太苛刻」。一致收敛是Riemann积分下交换极限和积分的稳妥条件,但实变函数里大量问题只有逐点收敛,逐点收敛甚至常见到根本无法回避。讲义举了锯齿波列的经典例子:一族连续函数图形是不断变陡的锯齿,它们逐点收敛到某个极限函数,但面积和极限面积对不上。这个案例的价值在于:问题不是「函数坏掉了」,而是「收敛类型不够强」;你需要换一套积分工具,而不是逼着函数列一致收敛。
讲义在这一段的最后抛出一句衔接语:「如果允许把函数的取值按点的权重重新分配,两个缺陷可以同时被绕开。」这句话当时读像随笔,后来实变课讲到Lebesgue积分时才反应过来,它说的就是「测度」——把区间长度这个唯一标尺换成更一般的集合测度,Dirichlet函数就能积了,逐点收敛的交换也能放宽到几乎处处收敛。
3.2 可测函数与几乎处处收敛的引入方式
讲义在讲完Riemann积分缺陷后,直接引入「几乎处处」概念,再给出可测函数的定义。这一步看着跳,其实是教学节奏上的刻意安排:先承认有一些点可以忽略,再定义函数在这些可忽略点外的行为,最后把收敛性改成「几乎处处收敛」。
几乎处处收敛的定义在讲义里是这样表述的:「存在一个零测集N(通常指勒贝格测度为零的集合),使得在所有x∉N上,函数列的极限与目标函数逐点相等。」这里有一个容易混的点:零测集中的点在实轴上可以非常密集,比如所有有理点,它的测度是0,但它们在每个小区间里都有分布。所以「几乎处处」不是「除了少数几个点」,而是「除了一个测度为零的集合」,这个集合本身可以很大、很复杂。
可测函数的定义,讲义从特征函数开始讲起。特征函数的可测性绑定在集合的可测性上:集合可测,特征函数就可测;有限步运算封闭,所以简单函数的线性组合也可测。然后通过「可测函数是简单函数的极限」这条路径,把可测函数类撑起来。这个构造路线和泛函分析里的稠密性论证是同构的:先在简单对象上定义性质,再通过极限扩展到整个空间。
讲义配的可测函数性质清单里,有一条我反复用过:「两个可测函数的和、差、积、商(分母非零处)仍是可测函数」。这条性质在任何场景下都能直接用来检查函数是否可测,比对着定义做预映照检查快得多。
3.3 收敛定理的横向对比表:为什么逐点收敛够用但需要条件
讲义把三大收敛定理——单调收敛定理、Fatou引理、控制收敛定理——放在同一个表格里对比,这是它整份文件里最常被翻的一页,适合直接抄下来当考试速查表:
| 定理 | 前提条件 | 结论 | 使用频率 |
|---|---|---|---|
| 单调收敛 | 函数列单调递增且非负 | 积分与极限可交换 | 最高 |
| Fatou引理 | 函数列非负 | lim inf的积分 ≤ 积分的lim inf | 中,常用于不等式放缩 |
| 控制收敛 | 存在可积函数g使 | fn | ≤g |
三者的关系是包含与递进的。单调收敛条件最弱但只对递增列有效,控制收敛条件最强但应用面最广泛。讲义提醒:控制收敛定理不一定要求函数列逐点收敛,改成「几乎处处收敛」也能成立,这一条在实变考试里几乎一定会被考到,因为很多人把前提记成逐点收敛,少写了「几乎处处」。
Fatou引理在应用层面容易被低估,讲义补了一个很重要的使用场景:当你不知道极限存在时,Fatou引理仍然给出一个关于lim inf的不等式方向,这个方向在泛函分析下半连续性的证明里是标配工具。真正按讲义走完这一页的人,后面学到Banach空间里的下半连续就不会觉得是新知识,只是换个壳。
4. 避坑与常见问题:自学这份讲义时的五个典型卡点
4.1 症状:看到「几乎处处」就当成「去掉有限个点」
初学几乎处处收敛时,潜意识会把零测集理解成有限点集的推广,于是证明题里动不动就说「去掉有限个点后逐点成立」。这个说法在连续函数场景下常常是对的,但放到一般可测函数场景就废了。所有有理点在[0,1]上是零测集,但它的补集仍然稠密,去掉它之后函数在其他地方一样可以用连续函数的直觉吗?不行,因为处处不连续的函数在几乎处处意义下仍然可以被处理。
解决路径:每写一次「几乎处处」,都追问一句「例外集有多大?它的闭包有多大?」例外集测度可以取0,但闭包可以是整个区间。这决定了你能否在证明里直接用连续性、紧性这些强结构。从那以后我只要看到零测集,就先算它的闭包,再决定后续论证能依赖哪些性质。
4.2 症状:用Riemann积分的直觉去判断Lebesgue可积
把「连续则可积」的直觉搬到Lebesgue积分上,第一个反例就是函数在有理点取1、无理点取0的指示函数。它在Riemann意义下不可积,但那个可测函数在Lebesgue意义下积分等于0。反过来,有界变差函数在Riemann意义下可积,却不代表它在Lebesgue意义下有更好的性质,两类积分不是同一个工程量级。
解决路径:每换一套积分,就把「判断可积」的验证清单重写一遍。Riemann积分看震荡总和,Lebesgue积分先看可测性再看控制函数的存在性。我在讲义边角给自己写了一条备忘:「先问可测不可测,再问控制不存在。」
4.3 症状:控制收敛定理的条件只记得一半
控制收敛定理要求存在一个非负可积函数g,使得对所有n几乎处处有|fn| ≤ g。很多自学会漏掉「g可积」这个前提,在处理没有上界的函数列时翻车。另一个常见遗漏是把不等式记成逐点成立,而正确的版本是「几乎处处成立即可」,设置例外集完全不影响积分值。
解决路径:用之前先写完三行:一列函数fn可测,极限函数几乎处处存在,有没有统一控制函数g且g可积。三行都打勾再用定理往下推。这个习惯能把一大半误用挡在门外。
4.4 症状:把逐点收敛的极限函数当成连续函数处理
函数列每一项都连续,逐点收敛的极限函数完全不连续的例子,就是第一章那张对比表里的第三行。讲义会把这个反例在三个不同位置重复出现,因为它太容易让人放松警惕。一旦极限函数不连续,后面所有依赖连续性的结论都要从头检查。
解决路径:判断极限函数是否连续之前,先看收敛是不是一致的。不是一致收敛,就手动检查极限函数有没有断点。我通常会把极限函数先写出来,然后专门挑函数列的锯齿尖点看极限值是否一致,这个检查通常一分钟就能定位出断点。
4.5 症状:把完备性理解成「柯西列一定收敛」,忽略空间
泛函分析里的C[a,b]完备,但多项式空间按sup范数不完备——很多从讲义走向实变的人在这类例子上卡住。原因是完备性不是一个绝对性质,它依赖度量。同一个集合换一个范数,完备性就变了。讲义在讲多项式逼近时给过Weierstrass逼近定理,但它只说了「连续函数可以被多项式一致逼近」,这和「多项式空间完备」是两码事。
解决路径:每讨论一个空间,先列三件事:集合、距离或范数、收敛定义。三件事固定后,再去判断完备性。不完备的例子看多了之后,这个检查步骤就变成条件反射了。
5. 进阶用法:把讲义当成泛函分析的预科地图来重排阅读
常规读法是顺着章节走,进阶读法是跳着对照。我一般把讲义的三个板块拆出来,按「空间-算子-紧性」重新排序:把一致连续和C[a,b]的完备性拼成一个开头,把三大收敛定理拼成控制收敛的模块,再把波动方程里的紧性应用当作末尾。这么重排之后,讲义就从一个教科书变成了地图。
重排后的第一站是C[a,b]。先看sup范数定义,再看一致收敛与按范数收敛的等价性,最后看完备性证明的完整链条。这站走完,你手里就有了第一个无穷维Banach空间的实例。第二站是把控制收敛定理当成一个「极限穿过积分」的算子工具,配套的是一致连续性检查表。第三站去读讲义里关于Arzelà-Ascoli定理的前置铺垫,如果讲义有列等度连续条件,那是最值得精读的一段,因为它给出了C[a,b]上相对紧集的刻画,这个刻画在泛函分析里是所有紧性论证的原型。
我还习惯做一张自己的速查表:把讲义里出现的每一个「极限交换」场景列出来,包括极限与函数值交换、极限与积分交换、极限与导数交换,然后标记各自的充分条件。这张表做好之后,实变函数考试里的论证题基本都能快速定位到对应定理。
这份讲义唯一让我觉得不足的地方是习题答案只有提示没有完整过程,有些反例要在书外自己补齐细节。我的做法是拿一本习题集对着练,把讲义里的框架作为主线。从那以后我每次碰新的数学分析或实变资料,都会先翻它的反例集,再看它的极限交换章节,最后才决定要不要精读。这个方法帮我筛掉了不少低质量讲义,希望帮到你。
本文还有配套的精品资源,点击获取