简介《数学分析之课程讲义.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 逐点收敛与一致收敛一张参数对比表函数列的收敛是讲义里承上启下的核心章因为它把极限的讨论对象从数变成了函数。逐点收敛和一致收敛的区别讲义不是用长段文字说的而是用一张对比表把它和「依赖关系」钉死对比项逐点收敛一致收敛定义中的NN依赖epsilon和xN只依赖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]上相对紧集的刻画这个刻画在泛函分析里是所有紧性论证的原型。我还习惯做一张自己的速查表把讲义里出现的每一个「极限交换」场景列出来包括极限与函数值交换、极限与积分交换、极限与导数交换然后标记各自的充分条件。这张表做好之后实变函数考试里的论证题基本都能快速定位到对应定理。这份讲义唯一让我觉得不足的地方是习题答案只有提示没有完整过程有些反例要在书外自己补齐细节。我的做法是拿一本习题集对着练把讲义里的框架作为主线。从那以后我每次碰新的数学分析或实变资料都会先翻它的反例集再看它的极限交换章节最后才决定要不要精读。这个方法帮我筛掉了不少低质量讲义希望帮到你。本文还有配套的精品资源点击获取