Library
从概念的直观图景走向严格定义、逐步推导和可复用的方法。
从无限阶平坦函数、平滑阶跃到径向截断,完整构造欧氏空间上的紧支光滑函数。
用逐级收紧的误差与递归选取,构造相邻项差按几何速度衰减的柯西子列。