Analysis
把量词、估计与图像直觉连接起来,理解证明为何成立。
从无限阶平坦函数、平滑阶跃到径向截断,完整构造欧氏空间上的紧支光滑函数。
用逐级收紧的误差与递归选取,构造相邻项差按几何速度衰减的柯西子列。