MIT 18.100A 实分析 · 开篇与课程概览

目录 · l1 →

课程：18.100A / 18.1001 Real Analysis，MIT，Fall 2020 授课：Dr. Casey Rodriguez 教材：Jiří Lebl, Basic Analysis I: Introduction to Real Analysis, Volume 1, CreateSpace, 2018（免费 PDF） 讲义：Dr. Rodriguez 的完整讲义（由 Paige Dote 整理），共 25 讲 先修：Calculus II (GIR)

本笔记的写作依据：以 OCW 官方公开的 Complete Lecture Notes（92 页，含每讲 Theorem / Definition / Example / Remark 的官方编号与完整证明）、Lebl 教材章节结构、以及 OCW 全部 12 次作业 + 期中 + 期末原题为唯一事实来源。所有定理编号、命题陈述、例题函数均与官方讲义逐一核对。

一、这门课到底在教什么？

18.100A 是 MIT 18.100 系列实分析课程中较不抽象、更重应用的入门选项。它在课程描述里写了两条目标，而这门课的每一讲都在服务于这两条：

课程的两大目标（官方讲义 Lecture 1, Remark 1）：

1. 获得证明的经验 —— 能读懂证明，能写出证明。
2. 证明关于实数、函数与极限的命题。

请注意第一条。绝大多数学生在微积分课上学的是”怎么算“：怎么求导、怎么积分、怎么算极限。18.100A 要求你换成另一种思维模式：“为什么可以这么算“。你在微积分里习以为常的每一条规则——中值定理、微积分基本定理、极限的四则运算——在这门课里都不再是可用的工具，而是要证明的结论。

一个具体的例子：在微积分里你会毫不犹豫地写

在 18.100A 里，这个等式的真正含义是：

你要做的是：给定任意的 $\epsilon>0$，为它找出一个具体的 $M$。比如当 $\epsilon = 0.01$ 时，算出 $M=101$，然后说明为什么 $n\ge 101$ 时那个不等式一定成立。这就是 18.100A 的日常。

所以，这门课真正的”技术内容”其实是三层：

而贯穿整门课的那一台”发动机”只有一个：最小上界性质 (least upper bound property, LUB)。Lecture 4 会告诉你：$\mathbb{R}$ 是唯一具有 LUB 性质的有序域。Lecture 6 的单调有界定理、Lecture 9 的 Bolzano–Weierstrass 定理、Lecture 10 的 Cauchy 完备性、Lecture 16 的极值定理与介值定理、Lecture 21 的连续函数可积性、Lecture 25 的 Weierstrass 逼近定理——全都要靠 LUB 才能成立。

如果你只想记住这门课的一件事，就记这个：LUB 性质是实分析与有理数分析之间唯一的、也是最本质的分界线。

             分析的地基结构（本课程的依赖链）

   良序原理 ──► 数学归纳法 ──► 几乎所有"对一切 n"的命题
        │
        ▼
   ℚ 缺少 LUB 性质（Lecture 3）──► 必须"造出" ℝ
        │
        ▼
   ℝ 是唯一具有 LUB 的有序域（Lecture 4）
        │
        ├──► Archimedes 性质 + ℚ 稠密性（Lecture 5）
        │
        ├──► 单调有界定理（Lecture 7）
        │         │
        │         └──► Bolzano–Weierstrass（Lecture 9）──► 极值定理（Lecture 16）
        │                                                      │
        ├──► Cauchy 完备性（Lecture 10）                       ▼
        │         │                                    介值定理（Lecture 16）
        │         └──► 级数判别法（Lecture 11–12）             │
        │                                                      ▼
        ├──► 函数极限 ε-δ（Lecture 13–14）──► 连续性（Lecture 14–15）
        │                                            │
        │                                            ├──► 一致连续（Lecture 17）
        │                                            │
        │                                            └──► 极值/介值（Lecture 16）
        │
        ├──► 导数（Lecture 17–19）──► Rolle / 中值 / Taylor（Lecture 19–20）
        │
        ├──► 黎曼积分（Lecture 20–21）──► FTC（Lecture 22）
        │
        └──► 函数列收敛（Lecture 23–25）──► 交换极限（Lecture 24）──► 幂级数、Weierstrass 逼近（Lecture 25）

二、课程范围与”最后几周的转向”

这门课的主体始终停留在实数线上。 Lectures 1–22 处理的全部是 $\mathbb{R}$ 上的集合、序列、函数、导数与积分。直到最后几周（Lecture 23–25），视角才从”单个函数”转向”函数序列“，并顺带触碰 $\mathbb{R}^2$ 与点集拓扑的雏形（紧性、开集、原像）。

这个安排是有意的：只有在完全掌握了一维 $\epsilon$-$\delta$ 语言之后，你才有资格谈”函数空间上的收敛”。Lecture 23 定义的一致收敛 (uniform convergence) 是整个课程最微妙的概念之一——它表面上只比逐点收敛多了一个量词的顺序变化，但这个顺序变化决定了”极限能不能与积分交换”（Lecture 24），决定了幂级数能否逐项求导（Lecture 25）。这一点我们在 Lecture 23–24 会反复讲透。

三、如何使用这份笔记

3.1 每一讲的结构

每一讲都严格遵循以下 8 个小节。建议按顺序读，不要跳：

1. 概述 —— 本讲回答什么问题，在课程中的位置。
2. 核心定义与直观解释 —— 每个定义给出：严格定义 → 直观(“它到底在说什么？”) → 为什么需要这个条件 → 具体示例（把 $\epsilon$ 取成具体数字算出 $N$/$\delta$）→ 反例。
3. 定理与完整证明 —— 每个定理给出：定理陈述 → 证明策略（为什么选这个技巧）→ 编号逐步推导（每步注明依据）→ 【证明机制解说】（关键的”灵光一现”是什么，怎么自己重新想出来）→ 【证明技巧总结】（可迁移的证明模式）。
4. 与教材的对应 —— [JL] 章节号 + OCW 作业原题编号。
5. 与其他讲次的关联 —— 具体的依赖链。
6. 关键要点 —— 3–5 条必背结论。
7. 常见误区与注意事项 —— “错误做法 → 为什么错 → 正确做法”。
8. 思考题（带答案） —— 至少一题概念理解、至少一题完整 $\epsilon$-$N$/$\epsilon$-$\delta$ 计算。

3.2 三条学习建议

建议一：每个定义都要能”反过来写”。 分析课里最致命的失分点不是算错，而是把量词顺序写反。请对每个定义都练一次”写出它的否定”：

注意否定之后 $\epsilon$ 变成了”存在一个坏的 $\epsilon$”，$\delta$ 变成了”对任意 $\delta$”，$x$ 变成了”存在一个反例点”。这就是期末第一题考的东西（Final Assignment 第 1 题：写出不连续、非一致连续、非一致收敛的否定）。

建议二：$\epsilon$ 不要当符号，要当数字。 看到 “$\vert a_n-x\vert <\epsilon$” 时，先在心里把它读成 “$\vert a_n-x\vert <0.01$”，然后问：”从哪一项开始成立？” 这个习惯能让你在考场上 30 秒内判断一个证明是否说得通。

建议三：证明技巧是可以”背”的。 实分析的证明看似千变万化，其实只有十几种套路在反复出现。本笔记会在每个证明的【证明技巧总结】里把它们命名并归档，最终汇总到文末的速查表。最核心的几种：

四、完整目录

五、记号约定