实分析7 | 柯西列与完备性

1. 公式
   观察依据

   手写的表达式$(a_n)_{n\in\mathbb{N}}$出现在黑板左侧。

2. 声音
   观察依据

   讲述者提到了“数列”以及“此处的数列各项”。

($a_n$)_{$n\in\mathbb{N}$}

一个由自然数索引的实数数列。

n 是自然数

1. 公式
   观察依据

   单词“收敛的”写在$(a_n)_{n\in\mathbb{N}}$旁边。

2. 声音
   观察依据

   讲述者说：“即收敛数列。”

convergent

数列在所处数系中存在极限的性质。

1. 公式
   观察依据

   红色括号内文字为“（存在极限 $a = \lim_{n\to\infty} a_n$）”。

2. 声音
   观察依据

   讲述者称：存在一个数$a$，使得数列各项最终会无限接近这个数$a$。

a

数列$(a_n)_{n\in\mathbb{N}}$的极限。

$a \in \mathbb{R}$（由实分析语境隐含；本片段中未明确写出）

1. 公式
   观察依据

   公式$\lim_{n\to\infty} a_n$以红色书写。

$\lim_{n\to\infty} a_n$

序列$(a_n)$当$n$趋于无穷大时的极限记号。

1. 声音
   观察依据

   讲述者说“对所有 epsilon”，随后又说“小于我们在开头选定的 epsilon”。

2. 公式
   观察依据

   最终显示的条件中使用了$\varepsilon>0$和$|a_n-a_m|<\varepsilon$。

$\varepsilon$

在收敛性/柯西定义中使用的任意正容差。

ε 大于0

1. 声音
   观察依据

   讲述者说“存在一个大写的 N”。

2. 公式
   观察依据

   显示的量词行中包含$\exists N\in\mathbb{N}$。

N

满足所需接近条件的起始下标阈值。

N 是自然数

1. 声音
   观察依据

   讲述者说“对所有大于该 N 的下标 n”。

2. 公式
   观察依据

   显示的柯西条件中使用了$\forall n,m\ge N$。

n

序列的下标。

1. 声音
   观察依据

   叙述者说：“对之后称为 n 和 m 的所有指标。”

2. 公式
   观察依据

   所展示的条件包含 $m$ 在 $\forall n,m\ge N$ 和 $|a_n-a_m|$ 中。

m

用于比较序列中两个后续项的第二个序列指标。

1. 声音
   观察依据

   叙述者指出，$a$ 与 $a_n$ 之间的距离小于给定的 epsilon。

1. 形式化的收敛不等式被口述，但在采样帧中未以可视方式写出。

|$a-a_n$|

极限候选值 $a$ 与序列项 $a_n$ 之间的距离。

a, $a_n$ ∈ ℝ（隐含）

1. 图示
   观察依据

   画出一条水平数轴，右端标有 $\mathbb{R}$。

2. 声音
   观察依据

   叙述者说：“我们再来看一下数轴。”

$\mathbb{R}$

作为序列项视觉呈现背景的实数轴。

1. 图示
   观察依据

   数轴上的刻度标记依次标为 $a_1$、$a_2$、$a_3$，随后是类似省略号的聚集标记。

2. 声音
   观察依据

   叙述者说：“这里有一个一、一个二、一个三，依此类推。”

$a_1$, $a_2$, $a_3$, $\ldots$

数列的各个项在实数轴上的表示。

1. 公式
   观察依据

   数轴上方的绿色括号表达式为$|a_n-a_m|<\varepsilon$。

2. 声音
   观察依据

   讲解者称两个数列成员之间的距离为“aₙ 减 aₘ 的绝对值”。

|$a_n-a_m$|

两个数列项$a_n$与$a_m$之间的距离。

aₙ, aₘ ∈ ℝ（隐含）

1. 公式
   观察依据

   黑板上写出$(a_n)_{n\in\mathbb{N}}$收敛，并补充说明“（存在极限 $a = \lim_{n\to\infty} a_n$）”。

2. 声音
   观察依据

   叙述者解释：收敛意味着存在一个数$a$，使得该数列的项最终可任意接近$a$，随后给出 ε-N 表述。

1. 完整的严格收敛不等式在采样帧中可听清，但未在画面上写出。

序列$(a_n)_{n\in\mathbb{N}}$称为收敛的，当且仅当存在一个数$a$，使得其项$a_n$最终任意接近$a$。视频中用如下口语表述：对每个$\varepsilon>0$，存在一个$N\in\mathbb{N}$，使得对所有下标$n\ge N$，$a$与$a_n$之间的距离小于$\varepsilon$。

1. 该定义被应用于数列$(a_n)_{n\in\mathbb{N}}$。

2. 它要求存在一个极限$a$。

3. ε-N 表述以口头形式陈述，并未在屏幕上完整写出。

1. 声音
   观察依据

   叙述者引入一种“不同的想法”，其定义中无需涉及数$a$。

2. 图示
   观察依据

   画出一条数轴，其上标有点$a_1,a_2,a_3,\ldots$，这些点向某一区域聚拢。

3. 公式
   观察依据

   绿色标注$|a_n-a_m|<\varepsilon$位于数轴上聚拢部分的上方。

视频并未测量各项到某个外部极限$a$的距离，而是引出一种性质：序列的各项自身彼此越来越靠近。关键量是两个较后项之间的两两距离$|a_n-a_m|$，所期望的行为是：只要两项的下标都足够大，该距离便可小于任意给定的正数$\varepsilon$。

1. 这被呈现为正式定义背后的动机性思想。

2. 该性质适用于足够靠后的序列项所组成的数对。

3. 该片段尚未在画面上写出完整正式名称“柯西序列”。

1. 收敛数列

1. 公式
   观察依据

   底行公式逐步写出$\forall \varepsilon>0\ \exists N\in\mathbb{N}\ \forall n,m\ge N:\ |a_n-a_m|$，并以$<\varepsilon$收尾完成。

2. 声音
   观察依据

   讲解员口头朗读了相同的量词结构。

1. 该片段在讲解员尚在朗读最后一句话时结束，但屏幕上显示的公式已足够完整，可识别出标准的柯西条件。

黑板上写出的形式化条件是：对任意正数$\varepsilon$，存在一个自然数$N$，使得对所有下标$n,m\ge N$，对应序列项之间的距离满足$|a_n-a_m|<\varepsilon$。这是柯西序列的ε-N表述形式；尽管该片段仅展示出条件本身，尚未显示最终的标签。

1. 适用于序列$(a_n)_{n\in\mathbb{N}}$。

2. 要求该条件对每一个$\varepsilon>0$都成立。

3. 阈值$N$可能依赖于$\varepsilon$。

4. 两个指标$n$和$m$都必须至少为$N$。

1. 收敛数列
2. 柯西直观：各项彼此逐渐靠近。

1. 公式
   观察依据

   对任意 ε 大于0，存在自然数 N，使得对所有 n、m 大于等于 N，都有 |aₙ − aₘ| 小于 ε

2. 声音
   观察依据

   具有这一性质的序列，我们称之为柯西序列。

若对任意正数 epsilon，都存在一个自然数 N，使得对所有不小于 N 的下标 n 和 m，项 $a_n$ 与 $a_m$ 的绝对差值小于 epsilon，则该数列称为柯西数列。

1. 实数数列

1. 公式
   观察依据

   柯西数列 $\iff$ 收敛数列

2. 声音
   观察依据

   是柯西数列等价于收敛数列……而另一条正是完备性公理。

完备性公理指出：对实数数列而言，是柯西数列等价于收敛数列。这意味着完备的实数轴上不存在‘空洞’。

1. 适用于实数数列

1. 柯西序列的定义

1. 公式
   观察依据

   若 M ⊆ ℝ 有上界，则 sup M ∈ ℝ（存在）；若 M ⊆ ℝ 有下界，则 inf M ∈ ℝ（存在）。

戴德金完备性公理指出：每一个非空的、有上界的实数子集，在实数集中都有一个最小上界（上确界）；每一个非空的、有下界的实数子集，在实数集中都有一个最大下界（下确界）。

1. M 是实数集的一个子集

2. M 有上界（用于定义上确界）

3. M 有下界（用于定义下确界）

1. 声音
   观察依据

   它要么仍是上界，例如 $b_1$，要么不是。

2. 公式
   观察依据

   $c_1$ 是 M 的一个上界

集合 M 的一个上界是指一个实数 u，使得对 M 中所有元素 m，均有 $m \le u$。

1. u 是一个实数

2. M 是实数集的一个子集

1. 公式
   观察依据

   $c_1$ := 1 除以 2 乘以 ($a_1 + b_1$)

2. 声音
   观察依据

   因此我们只需先计算和，再除以二。

两个实数 a 和 b 的中点通过取它们的平均值来计算，即这两个数的和除以二。

1. a 和 b 是实数

1. 声音
   观察依据

   通过这一计算，我们逐步逼近 M 的上确界这一点。

2. 公式
   观察依据

   两种情况：（1）$c_n$ 是 M 的一个上界：$b_{n+1}$ := $c_n$，$a_{n+1} = a_n$；（2）$c_n$ 不是 M 的上界：存在 $x \in M$，使得 $x > c_n$，令 $a_{n+1} = x$，$b_{n+1} = b_n$

一种递归过程，用于逼近有界集合 M 的上确界。它从 M 中的一个元素 $a_1$ 和一个上界 $b_1$ 出发，反复计算中点 $c_n$。若 $c_n$ 是上界，则将其设为新的上界 $b_{n+1}$；若不是，则在 M 中找到一个大于 $c_n$ 的元素 x，并将其设为新的下界 $a_{n+1}$。该过程不断缩小包含上确界的区间 [$a_n$, $b_n$]。

1. M 是 ℝ 的一个非空子集

2. M 有上界

1. 戴德金完备性公理
2. 上界
3. 中点公式

1. 声音
   观察依据

   口述：‘数列 bₙ 确实是一个柯西列。’

2. 公式
   观察依据

   书写：⇒ (bₙ)ₙ∈ℕ 是一个柯西列。

一种数列，其任意两项之间的距离随下标增大而任意小。在本证明中，通过展示 |bₙ - bₘ| ≤ ($1/2$)^(n-1)|$b_1 - a_1$| 来确立该性质，而该式可任意小。

1. 该数列必须定义在度量空间或实数集上。

1. 声音
   观察依据

   口述：‘利用完备性公理，证明 bₙ 是一个收敛数列。’

2. 公式
   观察依据

   书写：⇒ (bₙ)ₙ∈ℕ 是一个收敛数列，其极限为 Sup M。

实数集所具有的性质：每个柯西列都在实数集中收敛于某个极限。这是最终用于得出上确界存在的关键步骤。

1. 该性质仅适用于实数域 ℝ。

1. 柯西列

1. 声音
   观察依据

   口述：‘若数列 aₙ 单调递减……且该数列又有下界……那么我们最终便可得出结论……’

2. 公式
   观察依据

   重要应用：若 (aₙ)ₙ∈ℕ 单调递减（对所有 n，有 $a_(n+1) \le a$ₙ）且有下界（集合 {aₙ}ₙ∈ℕ 存在下界），则：(aₙ)ₙ∈ℕ 收敛。

1. 视频在说话人说完“那么我们最终可以得出结论”之前就中断了，但屏幕上的文字明确写出了该结论。

实数完备性的一个重要应用。它指出：任何单调递减且有下界的序列必定收敛。

1. 该序列必须是单调递减的。

2. 该序列必须有下界。

1. 完备性公理

1. 声音
   观察依据

   讲述者指出，收敛定义的问题在于：要证明收敛，你必须事先知道极限，因为距离是相对于$a$来度量的。

若要用标准的基于极限的定义来证明收敛，就必须已经知道或给出极限$a$，因为该条件将$|a-a_n|$与$\varepsilon$进行比较。

1. 该数列正通过通常的ε-N定义接受收敛性检验。

2. 该定义使用到指定极限$a$的距离。

在标准收敛定义下所考虑的数列中，该性质隐含地具有全称性。

1. 声音
   观察依据

   讲述者指出，数列还具有另一种性质，其定义中无需用到这样的数$a$。

2. 公式
   观察依据

   黑板上用成对表达式$|a_n-a_m|<\varepsilon$取代了极限距离的思想。

存在一种序列性质，其定义不依赖于预先给定的极限$a$：不是将各项与$a$比较，而是通过$|a_n-a_m|$将后续各项彼此比较。

1. 考虑一个序列$(a_n)_{n\in\mathbb{N}}$。

2. 所期望的描述不应要求事先知道极限。

在初次口述介绍时，音频中未明确陈述任何量词；形式化的量词出现在随后展示的定义中。

1. 公式
   观察依据

   若 $M \subseteq \mathbb{R}$ 有上界，则 $\sup M \in \mathbb{R}$（存在）

2. 声音
   观察依据

   若 M 是这样一个集合且又有上界，则其上确界存在。

若实数集的一个子集 M 有上界，则其上确界作为实数存在。

1. M 是实数集的子集

2. M 有上界

对任意实数集的子集 M

1. 公式
   观察依据

   若 $M \subseteq \mathbb{R}$ 有下界，则 $\inf M \in \mathbb{R}$（存在）

2. 声音
   观察依据

   下确界也有同样的性质。因此，若一个集合有下界，则其下确界作为实数存在。

若实数集的一个子集 M 有下界，则其下确界作为实数存在。

1. M 是实数集的子集

2. M 有下界

对任意实数集的子集 M

1. 公式
   观察依据

   柯西列 ⟺ 收敛列

对于实数序列而言，它是柯西列当且仅当它是收敛列。

1. 该序列由实数组成。

对所有实数序列成立。

1. 声音
   观察依据

   从而得到上确界的近似值……因此一般地，当我们有 $a_n$ 和 $b_n$ 时，我们定义 $c_n$……这是一个递归定义，由此得到两个序列。

二分法递归地定义了两个序列 ($a_n$) 和 ($b_n$)，它们逼近集合 M 的上确界。

1. M 是 ℝ 的一个非空子集

2. M 有上界

3. $a_1$ 属于 M

4. $b_1$ 是 M 的一个上界

存在数列 ($a_n$) 和 ($b_n$)。

1. 公式
   观察依据

   屏幕顶部：若 $M \subseteq \mathbb{R}$ 有上界，则 sup $M \in \mathbb{R}$（存在）。

2. 声音
   观察依据

   口述：‘已知上确界与下确界总存在。’

若实数集的一个子集 M 有上界，则其上确界在实数集中存在。

1. M 是实数集的子集

2. M 有上界

对任意实数集的子集 M

1. 公式
   观察依据

   书写形式：⇒ ($b_n$)_{n ∈ ℕ} 是一个柯西列。

2. 声音
   观察依据

   口述：‘将结论‘$b_n$ 确实是一个柯西列’形式化表述’。

通过区间套方法构造的上界序列 $b_n$ 是一个柯西列。

1. $b_n$ 的构造满足：$b_{n+1} = b_n$ 或 $b_{n+1} = c_n$

2. |$b_n - b_m$| $\le (1/2)^{n-1}$|$b_1 - a_1$|

对所有满足 $m > n$ 的自然数 m, n

1. 声音
   观察依据

   主讲人说：‘我们利用该集合的上确界的存在性。’

每一个非空且有上界的实数集都有上确界（最小上界）。

1. 该集合是非空的。

2. 该集合有上界。

对于所有实数集的子集 M

1. 声音
   观察依据

   主讲人说：“如果我们利用下确界的存在性，就能得到另一个判据。”

每个非空且有下界的实数集都存在下确界（最大下界）。

1. 该集合非空。

2. 该集合有下界。

对于所有实数集的子集 M

1. 图示
   观察依据

   画出一条数轴，其上$a_1,a_2,a_3,\ldots$向某个聚类区域不断累积。

2. 声音
   观察依据

   讲述者指出序列成员发生累积，但并未使用极限概念，而是强调这些成员自身彼此越来越接近。

3. 公式
   观察依据

   在聚类区域上方添加标注$|a_n-a_m|<\varepsilon$，随后在底部给出完整的、含量化词的陈述。

1. 公式

   $$$$
   解释

   从一个序列$(a_n)_{n\in\mathbb{N}}$及其在实数轴上的常规收敛图示出发。

   步骤依据

   讲述者在引入新概念之前，明确回顾了收敛序列。

   视频直接表达
2. 公式

   $$a_1,\ a_2,\ a_3,\ldots$$
   解释

   将序列各项标绘在数轴上，并观察它们在某一区域附近发生累积。

   步骤依据

   这通过标有$a_1,a_2,a_3,\ldots$的刻度线在数轴右侧密集聚集的视觉方式呈现。

   视频直接表达
3. 公式

   $$$$
   解释

   注意，累积现象暗示存在一个极限，但目标是描述这一现象，而不直接指出该极限。

   步骤依据

   讲述者表示，他们不想借助极限来描述此处发生的情况。

   视频直接表达
4. 公式

   $$|a_n-a_m|$$
   解释

   用两个数列项之间的距离代替到极限的距离。

   步骤依据

   讲述者指出，实际发生的情况是：数列的各项彼此之间越来越靠近。

   视频直接表达
5. 公式

   $$|a_n-a_m|<\varepsilon$$
   解释

   要求这种相互之间的距离可以小于任意给定的正容差。

   步骤依据

   数轴上方的绿色注释恰好写出了这个不等式。

   视频直接表达
6. 公式

   $$\forall\varepsilon>0\ \exists N\in\mathbb{N}\ \forall n,m\ge N:\ |a_n-a_m|<\varepsilon$$
   解释

   通过量化所有正数$\varepsilon$、某个阈值$N$以及所有更大的指标$n,m\ge N$，将这一思想形式化。

   步骤依据

   最下方的公式逐行写出，并按相同顺序朗读。

   视频直接表达

将后继项彼此聚拢这一几何观察，转化为基于两两距离的严格柯西条件，而非依赖于到某个已知极限的距离。

1. 声音
   观察依据

   在第一种情况下，我们仅得到一个更小的上界……因此可直接代入 $b_1$……换言之，我们令 $b_2$ 为由 $c_1$ 给出的新上界。另一方面，左侧无需改动，仍保持为 $a_1$。

2. 公式
   观察依据

   (1) $c_1$ 是集合 M 的一个上界：$b_2$ := $c_1$，$a_2 = a_1$

3. 声音
   观察依据

   如前所述，此处可在 M 中找到一点 x，使得 x 大于 $c_1$。那么显然，这个新的更大的点应作为我们的新 $a_2$……接着，右侧的 $b_1$ 无需改动。

4. 公式
   观察依据

   (2) $c_1$ 不是集合 M 的上界：存在 $x \in M$，使得 $x > c_1$，$a_2 = x$，$b_2 = b_1$

1. 公式

   $$c_1 := \frac{1}{2}(a_1 + b_1)$$
   解释

   计算中点 $c_1$ 介于初始元素 $a_1$ 和上界 $b_1$ 之间。

   步骤依据

   中点的定义。

   视频直接表达
2. 公式

   $$\text{Case 1: } c_1 \text{ is an upper bound for } M$$
   解释

   检验中点 $c_1$ 是否为集合 M 的上界。

   步骤依据

   依据 $c_1$ 的性质进行逻辑分支判断。

   视频直接表达
3. 公式

   $$b_2 := c_1, \quad a_2 = a_1$$
   解释

   若 $c_1$ 是上界，则它比 $b_1$ 更紧致，将其设为新上界 $b_2$，并将下界 $a_2$ 保持为 $a_1$。

   步骤依据

   为了缩小区间，使其包含上确界。

   视频直接表达
4. 公式

   $$\text{Case 2: } c_1 \text{ is not an upper bound for } M$$
   解释

   如果 $c_1$ 不是上界，那么 M 中必存在一个元素大于 $c_1$。

   步骤依据

   上界的定义。

   视频直接表达
5. 公式

   $$\exists x \in M : x > c_1$$
   解释

   在 M 中找一个严格大于 $c_1$ 的元素 x。

   步骤依据

   $c_1$ 不是上界，保证了该元素的存在性。

   视频直接表达
6. 公式

   $$a_2 = x, \quad b_2 = b_1$$
   解释

   将这个新元素 x 设为新的下界 $a_2$，并保持上界 $b_2$ 不变，即仍为 $b_1$。

   步骤依据

   为了缩小包含上确界的区间。

   视频直接表达

二分步骤将区间 [$a_n$, $b_n$] 更新为 [$a_{n+1}$, $b_{n+1}$]，使得 M 的上确界仍位于新区间内，且新区间的长度减半。

1. 公式
   观察依据

   分步书写：当 $m > n$ 时，|$b_n - b_m$| ≤ |$b_n - a_n$| ≤ ($1/2$)^{n-1}|$b_1 - a_1$|

2. 声音
   观察依据

   口述解释：将 $a_n$ 代入 $b_m$ 的位置，并使距离减半。

1. 公式

   $$|b_n - b_m|$$
   解释

   从序列 $b_n$ 中下标满足 $m > n$ 的两项之间的距离出发。

   步骤依据

   序列中距离的定义。

   视频直接表达
2. 公式

   $$\le |b_n - a_n|$$
   解释

   将 $b_m$ 替换为 $a_n$。由于 $a_n$ 是下界而 $b_m$ 是上界，用 $a_n$ 替换 $b_m$ 会使距离增大或保持不变。

   步骤依据

   嵌套区间具有的性质：对所有 k、j，均有 $a_k \le b_j$。

   视频直接表达
3. 公式

   $$\le \left(\frac{1}{2}\right)^{n-1} |b_1 - a_1|$$
   解释

   根据构造方式，$a_n$ 与 $b_n$ 之间的距离从初始区间 [$a_1$, $b_1$] 开始，每一步都减半。

   步骤依据

   利用中点 $c_n = \frac{1}{2}(a_n + b_n)$ 构造嵌套区间。

   视频直接表达
4. 公式

   $$\text{gets arbitrarily small}$$
   解释

   当 n 增大时，($1/2$)^{n-1} 趋近于 0，从而使整个表达式可以任意小。

   步骤依据

   公比为 $1/2$ 的等比数列的极限。

   视频直接表达

序列 ($b_n$)_{$n \in \mathbb{N}$} 是一个柯西列。

1. 公式
   观察依据

   记作：$\Rightarrow (b_n)_{n \in \mathbb{N}}$ 是一个收敛序列，其极限为 Sup M。

2. 声音
   观察依据

   口述：‘此时极限的唯一可能就是 M 的上确界。’

1. 公式

   $$(b_n)_{n \in \mathbb{N}} \text{ is a Cauchy sequence}$$
   解释

   在前述推导中已确立。

   步骤依据

   柯西估计式的推导。

   视频直接表达
2. 公式

   $$(b_n)_{n \in \mathbb{N}} \text{ is a convergent sequence}$$
   解释

   应用实数的完备性公理。

   步骤依据

   完备性公理指出：ℝ 中的每个柯西列都收敛。

   视频直接表达
3. 公式

   $$\lim_{n \to \infty} b_n = \sup M$$
   解释

   由于 $b_n$ 是逼近最小上界的上界序列，其极限必为上确界。

   步骤依据

   上确界的定义及 $b_n$ 的构造过程。

   依据视频推导

数列 $b_n$ 收敛于集合 M 的上确界，从而证明了上确界的存在性。

1. 公式
   观察依据

   黑板上展示了从不等式推出其为柯西列，再推出其为收敛列的蕴含关系。

1. 公式

   $$|b_n - b_m| \leq \left(\frac{1}{2}\right)^{n-1} |b_1 - a_1|$$
   解释

   项$b_n$与项$b_m$之间的距离（当$m>n$时）被一个可任意变小的量所控制。

   步骤依据

   黑板上给出的条件。

   视频直接表达
2. 公式

   $$(b_n)_{n\in\mathbb{N}} \text{ is a Cauchy sequence}$$
   解释

   由于各项之间的距离可以任意变小，该数列满足柯西列的定义。

   步骤依据

   柯西序列的定义。

   依据视频推导
3. 公式

   $$(b_n)_{n\in\mathbb{N}} \text{ is a convergent sequence with limit } \sup M$$
   解释

   根据实数的完备性，每个柯西序列都收敛于某个极限，而在此语境中，该极限即为集合 M 的上确界。

   步骤依据

   实数的完备性公理。

   依据视频推导

序列$(b_n)$收敛，其极限为$\sup M$。

1. 图示
   观察依据

   标题卡片显示“数学的光明面”和“实分析——第7部分”。

2. 声音
   观察依据

   讲述者欢迎观众回到实分析课程，并指出今天的内容是关于柯西数列与完备性。

1. 标题文字：“数学的光明面”

2. 副标题：“实分析——第7部分”

3. 稳定会员横幅

4. 频道标志

1. 静态标题卡在讲解员介绍主题期间持续显示于屏幕。

1. 最初几秒内尚未展示任何数学公式。

本片段确立讲座背景，并在正式内容出现之前宣布本讲主题。

1. 公式
   观察依据

   $(a_n)_{n\in\mathbb{N}}$出现，随后是单词“收敛的”，再随后是红色括号内的文字“（存在极限 $a = \lim_{n\to\infty} a_n$）”。

2. 声音
   观察依据

   讲解员回顾收敛数列，并解释基于极限的定义。

1. 收敛性的形式化不等式被口述，但在所采样帧中未以可视方式写出。

1. 数列记号$(a_n)_{n\in\mathbb{N}}$

2. “收敛的”一词

3. 红色极限陈述

1. 首先写出数列的记号。

2. 然后添加性质词“收敛的”。

3. 最后在右侧写出红色括号形式的极限陈述。

1. 上方原先的标题文字仍保持可见。

黑板以视觉方式总结了此前已知的收敛概念，随后课程转向一个新定义。

1. 图示
   观察依据

   画出一条标有$\mathbb{R}$的水平数轴，其上点$a_1,a_2,a_3,\ldots$向某个聚类点不断聚集。

2. 公式
   观察依据

   在聚类区域上方添加一个绿色方括号及不等式$|a_n-a_m|<\varepsilon$。

3. 公式
   观察依据

   底行逐步写出为$\forall \varepsilon>0\ \exists N\in\mathbb{N}\ \forall n,m\ge N:\ |a_n-a_m|<\varepsilon$。

1. 标有$\mathbb{R}$的数轴

2. 标有$a_1,a_2,a_3,\ldots$的刻度线

3. 后续项的聚集区域

4. 绿色括号

5. 不等式$|a_n-a_m|<\varepsilon$

6. 底部的量化公式

1. 先画出数轴。

2. 序列点从左到右依次标出，随后在某一区域附近密集累积。

3. 绿色括号突出显示后续项之间间距紧密的特点。

4. 成对不等式写在聚集区域上方。

5. 完整的ε-N陈述写在图示下方。

1. 先前关于收敛性的提示语保留在新图示上方的屏幕上。

2. 在整个这一片段中，数轴始终保持相同的几何背景。

动画明确呈现了概念上的转变：不再指向某个极限点，而是聚焦于序列中足够靠后的项之间不断缩小的距离。

1. 图示
   观察依据

   数轴，标有点 $a_1$、$a_2$、$a_3$、…，并用阴影区域表示 |$a_n - a_m$| < $\varepsilon$

1. 数轴

2. 点 $a_n$

3. 阴影区域

1. 随着 n 增大，点逐渐聚拢

1. 点之间的距离最终可变得任意小

说明柯西列的项在指标足够大时彼此可任意接近。

1. 图示
   观察依据

   数轴，其上有一条标为 M 的绿色线段，另有一向右的箭头

1. 数轴

2. 集合 M（绿色线段）

1. 尚无内容，仅为初始设定

1. M 是实数集 R 的子集

为论证有上界的集合必有最小上界做准备。

1. 图示
   观察依据

   一条表示实数集 $\mathbb{R}$ 的数轴，其上有一片绿色阴影区域标记为 M，点 $a_1$ 位于 M 内部，点 $b_1$ 位于 M 右侧，点 $c_1$ 位于 $a_1$ 和 $b_1$ 的正中间。