课程总纲 · 6 个单元 · 32 个知识点
实变函数
从集合与测度出发,学习可测函数、Lebesgue 积分、微分与 Lp 空间。
章节与知识点
按周民强《实变函数论》第三版六章、三十二节展开,连接已有笔记与作业选题。
-
第一章 集合与点集
已有部分内容用集合运算表达极限,以基数和点集结构为测度理论准备语言。
周民强《实变函数论》第3版,第1章 pp.1-63;各节起页:1.1 p.2,1.2 p.4,1.3 p.12,1.4 p.25,1.5 p.30,1.6 p.50。
- 1.1 集合与子集合
从属于和包含关系出发,区分元素、集合与集合族。
- 1.2 集合的运算
用并、交、补及集合列上下极限整理量词与极限事件。
- 1.3 映射与基数
借助单射和双射比较集合大小,认识可数集与连续基数。
- 1.4 Rn 中点与点之间的距离·点集的极限点
从邻域刻画极限点、孤立点和点集的聚集行为。
- 1.5 Rn 中的基本点集:闭集·开集·Borel 集·Cantor 集
比较拓扑结构与可数集合运算,借 Cantor 集观察直觉的边界。
- 1.6 点集间的距离
区分点到集合与集合之间的距离,关注距离为零的含义。
- 笔记点集:二进方体与 Borel 集
对应 §1.5;原页含开集分解、可数子覆盖、Fσ/Gδ 集和 σ-代数。
- 教材习题习题1与注记
第3版 p.53(习题1)、p.57(注记)。
-
第二章 Lebesgue 测度
章节框架从矩体覆盖定义外测度,逐步建立可测集、正则性及不可测现象。
周民强《实变函数论》第3版,第2章 pp.64-101;各节起页:2.1 p.65,2.2 p.71,2.3 p.79,2.4 p.84,2.5 p.87,2.6 p.89。
- 2.1 点集的 Lebesgue 外测度
以可数矩体覆盖的体积下确界度量点集,理解次可加性。
- 2.2 可测集与测度
用分割任意试验集的性质定义可测性,再讨论测度的可加性与连续性。
- 2.3 可测集与 Borel 集的关系
通过开集、闭集和零测集的逼近关系理解测度正则性。
- 2.4 正测度集与矩体的关系
在局部矩体中考察正测度集所占的比例。
- 2.5 不可测集
从代表元构造认识可测性的限制及平移不变性的作用。
- 2.6 连续变换与可测集
比较连续变换对 Borel 集、可测集与零测集的影响。
- 教材习题习题2与注记
第3版 p.94(习题2)、p.96(注记)。
-
第三章 可测函数
章节框架把函数性质转化为原像集性质,区分几乎处处、依测度与近一致收敛。
周民强《实变函数论》第3版,第3章 pp.102-130;各节起页:3.1 p.102,3.2 p.112,3.3 p.119。
- 3.1 可测函数的定义及其性质
从水平集判断可测性,用简单函数逐步逼近一般可测函数。
- 3.2 可测函数列的收敛
比较几种收敛方式,用 Egorov 与 Riesz 定理建立联系。
- 3.3 可测函数与连续函数的关系
用 Lusin 定理理解删去小测度集合后可测函数的连续性。
- 教材习题习题3与注记
第3版 p.125(习题3)、p.127(注记)。
-
第四章 Lebesgue 积分
已有部分内容先定义非负积分,再处理正负部分;以收敛定理控制极限和积分的交换。
周民强《实变函数论》第3版,第4章 pp.131-200;各节起页:4.1 p.131,4.2 p.143,4.3 p.163,4.4 p.170,4.5 p.177。
- 4.1 非负可测函数的积分
从简单函数建立积分,连接单调收敛、逐项积分与 Fatou 引理。
- 4.2 一般可测函数的积分
通过正负部分定义可积性,用控制收敛与积分绝对连续性处理极限。
已有定理摘要:紧支连续函数的 L1 逼近与平移的平均连续性。
- 4.4 Lebesgue 积分与 Riemann 积分的关系
比较两种积分的适用范围,理解 Riemann 可积的测度判别。
- 4.5 重积分与累次积分的关系
用 Tonelli 与 Fubini 定理判断何时可以按不同次序积分。
- 笔记非负积分:单调收敛与 Fatou 引理
对应 §4.1;原页含单调收敛、非负级数逐项积分及可积性判别。
- 作业选题第7次作业:非负积分
对应 §4.1-4.2;选读原页 P189/2、P189/4、P190/5。
- 作业选题第8次作业:积分估计与极限交换
对应 §4.1-4.2;选读原页 P137/1、P143/8-9、P154/8、P192/20、P192/23。
- 作业选题第9次作业:L1 收敛下的乘积
对应 §4.2;选读原页 P159/5,利用一致有界条件与截断逼近。
- 教材习题习题4与注记
第3版 p.189(习题4)、p.194(注记)。
- 教材导论积分论评述
第3版卷首独立页码 pp.1-9(PDF 第9-17页)。
-
第五章 微分与不定积分
已有部分内容从单调函数的可微性走向有界变差与绝对连续,明确微积分基本定理的条件。
周民强《实变函数论》第3版,第5章 pp.201-247;各节起页:5.1 p.202,5.2 p.212,5.3 p.219,5.4 p.222,5.5 p.232,5.6 p.236。
已有定理摘要:单调函数几乎处处可微,以及递增函数级数的逐项微分。
- 5.2 有界变差函数
用全变差衡量总振荡,通过 Jordan 分解联系单调函数。
- 5.3 不定积分的微分
研究由可积函数构成的不定积分,理解几乎处处恢复被积函数。
- 5.4 绝对连续函数与微积分基本定理
以绝对连续性连接函数增量与导数积分,区分它和普通连续性。
- 5.5 分部积分公式与积分中值公式
在 Lebesgue 积分框架内重新核对分部积分和中值公式的条件。
- 5.6 R 上的积分换元公式
通过单变量变换连接积分区间、导数和被积函数。
- 教材习题习题5与注记
第3版 p.241(习题5)、p.244(注记)。
- 教材附录Rn 上不定积分的微分定理与积分换元公式
第3版附录(I),pp.294-301。
-
第六章 Lp 空间
章节框架把可积函数组织为赋范空间,从不等式与完备性走向内积、卷积和弱收敛。
周民强《实变函数论》第3版,第6章 pp.248-293;各节起页:6.1 p.248,6.2 p.256,6.3 p.263,6.4 p.274,6.5 p.278,6.6 p.284(原书标星)。
- 6.1 Lp 空间的定义与不等式
以几乎处处相等的函数为同一元素,学习 Hölder 与 Minkowski 不等式。
- 6.2 Lp 空间的结构
认识范数收敛、完备性与可分性,比较不同收敛方式。
- 6.3 L2 内积空间
用内积刻画正交与逼近,将函数展开视为几何问题。
- 6.4 Lp 空间的范数公式
通过积分配对表达范数,为理解对偶关系作准备。
- 6.5 卷积
研究平移与积分组合而成的新函数及其范数估计。
- 6.6 弱收敛
用积分配对的收敛检验函数列,比较弱收敛与范数收敛。
- 教材习题习题6与注记
第3版 p.289(习题6)、p.291(注记)。