跳到内容
返回探索
数学建模 / 英语

实分析24 | 逐点收敛

The Bright Side of Mathematics · YouTube · 8:13

打开原视频
阅读与收藏

把讲解展开来看。

被收藏 0

已审核学习内容 · 视频分析 · 中文
阅读完整概览

本节介绍实分析中函数列的逐点收敛。首先回顾函数列 fnf_n : I → ℝ 的概念,然后定义逐点收敛:若对每个固定的 x̃ ∈ I,数值列 (fnf_n(x̃)) 收敛于 f(x̃),则称该函数列逐点收敛于 f。接着给出严格的 ε-N 定义:∀x̃∈I ∀ε>0ε>0 ∃N∈ℕ ∀n≥Nn\ge N: |fnf_n(x̃)-f(x̃)|<ε。图示通过函数图像的竖直截面来表示这些数值列。一个线性函数列的例子 fn(x)=(1/n)x+1f_n(x) = (1/n)x + 1 在 [0,1] 上展示了其逐点收敛于常函数 f(x)=1f(x) = 1。 本 150秒白板讲解片段讲授函数列的逐点收敛。它首先用语言和 ε 形式陈述定义,然后求解一个简单例子 fn(x)=x/n+1f_n(x)=x/n+1 在 [0,1] 上的逐点极限函数,并指出该极限函数为常值函数 f(x)=1f(x)=1。后半部分引入一个更复杂的分段函数例子:fn(x)=n2xf_n(x)=n^2x(1-nx),定义在 [0,1/n1/n] 和 0 在 (1/n1/n,1] 上分析其图像,并计算出其最大值为 n/4n/4,在 x=1/(2n)x = 1/(2n) 处取得,呈现出一个变窄但越来越高的尖峰。 本150秒的白板片段讲解函数列在区间[0,1上逐点收敛的概念。首先分析分段函数列 fn(x)=n2xf_n(x)=n^2 x(1-nx),其定义域为[0,1/n1/n],以及在(0 on (1/n1/n,1】,通过分情况讨论证明逐点极限是零函数,尽管峰值在增大。接着展示第二个可视化例子:连续的分段线性函数向右平移并变陡,逐点收敛到一个具有跳跃间断点的阶梯函数。讲师利用这些例子论证:逐点收敛太弱,因为它不能保持连续性等良好性质。 本43秒片段结束了一个逐点收敛的例子,并过渡到下一主题。黑板上展示了定义在 [0,1] 的逐点极限为 f(x)=0f(x) =0,分情况讨论:x=0x =0 和 x>0x >0,其中 fn(x)=0f_n(x) =0 当 n > 时最终成立1/x1/x。在 x=1/nx =1/n 处的图示计算得到一个类似尖峰的值,记作 n/4n/4,尽管手写略显模糊。下方第二个视觉示例展示了逐点收敛到一个不连续极限函数的图像。讲解者随后说:“我们称这种收敛为一致收敛”,并将一致收敛的定义和示例推迟到下一视频中讲解。从 14 到 43 秒的片段仅包含片尾字幕和背景音乐。

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

章节

0:00引言与回顾0:16函数列复习0:28逐点收敛的定义1:22ε-N 形式化表述2:04线性函数示例2:30逐点收敛的定义2:40第一个示例:fn(x)=x/n+1f_n(x) = x/n + 13:00识别逐点极限函数3:20第二个例子:一个分段定义的、关于 n 的函数3:55图像分析与最大值5:00问题:是否存在逐点极限函数?5:20分段示例的分类讨论6:00最终为常数值与零极限6:17奇特结论:存在不断增高的峰值但仍收敛6:40连续函数逐点收敛到一个具有跳跃间断的函数7:21引入更强收敛性概念的动机7:30板书上的逐点极限示例7:40向一致收敛的口述过渡7:44片尾字幕

学习解说文稿

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

欢迎来到本节关于实分析中逐点收敛的学习。我们首先回顾函数列这一基本概念。

函数列由一系列函数 fnf_n 构成,每个 fnf_n 均从同一定义域 I 映射到实数集 ℝ,且按自然数 n 编号。

现在引入逐点收敛:若对定义域 I 中每个固定的点 x̃,所对应的数值列 (fnf_n(x̃)) 均收敛于 f(x̃),则称该函数列逐点收敛于极限函数 f。

该定义很自然,因为它将函数的收敛问题归结为定义域中每一点上数值列的收敛问题,而后者是我们所熟悉的。

极限函数 f 由如下方式定义:对 I 中的每一点 x̃,令 f(x̃) 等于数值列 (fnf_n(x̃)) 的极限。

我们可以用量词精确表达这一点:对区间 I 中的每个 x̃,对每个 ε>0ε > 0,都存在一个自然数 N,使得对所有 n≥Nn \ge N,绝对差值 |fnf_n(x̃) - f(x̃)| 都小于 ε。

从图像上看,这意味着对函数图像作任意一条竖直切片,都会得到一个收敛的点列,该点列的极限即定义了极限函数在该 x 坐标处的函数值。

我们来考察一个具体例子:考虑定义在区间[1/n1/n)x+1x + 1上的线性函数序列 fn(x)f_n(x) = (0,1]。

随着 n 增大,斜率 1/n1/n 趋近于零,导致直线逐次变得越来越平缓,同时其 y 轴截距始终保持在 1。

该函数序列逐点收敛于常函数 f(x)=1f(x) = 1,因为对区间 [0,1] 中任意固定的 x,项 (1/n1/n)x 随着 n 趋向无穷而趋近于零。

该片段开始时,黑板上已展示函数列(fnf_n)在定义域 I 上逐点收敛的形式定义。核心思想是:收敛性需针对每一个输入点单独检验。

对于第一个例子,主讲人任取一点 x~∈[0,1]\tilde{x}\in[0,1],代入 fn(x)=1nx+1f_n(x)=\frac{1}{n}x+1,得到数值序列 1nx~+1\frac{1}{n}\tilde{x}+1。

由于 x~\tilde{x} 是固定的,项 1nx~\frac{1}{n}\tilde{x} 趋于 0,因此整个表达式趋于 1。这正是定义所描述的逐点极限过程。

由于对区间 [0,1] 中任意选取的点,该结论均成立,故极限函数为常值函数 f(x)=1f(x)=1。黑板将此称为逐点极限函数。

接着,主讲人宣布在同一定义域 [0,1] 上考察一个更复杂的例子,该函数现以分段形式定义,其分段点随 n 变化,位于 1/n1/n 处。

第一段为 n2xn^2x(1-nx),定义在 [0,1/n1/n] 上;第二段为 0,定义在 (1/n1/n,1] 上。关键的结构变化在于:非零部分的支撑集随 n 增大而收缩。

为理解几何意义,主讲人绘制图像:左侧区间上是一段抛物线形凸起,右侧区间上是一段水平的零值线段。该图直观呈现了尖峰的移动特性。

凸起的最大值出现在 x=12⋅1nx=\frac{1}{2}\cdot\frac{1}{n} 处。将该点代入第一段,得 fn(12n)=n4f_n(\frac{1}{2n})=\frac{n}{4}。

因此,随着 n 增大,非零区域变得越来越窄,而峰值高度却无界增长。本片段在此处结束,同时引出一个直观问题:这对逐点收敛行为意味着什么?

主讲人首先提问:黑板上展示的函数序列是否存在逐点极限函数。黑板显示的是定义在区间0、1上的分段函数序列,口述讲解立即把任务明确为:固定一个输入x,并考察数值序列fn(x)f_n(x)。

为使该论证严谨,需分两种情况讨论。若x=0x=0,则直接代入公式得fn(0)=0f_n(0)=0对所有n成立,因此该点处的序列从一开始就是恒为零的常数列。

若x>0x>0,关键观察在于:当n大于1/x1/x时,点x便落入区间(1/n1/n,1]内,而函数在此区间上被定义为零。因此,对每个固定的正数x,数值fn(x)f_n(x)最终变为0并保持为0。

这可概括为:对每个固定的x,数值序列fn(x)f_n(x)最终为常数。一个最终为常数的序列收敛于其常数尾部值,因此逐点极限存在且等于0在[0,1]上处处成立。

接着,主讲人强调这一现象为何令人惊讶:尽管各函数图像呈现出越来越高耸的峰值,其逐点极限却仍是零函数。这种反差表明,逐点收敛仅分别控制每个固定的x处的行为,并不控制函数整体的大小。

第二个例子以图像方式引入。黑板上展示一系列连续的分段线性函数:先为常数,再线性上升,最后又为常数。后续函数整体向右平移,使得中间斜线段越来越陡峭、越来越窄。

对该移动函数族取逐点极限,所得图像呈阶梯状。极限函数具有跳跃间断点,尽管原始序列中的每一个函数都是连续的。

本片段最后以这两个例子为动机,引出更强的收敛概念。由于逐点收敛允许极限函数出现无界峰值增长,也允许极限函数失去连续性,讲者指出它在分析中往往不够强。

该片段以一块已完成的白板例题开场,内容关于逐点收敛。上方图像显示了区间 [0,1,且书面的分情况讨论指出,对于x=0x=0,fn(x)=0f_n(x)=0 对所有n∈Nn\in\mathbb{N} 成立;而对于x>0x>0,fn(x)=0f_n(x)=0 对所有n>1xn>\frac{1}{x} 成立。根据这两种情况,黑板得出逐点极限函数为f:[0,1]→Rf:[0,1]\to\mathbb{R},其中f(x)=0f(x)=0。

另一处单独展示的计算在x=1nx=\frac{1}{n}处求函数值,并写出fn(1n)=n⋅12n(1−12n)=n4f_n\left(\frac{1}{n}\right)=n\cdot\frac{1}{2n}\left(1-\frac{1}{2n}\right)=\frac{n}{4}。这一行表明:尽管在每个固定的xx处逐点极限为零,但在移动点1/n1/n附近的函数高度却随nn增长。最后的手写符号略显模糊,但周围代数推导支持将其读作n4\frac{n}{4}。

下方第二个例子以视觉方式而非代数方式呈现。左侧是不同指标对应的分段线性图像;一条标有‘逐点极限’的箭头指向右侧一幅具有跳跃间断点的图像,其下支用空心圆标记、上支用实心圆标记。该图说明逐点极限可以是不连续的。

在此板书之上,叙述者以‘我们把这称为一致收敛’结束当前主题,并补充说明一致收敛的定义与示例将在下一段视频中展开。口述内容已点明下一主题,但本片段中可见的板书结论仍为逐点极限函数。

告别语之后,数学内容消失,余下片段为黑屏片尾,配以音乐及滚动显示的支持者名单,标题为‘数学的光明面感谢所有支持者:’。

知识卡片

01

逐点收敛的定义

设函数序列 (fnf_n) 的定义域为 I,若对 I 中每一个固定点 x̃,数值序列 (fnf_n(x̃)) 都收敛于 f(x̃),则称 (fnf_n) 在 I 上逐点收敛于函数 f。这意味着收敛性必须在定义域中每一点上分别成立,从而将函数的收敛问题归约为普通的数值序列收敛问题。

[∀x~∈I∀ϵ>0∃N∈N∀n≥N:∣fn(x~)−f(x~)∣<ϵ]\left[ \forall \tilde{x} \in I \quad \forall \epsilon > 0 \quad \exists N \in \mathbb{N} \quad \forall n \geq N : \quad |f_n(\tilde{x}) - f(\tilde{x})| < \epsilon \right]
02

函数序列

函数序列是指一个按自然数 n 编号的、具有共同定义域 I 并映射到实数集 ℝ 的函数族 fnf_n。这一概念是理解逐点收敛的前提。

(f1,f2,f3,f4,f5,…)wherefn:I→R(f_1, f_2, f_3, f_4, f_5, \ldots) \quad \text{where} \quad f_n : I \rightarrow \mathbb{R}
03

线性函数示例

考虑定义在[1/n1/n)x+1x + 1上的函数 fn(x)f_n(x) = (0,1]。当 n 增大时,斜率趋近于零,直线变得越来越平缓。该序列逐点收敛于常值函数 f(x)=1f(x) = 1,因为(1/n1/n)x→0x \to 0 对于区间 [0,1] 中任意固定的 x。

fn(x)=1nx+1,lim⁡n→∞fn(x)=1f_n(x) = \frac{1}{n}x + 1, \quad \lim_{n \to \infty} f_n(x) = 1
04

竖直切片解释

逐点收敛可以通过考察函数图像的垂直切片来直观理解:在每个固定的 x̃ 处作垂直切片,得到点列 (fnf_n(x̃)),该点列必须收敛于 f(x̃);而收敛所需的阈值 N 在不同切片之间可能不同。

05

逐点收敛的定义

函数列(fnf_n)在区间 I 上逐点收敛于 f,是指对 I 中任意固定的点 x~\tilde{x},数列(fn(x~)f_n(\tilde{x}))收敛于 f(x~)f(\tilde{x})。视频片段还展示了含 ε 的表述形式,其量词顺序为:∀x~∈I\forall \tilde{x}\in I, ∀ε>0\forall \varepsilon>0, ∃N∈N\exists N\in\mathbb{N}, ∀n≥N\forall n\ge N。

∀x~∈I  ∀ε>0  ∃N∈N  ∀n≥N:  ∣fn(x~)−f(x~)∣<ε\forall \tilde{x}\in I\;\forall \varepsilon>0\;\exists N\in\mathbb{N}\;\forall n\ge N:\;|f_n(\tilde{x})-f(\tilde{x})|<\varepsilon
06

如何计算逐点极限

固定定义域中的一个点 x~\tilde{x},将其代入 fnf_n,计算当 n→∞n\to \infty 时的普通极限,从而得出 f(x~)f(\tilde{x}) 的值。对所有 x~\tilde{x} 重复此过程,即可得到逐点极限函数。

07

例 1:fn(x)=x/n+1f_n(x)=x/n+1

在 [0,1] 上,对每个固定的 x~\tilde{x},有 fn(x~)=1nx~+1→1f_n(\tilde{x})=\frac{1}{n}\tilde{x}+1\to 1,因为 1nx~→0\frac{1}{n}\tilde{x}\to 0。因此该函数列逐点收敛于常函数 1。

fn(x)=1nx+1,f(x)=1f_n(x)=\frac{1}{n}x+1,\quad f(x)=1
08

逐点极限函数的术语

由所有逐点极限值构成的函数称为逐点极限函数。在第一个例子中,该函数为 f:[0,1]→R\to\mathbb{R},且 f(x)=1f(x)=1。

09

例 2的设定:分段定义且依赖于 n 的函数列

第二个例子保持定义域为 [0,1],但将 fnf_n 分段定义为:n2xn^2x(1-nx) 在 [0,1/n1/n] 上,且 0 在 (1/n1/n,1] 上。分段点 1/n1/n 依赖于 n,因此图形随指标变化。

fn(x)={n2x(1−nx),x∈[0,1/n]0,x∈(1/n,1]f_n(x)=\begin{cases} n^2x(1-nx), & x\in[0,1/n] \\ 0, & x\in(1/n,1] \end{cases}
10

第二个例子的最大值

非零分支在 x=12⋅1nx=\frac{1}{2}\cdot\frac{1}{n} 处取得最大值。代入得 fn(12n)=n4f_n(\frac{1}{2n})=\frac{n}{4},故峰值高度随 n 线性增长,而支撑区间则不断收缩。

fn(12n)=n4f_n\left(\frac{1}{2n}\right)=\frac{n}{4}
11

逐点极限函数

对于定义在同一定义域上的一列函数(fnf_n),其逐点极限函数 f 定义为:对每个固定的输入 x,分别计算极限:f(x)=lim⁡n→∞fn(x)f(x)=\lim_{n\to\infty} f_n(x)。本片段全程使用该定义。

f(x)=lim⁡n→∞fn(x)f(x)=\lim_{n\to\infty} f_n(x)
12

第二个例子:定义在0,1上的分段函数列

所分析的函数序列为fn(x)=n2xf_n(x)=n^2 x(1-nx),其中x∈[0,1/n1/n];且当x∈(0 for x∈x\in(1时,fn(x)=1f_n(x)=1]. 其非零部分随着 n 增大而向 0 收缩。

fn(x)={n2x(1−nx),x∈[0,1/n]0,x∈(1/n,1]f_n(x)=\begin{cases} n^2 x(1-nx), & x\in[0,1/n]\\ 0, & x\in(1/n,1]\end{cases}
13

当 x=0x=0 时,对所有 n,函数值均为0

将 x=0x=0 代入定义得 fn(0)=0f_n(0)=0 对每个自然数 n 成立,因此该点处的数值序列恒为零。

14

当 x>0x>0 时,一旦 n>1/xn>1/x,函数值即变为零

对任意固定的正数 x,若 n>1/xn>1/x,则 x 落在区间 (1/n1/n,1] 内,而该区间上函数被定义为0。因此对所有足够大的 n,均有 fn(x)=0f_n(x)=0。

15

最终为常数意味着收敛

若 fn(x)f_n(x) 最终恒等于同一个数,则数值序列 fn(x)f_n(x) 收敛于该数。本例中这个最终的常数值为0。

16

第二个例子的逐点极限

合并 x=0 和 x>0 两种情形可知,对每个 x∈[0,1]x\in [0,1],fₙ(x) 最终恒等于0。因此逐点极限函数是零函数。

f(x)=0for all x∈[0,1]f(x)=0\quad\text{for all }x\in[0,1]
17

不断升高的峰值并不妨碍逐点收敛

函数 fₙ 的图像越来越高,而其支撑集却越来越窄。逐点收敛依然成立,因为对每个固定的 x 都单独考察,且最终只看到零分支。

18

连续函数可以逐点收敛到一个具有跳跃间断的函数

最后一个直观示例展示了连续的分段线性函数向右平移并变得陡峭。它们的逐点极限是一个在某点不连续的阶梯函数。

19

为何逐点收敛过于薄弱

本片段通过两个例子说明:逐点收敛无法保持诸如峰值有界性或连续性等重要的整体性质,从而引出更强的收敛概念。

20

所演示例中的逐点极限

黑板通过固定xx 并令nn 变化。它将定义域划分为 x=0x=0 和 x>0x>0。在 x=0x=0 处,fn(x)=0f_n(x)=0 对每个 nn 成立。在 x>0x>0 处,fn(x)=0f_n(x)=0 恰好一次 n>1xn>\frac{1}{x}。因此极限函数在 [0,1][0,1] 上恒为零。

f:[0,1]→R,f(x)=0f:[0,1]\to\mathbb{R},\quad f(x)=0
21

为何需要分情况讨论

该论证并非对所有xx同时给出一个统一的估计。相反,每个固定的xx被单独处理。这正是逐点收敛的逻辑:先选定xx,再考察当n→∞n\to\infty变化时会发生什么。

22

在x=1/nx=1/n处取值

黑板上还展示了fn(1n)=n⋅12n(1−12n)=n4f_n\left(\frac{1}{n}\right)=n\cdot\frac{1}{2n}\left(1-\frac{1}{2n}\right)=\frac{n}{4}。这暗示了一个移动的峰值,其高度随nn增大而增大,尽管在每个固定的xx处的逐点极限仍是00。最后手写的数值略显模糊,但其本意应为n4\frac{n}{4}。

fn(1n)=n4f_n\left(\frac{1}{n}\right)=\frac{n}{4}
23

第二个直观示例:逐点极限不连续

下方图示左侧展示一族分段线性函数,右侧为由标有‘逐点极限’的箭头所连接的极限图像。该极限图像存在跳跃,以空心圆与实心圆示意。此例强调逐点收敛不能保持连续性。

24

过渡到一致收敛

讲解者说:‘我们称这种情况为一致收敛’,并将定义与示例留待下一视频展开。然而本片段中黑板明确得出的结论是关于逐点极限函数的,因此此处的口头表述应理解为引出下一主题,而非复述当前展示的证明。

详细学习笔记

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

符号定义 · 33

(f1f_1, f2f_2, f3f_3, f4f_4, f5f_5, ...)

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    (f1f_1, f2f_2, f3f_3, f4f_4, f5f_5, …)

符号

(f1f_1, f2f_2, f3f_3, f4f_4, f5f_5, ...)

含义

函数序列

适用范围

由自然数索引的函数集合

fnf_n

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    函数 fnf_n:区间 I 映射到实数集 ℝ

符号

fnf_n

含义

序列中的第 n 个函数

适用范围

从区间 I 到实数集的函数

I

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    函数 fnf_n:区间 I 映射到实数集 ℝ

符号

I

含义

该函数序列中各函数的定义域

适用范围

实数集的一个子集(区间)

x~\tilde{x}

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    x 的上波浪线

符号

x~\tilde{x}

含义

定义域 I 中的一个定点

适用范围

I 中的一个元素

f

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    函数 f 从区间 I 映射到实数集

符号

f

含义

逐点收敛序列的极限函数

适用范围

从区间 I 到实数集的函数

ϵ\epsilon

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    对任意 ε>0ε > 0

符号

ϵ\epsilon

含义

用于收敛容差的任意正实数

适用范围

正实数

N

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    存在 N ∈ ℕ

符号

N

含义

收敛性成立的阈值下标

适用范围

自然数

n

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    对任意 n≥Nn \ge N

符号

n

含义

大于或等于 N 的下标变量

适用范围

自然数

fn(x)f_n(x)

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    fₙ(x) 等于1除以 n 再乘以 x,加上1

符号

fn(x)f_n(x)

含义

第 n 项的具体示例函数

适用范围

定义在区间0,1上的线性函数

[0,1]

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    fₙ:闭区间 [0,1] 映射到实数集

符号

[0,1]

含义

该示例序列的定义域区间

适用范围

闭单位区间

fnf_n

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    黑板反复写出 fn(x)f_n(x) 以及函数列 (f1f_1,f2f_2,f3f_3,f4f_4,f5f_5,...)。

  2. 声音
    观察依据

    主讲人提及函数列,并在某一固定点处对 fnf_n 进行求值。

符号

fnf_n

含义

函数列中的第 n 个函数

适用范围

第一个例子中,fnf_n:[0,1]→ℝ;第二个例子中,同样有 fnf_n:[0,1]→ℝ

f

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    定义行写为 f:I→ℝ;后续结论行写为 f:[0,1]→ℝ,且 f(x)=1f(x)=1。

  2. 声音
    观察依据

    主讲人称其为极限函数,随后称为逐点极限函数 f。

符号

f

含义

函数列 (fnf_n) 的逐点极限函数

适用范围

定义中为 f:I→ℝ;在已演算的第一个例子中为 f:[0,1]→ℝ

知识点 · 11

逐点收敛的定义

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    而这样的函数列可能具有我们称之为逐点收敛的收敛性质。

  2. 公式
    观察依据

    逐点收敛:(f1f_1, f2f_2, f3f_3, f4f_4, f5f_5, ...) 逐点收敛于函数 f : I→RI \rightarrow \mathbb{R},当且仅当对所有 x~∈I\tilde{x} \in I,有 (f1(x~)f_1(\tilde{x}), f2(x~)f_2(\tilde{x}), f3(x~)f_3(\tilde{x}), f4(x~)f_4(\tilde{x}), f5(x~)f_5(\tilde{x}), ...) 收敛于 f(x~)f(\tilde{x})。

定义
解释

若函数列 (fnf_n)(定义域为 I)满足:对 I 中任意固定点 x̃,数值序列 (fnf_n(x̃)) 均收敛于 f(x̃),则称该函数列逐点收敛于函数 f。这将函数的收敛性归结为每一点处的普通数列收敛性。

公式
[∀x~∈I∀ϵ>0∃N∈N∀n≥N:∣fn(x~)−f(x~)∣<ϵ]\left[ \forall \tilde{x} \in I \quad \forall \epsilon > 0 \quad \exists N \in \mathbb{N} \quad \forall n \geq N : \quad |f_n(\tilde{x}) - f(\tilde{x})| < \epsilon \right]
适用条件
  1. 函数列 fnf_n : I → ℝ

  2. 极限函数 f : I → ℝ

  3. 对于所有 x̃ ∈ I

  4. 对于所有 ε>0ε > 0

  5. 存在 N ∈ ℕ

  6. 对于所有 n≥Nn \ge N

先修条目
  1. 函数列

函数列

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    此处请回顾上期视频中我们已学过的函数列的概念。

  2. 公式
    观察依据

    函数列:(f1f_1, f2f_2, f3f_3, f4f_4, f5f_5, …),其中每个 fnf_n : I → ℝ

定义
解释

函数列是按自然数 n 编号的一组有序函数 fnf_n,每个函数都从公共定义域 I 映射到实数集 ℝ。

公式
(f1,f2,f3,f4,f5,…)wherefn:I→R(f_1, f_2, f_3, f_4, f_5, \ldots) \quad \text{where} \quad f_n : I \rightarrow \mathbb{R}
适用条件
  1. 公共定义域 I

  2. 陪域 ℝ

  3. 由 n ∈ ℕ 编号

函数列逐点收敛的定义

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    黑板上显示:逐点收敛:若对所有x̃∈I,数列(f1f_1, f2f_2, f3f_3, f4f_4, f5f_5, …)逐点收敛于函数f: I → ℝ,即对每个x̃∈I,数列(f1f_1(x̃), f2f_2(x̃), f3f_3(x̃), f4f_4(x̃), f5f_5(x̃), …)收敛于f(x̃)。

  2. 公式
    观察依据

    黑板上还显示了ε形式:[∀x̃∈I ∀ε>0ε>0 ∃N∈ℕ ∀n≥Nn\ge N: |fnf_n(x̃)−f(x̃)|<ε]。

  3. 声音
    观察依据

    讲师通过固定一个点〔x~\tilde{x}〕并考察由此产生的数值序列来解释这一概念。

定义
解释

函数列(fnf_n)在区间 I 上逐点收敛于 f,当且仅当:对任意固定的点〔x~\tilde{x}〕∈I,数值序列(fnf_n(〔x~\tilde{x}〕))收敛于 f(〔x~\tilde{x}〕)。该片段同时呈现了文字定义与 ε-语言表述。

公式
∀x~∈I  ∀ε>0  ∃N∈N  ∀n≥N:  ∣fn(x~)−f(x~)∣<ε\forall \tilde{x}\in I\;\forall \varepsilon>0\;\exists N\in\mathbb{N}\;\forall n\ge N:\;|f_n(\tilde{x})-f(\tilde{x})|<\varepsilon
适用条件
  1. 函数列(fnf_n)与极限函数 f 定义在同一定义域 I 上。

  2. 量词顺序至关重要:先固定〔x~\tilde{x}〕,再给定〔ε\varepsilon〕,随后 N 可依赖于二者。

逐点极限函数术语

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    黑板上写出 ⇒(逐点)极限函数 f:[0,1]→ℝ,f(x)=1f(x)=1。

  2. 声音
    观察依据

    讲师说:因此我们的极限函数是常值函数。更准确地说,我们应称其为逐点极限函数 f。

定义
解释

当一列函数逐点收敛时,由所有逐点极限构成的函数 f 称为逐点极限函数。在第一个例子中,该极限函数是恒等于1 的常值函数,在[0,1]上。

公式
f(x)=1for x∈[0,1]f(x)=1\quad\text{for }x\in[0,1]
适用条件
  1. 在整段定义域上已确立逐点收敛之后应用。

先修条目
  1. 函数列逐点收敛的定义

逐点极限的计算方法

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲师说:只需固定一个点〔x tilde〕并观察其变化,即可立即算出该结果。

  2. 公式
    观察依据

    黑板上写出:对〔x~\tilde{x}〕∈[0,1]:fnf_n(〔x~\tilde{x}〕)=1/n1/n·〔x~\tilde{x}〕+1 ⟶_{n→∞n\to \infty } 1。

方法
解释

为求函数列(fnf_n)的逐点极限,任取定义域中一点x~\tilde{x},将其代入fnf_n得到一个数值序列,计算该数值序列的通常极限,再对所有x~\tilde{x}重复此过程。

公式
lim⁡n→∞fn(x~)=f(x~)for each fixed x~∈I\lim_{n\to\infty} f_n(\tilde{x})=f(\tilde{x})\quad\text{for each fixed }\tilde{x}\in I
适用条件
  1. 该方法逐点施行;ε定义中的N可能依赖于所选的x~\tilde{x}。

先修条目
  1. 函数列逐点收敛的定义

函数列的逐点极限函数

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人先提问是否存在逐点极限函数,随后明确写出所得的极限函数。

  2. 公式
    观察依据

    在两个例题中,板书均写有“(逐点)极限函数 f : [0,1] → R”。

定义
解释

若对定义域中每个固定的输入 x,数值列 fn(x)f_n(x) 都收敛于 f(x)f(x),则称函数列 (fnf_n) 具有逐点极限函数 f。视频在区间 [0,1] 上的两个例子中直接使用了这一定义。

公式
f(x)=lim⁡n→∞fn(x)f(x)=\lim_{n\to\infty} f_n(x)
适用条件
  1. 先固定每个 x。

  2. 对定义域中的每一个 x,分别检验其收敛性。

最终为常数的数值列必收敛

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人指出:对固定的 x,数值列 fn(x)f_n(x) 最终为常数列,因此它收敛,且极限为 0。

  2. 公式
    观察依据

    黑板上显示 fn(x)=0f_n(x) =0 对所有 n>1/xn > 1/x 在第二种情况下。

方法
解释

若对某个固定的 x,当 n 充分大时,fn(x)f_n(x) 的值恒等于同一数,则数值列 fn(x)f_n(x) 收敛于该数。在第二个例子中,该最终常数值为 0。

公式
适用条件
  1. 存在一个指标阈值,使得此后所有项均相等。

先修条目
  1. 函数列的逐点极限函数

第二个例子中函数列的分段定义

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    黑板上写出 fnf_n: [0,1]->R, fn(x)=n2xf_n(x)= n^2 x(1−nx),其中 x∈[0,1/n]x \in [0,1/n],且 0 其中 x ∈ (1/n1/n,1。

定义
解释

第二个演算例题是一个定义在 [0,1] 上的分段函数列,其非零部分仅出现在 [0,1/n1/n] 上,且由关于 x 的二次表达式给出。

公式
fn(x)={n2x(1−nx),x∈[0,1/n]0,x∈(1/n,1]f_n(x)=\begin{cases} n^2 x(1-nx), & x\in[0,1/n]\\ 0, & x\in(1/n,1]\end{cases}
适用条件
  1. 定义在区间0到1上。

  2. 下标 n 为自然数。

本例中的逐点极限函数

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    黑板明确将结论标注为“(逐点)极限函数”,并写出 f:[0,1]→ℝ,f(x)=0f(x)=0。

定义
解释

在例题中,逐点极限是通过固定每个 x 并检查 fₙ(x) 的最终取值来获得的。当 x=0x =0 时,黑板上显示 fₙ(0) =0 对所有 n 成立;而当 x>0x >0 时,黑板上显示 fₙ(x) =0 当 n>1/xn > 1/x 时。因此极限函数在 [0,1] 上恒为零。

公式
f:[0,1]→R,f(x)=0f:[0,1]\to\mathbb{R},\quad f(x)=0
适用条件
  1. x 固定,而 n 变化。

  2. 论证分为 x=0x=0 和 x>0x>0 两种情形。

一致收敛这一术语在本段结尾处被提出。

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲述者说:“这正是我们所称的一致收敛。”

待核验内容
  1. 该片段未给出一致收敛的严格定义;此处仅提及其名称。

定义
解释

在本节开头,主讲人将刚刚讨论的主题称为一致收敛。其严格定义留待下一视频讲解。

公式
适用条件
  1. 本片段仅引入了该术语。

  2. 此处未陈述任何严格的判别准则。

范围说明:定义与示例延后给出

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲述者说:“现在,一致收敛的定义和例子,我们将在下一视频中讲解。”

方法
解释

主讲人明确将一致收敛的定义与示例推迟至下一视频讲解,因此本片段起到承上启下的作用——从前一个逐点极限的例题过渡到即将展开的新主题。

公式
适用条件
  1. 适用于整个讲座系列的结构安排,而非某一定理的陈述。

定理与条件 · 6

函数列fn(x)=x/n+1f_n(x)=x/n+1在区间[0,1]上的逐点极限

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    黑板上显示fn(x)=1nx+1f_n(x)=\frac{1}{n}x+1,然后fn(x~)=1nx~+1→n→∞1f_n(\tilde{x})=\frac{1}{n}\tilde{x}+1 \xrightarrow{n\to\infty} 1。

  2. 声音
    观察依据

    讲师指出这是一除以n,是一个收敛于零的序列,因此根据我们的极限定理,整个序列恒收敛于一,无论x~\tilde{x}取何值。

命题
命题

对于定义在[0,1]上的函数 fₙ: → ℝ,其中 fₙ(x) = 1}{n}x+1x+1,该序列逐点收敛于常函数 f(x)=1f(x) =1 在 [0,1] 上。

前提
  1. 每个fnf_n均定义在区间[0,1]上。

  2. fₙ(x) = 1 除以 n 乘以 x 加上 1。

量词

对任意固定的x~∈[0,1]\tilde{x}\in[0,1],均有lim⁡n→∞fn(x~)=1\lim_{n\to\infty} f_n(\tilde{x})=1。

第二个例子中非零分支的最大值

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    黑板上写出fn(12⋅1n)=n212n(1−n12n)=n4f_n(\frac{1}{2}\cdot\frac{1}{n})=n^2\frac{1}{2n}(1-n\frac{1}{2n})=\frac{n}{4}。

  2. 声音
    观察依据

    讲师指出最大值出现在二分之一乘以n分之一处,因此此处的最大值随n增大而增大。

命题
命题

对于第二个例子,抛物线分支的最大值出现在 x=1/2⋅1/nx=1/2\cdot 1/n 处,且最大值为 n/4n/4。

前提
  1. 第一段分支为 n2xn^2x(1 − nx),定义在 [0, 1/n1/n] 上。

量词

对每个固定的 n,非零分支上的最大值在 x=1/(2n)x=1/(2n) 处取得,其值为 n/4n/4。

第二个例子的逐点极限是零函数。

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲师得出结论:“因此我们得到了一个逐点极限函数,即零函数。”

  2. 公式
    观察依据

    黑板上写出:‘(逐点)极限函数 f:0到1→ℝ,f(x)f(x)=0’,并分情况讨论 x=0 和 x>0。

命题
命题

对于序列 fn(x)=n2xf_n(x)=n^2 x(1-nx),定义在 [0,1/n1/n] 上,以及0 在 (1/n1/n,1] 上,其在 [0,1] 上的逐点极限为 f(x)=0f(x)=0,对每个 x 成立。

前提
  1. 每个 fₙ 都定义在区间0到1上。

  2. n 取遍所有自然数。

量词

对所有 x∈0x \in 0到1。

逐点收敛可能无法保持某些理想性质。

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲师指出,逐点收敛或许不足以满足我们的需求,这促使我们引入一种更严格的收敛性。

  2. 图示
    观察依据

    最终图示显示:一列连续的分段线性函数逐点收敛于一个具有跳跃间断点的阶梯函数。

命题
命题

仅有点态收敛可能导致极限函数在性质上与逼近序列截然不同,例如极限函数出现跳跃,而每个 fnf_n 都是连续的。

前提
  1. 该序列仅有点态收敛。

  2. 未假设任何更强的收敛模式。

量词

通过具体例子加以演示。

连续性在点态极限下未必保持。

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人指出,起始函数均无跳跃,但点态极限却存在跳跃。

  2. 图示
    观察依据

    右侧图像是一阶梯函数,它是由连续的分段线性图像经点态极限得到的。

命题
命题

一列连续函数可以点态收敛到一个不连续的函数。

前提
  1. 序列中的每个函数都是连续的。

  2. 所考虑的收敛是点态收敛。

量词

存在性:存在这样的序列。

所展示函数列的逐点极限是零函数。

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    黑板上写:当 x=0x = 0 时:fn(x)=0f_n(x) = 0 对所有 n ∈ ℕ 成立;当 x>0x > 0 时:fn(x)=0f_n(x) = 0 对所有 n>1/xn > 1/x 成立;因此(逐点)极限函数 f: [0,1]→R\to\mathbb{R}, f(x)=0f(x)=0。

命题
命题

对于区间 [0,1] 上所展示的函数列,其逐点极限函数为 f(x)=0f(x)=0,其中 x 取遍 [0,1] 中的每一个值。

前提
  1. 这些函数定义在区间 [0,1] 上。

  2. 采用了分情况讨论:x=0x=0 与 x>0x>0。

  3. 当 x>0x>0 时,取 n>1/xn>1/x。

量词

对每个固定的 x∈[0,1]x\in[0,1],当 n 充分大时恒有 fn(x)=0f_n(x)=0;因此在每个 x 处,逐点极限均为 0。

推导与证明 · 7

量词形式的推导

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    因此,我们能够借助量词高效地描述整个概念,或许就不足为奇了。

  2. 公式
    观察依据

    [ 对任意 x̃ ∈ I,对任意 ε>0ε > 0,存在 N ∈ ℕ,对任意 n≥Nn \ge N,有 |fnf_n(x̃) − f(x̃)| < ε ]

直观解释
步骤
  1. 公式
    ∀x~∈I\forall \tilde{x} \in I
    解释

    任取定义域 I 中的一个点 x̃

    步骤依据

    逐点收敛要求该性质在定义域中每一点都成立

    视频直接表达
  2. 公式
    ∀ϵ>0\forall \epsilon > 0
    解释

    考虑任意一个正的容差 ε

    步骤依据

    数列收敛的标准 ε–N 定义

    视频直接表达
  3. 公式
    ∃N∈N\exists N \in \mathbb{N}
    解释

    存在一个阈值指标 N

    步骤依据

    收敛性保证了对这个数值数列,这样的 N 存在

    视频直接表达
  4. 公式
    ∀n≥N:∣fn(x~)−f(x~)∣<ϵ\forall n \geq N : |f_n(\tilde{x}) - f(\tilde{x})| < \epsilon
    解释

    对所有满足 n≥Nn \ge N 的指标 n,函数值与极限值之差的绝对值小于 ε

    步骤依据

    这就是数值数列 (fnf_n(x̃)) 收敛的定义

    视频直接表达
结论

逐点收敛的定义将定义域中各点的全称量化,与每个由此产生的数值数列所满足的标准 ε–N 收敛条件结合起来。

第一个例子中逐点极限的推导

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    黑板依次写出:当 x~∈[0,1]\tilde{x}\in [0,1] 时,fn(x~)=1/n⋅x~+1f_n(\tilde{x})=1/n\cdot \tilde{x}+1,然后 →n→∞1\xrightarrow{n→∞}1,最后是极限函数的图像。

  2. 声音
    观察依据

    主讲人叙述代入过程,指出项 1/n1/n 收敛于 0,并由此得出整个序列收敛于 1。

严格证明
步骤
  1. 公式
    fn(x)=1nx+1f_n(x)=\frac{1}{n}x+1
    解释

    从函数列在 [0,1] 上给定的公式出发。

    步骤依据

    黑板上给出的例题定义。

    视频直接表达
  2. 公式
    Fix x~∈[0,1]\text{Fix }\tilde{x}\in[0,1]
    解释

    在定义域中任取一个固定点,用于检验逐点收敛性。

    步骤依据

    这正是逐点收敛定义中所陈述的步骤。

    视频直接表达
  3. 公式
    fn(x~)=1nx~+1f_n(\tilde{x})=\frac{1}{n}\tilde{x}+1
    解释

    将该固定点代入公式,得到一个关于 n 的数值序列。

    步骤依据

    直接代入 fn(x)f_n(x)。

    视频直接表达
  4. 公式
    1nx~→0\frac{1}{n}\tilde{x}\to 0
    解释

    对于固定的 x~\tilde{x},因子 1/n1/n 趋于 0,因此乘积趋于 0。

    步骤依据

    数列与固定常数相乘的标准极限定理。

    视频直接表达
  5. 公式
    fn(x~)→1f_n(\tilde{x})\to 1
    解释

    加上常数 1 后,得到极限 1。

    步骤依据

    收敛数列之和的极限运算法则。

    视频直接表达
  6. 公式
    f(x)=1for all x∈[0,1]f(x)=1\quad\text{for all }x\in[0,1]
    解释

    由于对每个固定点都可作相同论证,逐点极限函数为常数 1。

    步骤依据

    该结论与所选 x~\tilde{x} 的具体取值无关。

    视频直接表达
结论

序列 fn(x)=x/n+1f_n(x)=x/n+1 在区间 [0,1] 上逐点收敛于常函数 f(x)=1f(x)=1。

第二个例子中最大值的计算。

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    黑板上写出 fn(12⋅1n)=n212n(1−n12n)=n4f_n(\frac{1}{2}\cdot\frac{1}{n})=n^2\frac{1}{2n}(1-n\frac{1}{2n})=\frac{n}{4}。

  2. 声音
    观察依据

    讲师指出,我们可以立即计算该值:将该点代入函数,约去大量 n,最终得到 n 除以四。

严格证明
步骤
  1. 公式
    xmax⁡=12⋅1nx_{\max}=\frac{1}{2}\cdot\frac{1}{n}
    解释

    讲师确定了抛物线分支的取最大值点。

    步骤依据

    口头陈述并写在黑板上;该片段未展示单独的导数计算过程。

    视频直接表达
  2. 公式
    fn(12⋅1n)=n2(12n)(1−n(12n))f_n\left(\frac{1}{2}\cdot\frac{1}{n}\right)=n^2\left(\frac{1}{2n}\right)\left(1-n\left(\frac{1}{2n}\right)\right)
    解释

    将使函数取最大值的 x 值代入第一段表达式 n2xn^2x(1−nx)。

    步骤依据

    直接代入分段函数表达式。

    视频直接表达
  3. 公式
    =n2(12n)(1−12)=n^2\left(\frac{1}{2n}\right)\left(1-\frac{1}{2}\right)
    解释

    化简内层乘积 n(1/(2n))n(1/(2n)),得到 1/21/2。

    步骤依据

    代数约分。

    视频直接表达
  4. 公式
    =n4=\frac{n}{4}
    解释

    约去 n 的幂次,并将剩余常数相乘。

    步骤依据

    基础代数运算。

    视频直接表达
结论

非零分支的最大值为 n/4n/4,因此当 n 增大时,该值无界增长。

第二个例子的逐点极限推导

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人区分了 x=0x=0 和 x>0x>0 两种情形,然后得出点态极限为0。

  2. 公式
    观察依据

    黑板上写着“当 x=0x =0 时,fn(x)=0f_n(x) =0 对所有 n ∈ ℕ 成立”,以及“当 x>0x >0 时,fn(x)=0f_n(x) =0 对所有 n>1/xn >1/x 成立”,接着写出极限函数 f(x)=0f(x) =0。

严格证明
步骤
  1. 公式
    fn(x)={n2x(1−nx),x∈[0,1/n]0,x∈(1/n,1]f_n(x)=\begin{cases} n^2 x(1-nx), & x\in[0,1/n]\\ 0, & x\in(1/n,1]\end{cases}
    解释

    从该序列在区间 [0, 1] 上的分段定义出发。

    步骤依据

    黑板上给出的定义。

    视频直接表达
  2. 公式
    x=0⇒fn(0)=0for all n∈Nx=0 \Rightarrow f_n(0)=0 \quad \text{for all } n\in\mathbb{N}
    解释

    在左端点处,无论 n 取何值,公式均给出 0。

    步骤依据

    将数值直接代入定义。

    视频直接表达
  3. 公式
    x>0⇒∃Nx such that n>Nx  ⟹  x∈(1/n,1]x>0 \Rightarrow \exists N_x \text{ such that } n>N_x \implies x\in(1/n,1]
    解释

    一旦 n 大于 1/x1/x,这个固定的正数 x 就落在 fnf_n 的零分支上。

    步骤依据

    对不等式 n>1/xn > 1/x 进行代数变形。

    视频直接表达
  4. 公式
    x>0⇒fn(x)=0for all n>1/xx>0 \Rightarrow f_n(x)=0 \quad \text{for all } n>1/x
    解释

    对所有足够大的 n,该固定 x 处序列的取值恰好恒为 0。

    步骤依据

    使用分段定义的第二分支。

    视频直接表达
  5. 公式
    ∀x∈[0,1],  fn(x) is eventually 0\forall x\in[0,1],\; f_n(x) \text{ is eventually } 0
    解释

    两种情形共同表明:对每个固定的 x,该数值序列在某个指标之后恒为 0。

    步骤依据

    合并 x=0x = 0 与 x>0x > 0 两种情形。

    依据视频推导
  6. 公式
    f(x)=lim⁡n→∞fn(x)=0f(x)=\lim_{n\to\infty} f_n(x)=0
    解释

    一个最终为常数的数列收敛于其常数尾部的值,因此逐点极限是零函数。

    步骤依据

    数值数列收敛的定义,加上逐点极限的定义。

    视频直接表达
结论

第二个例子在区间[0,1]上逐点收敛于f(x)=0f(x)=0。

通过视觉方式推导逐点极限如何产生跳跃

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人描述了将图像向右平移、使线性部分变得更陡峭,然后取逐点极限,从而得到一个具有跳跃间断点的函数。

  2. 图示
    观察依据

    黑板上展示了若干条连续的分段线性图像,以及一个单独标注为‘逐点极限’的阶梯函数图像。

待核验内容
  1. 本片段中屏幕上未写出第三个例子的精确代数表达式。

视觉说明
步骤
  1. 公式
    解释

    从一个连续的分段线性函数出发,其形状为:先为常数,再线性上升,最后再次为常数。

    步骤依据

    在黑板上明确画出,并在音频中加以描述。

    视频直接表达
  2. 公式
    解释

    将整个图像略微向右平移,以得到该数列中的下一个函数。

    步骤依据

    由主讲人口头陈述。

    视频直接表达
  3. 公式
    解释

    继续这一过程,使得线性过渡区域变得越来越陡峭且越来越窄。

    步骤依据

    用语言陈述,并在逐次出现的曲线上直观可见。

    视频直接表达
  4. 公式
    解释

    在每个固定的 x 处,函数值最终稳定于两个常数值之一,从而形成阶梯状的逐点极限。

    步骤依据

    由所绘制的标有‘逐点极限’的极限图像推断得出。

    依据视频推导
结论

一列连续函数可以逐点收敛到一个不连续的阶梯函数。

通过分情况讨论推导出逐点极限为零

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    黑板呈现了分两种情况的论证,并最终得出逐点极限函数。

严格证明
步骤
  1. 公式
    x=0:fn(x)=0 for all n∈Nx=0:\quad f_n(x)=0\ \text{for all}\ n\in\mathbb{N}
    解释

    在左端点处,对每个指标 n,函数值已经为零。

    步骤依据

    直接写在黑板上。

    视频直接表达
  2. 公式
    x>0:fn(x)=0 for all n>1xx>0:\quad f_n(x)=0\ \text{for all}\ n>\frac{1}{x}
    解释

    对任意正数 x,一旦 n 超过 1/x1/x,对应的函数值即为零。

    步骤依据

    直接写在黑板上。

    视频直接表达
  3. 公式
    f:[0,1]→R,f(x)=0f:[0,1]\to\mathbb{R},\quad f(x)=0
    解释

    综合两种情形可知,对每个固定的 x,该序列最终恒等于 0,因此逐点极限是零函数。

    步骤依据

    黑板上明确标出结论:‘(逐点)极限函数’。

    视频直接表达
结论

在区间0,1上的逐点极限函数恒为零。

在 x=1/nx = 1/n 处对 fnf_n 进行求值。

时间近似
视频直接表达
来源依据
  1. 公式
    观察依据

    黑板上显示 fn(1/n)=n⋅1/(2n)⋅(1−1/(2n))=n/4f_n(1/n) = n\cdot 1/(2n)\cdot (1 - 1/(2n)) = n/4。

待核验内容
  1. 最后的等号在某些帧中视觉上存在歧义:可能被读作 n/4n/4 或 n/4n/4!;但上下文代数推导支持 n/4n/4,只是手写体不够清晰。

数值验证
步骤
  1. 公式
    fn(1n)=n⋅12n(1−12n)f_n\left(\frac{1}{n}\right)=n\cdot\frac{1}{2n}\left(1-\frac{1}{2n}\right)
    解释

    黑板将 x=1/nx = 1/n 代入所展示的 fnf_n 表达式中。

    步骤依据

    黑板上可见的代入运算行。

    视频直接表达
  2. 公式
    =n4=\frac{n}{4}
    解释

    所显示的化简结果给出一个值,其增长速度类似于 n/4n/4 在 x=1/nx=1/n.

    步骤依据

    黑板上显示了最终的等式,但手写体略显模糊。

    视频直接表达
结论

在 x=1/nx = 1/n 处,所展示的计算结果约为 n/4n/4,表明该处存在一个随 n 增长的峰值。

例题详解 · 7

线性函数序列示例

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    那么我来举一个例子:我们只需考察一个函数序列。此处定义域 I 取为区间零到一,而函数 fnf_n 定义为一除以 n 乘以 x 加一。

  2. 公式
    观察依据

    示例:fnf_n : [0,1] → ℝ,其中 fn(x)=1nx+1f_n(x) = \frac{1}{n}x + 1

题目

考虑函数列 fnf_n : [0,1] → ℝ,其定义为 fn(x)=(1/n)x+1f_n(x) = (1/n)x + 1

已知条件
  1. 定义域 I=[0,1]I = [0,1]

  2. 函数表达式为 fn(x)=(1/n)x+1f_n(x) = (1/n)x + 1

  3. 每个 fnf_n 都是线性函数

目标

考察该序列的逐点性态

步骤
  1. 公式
    f1(x)=x+1f_1(x) = x + 1
    解释

    当 n=1n = 1 时,函数为 f1(x)=x+1f_1(x) = x + 1

    步骤依据

    将 n=1n = 1 代入公式

    视频直接表达
  2. 公式
    f2(x)=12x+1f_2(x) = \frac{1}{2}x + 1
    解释

    当 n=2n = 2 时,函数为 f2(x)=(1/2)x+1f_2(x) = (1/2)x + 1

    步骤依据

    将 n=2n = 2 代入公式

    视频直接表达
  3. 公式
    lim⁡n→∞fn(x)=1\lim_{n \to \infty} f_n(x) = 1
    解释

    当 n 趋于无穷大时,(1/n1/n)x 对固定的 x 趋于 0

    步骤依据

    1/n1/n 乘以有界 x 的标准极限

    依据视频推导
结果

该函数列逐点收敛于常值函数 f(x)=1f(x) = 1 在 [0,1] 上

检验

对任意固定的 x∈[0,1]x \in [0,1],有 |fn(x)−1f_n(x) - 1| = |(1/n1/n)x| ≤ 1/n→01/n \to 0(当 n→∞n \to \infty 时)

例题 1:线性函数的逐点极限

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    黑板上写出例题:fnf_n:[0,1]→ℝ,fn(x)=1/n⋅x+1f_n(x)=1/n\cdot x+1,随后进行完整的逐点极限计算。

  2. 图示
    观察依据

    右下角的图像显示若干条标有 f1f_1、f2f_2、f3f_3、f4f_4 的直线,趋近于水平直线 y=1y=1。

  3. 声音
    观察依据

    主讲人指出斜率越来越小,因此极限函数的图像应为这条水平直线,接着通过固定 x~\tilde{x} 来计算极限。

题目

确定函数列 fnf_n:[0,1]→ℝ 的逐点极限,其中 fn(x)=1nx+1f_n(x)=\frac{1}{n}x+1。

已知条件
  1. 定义域为 [0,1]。

  2. fₙ(x) = 1 除以 n 乘以 x 加上 1。

目标

求 [0,1] 上的逐点极限函数 f。

步骤
  1. 公式
    Fix x~∈[0,1]\text{Fix }\tilde{x}\in[0,1]
    解释

    通过固定一个输入点,应用逐点收敛的定义。

    步骤依据

    逐点收敛需逐点验证。

    视频直接表达
  2. 公式
    fn(x~)=1nx~+1f_n(\tilde{x})=\frac{1}{n}\tilde{x}+1
    解释

    在该固定点处计算第 n 个函数的值。

    步骤依据

    将该点代入给定公式。

    视频直接表达
  3. 公式
    1nx~→0\frac{1}{n}\tilde{x}\to 0
    解释

    由于 x~\tilde{x} 是固定的,系数 1/n1/n 使得乘积趋于 0。

    步骤依据

    标准数列极限定理。

    视频直接表达
  4. 公式
    fn(x~)→1f_n(\tilde{x})\to 1
    解释

    因此该数列收敛于 1。

    步骤依据

    一个趋于 0 的数列与常数 1 的和。

    视频直接表达
  5. 公式
    f(x)=1for all x∈[0,1]f(x)=1\quad\text{for all }x\in[0,1]
    解释

    由于该论证对任意的x~\tilde{x}均成立,极限函数为常数1。

    步骤依据

    不动点选取的普适性。

    视频直接表达
结果

逐点极限函数为 f:[0,1]→R\to\mathbb{R},f(x)=1f(x)=1。

检验

黑板上的图像显示各条曲线逐渐趋近于水平直线 y=1y=1,与所计算出的常数极限一致。

示例2的设定:一个具有n依赖尖峰的分段序列。

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    黑板上书写示例:fnf_n:[0,1]→R\to\mathbb{R},fn(x)={n2x(1−nx),x∈[0,1/n]0,x∈(1/n,1]f_n(x)=\begin{cases} n^2x(1-nx), & x\in[0,1/n] \\ 0, & x\in(1/n,1] \end{cases}。

  2. 图示
    观察依据

    新坐标系中,在x轴上标出0、1/n1/n 和 1;在区间[0,1/n1/n]上绘制一条类似绿色抛物线的凸起,在区间(1/n1/n,1]上绘制一段水平线段。

  3. 声音
    观察依据

    主讲人表示下一个例子应更复杂,定义了两种分段情形,指出第一段区间依赖于n,随后分析图像与最大值。

待核验内容
  1. 该片段在所提供时长内未完成此第二个例子的完整逐点极限结论。

题目

引入序列 fnf_n:[0,1]→ℝ,定义为分段函数 fn(x)=n2xf_n(x) = n^2x(1−nx),在区间 [0,1/n1/n] 上成立;且 fn(x)=0f_n(x) =0 在区间 (1/n1/n,1] 上成立,并分析其形状与最大值。

已知条件
  1. 定义域为[0,1]。

  2. 第一支:n2xn^2x(1-nx),定义在[0,1/n1/n]上。

  3. 第二支:0在区间(1/n1/n,1]上。

目标

理解函数的几何形态,并计算非零支的最大值。

步骤
  1. 公式
    fn(x)={n2x(1−nx),x∈[0,1/n]0,x∈(1/n,1]f_n(x)=\begin{cases} n^2x(1-nx), & x\in[0,1/n] \\ 0, & x\in(1/n,1] \end{cases}
    解释

    写出分段定义。

    步骤依据

    在黑板上给出并口头描述。

    视频直接表达
  2. 公式
    The break point 1/n depends on n\text{The break point }1/n\text{ depends on }n
    解释

    非零部分的支撑集随 n 增大而收缩。

    步骤依据

    由主讲教师明确指出。

    视频直接表达
  3. 公式
    xmax⁡=12⋅1nx_{\max}=\frac{1}{2}\cdot\frac{1}{n}
    解释

    抛物线支的最大值出现在区间[0,1/n1/n]的中点处。

    步骤依据

    在讲座中陈述,并用于黑板上的计算。

    视频直接表达
  4. 公式
    fn(12n)=n4f_n\left(\frac{1}{2n}\right)=\frac{n}{4}
    解释

    将使函数取最大值的点代入第一支并化简。

    步骤依据

    黑板上展示了代数推导过程。

    视频直接表达
  5. 公式
    As n increases, the peak height n4 increases\text{As }n\text{ increases, the peak height }\frac{n}{4}\text{ increases}
    解释

    后续图像更窄但更高。

    步骤依据

    直接源于公式 n/4n/4以及所绘制的曲线序列。

    视频直接表达
结果

第二个例子是一个分段序列,其非零部分是在区间[0,1/n1/n]上的一个收缩的抛物线凸起,最大值为n/4n/4,出现在x=1/(2n)x=1/(2n)处。

检验

所绘制的图像显示:零值区域向右扩展,同时左侧凸起变得更高、更窄,这与计算所得的最大值一致。

支撑集不断缩小的分段序列,且逐点极限为零。

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    黑板完整写出分段定义及结论 f(x)=0f(x)=0。

  2. 声音
    观察依据

    讲师分别讨论 x=0x=0 和 x>0x>0 的情形,并指出其极限为零函数。

题目

求定义在 [0,1] 上的函数列 fnf_n: ℝ → ℝ 的逐点极限,其中 fn(x)=n2xf_n(x) = n^2 x(1 − nx),定义域为 [0,1/n1/n] 和 0 在 (1/n1/n,1]。

已知条件
  1. 定义域为 [0,1]。

  2. fn(x)=n2xf_n(x)=n^2 x(1-nx),其中 x∈x\in[0,1/n1/n].

  3. fn(x)=0f_n(x)=0,其中 x∈x\in(1/n1/n,1]。

目标

对每个 x∈[0,1]x\in [0,1],求 f(x)=lim⁡n→∞fn(x)f(x)=\lim_{n\to\infty} f_n(x)。

步骤
  1. 公式
    x=0:  fn(0)=0x=0:\; f_n(0)=0
    解释

    将 x=0x = 0 代入非零分支。

    步骤依据

    根据定义直接计算。

    视频直接表达
  2. 公式
    x>0:  fn(x)=0 for all n>1/xx>0:\; f_n(x)=0 \text{ for all } n>1/x
    解释

    当 n 足够大时,固定的 x 落在区间 (1/n1/n, 1] 内,此时 fnf_n 定义为 0。

    步骤依据

    分段定义,外加不等式 n>1/xn > 1/x。

    视频直接表达
  3. 公式
    f(x)=0 for all x∈[0,1]f(x)=0 \text{ for all } x\in[0,1]
    解释

    由于每个固定的 x 最终都给出值 0,因此逐点极限函数是零函数。

    步骤依据

    逐点收敛的定义。

    视频直接表达
结果

逐点极限函数为 f(x)=0f(x) = 0,定义在区间 [0, 1] 上。

检验

黑板上明确写出“(逐点)极限函数 f: [0, 1] → ℝ,f(x)=0f(x) = 0”。

一列连续的分段线性函数,其逐点极限却不连续。

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    左下图展示连续的分段线性函数;右下图展示它们的逐点极限——一个阶梯函数。

  2. 声音
    观察依据

    讲师指出,起始函数没有跳跃间断点,但其逐点极限却有。

待核验内容
  1. 本片段中未展示逼近函数的精确表达式。

题目

说明一列连续函数如何逐点收敛到一个具有跳跃间断点的函数。

已知条件
  1. 每个展示出的函数都是连续且分段线性的。

  2. 后续各项函数向右平移,且其线性过渡段的斜率逐渐变陡。

目标

识别该逐点极限函数的定性形态。

步骤
  1. 公式
    解释

    画出一个先为常数、再为线性、最后又为常数的连续函数。

    步骤依据

    在黑板上可见。

    视频直接表达
  2. 公式
    解释

    通过将图像向右平移并使线性部分变得更陡来生成后续各项。

    步骤依据

    以口头描述并辅以视觉图示呈现。

    视频直接表达
  3. 公式
    解释

    对每个固定的 x 取逐点极限。

    步骤依据

    在黑板上标注为“逐点极限”。

    视频直接表达
  4. 公式
    解释

    极限图像为一个具有跳跃的阶梯函数。

    步骤依据

    在右侧图示中可见。

    视频直接表达
结果

逐点极限是一个不连续的阶跃函数。

检验

主讲人明确指出,尽管原序列是连续的,其极限却存在跳跃。

例题:逐点极限在区间 [0,1] 上为零。

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    黑板上包含完整的例题演算过程,含情况分类及结论 f(x)=0f(x) = 0。

  2. 图示
    观察依据

    上方图像显示若干条彩色曲线,除原点附近外,均向 x 轴坍缩。

题目

求所展示的函数列 fnf_n 在区间 [0,1] 上的逐点极限。

已知条件
  1. x 属于区间0到1。

  2. 当 x=0x = 0 时,对所有 n ∈ ℕ,均有 fn(x)=0f_n(x) = 0。

  3. 当 x>0x>0 时,fn(x)=0f_n(x)=0 对所有 n>1/xn>1/x.

  4. 在 x=1/nx = 1/n 处所展示的求值结果与 n 成正比。

目标

求逐点极限函数 f。

步骤
  1. 公式
    Fix x=0.\text{Fix }x=0.
    解释

    先检查端点处的取值。

    步骤依据

    黑板从 x=0x=0 开始分情况讨论。

    视频直接表达
  2. 公式
    fn(0)=0 for all nf_n(0)=0\ \text{for all }n
    解释

    在 x=0x=0 处,该数列恒为零。

    步骤依据

    直接写在黑板上。

    视频直接表达
  3. 公式
    Fix x>0.\text{Fix }x>0.
    解释

    现在将任意正数点单独处理。

    步骤依据

    黑板的第二种情况是 x>0x>0。

    视频直接表达
  4. 公式
    fn(x)=0 for all n>1xf_n(x)=0\ \text{for all }n>\frac{1}{x}
    解释

    一旦 n 相对于 1/x1/x 足够大,其值即为零。

    步骤依据

    直接写在黑板上。

    视频直接表达
  5. 公式
    f(x)=0 for all x∈[0,1]f(x)=0\ \text{for all }x\in[0,1]
    解释

    由于每个固定的 x 最终都给出值 0,逐点极限函数即为零函数。

    步骤依据

    黑板上明确写出的结论。

    视频直接表达
结果

f 是从区间 0 到 1 到实数集的函数,且对任意 x,f(x)f(x) 等于 0

检验

该结果与黑板上标注的结论‘(逐点)极限函数’一致,也符合图像给人的直观印象:在 0 以外的位置,函数图像最终均趋于平坦至 0。

逐点收敛到不连续极限的直观示例

时间近似
视频直接表达
来源依据
  1. 图示
    观察依据

    黑板下半部分标有“示例:”,左侧展示一族分段线性函数的图像,右侧展示一个不连续的极限图像,二者之间用一条标注为“逐点极限”的箭头连接。

待核验内容
  1. 本片段中未显示该第二个示例的任何公式,因此仅凭此片段无法复原出确切的函数表达式。

题目

用第二族函数来说明逐点收敛。

已知条件
  1. 左侧图像展示了若干条不同颜色的分段线性曲线。

  2. 一条标注为“逐点极限”的箭头指向右侧图像。

  3. 右侧图像在下支端点处有一个空心圆,在上支端点处有一个实心圆。

目标

以可视化方式展示逐点极限行为。

步骤
  1. 公式
    Compare the family of graphs on the left with the graph on the right.\text{Compare the family of graphs on the left with the graph on the right.}
    解释

    左侧图像表示逼近函数,右侧图像表示它们的逐点极限。

    步骤依据

    箭头上的标注“逐点极限”明确建立了两幅图像之间的关系。

    视频直接表达
  2. 公式
    Limit graph is discontinuous at the transition point.\text{Limit graph is discontinuous at the transition point.}
    解释

    右侧图像显示了一个跳跃间断,其中一侧以空心圆结束,另一侧从实心圆开始。

    步骤依据

    图中可见。

    视频直接表达
结果

第二个例子通过图像直观地展示了逐点收敛到一个不连续的极限函数。

检验

图中本身将该关系标注为“逐点极限”;本片段未展示代数验证过程。

图示与动画 · 11

逐点收敛的图像表示

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    含多条彩色曲线(蓝色、红色、绿色、青色)及若干竖直虚线(位于不同 x̃ 处)的坐标系

  2. 动画
    观察依据

    穿过各曲线的竖直切片,展示点构成的序列

图中对象
  1. 多条不同颜色的函数曲线

  2. 位于固定 x̃ 处的竖直虚线

  3. 竖直线与曲线的交点

  4. 坐标轴

变化过程
  1. 竖直切片沿定义域横向移动

  2. 交点构成数值序列

  3. 曲线趋近于一个极限位置

不变量
  1. 每个垂直切片代表一个固定的 x̃

  2. 该序列性质对每个切片都独立成立

数学含义

动画演示了逐点收敛的含义:函数图像上每条垂直切片都产生一个收敛的数值序列,该序列的极限即定义了极限函数在该点处的函数值。

线性函数序列的可视化

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    坐标系中显示斜率递减的直线,趋近于水平直线 y=1y=1

  2. 动画
    观察依据

    对应 n=1n=1,2,3,… 的直线逐次变得更平缓

图中对象
  1. 表示 fn(x)=(1/n)x+1f_n(x) = (1/n)x + 1 的直线

  2. 水平直线 y=1y=1 作为极限情形

  3. 标有区间刻度的坐标轴

变化过程
  1. 随着 n 增大,斜率减小

  2. 直线绕定点旋转,趋近于水平位置

  3. 所有直线都经过点(0,1)

不变量
  1. y轴截距保持在1

  2. 直线始终保持为直线

  3. 定义域被限制在[0,1]上

数学含义

图示展示了线性函数 fn(x)=(1/n)x+1f_n(x) = (1/n)x + 1 随着 n 增大而变得越来越平缓,逐点收敛于常函数 f(x)=1f(x) = 1 在区间 [0,1] 上。

逐点收敛的一般示意图

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    右上角的图像展示了若干条光滑的彩色曲线在垂直方向上堆叠排列,并在x~\tilde{x}处画有一条垂直虚线。

  2. 公式
    观察依据

    邻近文字用fn(x~)→f(x~)f_n(\tilde{x})\to f(\tilde{x})定义了逐点收敛。

图中对象
  1. 多条彩色函数曲线

  2. 标有x~\tilde{x}的垂直虚线

  3. 坐标轴

变化过程
  1. 该画面在视频片段中保持静止。

  2. 不同的曲线表示在相同固定x位置处的不同函数fnf_n。

不变量
  1. 固定的垂直线x~\tilde{x}标记了所选定的、用于比较函数值的点。

  2. 该示意图表示的是逐点取值,而非在整个定义域上进行一致比较。

数学含义

上方图像展示了该定义:在某个固定输入〔x̃〕处,考察输出值序列 fnf_n(〔x̃〕) 是否收敛于 f(〔x̃〕)。

第一个例子的图像行为

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    右下角的图像显示了标有 f1f_1,f2f_2,f3f_3, f_ 的直线。4 从(0,1)出发且斜率递减。

  2. 声音
    观察依据

    讲师指出,直线的陡峭程度越来越小,因此极限函数的图像应为这条水平直线。

图中对象
  1. 若干条标记为 f1f_1、f2f_2、f3f_3、f4f_4 的直线图像

  2. 水平线 y=1y = 1

  3. 坐标轴,x 轴范围为 [0, 1]

变化过程
  1. 随着 n 增大,直线的斜率逐渐减小。

  2. 这些直线趋近于水平直线 y=1y = 1。

不变量
  1. 所有直线均经过点(0,1)。

  2. 图中所示定义域为 [0, 1]。

数学含义

该图像支持代数结论:fn(x)=x/n+1f_n(x) = x/n + 1 逐点收敛于常值函数 1。

第二个例子的图像行为

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    建立了一个新的坐标系,x轴上标有0、1/n1/n和1;在区间[0,1/n1/n]上出现一个绿色凸起,在区间(1/n1/n,1]上出现一段平坦线段。

  2. 公式
    观察依据

    黑板上写出 fn(1/2⋅1/n)=n/4f_n(1/2\cdot 1/n) = n/4。

  3. 声音
    观察依据

    讲师指出,函数值为零的区域变大了,但函数的峰值也更高了。

待核验内容
  1. 后续各条彩色曲线的具体标签在采样帧中未能完全辨识,但其视觉变化趋势十分清晰。

图中对象
  1. 坐标轴上标有0、1/n1/n、1

  2. 在区间[0,1/n1/n]上呈抛物线形凸起

  3. 在区间(1/n1/n,1]上为零的平坦线段

  4. 对应更大n值的一系列彩色曲线

变化过程
  1. 随着n增大,区间[0,1/n1/n]向0收缩。

  2. 零值区域(1/n1/n,1]扩大。

  3. 峰值高度增加,因其等于n/4n/4。

不变量
  1. 该函数在右子区间上恒为零。

  2. 非零部分仍是一个以0和1为端点的单峰。

数学含义

动画/图示展示了一个支撑集不断收窄、而其最大值持续增大的函数列,以此与简单的逐点稳定现象形成对比。

第二个例子的图像行为

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    在区间0到1上绘制了三条彩色的驼峰形曲线,随着 n 增大,其支撑集逐渐向0收缩。

  2. 公式
    观察依据

    相邻的分段公式标出了在区间0到1/n1/n 上的非零分支。

图中对象
  1. 区间0到1上的坐标轴

  2. 函数 fnf_n 的彩色曲线

  3. 区间标记 1/n1/n

  4. 公式 fn(x)=n2xf_n(x) = n^2 x(1 - nx),定义在区间0到1/n1/n 上

变化过程
  1. 随着 n 增大,非零驼峰向靠近0的更小区间内移动。

  2. 峰值高度增加,同时支撑集缩小。

不变量
  1. 每条曲线在区间(1/n1/n,1]上恒为零。

  2. 定义域保持为[0,1]。

数学含义

该图示说明了为何每个固定的x>0最终都趋向于值0,尽管fnf_n的最大值无界增长。

连续函数逐点收敛到一个具有跳跃的函数

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    左下方是一组连续的分段线性图像,右下方则配有一个标有‘逐点极限’的阶梯状图像。

  2. 声音
    观察依据

    讲师指出,下一个函数向右平移,且其线性部分变得更陡峭。

图中对象
  1. 若干连续的分段线性图像

  2. 箭头或标签‘逐点极限’

  3. 阶梯状的极限图像

变化过程
  1. 后续图像依次向右平移。

  2. 中间斜线段变得越来越陡峭且越来越窄。

  3. 极限图像具有跳跃间断点。

不变量
  1. 每个逼近图像都是连续的。

  2. 正在演示的极限运算是逐点收敛。

数学含义

这个直观示例表明,逐点极限可能破坏连续性。

函数列fnf_n的上方图像

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    左上角的图像显示了区间[0,1]上的多条彩色曲线,x轴上标有横坐标为1/n1/n的点,并在x轴附近有一条标有fnf_n的绿色水平线。

待核验内容
  1. 每条彩色曲线所对应的精确公式在本片段可见部分中并未完整写出。

图中对象
  1. 区间[0,1]上的坐标轴

  2. 对应不同n值的若干条彩色曲线

  3. 标出的x值为1/n1/n

  4. 标有fnf_n的绿色水平参考线

变化过程
  1. 随着n增大,非零的凸起似乎向0移动且宽度变窄。

  2. 在0以外的位置,各曲线趋近于x轴。

不变量
  1. 所示定义域为[0,1]。

  2. 黑板上的案例分析始终聚焦于固定的 x 和变化的 n。

数学含义

该图支持文字所述结论:对每个固定的 x>0x > 0,函数最终变为 0;而在 x=0x = 0 附近,则可能出现一个移动的尖峰。

下方示例展示具有跳跃的逐点极限

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    下方黑板左侧展示分段线性函数的图像,中间有一条标有‘逐点极限’的箭头,右侧图像则用空心圆与实心圆标出跳跃间断点。

待核验内容
  1. 本片段中无法看清左右两侧图像的精确公式。

图中对象
  1. 左侧图像包含若干条彩色分段线性曲线

  2. 标有‘逐点极限’的箭头

  3. 右侧图像包含两条水平分支

  4. 下分支末端的空心圆

  5. 上分支起始处的实心圆

变化过程
  1. 左侧函数族在视觉上被映射到右侧的极限图像。

  2. 极限图像在过渡的 x 值处存在间断点。

不变量
  1. 所示关系为逐点收敛,而非一致收敛。

  2. 右侧图像表示左侧函数族的极限。

数学含义

这个直观示例强调:即使逼近函数看起来简单且连续,其逐点极限仍可能不连续。

指示点高亮显示黑板区域

依据清楚
视频直接表达
来源依据
  1. 动画
    观察依据

    在最初几秒内,一个小红点沿黑板移动,经过公式区域及下方图示附近。

待核验内容
  1. 该点起指示作用;仅凭其运动本身并不编码任何额外的数学内容。

图中对象
  1. 小红点

  2. 黑板上的公式

  3. 下方图示

变化过程
  1. 该点从黑板右上方的公式区域移向黑板中部与下部。

不变量
  1. 黑板上的底层内容保持固定,而该点持续移动。

数学含义

该运动仅作为视觉注意力提示,而非引入新的数学对象。

片尾致谢

依据清楚
视频直接表达
来源依据
  1. 字幕依据
    观察依据

    屏幕变为黑色背景,白色文字显示“数学的光明面感谢所有支持者:”,随后支持者姓名向上滚动。

图中对象
  1. 黑色背景

  2. 白色致谢文字

  3. 支持者姓名向上滚动

变化过程
  1. 数学板书消失。

  2. 支持者姓名持续向上滚动,直至本片段结束。

不变量
  1. 在14秒之后不再呈现任何数学内容。

数学含义

该时间段属于非数学性质的片尾内容。

易错点 · 5

逐点收敛与一致收敛的混淆

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    这只是意味着图中所有这些竖直切片都构成收敛数列。

误区

学生可能误以为逐点收敛意味着整个图像一致收敛,或认为收敛速度在所有点处都相同。

说明

逐点收敛仅保证:对每个单独的点 x̃,函数值序列收敛;其阈值 N 可能同时依赖于 ε 和具体点 x̃,而一致收敛中的 N 则仅依赖于 ε。

切勿将最大值的增长与固定点处逐点收敛的失败相混淆。

依据清楚
补充解释
来源依据
  1. 声音
    观察依据

    主讲人强调最大值随 n 增大而增大,同时单独讨论逐点行为。

  2. 图示
    观察依据

    尽管对每个固定的 x,当 n 充分大时,它最终都会落在移动峰之外,图像仍显示出越来越高的尖峰。

误区

有人可能认为,由于峰值高度 n/4n/4无界增长,该函数列在任何地方都无法逐点收敛。

说明

逐点收敛需对每个固定的 x 单独检验;一个移动的尖峰可以在高度不断增大的同时,对每个固定的 x≠0x \ne 0,随着 n 增大而最终消失。本片段突出了峰值的变化,但并未完成第二个例子的完整逐点极限讨论。

逐点收敛并不阻止函数取值不断增大。

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲师指出,尽管函数的取值越来越大,收敛仍然成立,并称这与数列的收敛相比显得奇怪。

误区

人们可能会认为,如果函数自身取得的值越来越大,那么该函数列就不可能逐点收敛。

说明

逐点收敛每次只固定一个 x。在第二个例子中,每个固定的 x 最终都取到值0,尽管 fnf_n 的峰值无界增长。

逐点极限未必保持连续性。

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲师强调,起始的函数列没有跳跃,但其逐点极限却存在跳跃。

  2. 图示
    观察依据

    连续的分段线性图像导致了一个不连续的阶梯形极限。

误区

人们可能想当然地认为,连续函数的逐点极限自动就是连续的。

说明

最后一个例子明确展示了连续函数逐点收敛到一个具有跳跃的函数。

不要将所展示的逐点极限结论与一致收敛混淆

时间近似
依据视频推导
来源依据
  1. 声音
    观察依据

    讲解员在板书某一部分(其明确结论为‘(逐点)极限函数’)之后,立即说出‘一致收敛’一词。

  2. 公式
    观察依据

    板书上的书面结论被特别标注为‘逐点’,而非‘一致’。

待核验内容
  1. 该片段未包含明确的更正说明,因此这一警示是基于口头术语与书面逐点结论并置所作出的推断。

误区

有人可能从口头表述‘我们称其为一致收敛’推断出,黑板上演示的例子本身已证明了一致收敛。

说明

黑板上可见的结论明确是逐点极限函数 f(x)=0f(x)=0。在本片段中,一致收敛仅被提及为下一个主题;其定义与例子推迟到下一视频讲解。

概念关系 · 14

函数列 → 逐点收敛的定义

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    请在此回想一下,我们在上一视频中已学过函数列的概念。

先修
解释

理解函数列是定义其逐点收敛性质的前提。

逐点收敛的定义 → 线性函数序列示例

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    这是因为对于此处所有函数,你都可以固定一个点 x̃,从而得到一个由函数值构成的普通数列。

应用
解释

逐点收敛的定义适用于固定定义域中各点后所得到的数值序列,线性函数示例对此进行了演示。

函数列逐点收敛的定义 → 逐点极限的计算方法

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    定义式之后是演算式:对 x~∈[0,1]\tilde{x}\in[0,1]:fn(x~)f_n(\tilde{x})=...

  2. 声音
    观察依据

    主讲人明确指出,可通过固定一点 x ̃ 来计算极限。

应用
解释

固定 x~\tilde{x} 并取普通数值极限的方法,正是逐点收敛定义的直接操作性应用。

逐点极限的计算方法 → 例题 1:线性函数的逐点极限

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    第一个例子通过将固定的 x~\tilde{x} 代入 fnf_n 并令 n→∞n\to \infty 得到解决。

应用
解释

例1演示了定义中引入的逐点取极限过程。

例题 1:线性函数的逐点极限 → 逐点极限函数术语

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    在计算出 fn(x~)→1f_n(\tilde{x})\to1后,板书写出逐点极限函数 f(x)=1f(x)=1。

应用
解释

所计算出的常值函数被确认为该函数列的逐点极限函数。

例题 1:线性函数的逐点极限 → 示例2的设定:一个具有n依赖尖峰的分段序列。

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲师表示下一个例子应更复杂些,并沿用相同的定义域[0,1]。

  2. 公式
    观察依据

    两个例子均为函数列 fnf_n:[0,1]→R\to\mathbb{R}。

对比
解释

第二个例子与第一个形成对比:它采用依赖于 n 的分段定义,且其‘尖峰’随 n 移动,而非使用简单、全局定义的线性函数。

最终为常数的数值列必收敛 → 函数列的逐点极限函数

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲师通过重新表述分段讨论指出:fn(x)f_n(x) 最终为常数,因此收敛,且极限为0。

应用
解释

识别最终为常数的数值序列这一方法,被用于第二个例子中建立逐点收敛性。

第二个例子中函数列的分段定义 → 第二个例子的逐点极限是零函数。

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    分段定义与所写的结论 f(x)=0f(x)=0同时呈现在黑板上。

证明依赖
解释

明确的分段定义,是证明逐点极限为零函数所需的假设。

一列连续的分段线性函数,其逐点极限却不连续。 → 连续性在点态极限下未必保持。

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    当讲师讨论逐点收敛无法保持良好性质时,恰好使用了‘连续函数到阶梯函数’的图示。

应用
解释

该例子直接佐证了‘连续性在逐点极限下不被保持’这一论断。

逐点收敛可能无法保持某些理想性质。 → 连续性在点态极限下未必保持。

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    在展示这些反直觉的结果后,讲师指出:这正是我们希望拥有更严格收敛性质的一个充分理由。

推广
解释

连续性的丧失,被呈现为逐点收敛在许多场合下显得过弱的一个具体原因。

本例中的逐点极限函数 → 一致收敛这一术语在本段结尾处被提出。

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    在完成逐点极限的黑板演算后,讲述者说道:‘我们称其为一致收敛。而一致收敛的定义与例子,我们将在下一视频中讲解。’

对比
解释

该片段首先完成一个逐点极限的计算,随后将一致收敛作为下一个概念引入,以此凸显逐点性质与后续将要定义的更强概念之间的对比。

通过分情况讨论推导出逐点极限为零 → 本例中的逐点极限函数

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    黑板上推导出 f(x)=0f(x)=0 来自两种情形:x=0x=0 和 x>0x>0。

证明依赖
解释

本例中逐点极限函数的定义依赖于这一分情况推导,它表明对每个固定的 x,函数值最终趋于零。

问题定位 · 20

函数列逐点收敛的形式化定义是什么?

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    而这样的序列可能具有我们称之为逐点收敛的收敛性质。

涉及知识点
  1. 逐点收敛的定义

如何用 ε-N 量词表达逐点收敛?

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    [对任意 x̃ ∈ I,对任意 ε>0ε > 0,存在 N ∈ ℕ,使得对所有 n≥Nn \ge N,均有 |fnf_n(x̃) − f(x̃)| < ε]

涉及知识点
  1. 逐点收敛的定义

您能举出一个逐点收敛的线性函数列的例子吗?

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    fn(x)=1nx+1f_n(x) = \frac{1}{n}x + 1

涉及知识点
  1. 线性函数序列示例

竖直切片的解释揭示了逐点收敛的什么含义?

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    它仅表示图中所有这些竖直切片都构成收敛的数列。

涉及知识点
  1. 逐点收敛的定义

函数列逐点收敛是什么意思?

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    核心定义被醒目地写在黑板上。

涉及知识点
  1. 函数列逐点收敛的定义

如何计算一个函数列的逐点极限函数?

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲师指出,需先固定某一点 x~\tilde{x},再观察其变化情况。

  2. 公式
    观察依据

    例题演算中先计算 fn(x~)f_n(\tilde{x}),再求其极限。

涉及知识点
  1. 逐点极限的计算方法
  2. 例题 1:线性函数的逐点极限

为什么 fn(x)=x/n+1f_n(x) = x/n + 1 在 [1 on [0]1 上逐点收敛于

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    黑板最终得出结论:f(x)=1f(x)=1 在区间 [0,1] 上成立。

涉及知识点
  1. 例题 1:线性函数的逐点极限
  2. 逐点极限函数术语

分段示例的形状是什么?其表达式为 n2xn^2x(1−nx),定义域为 [0,1/n1/n] 和 0 在 (1/n1/n,1]?

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    分段定义与最大值计算均已展示。

  2. 图示
    观察依据

    图像显示一个不断收缩的区间和一个越来越高的峰值。

涉及知识点
  1. 示例2的设定:一个具有n依赖尖峰的分段序列。
  2. 第二个例子的图像行为

第二个示例中非零分支的最大值出现在何处?其最大值是多少?

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    黑板上写出 fnf_n(1/21/2 ⋅ 1/n1/n) = n/4n/4。

涉及知识点
  1. 示例2的设定:一个具有n依赖尖峰的分段序列。
  2. 第二个例子中非零分支的最大值
  3. 第二个例子中最大值的计算。

函数列具有逐点极限函数,这意味着什么?

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲师先提问是否存在逐点极限函数,随后计算该极限函数。

涉及知识点
  1. 函数列的逐点极限函数

为什么分段函数列 fn(x)=n2xf_n(x) = n^2 x(1 - nx) 在 [0, 1/n1/n] 上逐点收敛于 0?

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    黑板上展示了完整的分类讨论及结论 f(x)=0f(x)=0。

涉及知识点
  1. 第二个例子中函数列的分段定义
  2. 第二个例子的逐点极限推导
  3. 第二个例子的逐点极限是零函数。

为什么一个最终为常数的函数值序列意味着 fn(x)f_n(x) 收敛?

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲师指出:对每个固定的 x,数列 fn(x)f_n(x) 最终为常数,因此收敛,且极限为 0。

涉及知识点
  1. 最终为常数的数值列必收敛
  2. 第二个例子的逐点极限推导
覆盖情况与待核验内容

已覆盖 · 导言与频道推广

已覆盖 · 函数列定义的回顾

已覆盖 · 逐点收敛的主要定义与讲解

已覆盖 · 线性函数的具体示例

已覆盖 · 该片段以逐点收敛的形式定义开场,并立即讲解第一个示例 fn(x)=x/n+1f_n(x) = x/n + 1,最终得出其逐点极限函数为 f(x)=1f(x) = 1。

已覆盖 · 主讲人引入了一个定义在 [0,1] 上的更复杂的分段示例,解释了依赖于 n 的区间,勾勒出函数图像,并计算出其最大值为 n/4n/4,出现在 x=1/(2n)x = 1/(2n) 处。但在所提供的 150 秒内,尚未完成该第二个示例的完整逐点极限结论。

已覆盖 · 整段视频是关于逐点收敛的白板授课片段,包含两个例题演示,并以引出更强收敛概念作为结尾。

已覆盖 · 此时间段内始终包含数学板书内容及结束时的口述过渡。

已覆盖 · 非数学性质的片尾字幕,配以音乐及滚动显示的支持者姓名。

探索视频中的知识

已审核的主题路径