课程总纲 · 9 个单元 · 59 个知识点

泛函分析

沿徐小绪《泛函分析简明教程》的章节顺序，从度量与赋范空间走向线性算子、对偶、谱以及广义函数。

章节与知识点

以 2025 年 12 月 12 日教师讲义的九章目录为框架；前七章讨论空间与算子理论，后两章进入广义函数和 Sobolev 空间。

度量空间
已有部分内容
从距离与收敛出发，理解完备性、紧性以及函数族的收敛条件。
徐小绪《泛函分析简明教程》（2025-12-12）第 1 章，正文标页 4-26。
1. 1.1 度量空间的基本概念
  用距离描述收敛、连续与开闭集。
2. 1.2 完备度量空间
  以 Cauchy 列刻画空间中极限的存在。
3. 1.2.1 完备性
  比较收敛列与 Cauchy 列，辨认完备空间。
4. 1.2.2 压缩映射
  通过迭代寻找不动点，并联系积分方程。
5. 1.2.3 纲
  通过稠密集、疏集和 Baire 定理理解完备性的作用。
6. 1.2.4 完备化
  将度量空间等距嵌入完备空间。
7. 1.3 列紧集
  用子列收敛描述集合的紧致性质。
8. 1.4 紧集
  连接有限覆盖、连续映射和紧性。
9. 1.5 Arzelà-Ascoli 定理
  以一致有界和等度连续分析连续函数族。
- 笔记
  压缩映射原理（徐小绪课程笔记）
  对应 1.2.2；压缩映射、Banach 不动点定理及积分方程练习。
- 笔记
  稠密集、疏集与 Baire 纲定理（徐小绪课程笔记）
  对应 1.2.3；第一纲、第二纲与 Baire 定理。
线性赋范空间
已有部分内容
在线性结构上引入范数，研究有限维性、逼近与商空间。
徐小绪《泛函分析简明教程》（2025-12-12）第 2 章，正文标页 27-41。
1. 2.1 线性赋范空间的基本概念
  理解范数、连续线性结构与 Banach 空间。
2. 2.2 有限维线性赋范空间
  考察有限维空间的范数等价与紧性。
3. 2.3 最佳逼近元
  区分最佳逼近的存在性与严格凸性带来的唯一性。
4. 2.4 商空间
  把子空间视为零元，构造商范数。
- 笔记
  最佳逼近元（徐小绪课程笔记）
  对应 2.3；严格凸性与有限维子空间上的最佳逼近。
内积空间
章节框架
用内积刻画几何结构，建立正交分解和最佳平方逼近。
徐小绪《泛函分析简明教程》（2025-12-12）第 3 章，正文标页 42-57。
1. 3.1 内积空间的基本概念
  从内积及其诱导范数进入 Hilbert 空间。
2. 3.2 Hilbert 空间中的最佳逼近元
  通过正交性刻画最佳逼近。
3. 3.3 标准正交集
  研究正交展开、完全性与系数表示。
线性算子与线性泛函
章节框架
研究线性映射的连续性、可逆性及泛函延拓。
徐小绪《泛函分析简明教程》（2025-12-12）第 4 章，正文标页 58-86。
1. 4.1 线性算子与线性泛函的概念
  把有限维线性变换推广到函数空间。
2. 4.2 有界线性算子空间
  用算子范数度量线性映射。
3. 4.3 Riesz 表示定理
  以内积表示 Hilbert 空间上的连续线性泛函。
4. 4.4 开映射定理及其应用
  联系满射、闭图像与算子族的有界性。
5. 4.4.1 Banach 开映射定理
  从完备性导出满射算子的开性。
6. 4.4.2 闭图像定理
  通过图像的闭性判定算子的连续性。
7. 4.4.3 一致有界定理（共鸣定理）
  由逐点有界得到算子范数的一致控制。
8. 4.4.4 应用：Lax-Milgram 定理
  把双线性形式与变分问题的求解联系起来。
9. 4.5 Hahn-Banach 定理
  研究保有界控制的延拓及其几何含义。
10. 4.5.1 线性泛函的延拓
  从子空间上的泛函构造全空间泛函。
11. 4.5.2 Hahn-Banach 定理的几何形式：凸集分离定理
  用线性泛函区分凸集与外部点。
共轭空间与共轭算子
章节框架
通过对偶配对理解弱收敛、自反性与空间的凸性。
徐小绪《泛函分析简明教程》（2025-12-12）第 5 章，正文标页 87-99。
1. 5.1 共轭空间与共轭算子的概念
  同时从空间与算子的对偶侧观察问题。
2. 5.1.1 共轭空间
  将连续线性泛函组成新的赋范空间。
3. 5.1.2 共轭算子
  通过泛函复合定义算子的对偶作用。
4. 5.1.3 Hilbert 空间上的共轭算子
  借助内积表示伴随关系。
5. 5.2 弱收敛
  用全部连续线性泛函检验点列收敛。
6. 5.3 自反空间
  考察空间到第二对偶的自然嵌入。
7. 5.4 商空间的自反性
  研究自反性在商空间中的传递。
8. 5.5 一致凸空间
  用单位球的几何性质研究自反性。
9. 5.5.1 一致凸性
  对不同单位向量的中点范数作统一估计。
10. 5.5.2 Lebesgue 空间的自反性
  将一致凸性应用于 Lebesgue 函数空间。
算子的谱
已有部分内容
从算子可逆性的失效出发，研究谱的分类和谱半径。
徐小绪《泛函分析简明教程》（2025-12-12）第 6 章，正文标页 100-109。
1. 6.1 谱的分类
  区分不同类型的谱点与特征值。
2. 6.2 正则集和谱集的性质
  研究预解算子及谱集的基本性质。
3. 6.3 谱半径：Gelfand 定理
  联系算子幂的增长与谱的大小。
- 作业
  2025-12-01 作业
  对应 6.1；原题 2.6.2 讨论不同特征值的特征元线性无关。
- 作业
  2025-12-01 作业（徐小绪课程）
  对应 6.1；原题 2.6.2 讨论不同特征值的特征元线性无关。
紧算子
已有部分内容
用紧性连接无限维算子、有限秩逼近与 Fredholm 理论。
徐小绪《泛函分析简明教程》（2025-12-12）第 7 章，正文标页 110-133。
1. 7.1 紧算子与有穷秩算子
  比较紧算子和有限维值域算子。
2. 7.1.1 紧算子的性质
  研究紧性在复合、极限与弱收敛中的表现。
3. 7.1.2 有穷秩算子
  从有限秩算子构造紧算子的逼近。
4. 7.2 Riesz-Fredholm 理论
  研究恒等算子紧扰动的核与值域。
5. 7.3 Riesz-Schauder 理论
  分析紧算子的非零谱及特征空间。
6. 7.4 Hilbert-Schmidt 定理
  通过正交展开理解紧自伴算子。
7. 7.5 Fredholm 算子
  把有限维核与余核纳入统一的算子框架。
- 作业
  2025-12-01 作业
  对应 7.1；原题 3.1.3-3.1.6 讨论紧算子、弱收敛与有限秩逼近。
- 作业
  2025-12-01 作业（徐小绪课程）
  对应 7.1；原题 3.1.3-3.1.6 讨论紧算子、弱收敛与有限秩逼近。
广义函数
章节框架
从测试函数及其对偶出发，扩展函数与导数的概念。
徐小绪《泛函分析简明教程》（2025-12-12）第 8 章，正文标页 134-166。
1. 8.1 具有紧支集的光滑函数空间 D(Ω)
  以紧支光滑函数作为局部分析的测试对象。
2. 8.2 广义函数空间 D′(Ω)
  通过对测试函数的作用描述广义函数。
3. 8.3 速降函数空间 S(Rⁿ) 与缓增广义函数空间 S′(Rⁿ)
  用速降性处理全空间上的对偶与变换。
4. 8.4 光滑函数空间 E(Ω) 与具有紧支集的广义函数空间 E′(Ω)
  联系光滑函数的拓扑与紧支广义函数。
5. 8.5 可数半范空间
  以一族半范数组织函数空间的收敛。
Sobolev 空间
章节框架
以弱导数和可积性研究函数的正则性、嵌入与边界行为。
徐小绪《泛函分析简明教程》（2025-12-12）第 9 章，正文标页 167-194。
1. 9.1 非负整指数 Sobolev 空间
  用整数阶弱导数定义基本 Sobolev 范数。
2. 9.2 负整指数 Sobolev 空间
  通过对偶关系扩展正则性指标。
3. 9.3 实指数 Sobolev 空间
  把整数阶正则性推广到实数阶。
4. 9.4 H^{m,p} 函数的延拓
  研究函数从区域到更大空间的延拓。
5. 9.5 Sobolev 嵌入定理
  由导数的可积性获得函数本身的性质。
6. 9.6 Sobolev 紧嵌入定理
  辨认嵌入具有紧性的条件。
7. 9.7 迹定理
  以连续算子描述函数在边界上的取值。

章节与知识点

度量空间

线性赋范空间

内积空间

线性算子与线性泛函

共轭空间与共轭算子

算子的谱

紧算子

广义函数

Sobolev 空间