2026 秋季, 泛函分析
-
课程时间地点：周一13:30-15:05 周三15:20-16:55 四教4304
-
助教: 李家琪
-
Office hour: 鉴于固定的office hour时间段通常没有同学来，因此本课程不设置固定的office hour。欢迎单独约时间。
-
办公室: 双清综合楼A座C648
-
给分方式: 40%作业 + 60%期末
-
作业格式: 中文和英文皆可。每次作业请把所有解答合并为一个单独的pdf文件之后上传到网络学堂-课程作业。为了便于助教批改作业，请不要上传多个文件，请字迹尽量清晰，我们鼓励用LaTeX写作业。网络上很容易找到把多个pdf文件合并为单个文件的网页，例如这个。
-
本课程假设大家了解基本的点集拓扑和测度论结论，这些结论会在课程讲义（见下）的第一章中回顾。这些结论的证明可以在常见的教材中（例如Munkres的拓扑书，Folland或者Rudin的实分析书中）找到。本课程讲义主要引用 Qiuzhen Lectures on Analysis
-
可以通过讨论、网上查资料、AI等方式来帮助自己理解课程与作业内容。但作业请大家用自己的理解来独立完成写作。严禁抄袭和照搬他人的作业或者AI的解答。若有查出照搬现成解答或AI解答的作业，当次作业算作0分。
课程讲义
参考教材
-
Reed, Simon. Methods of Modern Mathematical Physics, I.
-
Simon. Operator Theory, a Comprehensive Course in Analysis IV.
-
Van Neerven. Functional Analysis.
-
Lax. Functional Analysis.
历史文献（GPT英译）
展开/折叠
- 1894 Stieltjes. Recherches sur les fractions continues. (Researches on Continued Fractions.) tex pdf
在这篇文章中，Stieltjes 通过引入 Stieltjes 积分来刻画连分数的积分表示。Stieltjes 积分（及其现代形式：关于有限 Borel 测度的积分）是描述谱分解和连续谱的关键语言。Stieltjes 的这篇文章展示了这个关键语言是如何出现的。对应讲义章节：4
- 1906 Hilbert. Grundzüge einer allgemeinen Theorie der linearen Integralgleichungen, Vierte Mitteilung. (Fundamentals of a General Theory of Linear Integral Equations, Fourth Communication.) tex pdf
在这篇文章中，Hilbert 引入了 Hilbert 空间 $l^2$，引入了有界双线性型和全连续双线性型（对应到现在的有界算子和紧算子）。Hilbert 对全连续对称双线性型证明了（离散的）谱分解定理，即现在所说的 Hilbert-Schmidt 定理。Hilbert 对有界对称双线性型证明了一般的谱定理。对应讲义章节：3，4，5，8
- 1913 F.Riesz. Les systèmes d’équations linéaires à une infinité d’inconnues. (Linear Systems of Equations with Infinitely Many Unknowns.) tex pdf
在第4和5章中，Riesz 利用函数演算和正线性泛函扩张，对 Hilbert 关于有界对称双线性型的谱定理进行了重新诠释和大大加强。现代教科书中对谱理论的处理更加接近 Riesz 的方法。这篇文章是历史上第一次，线性算子的视角被引入并且被发展成系统的理论，以取代双线性型的视角。对应讲义章节：3，5
- 1929 von Neumann. Allgemeine Eigenwerttheorie Hermitescher Funktionaloperatoren. (General Eigenvalue Theory of Hermitian Functional Operators.) tex pdf
Von Neumann在这篇文章中建立了无界对称算子的谱理论。对应讲义章节：6
Von Neumann 在这篇文章中对（不一定对称的）无界算子引入了闭算子、闭包、可闭、伴随算子等概念及其基本性质。对于闭算子，von Neumann 证明了极分解定理。对应讲义章节：6，7
Schedule
课程安排与26年春季的泛函分析课程大致相当。想要提前了解计划进度的同学可查看该课的课程主页。
1) 9/14 课程的两大主题（谱理论与矩问题），矩问题与刻画对偶空间的关联，（多重）线性映射的有界性、连续性、算子范数，赋范空间的稠密性与其单位闭球的稠密性的关系，有界（多重）线性映射由其在稠密线性子空间上的取值决定
讲义章节：2.2.1，2.3，2.4（Prop. 2.4.5 之前）
9/16
9/21
9/23
9/28
9/30
10/12
10/14
10/19
10/21
10/26
10/28
11/2
11/4
11/9
11/11
11/16
11/18
11/23
11/25
11/30
12/2
12/7
12/9
12/14
12/26
12/21
12/23
12/28
12/30