实分析：让量词顺序真正参与证明
图像看起来合理、每个固定点的极限也正确，仍可能没有证明需要的命题。先选适合自己证明经验的书，再区分哪些选择可以依赖于点、哪些必须对整个定义域共用。
学习计划与例题由 University Reading List 编辑整理。 编辑与选书方法 · 来源确认日期:
本页目录
这份指南适合谁
围绕实区间上的数列、函数极限与一致收敛展开的第一门证明型课程。Lebl 指第六大版第一卷，Abbott 指2015年第二版，Bartle–Sherbert 指2011年第四版。不预设测度论；后续度量空间和多元内容不在这六项成果的范围内。
选择你的起点
三本书如何取舍
Basic Analysis: Introduction to Real Analysis
Jiří Lebl · 版次: 6
免费的第一门分析课程
- 什么情况下适合读
- 会写带量词的陈述，希望不购买即可学完整卷。
- 什么情况下选别本
- 需要公开的全题解答，或希望跳过实直线基础直接学多元分析。
- 建议阅读范围
- 第一卷的 Sequences and Series、Continuous Functions、Sequences of Functions；完备性回看 Real Numbers。
- 局限与取舍
- 没有解答手册，需要逐项检查推理并获得反馈；第二卷是延续内容。
选书前试做
依据数列极限定义，以明确的指标选择证明 1/(n+1)→0。
检查标准: 给出依赖 epsilon 的 N，再证明所有 n≥N 都满足不等式；列举小数不够。
Understanding Analysis（理解分析学）
Stephen Abbott · 版次: 2 · 2015
从动机走向证明
- 什么情况下适合读
- 需要用具体例子理解近似和有限到无限的陷阱。
- 什么情况下选别本
- 只想练计算微积分，或以为教师解答可自由获取。
- 建议阅读范围
- Sequences and Series、Functional Limits and Continuity、Sequences and Series of Functions。
- 局限与取舍
- 讨论与专题适合慢读，不能替代亲自写证明。
选书前试做
写出 [0,1] 上 x^n 的逐点极限，并定位一致性主张的失败。
检查标准: 单独处理 x=1，展示靠近1的点，不能由固定分辨率图像判断一致性。
实分析导论
Robert G. Bartle; Donald R. Sherbert · 版次: 4 · 2011
系统的入门参考书
- 什么情况下适合读
- 偏好实直线上定义、定理与习题的常规顺序。
- 什么情况下选别本
- 寻找研究生测度论或一般多元分析教材。
- 建议阅读范围
- Preliminaries、The Real Numbers、Sequences and Series、Limits、Continuous Functions，按需要再读函数列。
- 局限与取舍
- 结构便于检索，但区分相似假设的例子仍需自己构造。
选书前试做
给下方 f_n 找出不依赖 x 的上界，并解释上确界的作用。
检查标准: 同一个 N 必须控制整个定义域；各自的 N(x) 只能证明较弱命题。
开始前需要会什么
能否否定带量词的极限命题？
写出 epsilon、N、n、x 的先后顺序。一致收敛失败，是某个正误差击败每一个候选公共 N。
能否先整理不等式，再选择 N？
对 1/(n+1)<epsilon，可取 N=ceil(1/epsilon)。只要 n≥N，严格不等式就成立；始终保留 epsilon>0。
能否区分微分计算与收敛证明？
检查端点和导数符号后，微分能定位全局最大值；一致收敛还需一个趋零的公共上界。
六步学习计划
已完成步骤: 0 / 6
勾选用于自我记录，不是成绩评定；标记不会发送给本站。
-
写下两种定义
建议阅读范围: 所选书的数列与函数极限部分。
要做的练习: 并列写出逐点和一致收敛定义，标注各选择的依赖关系。
检查标准: 只有逐点定义允许 N 依赖 x。
-
证明数列极限
建议阅读范围: 各书的 Sequences and Series。
要做的练习: 为 1/(n+1) 写一份完整 epsilon 证明。
检查标准: 最后的推论覆盖所有 n≥N，而非只验证 n=N。
-
求全局误差
建议阅读范围: 所选书的微分与函数列部分。
要做的练习: 求 x^n(1−x) 的导数，比较端点并给出精确最大值。
检查标准: 仅找到内部驻点不能证明全局最大。
-
把上界变成误差阈值
建议阅读范围: 函数列部分。
要做的练习: 用独立于 x 的上界给出例题的公共 N。
检查标准: 证明明确涵盖 x=0 与 x=1。
-
改变条件检验结论
建议阅读范围: 同一一致收敛部分。
要做的练习: 解出乘以 n 的后续题，同时给固定点证明和移动点反例。
检查标准: 沿 x_n 保持正下界足以否定一致性，不影响各固定点收敛。
-
审阅一段错误证明
建议阅读范围: 定义与自己的两份解答。
要做的练习: 给“每个 x 都有 N，所以可以为所有 x 取同一个 N”逐句批注。
检查标准: 指出未经证明的量词换序，用上确界估计或反例替换。
原创例题与解析
最大点移动，峰高仍可一致趋零
对整数 n≥1，在 [0,1] 上定义 f_n(x)=x^n(1−x)。求逐点极限与精确最大误差，证明一致趋于零，并给出 epsilon>0 对应的公共指标。
前提假设
函数为整个闭区间 [0,1] 上的实值函数；采用通常的逐点收敛与上确界范数收敛，n 为正整数。
- 固定 0≤x<1 时，x^n→0 且 0≤1−x≤1；x=1 处恒为零，所以逐点极限在全域都是零。
- 对 0<x<1，f_n′=x^(n−1)[n−(n+1)x]。在 n/(n+1) 前为正、之后为负，两端值均为零；全局最大值为 n^n/(n+1)^(n+1)。
- 最大值等于 (n/(n+1))^n/(n+1)≤1/(n+1)。取 N=ceil(1/epsilon)，则所有 n≥N、所有 x 都满足 |f_n(x)|<epsilon。
答案与解释
逐点和一致极限都是零。最大点为 x=n/(n+1)，值为 n^n/(n+1)^(n+1)；N=ceil(1/epsilon) 是有效的公共指标。
检验结果
n=1 时在1/2处最大值为1/4；n=2 时在2/3处为4/27。最大点接近1而高度趋零，峰的位置移动本身不能否定一致收敛。
改变假设，再做一题
增长的系数改变了量词问题
保留定义域 [0,1]，改为 g_n(x)=n x^n(1−x)。判断是否逐点、一致趋于零。检验 x_n=1−1/(2n)，并说明固定点极限，不能只检查端点。
- 两端点恒为零。固定 0<x<1，令 a_n=n x^n，相邻比为 x(1+1/n)。选 x<q<1，充分大的 n 后该比值≤q，因此受趋零的几何数列控制，g_n 在每个固定点趋零。
- 在 x_n 处，g_n(x_n)=(1/2)(1−1/(2n))^n。Bernoulli 不等式给出括号的 n 次方≥1−n/(2n)=1/2，所以该值始终≥1/4。
- 取 epsilon=1/8。对任何 N，选 n≥max(N,1) 和对应的 x_n，误差都大于 epsilon，故不存在控制全域的公共指标。
答案与解释
g_n 逐点趋于零，但在 [0,1] 上不一致收敛；沿移动点的误差至少为1/4。
检验结果
n=1 时 x_1=1/2，函数值为1/4。反例中的点随 n 改变，与每个固定点收敛不矛盾。有限网格可能漏掉越来越窄的峰。
常见误区
隐藏指标的依赖
把 N(x,epsilon) 直接称为公共 N 会改变命题；应始终标注依赖。
只找驻点
报告全局最大值前，应比较端点和导数符号。
把有限图像当证明
固定网格不能排除峰在采样点间移动；需要上界或明确反例。
进入下一阶段之前
- 写出含公共指标的完整量化误差证明。
- 说明乘以 n 后为何保留逐点收敛却失去一致性。
- 根据准备程度选书，并安排证明反馈方式。
参考来源与版本
来源确认日期:
- Author: Basic Analysis, version and contents
作者说明两卷范围、基础证明先修、第六版修订，以及不提供习题解答手册的安排。
- Springer: Understanding Analysis, second edition
Springer 区分2015年第二版精装，列出数列、极限和函数列的章节主题。
- Wiley: selected fourth-edition hardcover
Wiley 确认2011年第四版精装及系统的实直线学习主线。
这些是本站建议的学习活动，并非大学官方作业，也不代表对每本书逐页通读。