第一章 线性泛函分析基础 1
1.1 拓扑空间 1
1.1.1 拓扑空间的概念 1
1.1.2 网 4
1.1.3 连续映射 5
1.1.4 距离空间 6
1.1.5 距离空间的完备性 7
1.2 拓扑线性空间 8
1.2.1 拓扑线性空间的概念 8
1.2.2 赋准范线性空间 12
1.2.3 赋范线性空间 13
1.2.4 内积空间 15
1.2.5 一致凸空间和严格凸空间 17
1.3 紧性 19
1.3.1 紧集的概念 19
1.3.2 紧集上的连续映射 20
1.3.3 Zorn引理 21
1.3.4 紧空间的乘积空间 21
1.3.5 Stone-Weierstrass定理 22
1.3.6 距离空间中的列紧集与完全有界集 24
1.3.7 有限维赋范线性空间的特征 27
1.3.8 Banach-Alaoglu定理 28
1.3.9 Hilbert空间单位球的弱紧性 30
1.4 Hahn-Banach定理及其几何形式 31
1.4.1 线性空间上线性泛函的延拓 32
1.4.2 赋范线性空间上连续线性泛函的延拓 33
1.4.3 自反空间 34
1.4.4 连续线性泛函保范延拓的唯一性 35
1.4.5 凸集的分离性 37
1.4.6 端点、Krein-Milman定理 39
1.5 线性算子基本定理 40
1.5.1 开映射定理 41
1.5.2 逆算子定理和范数等价定理 43
1.5.3 闭图像定理 43
1.5.4 共鸣定理 44
1.5.5 应用 44
1.5.6 Schauder基 47
1.5.7 点列的收敛性 49
1.5.8 泛函序列和算子序列的收敛性 51
习题 53
第二章 谱论Ⅰ：Banach空间上的紧算子及Fredholm算子 56
2.1 Banach代数中元素的谱 56
2.1.1 代数和理想 56
2.1.2 赋范代数 57
2.1.3 Banach代数中元素的谱 59
2.2 线性算子的谱 64
2.2.1 线性算子谱的概念 64
2.2.2 线性算子谱的分类 65
2.2.3 近似谱点 68
2.2.4 共轭算子及共轭算子的谱 70
2.3 紧算子 72
2.3.1 有限秩算子 72
2.3.2 紧算子的概念 73
2.3.3 紧算子的Riesz-Schauder理论 77
2.3.4 Banach空间的直和分解 79
2.3.5 紧算子的Riesz-Schauder理论（续） 81
2.4 Fredholm算子 82
2.4.1 Fredholm算子的概念 82
2.4.2 Fredholm算子的性质 84
习题 87
第三章 谱论Ⅱ：Hilbert空间上的正规算子 90
3.1 Banach代数的Gelfand表示 90
3.1.1 可乘线性泛函 90
3.1.2 Gelfand表示 92
3.1.3 极大理想空间 93
3.2 C＊代数 95
3.2.1 C＊代数的概念 96
3.2.2 C＊代数中的正规元 97
3.2.3 Gelfand-Naimark定理 98
3.2.4 GNS构造 99
3.3 谱测度和谱积分 101
3.3.1 投影算子 102
3.3.2 谱测度与谱积分 103
3.3.3 谱系 108
3.4 Hilbert空间上正规算子的谱分解 108
3.4.1 谱定理与函数演算 109
3.4.2 函数演算的扩充 110
3.4.3 正规算子的谱分解定理 111
3.4.4 正规算子的谱 113
3.4.5 Hilbert空间上紧算子的结构 115
3.4.6 正规算子的本质谱 116
3.4.7 von Neumann代数 117
习题 118
第四章 无界算子 121
4.1 对称算子和自伴算子 121
4.1.1 稠定算子的共轭算子 121
4.1.2 对称算子与自伴算子的概念 122
4.1.3 算子的图像 124
4.1.4 对称算子为自伴算子的条件 125
4.1.5 自伴算子的谱 127
4.1.6 Cayley变换 128
4.1.7 无界函数的谱积分 131
4.1.8 自伴算子的谱分解定理 134
4.1.9 L2（－∞，＋∞）上的乘法算子 136
4.2 对称算子的自伴扩张 138
4.2.1 闭对称算子的亏指数 138
4.2.2 正定双线性泛函 140
4.2.3 半有界算子的Friedrichs扩张定理 143
4.3 白伴算子的扰动 144
4.3.1 可闭算子的扰动 145
4.3.2 自伴算子的扰动 149
4.3.3 自伴算子在扰动下的谱 152
4.4 无界算子序列的收敛性 154
4.4.1 预解意义下的收敛性 154
4.4.2 图意义下的收敛性 162
习题 164
第五章 算子半群 167
5.1 向量值函数 167
5.1.1 向量值函数的连续性 167
5.1.2 向量值函数的可导性 168
5.1.3 向量值函数的Riemann积分 170
5.1.4 向量值函数的可测性 171
5.1.5 强可测与弱可测的关系 171
5.1.6 算子值可测函数 174
5.2 Bochner积分和Pettis积分 175
5.2.1 Pettis积分 175
5.2.2 Bochner积分 178
5.2.3 Bochner积分的性质 182
5.3 算子半群的概念 185
5.3.1 算子半群概念的由来 185
5.3.2 C0类算子半群 187
5.3.3 算子半群的一些例子 188
5.4 C0类算子半群的表示 190
5.4.1 C0类算子半群无穷小母元的概念 190
5.4.2 无穷小母元的预解式 192
5.4.3 C0类算子半群的表示 195
5.5 无穷小母元的特征 199
5.5.1 C0类算子半群无穷小母元的特征 199
5.5.2 标准型C0类算子半群母元的特征 202
5.5.3 C0类压缩半群母元的特征 203
5.5.4 Hilbert空间上C0类压缩半群母元的特征 203
5.6 单参数酉算子群、Stone定理 204
5.6.1 单参数算子群的无穷小母元 205
5.6.2 Stone定理 206
5.6.3 Stone定理的应用：Bochner定理 209
5.7 遍历定理 212
5.7.1 相空间上的保测变换 212
5.7.2 Boltzmann遍历假设 215
5.7.3 不可压缩稳定流 215
5.7.4 遍历定理 217
5.7.5 变换群的遍历性 219
习题 221
第六章 无穷维空间的微分学 224
6.1 映射的微分 224
6.1.1 G？teaux微分 224
6.1.2 Frèchet微分 227
6.1.3 高阶导数 233
6.1.4 Taylor公式 236
6.1.5 幂级数 238
6.2 隐函数定理 240
6.2.1 Cp映射与微分同胚 241
6.2.2 隐函数的存在性 241
6.2.3 隐函数的可微性 243
6.3 泛函极值 246
6.3.1 线性方程的解与二次泛函的极小问题 246
6.3.2 泛函极值的必要条件 249
6.3.3 泛函极值的存在性：下半弱连续条件 249
6.3.4 最速下降法 253
6.3.5 泛函极值的存在性：Palais-Smale条件 256
习题 259
第七章 拓扑度 261
7.1 Brouwer度 261
7.1.1 C1类映射的拓扑度（非临界点情形） 261
7.1.2 3个引理 265
7.1.3 C1类映射的拓扑度（一般情形） 268
7.1.4 Brouwer度 271
7.1.5 Brouwer度的性质 272
7.2 Leray-Schauder度 278
7.2.1 一个例子 279
7.2.2 全连续映射 280
7.2.3 Leray-Schauder度的定义 282
7.2.4 Leray-Schauder度的性质 284
7.3 不动点定理及其应用 288
7.3.1 Brouwer不动点定理 289
7.3.2 Schauder不动点定理 289
7.3.3 非紧性测度 293
7.3.4 集压缩映射的不动点 296
7.3.5 Kakutani不动点定理 297
7.3.6 应用：代数学基本定理 298
7.3.7 应用：不变子空间 299
7.3.8 应用：对策论基本定理 300
习题 302
参考文献 304