全书课程地图¶
教材以“定义—证明—算法证书”两条线并行组织。全书已发布至第十二部第 54 章, 共 255 个学习单元、438 学时。第九部闭合时为 189 个学习单元、337 学时。 第十部第 45 章闭合时为 209 个学习单元、367 学时。 历史发布里程碑包括第 27 章,共 125 个学习单元, 以及第 32 章,共 150 个学习单元。
第一部:实数、函数与分析语言¶
问题弧: 有限符号怎样描述无限与连续?
第 1 章:函数、集合与数学陈述¶
本章学时:6 小时(理论 5,应用 1)。
第 2 章:实数系与完备性公理¶
本章学时:5.5 小时(理论 5,应用 0.5)。
第 3 章:上界、下界与确界原理¶
本章学时:5 小时(理论 5,应用 0)。
第 4 章:递推过程与无限逼近¶
本章学时:7.5 小时(理论 5,应用 2.5)。
第二部:数列极限与无限过程¶
问题弧: 怎样判断一个无限过程最终稳定?
总学时:42 小时(理论 34,应用 8)。
第 5 章:数列极限与量词结构¶
本章学时:10 小时(理论 8,应用 2)。
第 6 章:极限运算与序关系¶
本章学时:8 小时(理论 6.5,应用 1.5)。
第 7 章:单调性、完备性与收敛准则¶
本章学时:8 小时(理论 7,应用 1)。
第 8 章:子列、Cauchy 准则与上/下极限¶
本章学时:16 小时(理论 12.5,应用 3.5)。
- 子列揭示了原数列的什么行为?
- 有界数列为何总能抽出收敛子列?
- Cauchy 条件怎样不预知极限而判断收敛?
- 严格压缩怎样保证迭代找到唯一不动点?
- 上/下极限怎样总结所有尾部行为?
- 不动点计算需要哪些可核验证书?
- 有限迭代轨迹能说明什么、不能说明什么?
- 上/下极限怎样由子列真正实现?
第三部:函数极限、连续性与方程¶
问题弧: 近似值能否保证真实解存在?
总学时:40 小时(理论 32,应用 8)。
第 9 章:函数极限与局部行为¶
本章学时:16 小时(理论 13,应用 3)。
- 函数在一点附近意味着什么?
- “任意接近”怎样定义函数极限?
- 局部估计怎样传递极限?
- 用点列靠近能否判别函数极限?
- 极限证明怎样从目标误差反推局部范围?
- 左右极限怎样共同决定双侧极限?
- 函数怎样在有限点附近趋于无穷?
- 自变量趋于无穷时怎样定义函数极限?
第 10 章:连续函数与连续运算¶
本章学时:10 小时(理论 8,应用 2)。
第 11 章:闭区间上的整体性质¶
本章学时:6 小时(理论 5,应用 1)。
第 12 章:零点、不动点与迭代求解¶
本章学时:8 小时(理论 6,应用 2)。
第四部:微分与局部线性化¶
问题弧: 局部变化能告诉我们多少整体信息?
第 13 章:导数、微分与局部线性模型¶
本章学时:7 小时(理论 5.5,应用 1.5)。
第 14 章:求导法则、反函数与高阶导数¶
本章学时:8 小时(理论 5,应用 3)。
第 15 章:微分中值定理¶
本章学时:8.5 小时(理论 6.5,应用 2.0)。
第 16 章:Taylor 公式与余项¶
本章学时:7 小时(理论 4.5,应用 2.5)。
第 17 章:凸性、优化、函数形态与 Newton 方法¶
本章学时:8 小时(理论 4.5,应用 3.5)。
第五部:积分、累积与数值求积¶
问题弧: 怎样从局部变化率恢复函数,并把无限细分转化为可验证的累积量?
第 18 章:原函数与积分方法¶
本章学时:8 小时(理论 4.5,应用 3.5)。
第 19 章:Riemann 积分与可积性¶
本章学时:7.5 小时(理论 6,应用 1.5)。
第 20 章:微积分基本定理¶
本章学时:8 小时(理论 5.25,应用 2.75)。
第 21 章:积分的几何与物理模型¶
本章学时:7 小时(理论 4,应用 3)。
第 22 章:反常积分与数值求积¶
本章学时:12 小时(理论 7.25,应用 4.75)。
- 反常积分怎样由逐端点极限定义?
- 正函数怎样比较收敛并控制尾部?
- 绝对、条件与振荡收敛怎样区分?
- 中点与梯形公式怎样产生可证明误差界?
- Simpson 方法怎样给出预算与误差证书?
- 反常积分怎样完成可靠数值计算?
本章沿两条路线推进:反常积分路线用逐端点极限、收敛判别与尾部界控制截断误差; 数值求积路线用局部近似、导数界与预算状态控制有限区间误差。第 22.6 单元用三角 不等式把两类证书合并。至此第五部闭合。
第六部:无穷级数与函数逼近¶
问题弧: 无限叠加何时仍然可控?
第六部蓝图为 42 小时(理论 30.5,应用 11.5)。数项级数与函数项级数分阶段叙述: 第 23–24 章先闭合实数项级数,第 25 章才重新引入函数变量和一致收敛。
第 23 章:数项级数的收敛与正项判别¶
本章学时:8.5 小时(理论 6.5,应用 2)。
本章从部分和与 Cauchy 尾部出发,建立正项比较、比值、根值、积分与凝聚判别,并在 保留解析不等式时给出可核查的余项证书。
第 24 章:一般项级数、重排与乘积¶
本章学时:9.5 小时(理论 7.5,应用 2)。
第 25 章:函数列、函数项级数与一致收敛¶
本章学时:9 小时(理论 7,应用 2)。
第 26 章:幂级数与解析表示¶
本章学时:8 小时(理论 6,应用 2)。
第 27 章:多项式逼近与误差控制¶
本章学时:7 小时(理论 3.5,应用 3.5)。
第七部:Euclid 空间、多元微分与优化¶
问题弧: 多变量系统能否用线性与二次对象作可靠的局部近似,并据此求解方程和 极值问题?
第七部共 25 个核心单元、44 学时(理论 33.75,应用 10.25),第 28–32 章已完整发布。
第 28 章:Euclid 空间、极限与连续¶
本章学时:9 小时(理论 7.25,应用 1.75)。
- 向量、内积、范数和距离怎样描述多维几何?
- 邻域、开集、闭集、内部与边界怎样组织局部和整体?
- 向量序列怎样收敛,有限维空间为什么完备?
- 紧致性为什么等价于闭且有界?
- 多元极限、连续与连通性怎样给出存在性结论?
第 29 章:多元微分与导数映射¶
本章学时:10 小时(理论 7.75,应用 2.25)。
- 偏导数和方向导数能否保证函数可微?
- Fréchet 微分怎样刻画最佳线性近似?
- 连续偏导为什么足以推出可微?
- 导数映射怎样满足代数规则和链式法则?
- Jacobian、梯度与条件数怎样描述敏感性?
- 怎样计算并可靠核验多元线性化?
第 30 章:高阶微分与多元 Taylor 公式¶
本章学时:7 小时(理论 5.5,应用 1.5)。
第 31 章:反函数、隐函数与局部求解¶
本章学时:7 小时(理论 5.25,应用 1.75)。
第 32 章:多元极值与约束优化¶
本章学时:11 小时(理论 8,应用 3)。
- 多元极值什么时候存在,模型定义域怎样影响答案?
- 无约束极值为什么满足一阶必要条件?
- Hessian 怎样给出二阶必要与充分条件?
- Lagrange 乘子怎样处理正则等式约束?
- 多个约束、几何解释和异常点怎样处理?
- 梯度法、Newton 法和约束候选怎样可靠核验?
第八部:重积分与空间测量¶
问题弧: 怎样把平面与空间区域分解成局部小块,严格定义高维累积量,并通过 降维与坐标变换可靠计算?
第八部 18 个核心单元、32 学时(理论 24,应用 8)已经完整发布;另有一篇不计入 核心学时的选读附录。
第 33 章:重积分的定义与可积性¶
本章学时:7 小时(理论 6.25,应用 0.75)。
第 34 章:累次积分与计算¶
本章学时:9 小时(理论 6,应用 3)。
第 35 章:重积分的变量代换¶
本章学时:7 小时(理论 6,应用 1)。
第 36 章:反常重积分与质量、概率模型¶
本章学时:9 小时(理论 5.75,应用 3.25)。
选读附录:从 Jordan 区域到测度观点¶
附录约 2 学时,不计入核心学时,也不作为第 33–36 章的前置条件。
第九部:曲线、曲面与向量分析¶
问题弧: 边界上的信息怎样控制区域内部?
第九部共 21 个核心单元、32 学时(理论 24,应用 8)。当前发布第 37–41 章;第九部核心正文已全部发布。
第 37 章:参数曲线与曲线积分¶
本章学时:6 小时(理论 4.5,应用 1.5)。
- 正则参数曲线怎样描述运动、方向与切向量?(理论 1.50,应用 0.00)
- 弧长与第一类曲线积分怎样由参数化定义?(理论 1.25,应用 0.25)
- 第二类曲线积分怎样表示功与环流?(理论 1.00,应用 0.50)
- 重新参数化、反向与保守场怎样改变积分?(理论 0.75,应用 0.75)
第 38 章:参数曲面与曲面积分¶
本章学时:6 小时(理论 4.5,应用 1.5)。
- 正则参数曲面怎样产生切平面、法向量与取向?(理论 1.50,应用 0.00)
- 曲面面积元为什么由叉积的模给出?(理论 1.25,应用 0.25)
- 第一类曲面积分怎样累积曲面上的标量分布?(理论 1.00,应用 0.50)
- 通量积分怎样依赖参数化与曲面取向?(理论 0.75,应用 0.75)
第 39 章:Green 公式与平面场¶
本章学时:6 小时(理论 4.5,应用 1.5)。
- 平面场的散度与旋度怎样描述局部变化?(理论 1.50,应用 0.00)
- Green 公式怎样从简单区域上的微积分基本定理得到?(理论 1.25,应用 0.25)
- 分片区域、多连通区域与边界方向怎样处理?(理论 1.00,应用 0.50)
- Green 公式怎样控制面积、环流、通量与路径无关?(理论 0.75,应用 0.75)
第 40 章:Gauss 公式与通量¶
本章学时:6 小时(理论 4.5,应用 1.5)。
- 三维散度为什么表示局部源汇密度?(理论 1.50,应用 0.00)
- Gauss 公式为什么先在长方体上成立?(理论 1.25,应用 0.25)
- 规则区域的分片与内部通量为什么会抵消?(理论 1.00,应用 0.50)
- Gauss 公式怎样分析流量、电通量与奇点?(理论 0.75,应用 0.75)
第 41 章:Stokes 公式与三大公式的统一¶
本章学时:8 小时(理论 6,应用 2)。
- 三维旋度为什么表示局部环流密度?(理论 1.50,应用 0.00)
- 曲面取向怎样诱导边界曲线的正方向?(理论 1.25,应用 0.25)
- Stokes 公式怎样在单个参数曲面片上证明?(理论 1.25,应用 0.25)
- 分片曲面上的内部边界为什么成对抵消?(理论 1.00,应用 0.50)
- 怎样选择并核验 Green、Gauss 与 Stokes 公式?(理论 1.00,应用 1.00)
选读附录:从向量分析到微分形式¶
附录约 2–3 学时,不计入第九部核心单元、核心学时或核心考核,也不是第十部前置。
第十部:含参变量积分¶
问题弧: 什么时候可以把极限、微分或积分移进积分号?
第十部共 20 个核心单元、30 学时(理论 22,应用 8);第 42–45 章已完整发布。
第 42 章:正常含参变量积分¶
本章学时:7 小时(理论 5.50,应用 1.50)。
- 含参积分怎样定义函数,参数与积分变量怎样分工?
- 被积函数联合连续时,积分为什么连续依赖参数?
- 一致收敛为什么允许极限进入积分号?
- 哪些逐点收敛反例说明一致控制不可省略?
- 怎样为连续性与极限交换建立条件检查表?
第 43 章:积分号下运算¶
本章学时:8 小时(理论 6.00,应用 2.00)。
- 什么条件允许对含参积分求导?
- 差商与偏导的一致控制怎样完成 Leibniz 公式证明?
- 积分端点随参数变化时,边界项从哪里产生?
- 对参数再积分时,怎样通过经典 Fubini 交换次序?
- 可固定化的移动区域怎样化为固定区域问题?
第 44 章:含参反常积分的一致收敛¶
本章学时:8 小时(理论 6.00,应用 2.00)。
- 含参反常积分的一致收敛应怎样定义?
- 一致 Cauchy 判据怎样把尾部转化为可检查条件?
- Weierstrass、Dirichlet 与 Abel 型判据怎样控制参数族?
- 连续性、极限与参数积分何时可同反常积分交换?
- 积分号下求导何时成立,反例揭示哪些条件缺口?
第 45 章:Gamma、Beta 函数与参数敏感性¶
本章学时:7 小时(理论 4.50,应用 2.50)。
- Gamma 积分在哪些参数上收敛,递推公式怎样得到?
- Beta 积分的端点奇性怎样控制?
- Beta–Gamma 关系怎样由重积分与换元推出?
- 参数求导怎样产生含对数因子的积分与敏感性公式?
- 怎样对 Gamma、Beta 积分作带状态的可靠近似?
第十一部:测度与 Lebesgue 积分¶
问题弧: Riemann 积分失效后,“大小”与“总量”应怎样重建?
第 46–50 章规划已锁定:25 个核心单元、38 学时(理论 31,应用 7);现已完整发布。
第 46 章:从长度问题到测度¶
- 区间长度应满足哪些基本性质?
- 可数区间覆盖怎样定义 Lebesgue 外测度?
- 外测度为何单调并满足可数次可加性?
- 区间的外测度为何恰好等于区间长度?
- 可数集为何是零测集,Jordan 理论的边界在哪里?
第 47 章:σ-代数与测度¶
- 为什么集合运算必须对可数过程封闭?
- Carathéodory 判据怎样定义可测集合?
- 可测集合为何构成 σ-代数?
- 外测度在可测集上为何成为可数可加的测度?
- Borel 集、零测集及其子集怎样进入 Lebesgue 可测世界?
第 48 章:可测函数与收敛方式¶
第 49 章:Lebesgue 积分¶
第 50 章:收敛定理与 Riemann 理论比较¶
- 单调收敛定理怎样闭合递增逼近?
- Fatou 引理怎样给出下极限不等式?
- 控制收敛定理为何需要可积控制函数?
- Riemann 可积函数与 Lebesgue 积分怎样兼容?
- 序章失败序列怎样被新理论完整解释?
第十二部:Fourier 级数初步¶
问题弧: 复杂的周期现象能否分解为简单振动?
第 51–54 章已完整发布:21 个核心单元、33 学时(理论 24,应用 9),未超过 34 学时硬上限。
第 51 章:正交函数系与最佳逼近¶
第 52 章:Fourier 系数与逐点收敛¶
- Fourier 系数有哪些平移、伸缩与对称性质?
- 奇偶性和分段积分怎样简化系数计算?
- 半区间正弦展开与余弦展开怎样选择?
- Fourier 部分和怎样写成 Dirichlet 核卷积?
- Dirichlet 判别条件怎样保证逐点收敛?
- 连续点与跳跃点的展开值应怎样判断?
第 53 章:能量、Parseval 与均方收敛¶
- Bessel 不等式怎样限制 Fourier 系数的能量?
- 均方误差为何等于总能量减去投影能量?
- Parseval 等式在什么条件下成立?
- Parseval 等式怎样用于经典数项级数求和?
- 均方收敛与逐点、一致收敛有什么区别?
第 54 章:周期模型、逼近误差与 Gibbs 现象¶
- 有限 Fourier 部分和怎样重建周期信号?
- Gibbs 现象为何不会因增加项数而消失?
- Fejér 平均为何比普通部分和更稳定?
- 截断阶数、误差指标与采样分辨率怎样选择?
- 一个周期模型怎样完成“建模—展开—误差—解释”闭环?
后续路线¶
第七部与第八部已完成核心内容、算法与出版质量闭合;第九部已完成核心内容与选读附录的出版闭合。 第十至十二部继续覆盖的路线中,第十部含参积分已经闭合;第十一部第 46–50 章已经闭合; 第十二部 Fourier 级数已经完整发布;全书不再规划后续部或后续章节。