分析一 (Amann & Escher)

第1章 基础

第1.1节 逻辑基础

第1.2节 集合

第1.3节 函数

第1.4节 关系和运算

第1.5节 自然数

第1.6节 可数性

第1.7节 群和同态

第1.8节 环, 域和多项式

第1.9节 有理数

第1.10节 实数

第1.11节 复数

第1.12节 向量空间, 仿射空间和代数

第2章 收敛

第2.1节 序列的收敛

第2.2节 实序列和复序列

第2.3节 赋范向量空间

第2.4节 单调序列

第2.5节 无穷极限

第2.6节 完备性

第2.7节 级数

第2.8节 绝对收敛

第2.9节 幂级数

第3章 连续函数

第3.1节 连续性

第3.2节 拓扑基础

第3.3节 紧致性

第3.4节 连通性

从直觉上来说显然$ℝ$中的一个开区间是连通的, 而如果我们去除了其中的一个点它又会变成不连通的. 本节我们要将连通性的这种直觉性概念精确化. 在达成目的的过程之中, 我们又一次发现拓扑学扮演了本质性的角色.

定义和基本性质

一个度量空间$X$被称为是连通的, 如果$X$不能被表示为两个无交非空开集之并. 因此, $X$是连通的当且仅当

第3.5节 $ℝ$上的函数

第3.6节 指数函数和相关函数

第4章 单变元微分

在第2章之中, 我们探索了极限的概念, 这是分析学最为基础和本质的概念之一. 我们建立了极限的计算方法, 并呈现了其许多重要的应用. 在第3章之中, 我们仔细考虑了分析学的拓扑基础和连续性的概念.

第4.1节 可微性

第4.2节 中值定理及其应用

第4.3节 Taylor定理

第4.4节 迭代过程

第5章 函数序列

在本章中, 近似又一次成为了我们兴趣的中心. 正如第2章, 我们也将研究序列和级数. 不同之处在于这里我们所考虑的是项为函数的序列这种更为复杂的情况. 在这种环境下存在着两种视角: 我们可以局部地考虑这样的序列, 即逐点地, 或者是全局地考虑. 在第二种情形下, 将序列的项考虑为某个函数空间的元素是很自然的, 于是我们又回到了第2章的情况. 如果序列中的函数均为有界的, 那么我们就有了一个有界函数的Banach空间中的序列, 于是我们可以应用我们在第二章之中所建立的所有关于序列和级数的结果. 这种方法是非常富有成效的, 允许简短而优雅的证明, 并且第一次刻画了于其中我们建立了分析基础的抽象框架的优势.

第一节我们研究了出现于对于函数序列的研究之中的各种收敛概念. 其中最为重要的是一致收敛, 而这不过就是有界函数空间中的收敛. 本节的主要结果是Weierstrass优级数判别法, 然而这不过就是将第二章所建立的优级数判别法应用于有界函数的Banach空间.

第二节致力于研究函数序列的连续性, 可微性, 以及收敛之间的关联. 就我们具体的Banach空间的储备而言, 这里我们加入了一个极其重要且自然的例子: 紧度量空间上的连续函数的空间.

紧接着的一节里我们继续检视之前我们所研究的幂级数并研究所谓的解析函数, 其可由幂级数所局部表示. 特别地, 我们又一次分析了Taylor级数并推导了一些经典的幂级数表示. 对于优美而重要的解析函数理论的更为深刻的探究必须要推迟到我们有了积分的概念.

最后一节考虑了通过多项式对于连续函数进行逼近. 尽管Taylor多项式提供了局部的逼近, 这里我们所感兴趣的是一致逼近. 主要的结果是Stone-Weierstrass定理. 除此以来, 我们还稍微观察了一下周期函数的行为, 并证明了以$2\pi$为周期的连续函数的Banach代数同构于单位圆上的连续函数的Banach代数. 由此事实我们可以直接得到周期函数的Weierstrass逼近定理.

第5.1节 一致收敛

对于函数序列而言, 各种不同的收敛是可能的, 这依赖于我们是对所牵涉的函数的逐点行为还是全局行为感兴趣. 本节我们同时引入了逐点收敛和一致收敛, 并研究了它们之间的关系. 本节我们所推导出的结果构成了一切对于分析学的更深探究的基础.

对于整个本节而言, $X$是一个集合而$E≔(E,|\cdot |)$是$𝕂$上的一个Banach空间.

逐点收敛

一个$X$上的$E$-值函数序列不过就是$E^X$中的一个序列$(f_n)$. 如果对于$X$和$E$的选取在上下文中是清晰的 (或者完全无关紧要), 那么我们就简单地称$(f_n)$是一个函数序列.

函数序列$(f_n)$逐点收敛于$f\in E^X$, 如果对于每个$x\in X$, $E$中序列$(f_n(x))$收敛至$f(x)$. 在这种情况下我们记$f_n\underset{\text{pointw}}{\to }f$或是$f_n\to f$ (pointw), 并称$f$为$(f_n)$的(逐点)极限或者(逐点)极限函数.

在例子1.2的a中, 我们发现即便序列的每个项都是可微的, 极限函数甚至都可以不是连续的. 因此, 对于诸多目的而言, 逐点收敛太弱了, 于是我们需要定义更强的一种收敛, 其可以保证序列中的函数的性质与极限函数共享.

一致收敛

一个函数序列$(f_n)$一致收敛于$f$, 如果对于每个$\epsilon >0$, 存在某个$N=N(\epsilon )\in \mathbb{N}$满足$$\begin{array}{lcr}\phantom{\text{(1.1)}}& |f_n(x)-f(x)|<\epsilon ,n\ge N,x\in X\text{.}& \text{(1.1)}\end{array}$$在这种情况下我们记$f_n\underset{\text{unf}}{\to }f$或者$f_n\to f$ (unf).

逐点收敛和一致收敛的本质区别在于, 对于一致收敛而言, $N$依赖于$\epsilon$但不依赖于$x\in X$, 而对于逐点收敛来说, 就一个给定的$\epsilon$而言, 一般$N(\epsilon ,x)$要随着点的改变发生变化. 对于一致收敛而言, 不等式(1.1)相对于$x\in X$一致地成立.

第5.2节 函数序列的连续性和可微性

第5.3节 解析函数

第5.4节 多项式逼近