课程 · 资源记录
Introduction to Functional Analysis
覆盖赋范与 Banach 空间、Hahn–Banach、Baire 范畴方法、Hilbert 空间、紧与自伴算子以及谱定理。
为什么重要
用于核对 M16 的完备性假设、基本定理、投影与对偶、紧算子谱性质和紧自伴谱定理。
阅读前提
教材中的引用位置
- M16 · 第 1 章 赋范空间、Banach 空间与有界算子
支持的主张：MIT OpenCourseWare 18.102 Introduction to Functional Analysis 的课程材料覆盖赋范空间、Banach 空间、有界线性算子与基本定理，可用于核对定义、假设和标准证明。阅读时应记录每个空间采用的范数，并确认元素究竟是点值函数、序列还是几乎处处等价类；省略这些信息会让完备性与连续性陈述失去确定含义。
- M16 · 第 2 章 Hahn–Banach、开映射与一致有界原理
支持的主张：MIT OpenCourseWare 18.102 Introduction to Functional Analysis 的课程材料系统讲授 Hahn–Banach、Baire 范畴、一致有界、开映射和闭图定理，可用于核对不同教材的定理版本。阅读时应为每条结论单独标注标量域、定义域是否 Banach、值域是否 Banach、算子是否满射以及图是否闭；这些条件并不能在定理之间自动继承。
- M16 · 第 3 章 Hilbert 空间、正交投影与对偶
支持的主张：MIT OpenCourseWare 18.102 Introduction to Functional Analysis 的 Hilbert 空间、正交投影与对偶材料可用于复核本章定理。阅读其他教材时应先核对复内积在哪个变量上线性；公式外形的差别通常来自约定，而不是数学结论冲突。下一章将从有界算子进入紧算子、伴随与自伴性，并明确哪些有限维结论能够保留、哪些必须等到谱定理后才能得到。
- M16 · 第 4 章 紧算子与自伴算子
支持的主张：MIT OpenCourseWare 18.102 Introduction to Functional Analysis 的紧算子、伴随和谱理论材料可用于核对本章结论。复习时应把三层命题分开：紧性给像序列的收敛子列；自伴性给谱实性与不同特征值的正交性；紧和自伴共同使非零谱离散。下一章才会把这些局部信息组织为完整谱展开。
- M16 · 第 5 章 谱、预解式与谱定理
支持的主张：MIT OpenCourseWare 18.102 Introduction to Functional Analysis 的课程材料可用于核对 Banach 空间上的谱、紧算子与 Hilbert 空间谱论。复习时应为每条结论标注假设：谱非空紧性要求复 Banach 空间与有界算子；可数正交特征展开要求紧且自伴；一般有界自伴算子则需要投影值测度，不能由“自伴”直接推出特征向量基。
- M16 · 第 6 章 泛函分析与算子理论综合复习
支持的主张：MIT OpenCourseWare 18.102 Introduction to Functional Analysis 的课程材料覆盖 Banach 与 Hilbert 空间、有界及紧算子、基本定理和谱论，可用来逐项核对本章的函数空间、算子定义域与定理假设。复习这类综合题时，建议先写“空间—范数—定义域—边界条件”四项清单，再判断有界、紧、自伴和可逆；顺序颠倒往往会把形式计算误当成算子结论。