数学建模 / 英语

一致收敛轻松学！

Math For Life · YouTube · 6:38

YouTube · Math For Life原视频

选中时刻 · 0:00 · 章节点是时间参考，不表示实时播放进度。

视频中的要点

01一致收敛主题的引入
02例1： $f_n(x)=x^2/n$
03例2： $f_n(x)=x^n$

来自学习笔记

f_n \rightrightarrows f

一致收敛主题的引入

选中时刻

引言：一致收敛及两个示例函数列

建议预备知识

函数列
数值序列的极限
闭区间上的函数图像
逐点收敛的基本概念
函数列的逐点收敛
多项式函数的连续性
几何数列的极限（ $r^n$ ，其中 $|r|<1$ ）
逐点收敛
函数的连续性
绝对值不等式
阿基米德性质

阅读与收藏

把讲解展开来看。

被收藏 0

已审核学习内容 · 视频分析 · 中文

阅读完整概览

本150秒白板片段通过区间 [0，1]: $f_n(x)=x^2/n$ 且 $f_n(x)=x^n$ 。教师首先通过绘制若干项来分析初始序列，然后证明其逐点收敛于 f≡0，方法是计算 $\lim _{n\to \infty } x_0^2/n = x_0^2\cdot 0 = 0$ （对固定的 $x_0$ ∈[0，1]. 在确立逐点收敛后，黑板明确提问该收敛是否一致，但本片段未回答该问题。随后视频回到第二个例子，并开始绘制 $f_1(x)=x$ 的图像，并提及 $f_2$ 的图像呈抛物线状，但在对 $f_n(x)=x^n$ 得出任何结论前即结束。本视频分析函数列 $f_n(x) = x^n$ 在区间 [0, 1] 上的性质。首先证明该函数列逐点收敛于一个不连续函数 $f(x)$ ，该函数在 [0 for x in [0) 上为 1，而在 $x = 1$ 处为 1。图像直观地展示了曲线逐渐压平趋近于 x 轴，同时在点 (1, 1) 处保持固定。为判断该收敛是否一致，视频引入了一个定理：连续函数的一致收敛极限函数必连续。由于每个 $f_n(x)$ 均连续，而其逐点极限 $f(x)$ 不连续，故采用反证法得出该函数列在 [0, 1。本视频片段讲解函数列的一致收敛性。它给出了严格的 ε-N 定义，并证明序列 $f_n(x) = x^2/n$ 在区间 [0 on the interval [0] 上一致收敛于 1。此外，它陈述了一个关键定理：连续函数列的一致极限仍是连续函数。该定理随后以其逆否命题形式，结合反例 $f_n(x) = x^n$ ，说明一个逐点收敛但不一致收敛的序列，因其极限函数不连续。

在学习检查器中查看要点和时刻，或切换阅读标签查看完整笔记。

章节

0:00引言：一致收敛及两个示例函数列 0:18绘制

f_n(x)=x^2/n

在 [0,1] 上的图像 1:06第一个示例的逐点收敛性证明 1:45开放性问题：该收敛是否一致？2:12开始第二个示例：

f_n(x)=x^n

2:30函数列

f_n(x) = x^n

的引入 3:03逐点极限的计算 4:00关于一致收敛与连续性的定理 4:28用反证法证明非一致收敛 5:00定义与定理陈述 5:20

x^2/n

的一致收敛性证明 6:20结论与反例逻辑

学习解说文稿

依据视频画面与讲解整理，并非逐字语音转写。

该片段以一块题为“一致收敛 $f_n \rightrightarrows f$ ”的白板开场，表明本课内容聚焦于函数列向极限函数的收敛；主讲人虽口头提到“函数的级数”，但板书所展示的数学内容明确针对函数列 $f_n$ ，而非无穷级数。

两个具体示例并列书写：（1） $f_n(x)=x^2/n$ 与（2） $f_n(x)=x^n$ ，二者均限定定义域为 $x\in [0,1]$ 。这一公共定义域至关重要，因为后续的图像分析与代数论证仅涉及各曲线在单位区间内的部分。

在第一个例子中，教师首先绘制该数列的各个项。代入 $n=1$ 得到 $f_1(x)=x^2$ ，代入 $n=2$ 得到 $f_2(x)=x^2/2$ 。黑板上还计算了一个有用的参考点： $f_2(\sqrt{2})=(\sqrt{2})^2/2=1$ ，这有助于确定第二条抛物线相对于第一条的位置。

该视觉规律随后被推广至 $f_3$ 及后续各项。随着n增大，完整的抛物线整体向右平移，但在受限区间[0,1]上，其高度逐渐减小并趋近于x轴。这一几何观察启发我们猜想极限函数应为f≡0，定义域为[0,1]。

黑板上将这一猜想性结论记为 $f_n \Rightarrow f$ ≡0，随后便从图像直观转向严格的逐点收敛检验。其方法明确如下：任取 $x_0\in [0,1]$ ，考察当 $n\to \infty$ 时 $f_n(x_0)$ 的数值极限。

执行该计算时，教师写出 $\lim_{n\to\infty} f_n(x_0)=\lim_{n\to\infty}\frac{x_0^2}{n}$ 。由于 $x_0$ 是固定的， $x_0^2$ 关于 n 是常量，因此该表达式化为 $x_0^2\lim_{n\to\infty}\frac{1}{n}$ 。利用标准事实 $\lim_{n\to\infty}1/n=0$ ，最终结果为 $x_0^2\cdot 0=0$ 。

由于 $x_0$ 是区间 [0,1] 中任意选取的，这就证明了第一个数列逐点收敛于零函数。紧接着，黑板将这一已完成的结果与尚未解决的问题区分开来，写下了“逐点”二字，然后提出：“一致吗？”本片段并未在此处定义或证明一致收敛，而仅是引出这一更强的收敛概念。

随后，教师回到第二个例子 $f_n(x)=x^n$ （定义域为 [0,1]），打算沿用相同的分析风格。教师重新画出坐标轴，并明确指出首项为 $f_1(x)=x$ ，即从点 (0,0) 到点 (1,1) 的对角直线。

讲者接着指出， $f_2$ “又类似于我们的抛物线”，对应于 $f_2(x)=x^2$ ，并开始勾勒第二项的图像。然而，该片段在此处结束，尚未展开 $f_3$ 的图像或 $x^n$ 的极限行为，因此本片段内未得出第二个例子的任何收敛结论。

我们首先考察函数序列 $f_n(x) = x^n$ 在区间 $[0, 1]$ 上。直观来看，随着 $n$ 增大，这些函数的图像在 $x$ 小于1的取值处逐渐压平并趋近于x轴，但它们均固定于点 $(1, 1)$ 。

为求逐点极限，我们对定义域的不同部分分别计算 $\lim_{n \to \infty} f_n(x)$ 。对于任意 $x \in [0, 1)$ , the limit of $x^n$ 的极限是0然而，在边界点 $x = 1$ 处， $1^n$ 的极限是1。这意味着该序列逐点收敛于一个极限函数 $f(x)$ ，其定义为0，其中 $x \in [0, 1)$ ，且1，其中 $x = 1$ 。

所得极限函数 $f(x)$ 在 $x = 1$ 处明显不连续，如其图像所示——函数值从 0 跳跃至 1。我们已确立逐点收敛性，但下一个问题是：该收敛是否一致？

为回答此问题，我们引入一条重要定理：若一列连续函数一致收敛于某极限函数，则该极限函数也必连续。这为我们提供了一种直接检验一致收敛性的方法：只需检查逐点极限函数是否连续。

我们通过反证法应用该定理。假设 $f_n(x) = x^n$ 在 $[0, 1]$ 上一致收敛。由于每个 $f_n(x)$ 均为多项式，因而连续，定理要求极限函数 $f(x)$ 也必须连续。但我们已发现 $f(x)$ 在 $x = 1$ 处不连续。这一矛盾表明初始假设错误，即该函数列并不一致收敛。

视频首先陈述某一定理的逆否命题：若极限函数不连续，则收敛不是一致的。接着给出一致收敛的形式化定义：对任意大于0的ε，存在一个N，使得对所有 $n > N$ 及定义域内所有x， $f_n(x)$ 与 $f(x)$ 之间的距离小于ε。

核心策略是选取足够大的N，使得 $1/N < ε$ 。对任意大于N的下标n，均有 $1/n < 1/N < ε$ 。这满足了一致收敛的定义，从而证明了该特定函数列的一致收敛性。

最后，视频将此与序列 $f_n(x) = x^n$ 进行对比。尽管每个 $x^n$ 都是连续的，但它在 [0, 1] 上的逐点极限是一个不连续的阶跃函数（0 当 $x < 1$ 时，1 当 $x = 1$ ）。根据前面所述的定理，由于极限函数不连续，该收敛不可能是一致收敛。

知识卡片

一致收敛主题的引入

本课探讨的是函数列 $f_n$ 是否一致收敛于某函数 f。黑板标题使用符号 $f_n \rightrightarrows f$ ，所举两个例题均定义在公共定义域 [0,1] 上： $f_n(x)=x^2/n$ 与 $f_n(x)=x^n$ 。

f_n \rightrightarrows f

例1： $f_n(x)=x^2/n$

第一个函数列由 $f_n(x)=x^2/n$ 定义，其中 $x\in [0,1]$ 。其各项为缩放后的抛物线，本片段研究这些图像随 n 增大时的变化规律。

f_n(x)=\frac{x^2}{n},\quad x\in[0,1]

例2： $f_n(x)=x^n$

第二个函数列是 $f_n(x)=x^n$ ，在区间0到1上定义。本片段中仅对该函数列作了初步介绍并部分绘制了图像；在该片段结束前，分析尚未得出结论。

f_n(x)=x^n,\quad x\in[0,1]

绘制 $x^2/n$ 的前几项图像

代入可得 $f_1(x)=x^2$ 以及 $f_2(x)=x^2/2$ 。黑板上还计算了 $f_2(\sqrt{2})=1$ ，以辅助确定第二条曲线的位置。进一步考察 $f_3$ 及更大的 n 值，可推测这些图像在区间0到1上逐渐压平、趋近于零。

f_1(x)=x^2,\quad f_2(x)=\frac{x^2}{2},\quad f_2(\sqrt{2})=1

逐点收敛的判定方法

检验逐点收敛性时，先在定义域中固定一个输入值 $x_0$ ，再单独对 n 取极限。这样便将变量 x 的作用与序列指标 n 的作用分离开来。

\text{Fix }x_0\in[0,1],\ \text{then study }\lim_{n\to\infty} f_n(x_0)

$x^2/n$ 的逐点极限为零

对于固定的 $x_0$ ，因子 $x_0^2$ 关于 n 是常数，因此 $\lim_{n\to\infty} x_0^2/n = x_0^2\lim_{n\to\infty}1/n = x_0^2\cdot 0 = 0$ . 由于 $x_0$ 是任意的，该序列在 [0 on [0,1。

\lim_{n\to\infty}\frac{x_0^2}{n}=x_0^2\cdot 0=0

逐点收敛尚不意味着一致收敛

在证明逐点极限为零之后，授课教师明确提出了该收敛是否为一致收敛的问题。这一更强的性质在本片段中并未解决，因此观众需区分已得出的逐点收敛结论与尚未解决的一致性问题。

第二个例子开始讲解，但未完成

授课教师以相同方式重新分析 $f_n(x)=x^n$ ：先画出坐标轴，并标出 $f_1(x)=x$ ；接着描述 $f_2$ 的图像呈抛物线状，但片段在此处结束，尚未判定该函数列的收敛性。

f_1(x)=x

$x^n$ 的逐点收敛性

函数序列 $f_n(x) = x^n$ 在 $[0, 1]$ 上逐点收敛于一个函数 $f(x)$ 。对于任意 $x$ 严格介于 0 与 1， $\lim_{n \to \infty} x^n = 0$ 。在 $x = 1$ 处， $\lim_{n \to \infty} 1^n = 1$ 。因此，极限函数为 $f(x) = 0$ ，其中 $x \in [0, 1)$ 且 $f(1) = 1$ 。该极限函数在 $x=1$ 处不连续。

f(x) = \begin{cases} 0, & x \in [0, 1) \\ 1, & x = 1 \end{cases}

定理：一致收敛保持连续性

实分析中的一条基本定理指出：若一列连续函数 $f_n$ 在某个区间上一致收敛于函数 $f$ ，则极限函数 $f$ 在该区间上也必连续。该定理常以其逆否命题形式使用：若一列连续函数的逐点极限函数不连续，则其收敛不可能是一致收敛。

f_n \to f \text{ uniformly } \land (\forall n, f_n \text{ is continuous}) \implies f \text{ is continuous}

用反证法证明非一致收敛

为证明 $f_n(x) = x^n$ 在 $[0, 1]$ 上不一致收敛，我们假设其反面成立：即它一致收敛。由于每个 $f_n(x)$ 均连续，根据定理，极限函数 $f(x)$ 必连续。然而，我们知道其逐点极限 $f(x)$ 在 $x=1$ 处不连续。这一矛盾表明一致收敛的假设不成立。

一致收敛的定义

一个函数序列 $f_n$ 在集合 $f$ 上一致收敛于 $D$ ，如果 $\forall \epsilon > 0, \exists N \in \mathbb{N}$ 存在 $\forall n > N$ 且 $\forall x \in D$ ， $|f_n(x) - f(x)| < \epsilon$ 。关键在于 $N$ 仅依赖于 $\epsilon$ ，而不依赖于 $x$ 。

\forall \epsilon > 0 \exists N \in \mathbb{N} \text{ s.t. } \forall x \in D, \forall n > N, |f_n(x) - f(x)| < \epsilon

定理：一致极限的连续性

若一列连续函数 $f_n$ 在某个区间上一致收敛于函数 $f$ ，则极限函数 $f$ 在该区间上也连续。

证明策略：控制差值

为证明 $f_n(x) = x^2/n$ 在 $[0, 1]$ 上一致收敛，计算 $|f_n(x) - f(x)| = |x^2/n - 0| = x^2/n$ 。由于 $x \in [0, 1]$ ， $x^2 \le 1$ ，因此该表达式被 $1/n$ 所控制。

根据给定的ε选取N

给定 $\epsilon > 0$ ，选取 $N$ 使得 $1/N < \epsilon$ 成立（例如，取 $N > 1/\epsilon$ ）。于是对所有 $n > N$ ，均有 $1/n < 1/N < \epsilon$ 。这表明该界对所有 $x$ 一致成立。

反例： $f_n(x) = x^n$

考虑 $f_n(x) = x^n$ 在 $[0, 1]$ 上。逐点极限为 $f(x) = 0$ ，其中 $x \in [0, 1)$ 且 $f(1) = 1$ 。该极限函数在 $x=1$ 处不连续。由于每个 $f_n$ 均连续，因此收敛不可能是一致收敛（由连续性定理的逆否命题可知）。

详细学习笔记

按知识点查看条件、步骤和证据。补充解释与视频直接内容分别标明。

符号定义 · 18

$f_n(x)=\frac{x^2}{n}$

依据清楚

视频直接表达

来源依据

公式
观察依据
黑板上写出第一个例子： $f_n(x) = x^2/n$ 。
声音
观察依据
主讲人说，第一个例子是 f 关于 n 的函数，即 x 的平方除以 n。

符号

$f_n(x)=\frac{x^2}{n}$

含义

一个以 n 为索引的实值函数序列，用作讨论收敛性的第一个例子。

适用范围

x 属于区间 [0,1]

$f_n(x)=x^n$

依据清楚

视频直接表达

来源依据

公式
观察依据
黑板上写出第二个例子： $f_n(x) = x^n$ 。
声音
观察依据
主讲人说，第二个例子是 f 关于 n 的函数等于 x 的 n 次方。

符号

$f_n(x)=x^n$

含义

一个以 n 为索引的实值函数序列，用作讨论收敛性的第二个例子。

适用范围

x 属于区间 [0,1]

$x\in[0,1]$

依据清楚

视频直接表达

来源依据

公式
观察依据
黑板在两个例子后都补充了 $x \in [0,1]$ 。
声音
观察依据
主讲人说：“我将考虑 x 在零到一之间。”

符号

$x\in[0,1]$

含义

本片段中两个函数序列共同的研究定义域区间。

适用范围

闭单位区间

$f_1$ , $f_2$ , $f_3$

依据清楚

视频直接表达

来源依据

公式
观察依据
黑板上标出： $n=1$ ， $f_1(x)=x^2$ ； $n=2$ ， $f_2(x)=x^2/2$ ；然后画出 $f_3$ 。
声音
观察依据
主讲人说：“我们先来画几个函数：f1、f2和f3，作为第一个例子。”

符号

$f_1$ , $f_2$ , $f_3$

含义

序列 $f_n(x)=x^2/n$ 的前三项，在区间[0,1]上被画成依次更平缓的抛物线。

适用范围

x 属于区间 [0,1]

$x_0$

依据清楚

视频直接表达

来源依据

公式
观察依据
黑板上写下“固定 $x_0\in [0,1]$ ”，随后在极限表达式中使用 $x_0$ 。
声音
观察依据
主讲人说：“我们固定一个介于零与一之间的数，比如x零。”

符号

$x_0$

含义

定义域中一个任意但固定的点，用于检验逐点收敛性。

适用范围

$x_0$ 属于区间 [0,1]

$\lim_{n\to\infty} f_n(x_0)$

依据清楚

视频直接表达

来源依据

公式
观察依据
黑板上写出 $\lim_{n→∞} f_n(x_0)=\lim_{n→∞}\frac{x_0^2}{n}=x_0^2\cdot 0=0$ 。
声音
观察依据
主讲人解释道：若代数地计算该极限，提取x零的平方并利用极限 $1/n$ 等于零这一事实，结果为零。

符号

$\lim_{n\to\infty} f_n(x_0)$

含义

第一组函数序列在固定点 $x_0$ 处的逐点极限。

适用范围

$x_0$ 属于区间 [0,1]

$f\equiv 0$

依据清楚

视频直接表达

来源依据

公式
观察依据
黑板上写出 $f_n \Rightarrow f \equiv 0$ 。
声音
观察依据
主讲人表示，目标是证明该函数序列收敛于零函数 f。

符号

$f\equiv 0$

含义

第一个例子的候选极限函数，即定义在区间 [0,1] 上的恒零函数。

适用范围

x 属于区间 [0,1]

$f_1(x)=x$ ,\ $f_2(x)=x^2$

依据清楚

视频直接表达

来源依据

公式
观察依据
黑板上写出 $f_1(x)=x$ ，并开始绘制第二个例子的图像。
声音
观察依据
主讲人说，f1 就是函数 y 等于 x，而 f2 则再次类似于我们的抛物线。

待核验内容

显式公式 $f_2(x)=x^2$ 被口述出来，但在视频片段结束前未完整写在黑板上。

符号

$f_1(x)=x$ ,\ $f_2(x)=x^2$

含义

序列 $f_n(x)=x^n$ 的前两项，分别绘制成直线 $y=x$ 和区间 [0,1] 上一条类似抛物线的曲线。

适用范围

x 属于区间 [0,1]

$f_n(x)$

依据清楚

视频直接表达

来源依据

公式
观察依据
$f_n(x)$ 等于 x 的 n 次方

符号

$f_n(x)$

含义

序列中的第 n 个函数，定义为 x 的 n 次幂。

适用范围

x 属于区间0到1

x

依据清楚

视频直接表达

来源依据

公式
观察依据
x 属于区间0到1

符号

含义

这些函数的自变量。

适用范围

对应的式子为：[0, 1]

n

依据清楚

视频直接表达

来源依据

声音
观察依据
自然数 n

符号

含义

函数序列的下标。

适用范围

自然数集

f

依据清楚

视频直接表达

来源依据

公式
观察依据
$f(x) = \begin{cases} 0, & x \in [0, 1) \\ 1，当 x = 1 \end{cases}$

符号

含义

函数序列 $f_n(x)$ 的逐点极限函数。

适用范围

对应的式子为：[0, 1]

知识点 · 10

主题：函数列的一致收敛性

依据清楚

视频直接表达

来源依据

声音
观察依据
主讲人将本节主题介绍为函数列 $f_n$ 一致收敛于函数 f。
公式
观察依据
黑板上的标题为：一致收敛 $f_n \rightrightarrows f$ 。

待核验内容

主讲人口中说的是“函数的级数”，但屏幕上展示的数学内容实为函数列 $f_n$ 。

定义

解释

本片段探讨函数列 $f_n$ 是否在指定定义域上一致收敛于函数 f。黑板标题使用记号 $f_n \rightrightarrows f$ ，所举实例均为函数列而非函数项级数。

公式

f_n \rightrightarrows f

适用条件

讨论设定在 $x \in [0,1]$ 上。
作为示例的两个具体函数列为： $f_n(x) = x^2/n$ 与 $f_n(x) = x^n$ 。

第一个例子序列

依据清楚

视频直接表达

来源依据

公式
观察依据
黑板上书写：(1) $f_n(x) = x^2/n$ ， $x \in [0,1]$ 。
声音
观察依据
主讲人称第一个例子为 $f_n(x)$ 等于 x 的平方除以 n。

定义

解释

第一个例题是函数列 $f_n(x)=x^2/n$ 在闭区间 [0,1] 上的情形。每一项都是一个缩放后的抛物线，其垂直缩放比例随 n 增大而减小。

公式

f_n(x)=\frac{x^2}{n},\quad x\in[0,1]

适用条件

定义域为 [0,1]。
n 是序列的下标。

先修条目

主题：函数列的一致收敛性

第二个示例序列

依据清楚

视频直接表达

来源依据

公式
观察依据
黑板上书写：(2) $f_n(x) = x^n$ ， $x \in [0,1]$ 。
声音
观察依据
主讲人称第二个例子为 $f_n$ 等于 x 的 n 次方。

定义

解释

第二个讲解示例是定义在区间0到1上的函数列 $f_n(x)=x^n$ 。本片段中，教师开始绘制该函数列的前几项图像，但在片段结束前尚未完成收敛性分析。

公式

f_n(x)=x^n,\quad x\in[0,1]

适用条件

定义域为0到1。
n 是序列的下标。

先修条目

主题：函数列的一致收敛性

逐点收敛的判定方法

依据清楚

视频直接表达

来源依据

公式
观察依据
黑板上写着（a）逐点收敛：固定 $x_0\in 0$ 到1。
声音
观察依据
主讲人说：“首先我们来证明它确实逐点收敛……我们先取一个介于零与一之间的数，比如 x₀。”

方法

解释

要检验逐点收敛性，需先在定义域中任取一点 $x_0$ ，再计算当 n 趋于无穷时 $f_n(x_0)$ 的普通数值极限。若对每个固定的 $x_0$ ，该极限均存在，则该函数列逐点收敛于所得的极限函数。

公式

\lim_{n\to\infty} f_n(x_0)

适用条件

先固定 $x_0$ 。
极限仅关于 n 取。

先修条目

主题：函数列的一致收敛性

函数 $f_n(x) = x^2/n$ 的逐点极限

依据清楚

视频直接表达

来源依据

公式
观察依据
黑板上显示 $\lim_{n\to\infty} f_n(x_0)=\lim_{n\to\infty}\frac{x_0^2}{n}=x_0^2\cdot 0=0$ 。
声音
观察依据
主讲人说，提取 x₀ 的平方作为公因子，并利用极限1除以 n 等于零这一事实，可得结果为零。

公式

解释

对每个固定的 $x_0$ in [0,1]，因子 $x_0^2$ 关于 n 是常数，因此极限化简为 $x_0^2$ 乘以 $1/n$ ，即 0因此逐点极限函数恒为零。

公式

\lim_{n\to\infty}\frac{x_0^2}{n}=x_0^2\lim_{n\to\infty}\frac{1}{n}=x_0^2\cdot 0=0

适用条件

$x_0 \in [0,1]$ 是固定的。
运用了极限式 $\lim_{n\to\infty}1/n = 0$ 。

先修条目

第一个例子序列
逐点收敛的判定方法

从逐点收敛过渡到一致收敛

依据清楚

视频直接表达

来源依据

公式
观察依据
黑板上先写出“逐点”，然后在第一个例子的结论附近写下“一致吗？”。
声音
观察依据
主讲人说：“因此我们得到了逐点收敛，但接下来我们来探究一下，哪些情况会是一致收敛。”

待核验内容

本片段中未给出一致收敛的实际定义或证明。

方法

解释

在第一个例子中确立了逐点收敛到 f ≡ 0 后，讲师明确提出了下一个问题：该收敛是否也是一致收敛？本片段在此问题提出后即结束，尚未作答。

公式

适用条件

适用于第一个例子： $f_n(x) = x^2/n$ 在区间 [0,1] 上。

先修条目

函数 $f_n(x) = x^2/n$ 的逐点极限

$f_n(x) = x^n$ 的逐点收敛性

依据清楚

视频直接表达

来源依据

声音
观察依据
我们的函数序列 $f_n$ 将逐点收敛于那个不连续的函数 f
公式
观察依据
$\lim_{n \to \infty} f_n(x) = \lim_{n \to \infty} x^n = 0$ ，当 $0 \le$ |x| < 1
公式
观察依据
当 n 趋于无穷大时，fₙ(x) 的极限等于当 n 趋于无穷大时 1 的 n 次方的极限，等于 1

定义

解释

函数列 $f_n(x) = x^n$ 在区间 [0，1] 上逐点收敛于函数 $f(x)$ 。对任意 x ∈ [0，1)，当 n 趋于无穷时， $x^n$ 的极限为 0。在 $x = 1$ 处， $1^n$ 的极限是 1。因此，极限函数 $f(x)$ 为 0，其中 x ∈ [0，1)，且在 $x = 1$ 处为 1。

公式

f(x) = \begin{cases} 0, & x \in [0, 1) \\ 1, & x = 1 \end{cases}

适用条件

x 属于区间0到1（含端点）

一致收敛与连续性的定理

依据清楚

视频直接表达

来源依据

声音
观察依据
如果你有一个函数序列，它一致收敛于某个函数 f，且每个 $f_n$ 都是连续的，那么我可以断定最终的函数 f 也一定是连续的。
公式
观察依据
$f_n \to f$ 一致收敛 & $f_n$ 连续 ⟹ f 连续。

方法

解释

一个定理：若一列连续函数一致收敛于某个极限函数，则该极限函数也必连续。此定理常被用作工具，通过证明其逐点极限不连续，来说明某些函数序列并非一致收敛。

公式

f_n \to f \text{ uniformly } \land (\forall n, f_n \text{ is continuous}) \implies f \text{ is continuous}

适用条件

函数序列 $f_n$
一致收敛于 f
每个 $f_n$ 都是连续的

先修条目

$f_n(x) = x^n$ 的逐点收敛性

一致收敛的定义

依据清楚

视频直接表达

来源依据

公式
观察依据
左侧面板所写：定义： $f_n$ 一致收敛于 f，当且仅当对所有 $ε > 0$ ，存在 N ∈ ℕ，使得对所有 $x \in [0, 1]$ 且所有 $n > N$ ，均有 | $f_n(x) - f(x)$ | < ε。

定义

解释

若函数列 $f_n$ 在某个集合上一致收敛于 f，则对任意大于零的 ε，均存在一个自然数 N，使得当 $n > N$ 且该集合中任意 x 都满足 | $f_n(x) - f(x)$ | < ε。

公式

\forall \epsilon > 0 \exists N \in \mathbb{N} \text{ s.t. } \forall x \in [0, 1] \text{ 且 } \forall n > N, |f_n(x) - f(x)| < \epsilon

适用条件

定义域为 [0, 1]

一致极限的连续性定理

依据清楚

视频直接表达

来源依据

公式
观察依据
右侧面板所写：定理：若 $f_n$ 一致收敛于 f，且每个 $f_n$ 连续，则 f 连续。

定义

解释

如果一列连续函数一致收敛于函数 f，则极限函数 f 也是连续的。

公式

f_n \to f \text{ uniformly } \land f_n \text{ is continuous } \implies f \text{ is continuous}

适用条件

$f_n$ 必须是连续的
收敛必须是一致收敛

先修条目

一致收敛的定义

定理与条件 · 4

第一个例子的逐点收敛声明

依据清楚

视频直接表达

来源依据

公式
观察依据
黑板上写出 $f_n \Rightarrow f \equiv 0$ ，然后证明 $\lim_{n\to\infty} f_n(x_0)=0$ （对固定的 $x_0$ ）。
声音
观察依据
主讲人指出，该序列在零与一之间趋近于零，且无论 x₀ 如何变化，所得结果均相同。

命题

对于 $f_n(x)=x^2/n$ 在 [0,1] 上，该序列逐点收敛于函数 $f\equiv 0$ 。

前提

定义 $f_n(x)=x^2/n$ 。
考虑 $x\in [0,1]$ 。
固定任意 $x_0\in [0,1]$ 。

量词

对每个固定的 $x_0\in [0,1]$ ，有 $\lim _{n\to \infty } f_n(x_0)=0$ 。

本片段中第二个例子的进展状态

依据清楚

视频直接表达

来源依据

声音
观察依据
主讲人说：“但在那之前，让我们回到第二个例子，并做同样的事情。”
公式
观察依据
仅写出 $f_1(x)=x$ ，而 $f_2$ 的草图刚起笔，片段即结束。

命题

在此时长为150秒的片段中，第二个例子 $f_n(x)=x^n$ 仅被引入并部分绘制草图；此处未完成任何收敛性结论。

前提

第二个例子是区间[0,1]上的函数列 $f_n(x)=x^n$ 。
片段结束于初始草图绘制阶段。

量词

当前片段中未给出该例题的最终定理级结论。

非一致收敛的反证法证明

依据清楚

视频直接表达

来源依据

声音
观察依据
我们假设该函数列一致收敛。我将用反证法来证明……那么就必然有 f 是连续的。但如我们之前讨论的，我的函数 f 将是一个分段函数……但该函数并不连续。因此我们将得到一个矛盾。
公式
观察依据
假设 $f_n$ 一致收敛于 f + $f_n(x) = x^n$ 在 [0, 1] 上连续必然有 $f(x) = \begin{cases} 0, & x \in [0, 1) \\ 1, & x = 1 \end{cases}$ 是连续的不连续——矛盾！

命题

函数列 $f_n(x) = x^n$ 在 [0, 1] 上不一致收敛。

前提

$f_n(x) = x^n$ 在 [0, 1] 上连续
逐点极限函数 $f(x)$ 在 $x = 1$ 处不连续

量词

对所有 n ∈ ℕ

逆否命题在反例中的应用

依据清楚

视频直接表达

来源依据

公式
观察依据
右侧面板显示：假设 $f_n \to f$ 一致收敛，且 $f_n(x) = x^n$ 在 [0, 1] 上连续。则必有 $f(x)$ = {0, x ∈ [0,1); 1, $x = 1$ } 是连续的。但该函数不连续，矛盾！

命题

若一列连续函数的逐点极限函数不连续，则该收敛不可能是一致收敛。

前提

$f_n$ 是连续的
$f_n$ 逐点收敛于 f
f 不连续

量词

对所有函数序列

推导与证明 · 4

推导函数列 $f_n(x)=x^2/n$ 的逐点极限

依据清楚

视频直接表达

来源依据

公式
观察依据
黑板上写出完整推导链： $\lim_{n\to\infty} f_n(x_0)=\lim_{n\to\infty}\frac{x_0^2}{n}=x_0^2\lim_{n\to\infty}\frac{1}{n}=x_0^2\cdot 0=0$ 。
声音
观察依据
主讲人解释：先固定 x₀，再通过提取 x₀ 的平方并利用极限1除以 n 等于零这一性质，代数地计算该极限。

严格证明

步骤

公式
$\text{Fix }x_0\in[0,1].$
解释
开始逐点收敛检验时，先在定义域中任取一个固定点。
步骤依据
这是逐点收敛的标准步骤，与黑板笔记“固定 $x_0\in[0,1]$ ”一致。
视频直接表达
公式
$\lim_{n\to\infty} f_n(x_0)=\lim_{n\to\infty}\frac{x_0^2}{n}$
解释
将第一个序列的显式表达式代入逐点极限定义中。
步骤依据
根据本例定义， $f_n(x)=x^2/n$ 。
视频直接表达
公式
$\lim_{n\to\infty}\frac{x_0^2}{n}=x_0^2\lim_{n\to\infty}\frac{1}{n}$
解释
因 $x_0^2$ 不依赖于 n，故可将其作为常数因子提出极限符号外。
步骤依据
极限运算法则允许将不依赖于极限变量的常数因子提出。
视频直接表达
公式
$x_0^2\lim_{n\to\infty}\frac{1}{n}=x_0^2\cdot 0$
解释
计算数值极限 $1/n$ 在 n 趋于无穷大时的值。
步骤依据
标准事实： $\lim_{n\to\infty}1/n=0$ 。
视频直接表达
公式
$x_0^2\cdot 0=0$
解释
得出结论：该不动点处的逐点极限为零。
步骤依据
任何有限的 $x_0^2$ 乘以零都得零。
视频直接表达

结论

对每个固定的 $x_0\in [0,1]$ ，有 $\lim _{n\to \infty } f_n(x_0)=0$ ，因此第一个序列逐点收敛于 f≡0。

逐点极限函数的推导

依据清楚

视频直接表达

来源依据

公式
观察依据
• 当 x ∈ [0, 1) 时， $\lim _{n \to \infty } f_n(x) = \lim _{n \to \infty } x^n = 0$ ，因为 0 ≤ |x| < 1
公式
观察依据
• 当 $x = 1$ 时， $\lim _{n \to \infty } f_n(x) = \lim _{n \to \infty } 1^n = 1$

严格证明

步骤

公式
$x \in [0, 1)$
解释
考虑区间 [0, 1) 内的 x
步骤依据
定义域限制
视频直接表达
公式
$\lim_{n \to \infty} x^n = 0$
解释
当 n 趋于无穷大时， $x^n$ 的极限为0，其中 |x| < 1。
步骤依据
标准极限性质
视频直接表达
公式
$x = 1$
解释
考虑特定点 $x = 1$ 。
步骤依据
定义域边界
视频直接表达
公式
$\lim_{n \to \infty} 1^n = 1$
解释
当 n 趋于无穷大时， $1^n$ 的极限为1。
步骤依据
常数列的极限
视频直接表达
公式
$f(x) = \begin{cases} 0, & x \in [0, 1) \\ 1, & x = 1 \end{cases}$
解释
综合各项结果，定义逐点极限函数 $f(x)$ 。
步骤依据
逐点收敛的定义
视频直接表达

结论

函数列 $f_n(x) = x^n$ 在区间 [0, 1] 上逐点收敛于一个不连续的函数 $f(x)$ 。

用反证法证明非一致收敛

依据清楚

视频直接表达

来源依据

公式
观察依据
假设 $f_n$ 一致收敛于 f \\ + $f_n(x) = x^n$ 在 [0, 1] 上连续 \\ 则 $f(x)$ 必须为 $\begin{cases} 0, & x \in [0, 1) \\ 1, & x = 1 \end{cases}$ 且连续 \\ 但该函数不连续，矛盾！

严格证明

步骤

公式
$\text{Assume } f_n \to f \text{ uniformly}$
解释
假设该序列一致收敛，以此推出矛盾。
步骤依据
反证法
视频直接表达
公式
$f_n(x) = x^n \text{ is continuous on } [0, 1]$
解释
注意序列中的每个函数都是多项式，因此连续。
步骤依据
多项式的性质
视频直接表达
公式
$\implies f(x) \text{ must be continuous}$
解释
根据一致收敛与连续性的定理，极限函数必须连续。
步骤依据
一致收敛定理
视频直接表达
公式
$f(x) = \begin{cases} 0, & x \in [0, 1) \\ 1, & x = 1 \end{cases} \text{ is not continuous}$
解释
然而，此前推导出的逐点极限函数 $f(x)$ 在 $x=1$ 处具有跳跃间断点。
步骤依据
逐点收敛
视频直接表达
公式
$\text{Contradiction}$
解释
该假设导致矛盾，因为 $f(x)$ 不可能既连续又不连续。
步骤依据
逻辑矛盾
视频直接表达

结论

初始假设不成立；因此，序列 $f_n(x) = x^n$ 在 [0, 1] 上不一致收敛。

证明函数列 $f_n(x) = x^2/n$ 在 [0上一致收敛于 0，1] 上

依据清楚

视频直接表达

来源依据

声音
观察依据
主讲人依据定义逐步讲解证明过程。
公式
观察依据
左侧面板展示逐步推导：| $f_n(x) - f(x)$ | = | $x^2/n - 0$ | = |x|^ $2/n \le 1/n$ 。然后选取足够大的 N，使得 $1/N < ε$ ，并取任意 $n > N$ ，即可得 $1/n < 1/N < ε$ 。

严格证明

步骤

公式
$|f_n(x) - f(x)| = \left| \frac{x^2}{n} - 0 \right| = \frac{|x|^2}{n}$
解释
将 $f_n(x)$ 和 $f(x)$ 的定义代入绝对差表达式。
步骤依据
$f_n$ 与 f 的定义
视频直接表达
公式
$\frac{|x|^2}{n} \le \frac{1}{n}$
解释
由于 $x \in [0, 1]$ ，故 |x| ≤ 1，因此 |x|^ $2 \le 1$ 。
步骤依据
定义域约束： $x \in [0, 1]$
视频直接表达
公式
$\text{Choose } N \text{ such that } \frac{1}{N} < \epsilon$
解释
由阿基米德性质，对任意 $ε > 0$ ，这样的 N 存在。
步骤依据
阿基米德性质（隐含）
依据视频推导
公式
$\forall n > N, \frac{1}{n} < \frac{1}{N} < \epsilon$
解释
对任意大于 N 的 n， $1/n$ 严格小于 $1/N$ ，而后者又小于 ε。
步骤依据
不等式的性质
视频直接表达

结论

因此， $f_n$ 在 [0, 1] 上一致收敛于 f。

例题详解 · 4

例题1： $f_n(x)=x^2/n$ ，定义域为[0,1]。

依据清楚

视频直接表达

来源依据

公式
观察依据
黑板上给出（1） $f_n(x)=x^2/n$ ，其中 $x\in [0,1]$ ，接着画出 $f_1$ 、 $f_2$ 、 $f_3$ 的图像，并最终证明其逐点极限为0。
声音
观察依据
主讲人依次画出 f1、f2、f3，然后说：“所以这就是我们得到逐点收敛的原因；但接下来我们来分析一下，哪些会是一致收敛。”

待核验内容

一致收敛部分在此片段中仅被提及，未予求解。

题目

研究序列 $f_n(x)=x^2/n$ 在区间[0,1]上的收敛性，首先从逐点收敛开始。

已知条件

$f_n(x)$ 等于 x 的2次方除以 n。
x 属于区间0到1。
教师画出 $f_1(x)=x^2$ 、 $f_2(x)=\frac{x^2}{2}$ 和 $f_3$ 。

目标

先确定逐点极限，并判断该序列是否逐点收敛于 f≡0；再进一步提出关于一致收敛性的后续问题。

步骤

公式
$f_1(x)=x^2,\quad f_2(x)=\frac{x^2}{2}$
解释
计算该数列的前几项，以直观感受图像随 n 变化的情形。
步骤依据
将 $n=1$ 和 $n=2$ 直接代入 $f_n(x)=x^2/n$ 。
视频直接表达
公式
$f_2(\sqrt{2})=\frac{(\sqrt{2})^2}{2}=1$
解释
选取一个样例值，确定第二条抛物线达到高度 1 的位置，从而辅助将其相对于 $f_1$ 进行草图绘制。
步骤依据
黑板上展示的代数演算过程。
视频直接表达
公式
$\text{Sketch } f_1,f_2,f_3,\ldots,f_n \text{ on } [0,1]$
解释
逐次画出曲线，观察到在受限区间上它们逐渐压平、趋近于 x 轴。
步骤依据
从所绘抛物线族的图像中进行直观推理。
视频直接表达
公式
$\text{Fix }x_0\in[0,1]$
解释
从作图转向严格的逐点收敛检验：固定一个输入点。
步骤依据
逐点收敛的定义。
视频直接表达
公式
$\lim_{n\to\infty} f_n(x_0)=\lim_{n\to\infty}\frac{x_0^2}{n}=x_0^2\cdot 0=0$
解释
在固定点处计算极限，并得出逐点极限为零的结论。
步骤依据
极限的常数因子法则，以及 $\lim_{n\to\infty}1/n=0$ 。
视频直接表达
公式
$f_n \Rightarrow f\equiv 0$
解释
写出整个区间上的逐点极限函数。
步骤依据
由于该结论对任意 $x_0\in[0,1]$ 均成立。
视频直接表达
公式
$\text{Ask: uniformly?}$
解释
以提出下一个问题结束该例题，而非给出解答。
步骤依据
主讲人明确表示接下来将分析一致收敛性，但视频片段在此处中断，未进行后续推导。
视频直接表达

结果

第一个例子在[0 on [0,1]. 本片段提出了是否一致收敛的问题，但未给出答案。

检验

黑板上的代数极限计算验证了逐点收敛结果；图像中函数族的可视化表现也在区间[0,1]上支持同一结论。

例题2： $f_n(x)=x^n$ 在[0,1]上的分析（仅初始设定）

依据清楚

视频直接表达

来源依据

公式
观察依据
黑板上写出(2) $f_n(x)=x^n$ ， $x\in [0,1]$ ，随后写下 $f_1(x)=x$ ，并开始绘制下一个函数图像。
声音
观察依据
主讲人说：“我们来求f1、f2和f3……f1就是函数y等于x，f2则再次呈现为类似抛物线的形状。”

待核验内容

该片段在 $f_2$ 及后续项被完整绘制或分析之前即告结束。
在当前可获取的片段中，此例题未得出任何关于收敛性的结论。

题目

以相同分析风格，通过绘制前几项图像，开启对序列 $f_n(x)=x^n$ 在区间[0,1]上的研究。

已知条件

$f_n(x)$ 等于 x 的 n 次方。
x 属于区间0到1。

目标

开始绘制 $f_1$ 、 $f_2$ 、 $f_3$ ，为即将开展的收敛性讨论做准备，该讨论与第一个例子类似。

步骤

公式
$f_1(x)=x$
解释
明确写出该数列的首项。
步骤依据
将 $n=1$ 代入 $f_n(x)=x^n$ 。
视频直接表达
公式
$f_2(x)=x^2$
解释
口头指出第二项的图像呈抛物线状。
步骤依据
将 $n=2$ 代入 $f_n(x)=x^n$ ；主讲人将其描述为“仍类似于我们的抛物线”。
视频直接表达
公式
$\text{Begin sketching on }[0,1]$
解释
画出坐标轴，并开始绘制第一条曲线，以复现此前所用的直观作图方法。
步骤依据
教师表示，希望先草绘几项，再继续后续内容。
视频直接表达

结果

本片段仅完成设定及首步作图；此处未得出 $f_n(x)=x^n$ 的最终收敛结论。

检验

黑板上可见内容止于引入 $f_1(x)=x$ 并开始绘制下一条图像，因此不完整状态可直接观察到。

函数列 $f_n(x) = x^n$ 在区间 [0, 1] 上的收敛性

依据清楚

视频直接表达

来源依据

公式
观察依据
$f_n(x)$ 等于 x 的 n 次方，其中 x 属于闭区间 0 到 1

题目

判断函数列 $f_n(x) = x^n$ 在区间 [0, 1] 上的逐点收敛性与一致收敛性。

已知条件

$f_n(x)$ 等于 x 的 n 次方
x 属于区间0到1

目标

求出逐点极限函数，并判断该收敛是否为一致收敛。

步骤

公式
$\lim_{n \to \infty} f_n(x)$
解释
针对不同取值的 x，计算其逐点极限。
步骤依据
逐点收敛的定义
视频直接表达
公式
$f(x) = \begin{cases} 0, & x \in [0, 1) \\ 1, & x = 1 \end{cases}$
解释
所得极限函数在 $x = 1$ 处不连续。
步骤依据
极限的计算
视频直接表达
公式
$\text{Check for uniform convergence}$
解释
利用一致收敛性与连续性之间的关系定理来检验是否一致收敛。
步骤依据
一致收敛判定定理
视频直接表达
公式
$\text{Not uniformly convergent}$
解释
由于极限函数不连续，而每个 $f_n$ 都是连续函数，因此该收敛不可能是一致收敛。
步骤依据
该定理的逆否命题
视频直接表达

结果

该序列逐点收敛于一个不连续函数 $f(x)$ ，但在区间 [0, 1] 上不一致收敛。

检验

反证法证明通过逐点极限的不连续性，确认了一致收敛性的缺失。

反例： $f_n(x) = x^n$ 在 [0, 1] 上

依据清楚

视频直接表达

来源依据

公式
观察依据
右侧面板展示 $f_n(x) = x^n$ 及其逐点极限 $f(x)$ = {0, x ∈ [0,1); 1, $x = 1$ }。

题目

证明函数列 $f_n(x) = x^n$ 在区间 [0, 1] 上不一致收敛。

已知条件

$f_n(x)$ 等于 x 的 n 次方
定义域为 [0, 1]

目标

证明非一致收敛。

步骤

公式
$f(x) = \lim_{n \to \infty} x^n = \begin{cases} 0 & x \in [0, 1) \\ 1 & x = 1 \end{cases}$
解释
计算逐点极限。
步骤依据
逐点收敛的定义
视频直接表达
公式
$f \text{ is not continuous at } x=1$
解释
极限函数在 $x = 1$ 处存在跳跃间断点。
步骤依据
连续性的定义
视频直接表达
公式
$\text{Since } f_n \text{ are continuous but } f \text{ is not, convergence is not uniform.}$
解释
应用‘连续函数的一致极限必连续’这一定理的逆否命题。
步骤依据
关于一致极限连续性的定理
视频直接表达

结果

函数列 $f_n(x) = x^n$ 在区间 [0, 1] 上不一致收敛。

检验

与黑板上的‘CONTR.!’标注相吻合。

图示与动画 · 7

开场时的黑板布局

依据清楚

视频直接表达

来源依据

图示
观察依据
黑板标题为“一致收敛： $f_n \rightrightarrows f$ ”，其后列出区间 [0,1] 上的两个编号例题。

图中对象

标题文字
例（1）： $f_n(x) = x^2/n$
例（2）： $f_n(x) = x^n$
定义域标注： $x \in [0, 1]$

变化过程

黑板内容从仅有标题的状态，逐步变为写出两个完整的示例公式。

不变量

两个示例均定义在相同定义域 [0, 1] 上。

数学含义

视觉布局表明，本课将比较两个特定函数列的收敛行为。

$f_n(x) = x^2/n$ 的图像行为

依据清楚

视频直接表达

来源依据

图示
观察依据
教师先画出坐标轴，再依次绘制 $f_1$ 、 $f_2$ 、 $f_3$ 的图像，随后用点标出当 $n \to +\infty$ 时 $f_n$ 的趋势。
公式
观察依据
黑板上标注： $n = 1$ ， $f_1(x) = x^2$ ； $n = 2$ ， $f_2(x) = x^2/2$ ；并标出 $f_2$ (√2) = 1。

图中对象

坐标轴范围为 [0, 1]
曲线上分别标有 $f_1$ 、 $f_2$ 、 $f_3$ 、…、 $f_n$
x 轴上标出点 √2
虚线水平线 y＝1

变化过程

当 n 增大时，抛物线在区间 [0,1] 上变得越来越平缓，且其位于单位区间内的部分向下趋近于 x 轴。

不变量

所考虑的定义域仍为 [0,1]。
每条曲线仍是形如 $x^2/n$ 的垂直缩放抛物线。

数学含义

该图像启发我们猜想：在区间 [0,1] 上，逐点极限函数是零函数。

从图像到代数化的逐点论证

依据清楚

视频直接表达

来源依据

图示
观察依据
图像下方的黑板上写着 $f_n$ ⇒ f ≡ 0，接着标注（a）逐点收敛：固定 $x_0 \in [0,1]$ ，然后进行极限运算，最终结果为 0。
公式
观察依据
最后写出的推导链为 $\lim_{n\to\infty} f_n(x_0)=\lim_{n\to\infty}\frac{x_0^2}{n}=x_0^2\cdot 0=0$ 。

图中对象

固定点 $x_0$
极限表达式
结论：f ≡ 0
问题：“是否一致收敛？”

变化过程

讲解重点从几何直观转向逐点收敛性的符号验证。

不变量

首个例子 $f_n(x)=x^2/n$ 仍在讨论中。

数学含义

视觉上的压平现象被转化为严格的逐点极限计算；随后，一致收敛性这一尚未解决的问题被特别指出。

$f_n(x)=x^n$ 的初始草图

依据清楚

视频直接表达

来源依据

图示
观察依据
为例题（2）绘制了一组新坐标轴，并写出并画出直线 $f_1(x)=x$ ，该直线从点（0,0）延伸至点（1,1）。

待核验内容

$f_2$ 及之后的后续曲线仅初步绘出，片段即告结束。

图中对象

新坐标轴
直线 $f_1(x)=x$
标注 $f_n(x)=x^n$ ，其中 $x\in [0,1]$

变化过程

关注点从例题（1）已完成的逐点分析，转向例题（2）的起始图像。

不变量

定义域仍为 [0,1]。

数学含义

教师正为幂序列准备同类型的可视化分析，但该片段在得出结论前即已结束。

逐点收敛的可视化

依据清楚

视频直接表达

来源依据

图示
观察依据
函数 $f_1(x)=x$ 、 $f_2(x)=x^2$ 、 $f_3(x)=x^3$ 和 $f_n(x)=x^n$ 的图像绘制在区间 [0,1] 上。
动画
观察依据
当 n 增大时， $x^n$ 的图像在 $x < 0$ 处向 $y = 1$ 趋平，同时保持点 (1，1) 不变。

图中对象

坐标轴
函数 $f_n(x) = x^n$ 在 $n=1$ , 2, 3, ..., n 时的图像
点 (1,1)

变化过程

当 n 增大时，曲线在区间 [0, 1) 内越来越靠近 x 轴。
所有曲线都经过点 (1,1)。

不变量

定义域为 [0, 1]。
在 $x = 1$ 处的函数值对所有 n 恒为 1。

数学含义

曲线在 $y=0$ 处（当 $x<1$ 时）的视觉压平现象说明了逐点收敛到 0，而定点 (1,1) 处的收敛则表明在该特定位置收敛到 1，从而导致极限函数不连续。

不连续极限函数的图像

依据清楚

视频直接表达

来源依据

图示
观察依据
极限函数 $f(x)$ 的图像被画出，显示从 $x=0$ 到 $x=0$ 处 $y=1$ 的实线（ $x=1$ 处为空心圆）以及点 (1，1。

图中对象

坐标轴
$y=0$ 的水平线段，定义域为 x ∈ [0, 1)
孤立点 (1, 1)

变化过程

绘制分段函数 $f(x)$ 。

不变量

函数值为 0 当 $x < 1$ 且 1 当 $x = 1$ 。

数学含义

该图像明确展示了逐点极限函数 $f(x)$ 在 $x = 1$ 处的不连续性，而这正是证明其非一致收敛的关键。

白板布局

依据清楚

视频直接表达

来源依据

图示
观察依据
分屏画面，网格纸上手写数学内容。左侧推导函数 $f_n(x)=x^2/n$ 的证明；右侧陈述定理及反例 $f_n(x)=x^n$ 。

图中对象

左侧面板：定义与证明
右侧面板：定理与反例

变化过程

随着讲解推进，左侧面板上的书写内容依次呈现。

不变量

右侧面板的内容在整个片段中保持静止。

数学含义

视觉上将直接证明（左侧）与理论背景及反例（右侧）清晰分隔。

易错点 · 5

术语混淆：将‘级数’与‘数列’混用

依据清楚

视频直接表达

来源依据

声音
观察依据
主讲人说“函数列 $f_n$ 收敛于函数 f 的一致收敛性。”
公式
观察依据
黑板上始终展示的是函数列 $f_n(x)$ ，而非级数求和。

误区

人们可能从口述短语“函数的级数”推断本课内容是关于无穷级数的。

说明

实际展示的数学内容是关于函数列 $f_n$ 的，这由记号 $f_n(x)=x^2/n$ 和 $f_n(x)=x^n$ 表明。

切勿依据定义域外的完整抛物线来判断收敛性

依据清楚

视频直接表达

来源依据

声音
观察依据
主讲人指出，随着 n 增大，抛物线向右平移；但由于 x 介于零与一之间，只有单位正方形内的部分才相关。
图示
观察依据
所画曲线在概念上延伸至区间 [0,1] 之外，但分析仅限于单位区间。

误区

表面上看，由于 n 越大时抛物线越往右移，这些函数似乎在每一点都远离零。

说明

在受限区间 [0,1] 上，图像的相关部分逐渐压平并趋近于 x 轴，因此该区间上的逐点极限为 0。

逐点收敛并不能自动保证一致收敛

依据清楚

视频直接表达

来源依据

公式
观察依据
在证明逐点极限为 0 后，黑板上明确提问：“是否一致收敛？”
声音
观察依据
主讲人表示已知存在逐点收敛，接下来需判断哪些是一致收敛的。

误区

一点 could mistakenly think that showing $\lim_{n\to\infty} f_n(x_0)=0$ ，就已证明了一致收敛。0 already proves uniform convergence.

说明

视频将这两个问题分开处理：先确立逐点收敛，再将一致收敛作为一个独立的后续问题提出。

混淆逐点收敛与一致收敛

依据清楚

视频直接表达

来源依据

声音
观察依据
但它是否一致收敛呢？我们来猜一猜……第二个例子的答案是否定的。
公式
观察依据
逐点 ✓ 一致 ? 猜测？否。

误区

错误地认为：若一列函数逐点收敛，则它必然也一致收敛。

说明

逐点收敛仅保证对每个固定的 x，数列 $f_n(x)$ 收敛；而一致收敛要求收敛速度与 x 无关，这是一个强得多的条件；即使逐点收敛成立，一致收敛仍可能不成立，正如极限函数不连续所揭示的那样。

逐点收敛 vs 一致收敛

依据清楚

依据视频推导

来源依据

公式
观察依据
左侧成功的逐点一致证明与右侧的反例形成对比，凸显二者差异。

误区

误以为因 $f_n(x) = x^n$ 逐点收敛，故也可能一致收敛。

说明

该反例表明：若连续函数列逐点收敛于一个不连续函数，则该收敛必非一致收敛。

概念关系 · 9

主题：函数列的一致收敛性 → 第一个例子序列

依据清楚

视频直接表达

来源依据

公式
观察依据
标题“ $f_n \rightrightarrows f$ ”紧接着给出例子（1） $f_n(x)=x^2/n$ 。

应用

解释

通过具体序列 $f_n(x)=x^2/n$ 来阐释一致收敛这一普遍主题。

主题：函数列的一致收敛性 → 第二个示例序列

依据清楚

视频直接表达

来源依据

公式
观察依据
同一标题配以例子（2） $f_n(x)=x^n$ 。

应用

解释

第二个序列被引入，作为同一收敛主题下的另一个检验案例。

逐点收敛的判定方法 → 函数 $f_n(x) = x^2/n$ 的逐点极限

依据清楚

视频直接表达

来源依据

公式
观察依据
黑板上写下“（a）逐点：固定 $x_0\in[0,1]$ ”，然后将其应用于 $f_n(x)=x^2/n$ 。

应用

解释

采用固定 $x_0$ 再取极限的一般方法，来计算第一个例子的逐点极限。

函数 $f_n(x) = x^2/n$ 的逐点极限 → 从逐点收敛过渡到一致收敛

依据清楚

视频直接表达

来源依据

公式
观察依据
在框出的0之后，黑板上补充写上“逐点”和“一致吗？”。
声音
观察依据
主讲人表示，接下来需要弄清是否一致收敛。

先修

解释

先确立逐点收敛于 $f\equiv 0$ ，这是进一步追问该收敛是否一致的前提步骤。

第一个例子序列 → 第二个示例序列

依据清楚

视频直接表达

来源依据

声音
观察依据
主讲人说：“在此之前，我们先回到第二个例子，并做同样的分析。”

对比

解释

第二个例子的设定与第一个例子相同，均采用相同的视觉化与逐点分析策略进行研究。

一致收敛与连续性的定理 → 用反证法证明非一致收敛

依据清楚

视频直接表达

来源依据

公式
观察依据
假设 $f_n$ 一致收敛于 f \\ ... \\ 则必有 $f(x)$ …… 是连续的 \\ 不连续！矛盾！

应用

解释

在反证法证明中，应用了‘一致收敛保持连续性’这一定理，以说明该函数列不可能一致收敛，因为其逐点极限函数不连续。

$f_n(x) = x^n$ 的逐点收敛性 → 用反证法证明非一致收敛

依据清楚

视频直接表达

来源依据

公式
观察依据
$f(x) = \begin{cases} 0, & x \in [0，1) \\ 1, & x = 1 \end{cases}$

证明依赖

解释

逐点极限函数的推导及其不连续性，是用反证法证明非一致收敛所必需的前置步骤。

一致极限的连续性定理 → 逆否命题在反例中的应用

依据清楚

视频直接表达

来源依据

公式
观察依据
右侧面板通过‘必须有……是连续的。不连续。矛盾！’将定理与反例关联起来。

应用

解释

该定理以逆否命题的形式被应用，以证明反例。

一致收敛的定义 → 证明函数列 $f_n(x) = x^2/n$ 在 [0上一致收敛于 0，1] 上

依据清楚

视频直接表达

来源依据

公式
观察依据
左侧面板以“定义：”开头，并随后列出证明步骤。

应用

解释

该证明直接使用一致收敛的 ε-N 定义。

问题定位 · 11

本片段介绍的是哪个数学主题？涉及哪两个函数列的例子？

依据清楚

视频直接表达

来源依据

声音
观察依据
开场旁白点明了‘一致收敛’这一数学主题，并列举了两个例子。

涉及知识点

主题：函数列的一致收敛性
第一个例子序列
第二个示例序列

本课中，如何检验一个函数列的逐点收敛性？

依据清楚

视频直接表达

来源依据

公式
观察依据
黑板上写下“固定 $x_0\in [0,1]$ ”，然后计算该点处的极限。

涉及知识点

逐点收敛的判定方法
函数 $f_n(x) = x^2/n$ 的逐点极限

Why does $\lim_{n\to\infty} x_0/2n$ 等于 0 for fixed $x_0$ ？

依据清楚

视频直接表达

来源依据

公式
观察依据
显式极限推导链终止于0。

涉及知识点

函数 $f_n(x) = x^2/n$ 的逐点极限
推导函数列 $f_n(x)=x^2/n$ 的逐点极限

在证明函数列逐点收敛于零之后，本片段中尚待解决的问题是什么？

依据清楚

视频直接表达

来源依据

公式
观察依据
黑板将已得出的逐点收敛结果与尚未解答的问题“是否一致收敛？”明确区分开来。

涉及知识点

从逐点收敛过渡到一致收敛
逐点收敛并不能自动保证一致收敛

本段是否完成了对 $f_n(x)=x^n$ 的全部分析？

依据清楚

视频直接表达

来源依据

图示
观察依据
在本片段结束前，仅出现了 $f_n(x)=x^n$ 的初始草图。

涉及知识点

第二个示例序列
例题2： $f_n(x)=x^n$ 在[0,1]上的分析（仅初始设定）
本片段中第二个例子的进展状态

为何逐点极限函数的不连续性意味着收敛不是一致的？

依据清楚

视频直接表达

来源依据

声音
观察依据
但该函数并不连续，因此我们接下来将得到矛盾。

涉及知识点

一致收敛与连续性的定理
用反证法证明非一致收敛

如何在区间 [0, 1] 上计算 $x^n$ 的逐点极限？

依据清楚

视频直接表达

来源依据

公式
观察依据
$\lim_{n \to \infty} x^n = 0 \text{ 当 } 0 \le$ |x| < 1

涉及知识点

$f_n(x) = x^n$ 的逐点收敛性
逐点极限函数的推导

函数列一致收敛的严格 ε-N 定义是什么？

依据清楚

视频直接表达

来源依据

公式
观察依据
定义显示在屏幕上。

涉及知识点

一致收敛的定义

一致收敛是否保持连续性？

依据清楚

视频直接表达

来源依据

公式
观察依据
右侧面板上展示定理陈述。

涉及知识点

一致极限的连续性定理

为什么序列 $f_n(x) = x^n$ 在区间0, 1] 上不一致收敛？

依据清楚

视频直接表达

来源依据

公式
观察依据
右侧面板上的反例： $f_n(x) = x^n$ 。

涉及知识点

反例： $f_n(x) = x^n$ 在 [0, 1] 上
逆否命题在反例中的应用

如何证明函数列 $f_n(x) = x^2/n$ 在 [0上一致收敛于 0，1] 使用定义？

依据清楚

视频直接表达

来源依据

公式
观察依据
左侧面板上的证明步骤。

涉及知识点

证明函数列 $f_n(x) = x^2/n$ 在 [0上一致收敛于 0，1] 上

覆盖情况与待核验内容

已覆盖 · 标题、主题介绍以及两个示例公式均在区间[0,1]上呈现。

已覆盖 · 教师绘制了函数 $f_1$ 、 $f_2$ 、 $f_3$ 以及第一个示例的极限函数族。

已覆盖 · 第一个示例的逐点收敛性通过代数方法证明，并引出一致收敛性问题。

已覆盖 · 第二个示例被引入，初步作图开始；该片段在得出任何收敛结论前结束。

已覆盖 · 本视频片段完整分析了函数列 $f_n(x) = x^n$ ，包括其逐点收敛性、所得的不连续极限函数，以及利用连续性定理证明其不一致收敛的过程。

已覆盖 · 引入定义、定理及反例的设定。

已覆盖 · 第一个例子的逐步一致收敛性证明，以及第二个例子的逻辑结论。

探索视频中的知识

已审核的主题路径

一致收敛轻松学！

把讲解展开来看。

章节

学习解说文稿

知识卡片

一致收敛主题的引入

例1：fn(x)=x2/nf_n(x)=x^2/nfn​(x)=x2/n

例2：fn(x)=xnf_n(x)=x^nfn​(x)=xn

绘制 x2/nx^2/nx2/n 的前几项图像

逐点收敛的判定方法

x2/nx^2/nx2/n 的逐点极限为零

逐点收敛尚不意味着一致收敛

第二个例子开始讲解，但未完成

xnx^nxn 的逐点收敛性

定理：一致收敛保持连续性

用反证法证明非一致收敛

一致收敛的定义

定理：一致极限的连续性

证明策略：控制差值

根据给定的ε选取N

反例：fn(x)=xnf_n(x) = x^nfn​(x)=xn

详细学习笔记

fn(x)=x2nf_n(x)=\frac{x^2}{n}fn​(x)=nx2​

fn(x)=xnf_n(x)=x^nfn​(x)=xn

x∈[0,1]x\in[0,1]x∈[0,1]

f1f_1f1​,f2f_2f2​,f3f_3f3​

x0x_0x0​

lim⁡n→∞fn(x0)\lim_{n\to\infty} f_n(x_0)limn→∞​fn​(x0​)

f≡0f\equiv 0f≡0

f1(x)=xf_1(x)=xf1​(x)=x,\ f2(x)=x2f_2(x)=x^2f2​(x)=x2

fn(x)f_n(x)fn​(x)

x

n

f

主题：函数列的一致收敛性

第一个例子序列

第二个示例序列

逐点收敛的判定方法

函数 fn(x)=x2/nf_n(x) = x^2/nfn​(x)=x2/n 的逐点极限

从逐点收敛过渡到一致收敛

fn(x)=xnf_n(x) = x^nfn​(x)=xn 的逐点收敛性

一致收敛与连续性的定理

一致收敛的定义

一致极限的连续性定理

第一个例子的逐点收敛声明

本片段中第二个例子的进展状态

非一致收敛的反证法证明

逆否命题在反例中的应用

推导函数列 fn(x)=x2/nf_n(x)=x^2/nfn​(x)=x2/n 的逐点极限

逐点极限函数的推导

用反证法证明非一致收敛

证明函数列 fn(x)=x2/nf_n(x) = x^2/nfn​(x)=x2/n 在 [0上一致收敛于 0，1] 上

例题1：fn(x)=x2/nf_n(x)=x^2/nfn​(x)=x2/n，定义域为[0,1]。

例题2：fn(x)=xnf_n(x)=x^nfn​(x)=xn在[0,1]上的分析（仅初始设定）

函数列 fn(x)=xnf_n(x) = x^nfn​(x)=xn 在区间 [0, 1] 上的收敛性

反例：fn(x)=xnf_n(x) = x^nfn​(x)=xn 在 [0, 1] 上

开场时的黑板布局

fn(x)=x2/nf_n(x) = x^2/nfn​(x)=x2/n 的图像行为

从图像到代数化的逐点论证

fn(x)=xnf_n(x)=x^nfn​(x)=xn 的初始草图

逐点收敛的可视化

不连续极限函数的图像

白板布局

术语混淆：将‘级数’与‘数列’混用

切勿依据定义域外的完整抛物线来判断收敛性

逐点收敛并不能自动保证一致收敛

混淆逐点收敛与一致收敛

逐点收敛 vs 一致收敛

主题：函数列的一致收敛性 → 第一个例子序列

主题：函数列的一致收敛性 → 第二个示例序列

逐点收敛的判定方法 → 函数 fn(x)=x2/nf_n(x) = x^2/nfn​(x)=x2/n 的逐点极限

函数 fn(x)=x2/nf_n(x) = x^2/nfn​(x)=x2/n 的逐点极限 → 从逐点收敛过渡到一致收敛

第一个例子序列 → 第二个示例序列

一致收敛与连续性的定理 → 用反证法证明非一致收敛

fn(x)=xnf_n(x) = x^nfn​(x)=xn 的逐点收敛性 → 用反证法证明非一致收敛

一致极限的连续性定理 → 逆否命题在反例中的应用

一致收敛的定义 → 证明函数列 fn(x)=x2/nf_n(x) = x^2/nfn​(x)=x2/n 在 [0上一致收敛于 0，1] 上

本片段介绍的是哪个数学主题？涉及哪两个函数列的例子？

本课中，如何检验一个函数列的逐点收敛性？

Why does lim⁡n→∞x0/2n\lim_{n\to\infty} x_0/2nlimn→∞​x0​/2n 等于 0 for fixed x0x_0x0​？

例1： $f_n(x)=x^2/n$

例2： $f_n(x)=x^n$

绘制 $x^2/n$ 的前几项图像

$x^2/n$ 的逐点极限为零

$x^n$ 的逐点收敛性

反例： $f_n(x) = x^n$

$f_n(x)=\frac{x^2}{n}$

$f_n(x)=x^n$

$x\in[0,1]$

$f_1$ , $f_2$ , $f_3$

$x_0$

$\lim_{n\to\infty} f_n(x_0)$

$f\equiv 0$

$f_1(x)=x$ ,\ $f_2(x)=x^2$

$f_n(x)$

函数 $f_n(x) = x^2/n$ 的逐点极限

$f_n(x) = x^n$ 的逐点收敛性

推导函数列 $f_n(x)=x^2/n$ 的逐点极限

证明函数列 $f_n(x) = x^2/n$ 在 [0上一致收敛于 0，1] 上

例题1： $f_n(x)=x^2/n$ ，定义域为[0,1]。

例题2： $f_n(x)=x^n$ 在[0,1]上的分析（仅初始设定）

函数列 $f_n(x) = x^n$ 在区间 [0, 1] 上的收敛性

反例： $f_n(x) = x^n$ 在 [0, 1] 上

$f_n(x) = x^2/n$ 的图像行为

$f_n(x)=x^n$ 的初始草图

逐点收敛的判定方法 → 函数 $f_n(x) = x^2/n$ 的逐点极限

函数 $f_n(x) = x^2/n$ 的逐点极限 → 从逐点收敛过渡到一致收敛

$f_n(x) = x^n$ 的逐点收敛性 → 用反证法证明非一致收敛

一致收敛的定义 → 证明函数列 $f_n(x) = x^2/n$ 在 [0上一致收敛于 0，1] 上

Why does $\lim_{n\to\infty} x_0/2n$ 等于 0 for fixed $x_0$ ？

本段是否完成了对 $f_n(x)=x^n$ 的全部分析？

如何在区间 [0, 1] 上计算 $x^n$ 的逐点极限？

为什么序列 $f_n(x) = x^n$ 在区间0, 1] 上不一致收敛？

如何证明函数列 $f_n(x) = x^2/n$ 在 [0上一致收敛于 0，1] 使用定义？