泛函分析 期末复习完整版总结（应试版，结构清晰，抓核心考点）

泛函分析核心一句话：把有限维线性代数推广到无限维空间；研究无穷维空间上的线性映射（算子），用拓扑+度量研究收敛性三大支柱：距离空间（度量空间）→赋范线性空间→内积空间（Hilbert空间）；四大核心定理：巴拿赫不动点、开映射、闭图像、共鸣定理；算子与谱理论

第1章 度量空间（距离空间）

1.1 定义

集合，映射 ，满足：

1. ；（非负，恒等）
2. （对称性）
3. （三角不等式）称为度量空间。

例子（必考）

• ：欧氏距离；
• ：闭区间连续函数空间，（一致收敛度量）
• 空间：
• ：可测函数，，几乎处处相等视为同一函数

1.2 收敛、柯西列、完备性

• 收敛：
• 柯西列（基本列）：
• 完备空间：空间中所有柯西列都收敛到空间内的点。

重点：完备是空间性质，不是点列性质！ ✅完备：❌不完备：有理数；配上距离

1.3 巴拿赫不动点定理（压缩映射原理，高频大题）

压缩映射：，存在常数，

定理：完备度量空间上的压缩映射，存在唯一不动点 迭代格式：；误差估计 应用：常微分方程存在唯一性、积分方程求解。

1.4 连续映射

度量空间之间映射：在连续 

第2章 赋范线性空间与巴拿赫空间

2.1 赋范线性空间

线性空间，范数：

1. ；
2. （齐次）
3. （三角不等式）

范数自然诱导距离：。

巴拿赫空间（B空间）：赋范线性空间，作为度量空间完备。

经典巴拿赫空间：

1. 有限维Banach
4. （本性上确界）

2.2 有限维赋范空间特殊性质（选择填空）

有限维赋范空间：

1. 所有范数等价；
2. 一定完备（Banach空间）；
3. 有界集列紧集（无限维不成立！）

重要结论：无限维赋范空间的单位球一定不是列紧集

2.3 有界线性算子

赋范空间，线性映射 。

有界：

核心等价：线性算子连续  线性算子有界！（必考证明）

算子范数：

：全体有界线性算子构成空间。

定理：若是Banach空间，则是Banach空间。

2.4 四大基本定理（泛函分析重中之重，证明+选择题）

设为Banach空间，

1. 共鸣定理（一致有界原理）设。若对任意，（逐点有界），则（算子范数一致有界）。

用途：傅里叶级数发散、求算子族有界性。

1. 开映射定理若是满射有界线性算子，则把开集映成开集。

2. 巴拿赫逆算子定理（开映射推论） 若双射、有界线性，则逆映射也是有界线性算子。

3. 闭图像定理线性。若图像是闭集，则有界。

使用前提记忆：X,Y都必须是Banach空间！缺一不可

2.5 有界线性泛函、Hahn–Banach定理

线性泛函：算子的值域是数域，记。：共轭空间（对偶空间）

Hahn–Banach 延拓定理赋范空间，子空间，是上有界线性泛函。则可以保范延拓到整个上：存在，。 推论：分离点；对任意，存在使得。

自反空间：典型例子：有限维、$L^p,l^p,1

弱收敛：，

强收敛弱收敛；反之一般不成立。有限维强弱收敛等价。

第3章 内积空间、希尔伯特空间（Hilbert空间）

3.1 内积定义

复线性空间，内积

2. 共轭对称
3. 对第一变元线性

诱导范数：希尔伯特空间（H空间）：内积空间，按诱导范数完备。

例子：；。

只有Hilbert空间才有正交、投影定理。

施瓦茨不等式：

3.2 正交与正交投影定理（大题高频）

；正交补 

投影定理：设是Hilbert空间闭子空间。对任意，存在唯一分解：

称为在上正交投影。几何意义：是中离最近点。

3.3 Riesz表示定理（Hilbert空间对偶）

Hilbert空间，任意有界线性泛函，**存在唯一**，使得：

且。

结论：Hilbert空间和它的对偶空间保范同构，Hilbert空间都是自反空间。

3.4 伴随算子（自伴算子）

 Hilbert，。伴随算子满足：

性质：

• 自伴算子：，是实数；谱全是实数。
• 酉算子：，保内积保范。
• 正规算子：（自伴、酉都是正规算子特例）

第4章 算子谱理论（期末常考简答）

设复Banach空间，，单位算子。 预解算子：

谱点分类

1. 正则点（预解集）：双射，逆算子有界；
2. 谱集，谱分三类
• 点谱（特征值）：不是单射，存在非零满足，特征向量。
• **连续谱**：单射，值域稠密，但逆无界。
• **剩余谱**：单射，值域不稠密。

重要性质：是中非空紧集；谱半径公式：

Hilbert空间自伴算子补充： 自伴算子谱全是实数；剩余谱为空集。

📌【应试核心考点清单】（考前快速过一遍）

证明题高频

1. 线性算子有界连续
2. 压缩映射不动点定理证明
3. Hahn-Banach简单推论
4. 共鸣定理、开映射定理、逆算子定理的条件与简单应用
5. Hilbert正交投影定理
6. Riesz表示定理

简答/名词解释

度量空间、完备、Banach空间、Hilbert空间；算子范数；共轭空间；弱收敛；伴随算子；自伴算子；谱/特征值；谱半径。

易混淆易错点（选择题坑）

1. 完备是空间性质，子集完备闭子集（度量空间）
2. 四大定理必须X,Y都是Banach空间才成立！
3. 无限维赋范空间单位球不紧
4. 强收敛一定弱收敛；弱收敛不一定强收敛
5. 内积空间一定是赋范空间；赋范空间不一定是内积空间（满足平行四边形法则才是内积诱导范数） 平行四边形法则：

公式速记卡片

• 算子范数：
• Schwarz：
• 谱半径：
• 平行四边形等式

📝 复习建议

1. 第一遍通读这份总结，搭建框架：度量→赋范→内积空间；空间→算子→泛函→谱；
2. 第二遍：专门背四大定理、Hahn-Banach、投影定理、Riesz定理条件+结论；
3. 第三遍刷例题：不动点迭代、算子范数计算、谱点判定；
4. 最后：看错题，区分“有限维”和“无限维”差异，这是泛函分析最容易踩坑的地方。

如果你想要，我可以： 版本A：压缩成一页纸极简背诵版（只保留定理+名词解释，适合考前1小时突击）版本B：配套泛函分析典型例题（含详细解答，覆盖算子范数、不动点、谱计算）。