实分析 | 数列与收敛的ε–N定义。

1. 公式
   观察依据

   左黑板书写“a: $N \to R$”。

2. 声音
   观察依据

   主讲人说：数列是一种定义域为自然数集的函数，我们通常将其视作一个列表。

a

将数列视为从自然数集到实数集的函数。

定义域是 N；陪域是 R。

1. 公式
   观察依据

   左黑板书写“记作：$a_n = a(n)$, $a_1$, $a_2$, $a_3$, …”。

2. 声音
   观察依据

   主讲人说：我们通常写作 a 下标 n，而非 $a(n)$；或者写作这样一系列数：a1, a2, a3，依此类推。

$a_n$

该数列的第 n 项，等于 $a(n)$。

n 是一个自然数。

1. 公式
   观察依据

   黑板在“a: $N \to R$”及收敛性定义中均使用符号 N。

2. 声音
   观察依据

   主讲人明确指出：定义域是自然数集，并随后说明自然数集是一个离散集合。

N

用作数列定义域的自然数集合。

数列的指标集。

1. 公式
   观察依据

   黑板上写下“a: $N \to R$”。

2. 声音
   观察依据

   说话人说该函数的定义域是自然数集，值域是实数集。

R

实数集作为该数列的陪域。

数列各项取值的陪域。

1. 公式
   观察依据

   定义行写着“收敛于L”，不等式为|$a_n - L$| < epsilon。

2. 图示
   观察依据

   中间图中将一条水平中心线标记为L。

3. 声音
   观察依据

   说话人说该数列收敛于极限L。

L

该数列所提出的极限。

出现在收敛条件中的一个实数。

1. 公式
   观察依据

   黑板上写下“对任意epsilon > 0”以及“|$a_n - L$| < epsilon”。

2. 图示
   观察依据

   中间图中将上下两条虚线分别标记为L + epsilon与L - epsilon。

3. 声音
   观察依据

   说话人将epsilon描述为一个非常非常非常小的数。

epsilon

一个正的容差，用于衡量从某一项开始，数列各项与极限值的接近程度。

ε 大于0。

1. 公式
   观察依据

   黑板上写下“存在自然数 N，使得……”和“当 $n \ge N$ 时……”。

2. 图示
   观察依据

   中间图示在横轴上标出一个指标 N。

3. 声音
   观察依据

   说话人指出：存在一个自然数大写 N，使得从数列中某一项起，所有后续项都落在 L 的 epsilon 邻域内。

N

一个自然数阈值，从此之后的所有数列项均满足与极限值的 epsilon 接近条件。

N 是一个自然数；后续指标满足 $n \ge N$。

1. 公式
   观察依据

   黑板上写下“$a_n$”和“当 $n \ge N$ 时……”。

2. 图示
   观察依据

   横轴上依次列出 1、2、3、4、5、6、……、N、$N+1$、……。

3. 声音
   观察依据

   说话人所指的，是所有大于这个大写 N 的 n。

1. 音频说“大于”，而黑板上写的是“$n \ge N$”；所展示的公式是更明确的视觉依据。

n

数列某一项的自然数下标。

n 属于自然数集 ℕ，尤其在收敛条件中 $n \ge N$。

1. 公式
   观察依据

   黑板上写出 |$a_n - L$| < epsilon。

2. 声音
   观察依据

   讲解者说：“a 下标 n 减去 L 的绝对值小于 epsilon。”

|$a_n - L$|

第 n 项与极限 L 之间的绝对距离。

定义适用于实数值序列项与实数极限 L。

1. 公式
   观察依据

   左下角方框中写着“写作：$\lim _{n \to \infty } a_n = L$”。

2. 声音
   观察依据

   讲解者说：一般地，我们写作当 n 趋于无穷大时 a 下标 n 的极限等于 L。

lim_{n -> infinity} $a_n = L$

标准记号，断言序列 ($a_n$) 收敛于 L。

当 epsilon-N 收敛条件成立时使用。

1. 公式
   观察依据

   黑板反复使用 $a_n$ 在收敛性定义中以及在草稿不等式中 $|a_n-L|<\varepsilon$。

2. 声音
   观察依据

   讲师在设定$\left|\frac{1}{n^2}-0\right|<\varepsilon$时，称其为“序列中的第n项”。

$a_n$

序列的$n$项；在示例中具体化为$a_n=\frac{1}{n^2}$。

$n\in\mathbb{N}$，其取值范围为$\mathbb{R}$

1. 公式
   观察依据

   左侧面板通过 $L$ 定义了收敛于 $|a_n-L|<\varepsilon$，其中对所有 $n\ge N$。

2. 声音
   观察依据

   讲师说：“要证明一个序列收敛于某个值L，需要满足什么条件。”

$L$

该序列所提出的极限值。

$L\in\mathbb{R}$；在例1中，为$L=0$

1. 公式
   观察依据

   左上角黑板写有“定义：序列是定义域为 ℕ 的函数”以及“即 a: ℕ → ℝ”。

2. 声音
   观察依据

   讲解者说：形式上，我所说的序列是指定义域为自然数集的函数。

视频将数列定义为定义域为自然数集、值域为实数集的函数。这使得数列成为一组带下标索引的实数值，而不仅仅是一个非正式的数的列表。

1. 定义域是 $\mathbb{N}$。

2. 黑板上所示的值域是 $\mathbb{R}$。

1. a
2. N
3. R

1. 公式
   观察依据

   黑板上写着：“记作：$a_n = a(n)$, $a_1$, $a_2$, $a_3$, …”

2. 声音
   观察依据

   主讲人说，我们通常写作 a 下标 n，而不是 $a(n)$；或者写作这样一组数：a1, a2, a3，依此类推。

同一个对象既可以写作函数形式 $a(n)$，也可以写作带下标的列表形式 $a_1$, $a_2$, $a_3$, … 。视频通过下标记号 $a_n = a(n)$ 明确地将这两种记法联系起来。

1. n 取遍所有自然数。

1. 序列的形式化定义。
2. $a_n$

1. 公式
   观察依据

   中左黑板书写：“定义：我们说序列 {$a_n$}_{$n=1$}^$\infty$ 收敛于 L，当且仅当对每个 $ε > 0$，存在自然数 N，使得当 $n \ge N$ 时，|$a_n - L$| < ε。”

2. 声音
   观察依据

   主讲人朗读该定义：对任意大于零的 ε，都存在一个自然数 N，使得对所有大于这个大写 N 的 n，a 下标 n 减去 L 的绝对值都小于 ε。

1. 音频说‘大于’，而黑板显示的是‘$n \ge N$’；黑板上所展示的不等式更准确。

当每一个正的容差 ε 都可通过选取一个阈值指标 N 来满足，使得所有后续项都落在 L 的 ε 范围内时，该序列就收敛于 L。量词顺序至关重要：先任意给定 ε，再让 N 依赖于该 ε。

1. 该数列为实值数列。

2. 〔epsilon〕为任意正实数。

3. N 是一个依赖于 ε 的自然数。

4. 该不等式必须对所有满足 $n \ge N$ 的指标 n 成立。

1. 序列的形式化定义。
2. L
3. epsilon
4. N
5. n
6. |$a_n - L$|

1. 公式
   观察依据

   左下角方框中写着“记作：$\lim _{n \to \infty } a_n = L$”。

2. 声音
   观察依据

   主讲人说，我们通常写作这个表达式——它应是微积分中熟悉的：当 n 趋于无穷时，$a_n$ 的极限等于 L。

一旦 ε-N 条件被满足，视频便引入简洁记号，称该序列的极限为 L。

1. 当序列依据 ε-N 定义收敛于 L 时使用。

1. 收敛性的 ε–N 定义
2. lim_{n -> infinity} $a_n = L$

1. 公式
   观察依据

   黑板上的红框写着：“不收敛的数列称为发散数列。”

2. 声音
   观察依据

   讲解者进一步指出：若一个数列不收敛，则称其为发散数列。

视频以否定方式定义发散：一个数列发散，当且仅当它不满足对任意极限的ε-N收敛条件。

1. 适用于此前讨论过的同一类实数数列。

1. 收敛性的 ε–N 定义

1. 图示
   观察依据

   中间面板标题为“图示”，其横轴标有1、2、3、4、5、6、…、N、$N+1$、…，纵轴标有水平线L、L+epsilon、L-epsilon，橙色点在N之前散乱分布，在N之后则被限制在两条虚线之间。

2. 声音
   观察依据

   主讲人说：我们来看一下这个L、epsilon和N概念的图形表示，并解释道：数列可在到达N之前随意跳动，但在此之后所有项的值都必须落在距L的距离为epsilon的带状区域内。

中间图示将逻辑定义转化为图像：横轴记录下标，纵轴记录项的值，中心直线是候选极限L，两条虚线构成epsilon带；N之前的项可表现不规则；从N开始的所有项必须保持在该带内。

1. 该图示说明了条件 |$a_n - L$| < epsilon 对所有 n >= N 成立。

2. 它并不断言数列具有单调性，也不给出$a_n$的任何具体公式。

1. 收敛性的 ε–N 定义
2. 进入 epsilon 带的项的示意图

1. 公式
   观察依据

   左上方黑板：“定义：数列是定义域为$\mathbb{N}$的函数”以及“$\alpha:\mathbb{N}\to\mathbb{R}$”。

2. 公式
   观察依据

   其下方黑板写有“$a_n=\alpha(n)$”，并列出“$a_1,a_2,a_3,\ldots$”。

黑板将数列定义为定义域为自然数的函数。它被抽象地记作$\alpha:\mathbb{N}\to\mathbb{R}$，其第$n$项记为$a_n=\alpha(n)$。所展示的列表$a_1,a_2,a_3,\ldots$将数列表示为一个按自然数索引的实数值有序集合。

1. 定义域为$\mathbb{N}$。

2. 值域为实数。

1. 公式
   观察依据

   左侧面板：“我们称一个数列 $\sum_{n=1}^{\infty} a_n$ 收敛于 $L$，如果对任意 $\varepsilon>0$，存在 $N\in\mathbb{N}$，使得当 $|a_n-L|<\varepsilon$ 时，$n\ge N$。”

2. 公式
   观察依据

   左下角符号说明框：“记作：$\lim_{n\to\infty} a_n=L$”。

1. 黑板使用求和式样的记号$\sum_{n=1}^{\infty} a_n$，而更标准的写法应为数列记号$(a_n)_{n=1}^{\infty}$；其周围定义明确针对数列项$a_n$的收敛性，而非级数和。

一个数列收敛于$L$，当且仅当：对任意正容差$\varepsilon$，都存在一个自然数截断点$N$，使得此后每一项均满足$|a_n-L|<\varepsilon$。黑板上还记录了该性质的简写记号$\lim_{n\to\infty}a_n=L$。

1. $\varepsilon$是任意给定但固定且为正的数。

2. $N$可能依赖于$\varepsilon$。

3. 该不等式必须对每一个下标$n\ge N$成立。

1. 定义在$\mathbb{N}$上的数列（视为函数）。

1. 公式
   观察依据

   左下角红色框内文字：“不收敛的数列称为发散数列。”

讲座明确将收敛与发散进行对比，指出：任何不收敛的数列都称为发散数列。

1. 适用于前述收敛定义下的数列。

1. 数列收敛的ε-N定义

1. 声音
   观察依据

   你总是先从一些草稿演算开始，而你的目标就是使|aₙ − l|小于ε。

2. 公式
   观察依据

   右侧面板黄色框：“草稿演算：对 $|a_n-L|<\varepsilon$ 进行变形，直至 $n>$ 一些与 $\varepsilon$ 相关的内容。

讲师将草稿演算呈现为正式证明前的探索阶段。我们从目标不等式$|a_n-L|<\varepsilon$出发，通过代数运算将其变形，直至下标$n$被单独分离到一侧，从而得到形如$n>$某个含$\varepsilon$的表达式的条件。随后，该表达式被命名为$N$。

1. 用于借助ε-N定义证明收敛性时。

2. 该演算属于预备工作，并非正式证明本身。

1. 数列收敛的ε-N定义

1. 声音
   观察依据

   接着你展开正式证明，而正式证明具有如下结构：

2. 公式
   观察依据

   右侧面板下方框内："证明：给定$\varepsilon>0$，取$N=$（含$\varepsilon$的一些表达式）。注意到若$n\ge N$成立，则……$|a_n-L|<\varepsilon$。"

在草稿演算确定出候选阈值后，正式证明须按固定顺序书写：首先任取$\varepsilon>0$，再依据草稿演算所得表达式定义$N$，然后假设$n\ge N$成立，最后逆向执行前述代数步骤，从而得出$|a_n-L|<\varepsilon$。

1. $\varepsilon$是任意的正数。

2. 必须先选定$N$，再假设$n\ge N$成立。

3. 最终的蕴含链条必须以定义不等式收尾。

1. 数列收敛的ε-N定义
2. ε-N证明中的草稿演算阶段

1. 公式
   观察依据

   左侧黑板定义写道：若对任意$ε>0$，均存在N∈ℕ，使得当$n\ge N$时|$a_n-L$|<ε，则称该数列收敛于L。

2. 声音
   观察依据

   教师在证明中应用此模式，取$L=0$，$a_n=1/n^2$。

当且仅当对每个正容差ε，都可找到一个自然数阈值N，使得该数列所有后续项与L的距离均小于ε时，该数列收敛于极限L。

1. ε 是任意正实数

2. N 必须是自然数

3. 该不等式必须对所有 $n\ge N$ 成立

1. 声音
   观察依据

   主讲人指出：这些概念之所以等价，仅仅是因为自然数集是一个离散集合。

1. 该陈述仅为口头表述；视频片段中未给出形式化证明或反例。

函数记号 $a(n)$ 与列表记号 $a_1$, $a_2$, $a_3$, … 描述的是同一对象，因为指标集 $\mathbb{N}$ 是离散的。

1. 一个序列既可以被看作是从 $\mathbb{N}$ 到 $\mathbb{R}$ 的函数，也可以被看作是一列有序的实数。

除对两种记号进行隐含比较外，未额外陈述任何量词。

1. 声音
   观察依据

   接着你将此前为把该不等式变形为另一不等式所进行的所有步骤全部逆向执行，直至最终得到|aₙ − l| < ε。

2. 公式
   观察依据

   证明模板以 $|a_n-L|<\varepsilon$ 在 "观察到：若 $n\ge N$，则……" 这一行之后结束。

在所概述的方法中，一旦草稿演算将$|a_n-L|<\varepsilon$转化为一个隔离出$n$的条件，形式化证明便通过逆向执行完全相同的代数步骤来展开，即从$n\ge N$出发，最终再次回到$|a_n-L|<\varepsilon$。

1. 草稿演算由可逆的代数操作构成。

2. $N$选自草稿演算中得到的表达式。

3. 证明假设$n\ge N$成立。

对于任意的$\varepsilon>0$及相应选定的$N$，对所有$n\ge N$成立。

1. 公式
   观察依据

   中间面板标题：“例1：$\lim_{n\to\infty}\frac{1}{n^2}=0$”。

2. 声音
   观察依据

   “因此，根据微积分知识，你很可能直观上觉得该值应为零；接下来我们将严格证明该极限确实等于零。”

1. 在此时长为120秒的片段中，主讲人陈述了目标结论并启动了草稿演算，但完整的形式化证明并未在屏幕上完成。

该例旨在利用收敛性的ε-N定义来证明$\displaystyle \lim_{n\to\infty}\frac{1}{n^2}=0$。

1. 该数列为$a_n=\frac{1}{n^2}$。

2. 所求极限为$L=0$。

对任意$\varepsilon>0$，都应存在$N\in\mathbb{N}$，使得对所有$n\ge N$，都有$\left|\frac{1}{n^2}-0\right|<\varepsilon$。

1. 声音
   观察依据

   教师指出，这可以通过阿基米德原理实现，并解释道：对任意实数，都存在一个大于该实数的自然数。

2. 公式
   观察依据

   证明中使用的N是满足N>√($1/ε$)的自然数。

对任意实数x，都存在自然数N使得$N>x$；此处x=√($1/ε$)，因此这样的N存在。

1. ε 大于0

2. 因此$1/ε$是一个正实数

3. 因此√($1/ε$)是一个正实数

对任意x∈ℝ，存在N∈ℕ，使得$N>x$

1. 公式
   观察依据

   黑板标题写明例题1：$\lim _{n\to \infty } 1/n^2 = 0$，且证明以同一陈述结束。

2. 声音
   观察依据

   教师得出结论：当 n 趋于无穷大时，1 除以 n 的平方的极限等于零。

第 n 项为 $1/n^2$ 的数列收敛于 0。

1. n 取遍所有自然数

2. 此处的收敛性按 ε-N 定义理解

当 n 趋于无穷大时，1 除以 n 的 2 次方的极限等于 0

1. 公式
   观察依据

   中间标题为：`例 2：$\lim_{n \to \infty} (1 - \frac{1}{n}) = 1$`。

2. 声音
   观察依据

   主讲人表示将“证明该极限等于1。”

3. 公式
   观察依据

   证明栏以 `$\lim_{n \to \infty} 1 - \frac{1}{n} = 1$` 结束。

当 n 趋于无穷大时，1 减去 1 除以 n 的极限等于 1。

1. 该数列定义为 $a_n = 1 - 1/n$，其中 n 为正整数。

2. 所提出的极限是 $L = 1$。

对任意 $ε > 0$ 的全称量化，以及对某个正整数 N 的存在性量化，均通过 ε-N 证明来处理。

1. 声音
   观察依据

   在选取 `$N > 1/ε$` 后，主讲人说：“这由阿基米德性质保证。”

1. 本片段中，黑板上并未单独写出阿基米德性质的形式化陈述；仅存在口头说明。

对任意 $ε > 0$，存在正整数 N，使得 $N > 1/ε$。

1. ε 大于0。

对任意 $ε > 0$，存在正整数 N。

1. 声音
   观察依据

   说话人指出：这意味着对任意给定的 ε（你可以将其理解为一个极其微小的数），在序列中某个位置 N 之后，所有序列项的值始终与极限 L 的距离小于这个极其微小的数 ε。

2. 公式
   观察依据

   所展示的定义包含不等式 |$a_n - L$| < epsilon（其中 $n \ge N$）。

1. 公式

   $$\forall \epsilon > 0, \exists N \in \mathbb{N} \text{ such that } |a_n - L| < \epsilon \text{ for } n \ge N$$
   解释

   从黑板上所写的 ε–N 收敛定义出发。

   步骤依据

   直接依据黑板上的定义读出。

   视频直接表达
2. 公式

   $$|a_n - L| < \epsilon$$
   解释

   该不等式表明：$a_n$ 到 L 的距离小于 ε。

   步骤依据

   绝对值在实数轴上表示距离的含义。

   依据视频推导
3. 公式

   $$a_n \in (L-\epsilon, L+\epsilon) \text{ for all } n \ge N$$
   解释

   因此，每一个足够靠后的项都落在以 L 为中心、半径为 ε 的开区间内部。

   步骤依据

   对含绝对值的不等式所做的等价改写。

   依据视频推导

文字解释与形式定义一致：收敛意味着序列最终会落入L的每一个ε-邻域中。

1. 公式
   观察依据

   右侧面板上方框："草稿演算：对$|a_n-L|<\varepsilon$进行代数变形，直至$n>$得到含$\varepsilon$的某些表达式。"

2. 公式
   观察依据

   右侧面板下方框："正式证明：给定$\varepsilon>0$，令$N=$为含$\varepsilon$的某些表达式。观察可知，若$n\ge N$成立，则……$|a_n-L|<\varepsilon$。"

3. 声音
   观察依据

   讲师从目标不等式出发，将$n$单独分离出来，将所得表达式命名为$N$，再通过逆向执行草稿演算步骤写出正式证明。

1. 公式

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

   从希望强制成立的定义不等式开始。

   步骤依据

   这是 ε-N 收敛性定义中的目标条件。

   视频直接表达
2. 公式

   $$n>\text{some expression involving }\varepsilon$$
   解释

   对该不等式进行代数变形，直至指标$n$被单独分离在不等式一侧。

   步骤依据

   这是黑板上和语音中所描述的草稿演算阶段。

   视频直接表达
3. 公式

   $$N:=\text{that expression}$$
   解释

   将分离出的表达式命名为候选阈值$N$。

   步骤依据

   讲师指出，草稿演算中得到的表达式即为所称的大写$N$。

   视频直接表达
4. 公式

   $$\text{Given }\varepsilon>0,\ \text{set }N=\cdots$$
   解释

   通过任取一个正数$\varepsilon$并根据试算结果定义$N$，来启动形式化证明。

   步骤依据

   这与右下角的证明模板相匹配。

   视频直接表达
5. 公式

   $$\text{If }n\ge N,\ \text{then }\cdots$$
   解释

   假设下标超过阈值，然后逆向追溯代数推导过程。

   步骤依据

   讲师明确指出要将试算步骤逆向执行。

   视频直接表达
6. 公式

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

   得出定义中的不等式，从而验证序列收敛于$L$。

   步骤依据

   这正是定义所要求的条件。

   视频直接表达

通用方法是：先通过试算推导出候选值$N$，再通过假设$n\ge N$并逆向代数运算得到$|a_n-L|<\varepsilon$，从而完成形式化证明。

1. 公式
   观察依据

   中间面板的试算显示了$\left|\frac{1}{n^2}-0\right|<\varepsilon$。

2. 公式
   观察依据

   后续各行依次显示$\left|\frac{1}{n^2}\right|<\varepsilon$和$\frac{1}{n^2}<\varepsilon$。

3. 声音
   观察依据

   这化简为绝对值内的 〔one over n squared〕，其值小于 epsilon。n 的平方恒为正数，因此我可以去掉绝对值符号。

1. 该节选在讲师显式解出$n$或写出最终选定的$N$之前就结束了。

1. 公式

   $$\left|\frac{1}{n^2}-0\right|<\varepsilon$$
   解释

   将一般目标不等式代入$a_n=\frac{1}{n^2}$和$L=0$。

   步骤依据

   此处直接将ε-N定义应用于例1。

   视频直接表达
2. 公式

   $$\left|\frac{1}{n^2}\right|<\varepsilon$$
   解释

   利用绝对值内减零进行化简。

   步骤依据

   黑板上展示了算术化简过程。

   视频直接表达
3. 公式

   $$\frac{1}{n^2}<\varepsilon$$
   解释

   因该量为正数，故去掉绝对值符号。

   步骤依据

   讲师指出$n^2$恒为正数，因此$\frac{1}{n^2}>0$。

   视频直接表达