# 实分析：让量词顺序真正参与证明 — 学习任务单

[学习指南](https://unireadinglist.com/zh-cn/guides/real-analysis/)

[课程专题: 实分析](https://unireadinglist.com/zh-cn/subjects/mathematics/#course-real-analysis)

来源确认日期: 2026-11-04

学习计划与例题由 University Reading List 编辑整理。

围绕实区间上的数列、函数极限与一致收敛展开的第一门证明型课程。Lebl 指第六大版第一卷，Abbott 指2015年第二版，Bartle–Sherbert 指2011年第四版。不预设测度论；后续度量空间和多元内容不在这六项成果的范围内。

## 选择你的起点

- [ ] 需要免费证明课程
  选 Lebl，先具备基础证明训练；作者不提供习题解答手册，应另行安排证明反馈。

- [ ] 需要先理解定义的动机
  若希望用讨论和例子看清定义防止什么错误，选 Abbott。

- [ ] 需要传统的系统主线
  若偏好从预备知识、实数依次进入极限和连续性，选 Bartle–Sherbert。

## 三本书如何取舍

### 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 都满足不等式；列举小数不够。

你的笔记:

________________________________

[官方免费阅读](https://www.jirka.org/ra/)

[书目信息与获取方式](https://unireadinglist.com/zh-cn/subjects/mathematics/basic-analysis-lebl/)

### 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的点，不能由固定分辨率图像判断一致性。

你的笔记:

________________________________

ISBN: 9781493927111

[书目信息与获取方式](https://unireadinglist.com/zh-cn/subjects/mathematics/understanding-analysis/)

### 实分析导论

Robert G. Bartle; Donald R. Sherbert · 4 · 2011
系统的入门参考书

什么情况下适合读: 偏好实直线上定义、定理与习题的常规顺序。
什么情况下选别本: 寻找研究生测度论或一般多元分析教材。
建议阅读范围: Preliminaries、The Real Numbers、Sequences and Series、Limits、Continuous Functions，按需要再读函数列。
局限与取舍: 结构便于检索，但区分相似假设的例子仍需自己构造。

#### 选书前试做

给下方 f\_n 找出不依赖 x 的上界，并解释上确界的作用。
检查标准: 同一个 N 必须控制整个定义域；各自的 N(x) 只能证明较弱命题。

你的笔记:

________________________________

ISBN: 978-0-471-43331-6

[书目信息与获取方式](https://unireadinglist.com/zh-cn/subjects/mathematics/introduction-to-real-analysis/)

## 开始前需要会什么

### 能否否定带量词的极限命题？

你的笔记:

________________________________

### 能否先整理不等式，再选择 N？

你的笔记:

________________________________

### 能否区分微分计算与收敛证明？

你的笔记:

________________________________

## 六步学习计划

- [ ] 写下两种定义

建议阅读范围: 所选书的数列与函数极限部分。

要做的练习: 并列写出逐点和一致收敛定义，标注各选择的依赖关系。

检查标准: 只有逐点定义允许 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,1\]，改为 g\_n(x)=n x^n(1−x)。判断是否逐点、一致趋于零。检验 x\_n=1−1/(2n)，并说明固定点极限，不能只检查端点。

你的笔记:

________________________________

## 进入下一阶段之前

- 写出含公共指标的完整量化误差证明。
- 说明乘以 n 后为何保留逐点收敛却失去一致性。
- 根据准备程度选书，并安排证明反馈方式。

## 答案与解释

### 能否否定带量词的极限命题？

写出 epsilon、N、n、x 的先后顺序。一致收敛失败，是某个正误差击败每一个候选公共 N。

### 能否先整理不等式，再选择 N？

对 1/(n+1)\<epsilon，可取 N=ceil(1/epsilon)。只要 n≥N，严格不等式就成立；始终保留 epsilon\>0。

### 能否区分微分计算与收敛证明？

检查端点和导数符号后，微分能定位全局最大值；一致收敛还需一个趋零的公共上界。

### 最大点移动，峰高仍可一致趋零

1. 固定 0≤x\<1 时，x^n→0 且 0≤1−x≤1；x=1 处恒为零，所以逐点极限在全域都是零。
2. 对 0\<x\<1，f\_n′=x^(n−1)\[n−(n+1)x\]。在 n/(n+1) 前为正、之后为负，两端值均为零；全局最大值为 n^n/(n+1)^(n+1)。
3. 最大值等于 (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而高度趋零，峰的位置移动本身不能否定一致收敛。

### 改变假设，再做一题: 增长的系数改变了量词问题

1. 两端点恒为零。固定 0\<x\<1，令 a\_n=n x^n，相邻比为 x(1+1/n)。选 x\<q\<1，充分大的 n 后该比值≤q，因此受趋零的几何数列控制，g\_n 在每个固定点趋零。
2. 在 x\_n 处，g\_n(x\_n)=(1/2)(1−1/(2n))^n。Bernoulli 不等式给出括号的 n 次方≥1−n/(2n)=1/2，所以该值始终≥1/4。
3. 取 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 会改变命题；应始终标注依赖。

### 只找驻点

报告全局最大值前，应比较端点和导数符号。

### 把有限图像当证明

固定网格不能排除峰在采样点间移动；需要上界或明确反例。

## 参考来源与版本

- [Author: Basic Analysis, version and contents](https://www.jirka.org/ra/)
  作者说明两卷范围、基础证明先修、第六版修订，以及不提供习题解答手册的安排。

- [Springer: Understanding Analysis, second edition](https://link.springer.com/book/10.1007/978-1-4939-2712-8)
  Springer 区分2015年第二版精装，列出数列、极限和函数列的章节主题。

- [Wiley: selected fourth-edition hardcover](https://www.wiley.com/en-nl/introduction-to-real-analysis-4th-edition-p-9780471433316)
  Wiley 确认2011年第四版精装及系统的实直线学习主线。

这些是本站建议的学习活动，并非大学官方作业，也不代表对每本书逐页通读。

[编辑与选书方法](https://unireadinglist.com/zh-cn/editorial/)