逐点收敛的定义
设函数序列 () 的定义域为 I,若对 I 中每一个固定点 x̃,数值序列 ((x̃)) 都收敛于 f(x̃),则称 () 在 I 上逐点收敛于函数 f。这意味着收敛性必须在定义域中每一点上分别成立,从而将函数的收敛问题归约为普通的数值序列收敛问题。
The Bright Side of Mathematics · YouTube · 8:13
本节介绍实分析中函数列的逐点收敛。首先回顾函数列 : I → ℝ 的概念,然后定义逐点收敛:若对每个固定的 x̃ ∈ I,数值列 ((x̃)) 收敛于 f(x̃),则称该函数列逐点收敛于 f。接着给出严格的 ε-N 定义:∀x̃∈I ∀ ∃N∈ℕ ∀: |(x̃)-f(x̃)|<ε。图示通过函数图像的竖直截面来表示这些数值列。一个线性函数列的例子 在 [0,1] 上展示了其逐点收敛于常函数 。 本 150秒白板讲解片段讲授函数列的逐点收敛。它首先用语言和 ε 形式陈述定义,然后求解一个简单例子 在 [0,1] 上的逐点极限函数,并指出该极限函数为常值函数 。后半部分引入一个更复杂的分段函数例子:(1-nx),定义在 [0,] 和 0 在 (,1] 上分析其图像,并计算出其最大值为 ,在 处取得,呈现出一个变窄但越来越高的尖峰。 本150秒的白板片段讲解函数列在区间[0,1上逐点收敛的概念。首先分析分段函数列 (1-nx),其定义域为[0,],以及在(0 on (,1】,通过分情况讨论证明逐点极限是零函数,尽管峰值在增大。接着展示第二个可视化例子:连续的分段线性函数向右平移并变陡,逐点收敛到一个具有跳跃间断点的阶梯函数。讲师利用这些例子论证:逐点收敛太弱,因为它不能保持连续性等良好性质。 本43秒片段结束了一个逐点收敛的例子,并过渡到下一主题。黑板上展示了定义在 [0,1] 的逐点极限为 ,分情况讨论: 和 ,其中 当 n > 时最终成立。在 处的图示计算得到一个类似尖峰的值,记作 ,尽管手写略显模糊。下方第二个视觉示例展示了逐点收敛到一个不连续极限函数的图像。讲解者随后说:“我们称这种收敛为一致收敛”,并将一致收敛的定义和示例推迟到下一视频中讲解。从 14 到 43 秒的片段仅包含片尾字幕和背景音乐。
在学习检查器中查看要点和时刻,或切换阅读标签查看完整笔记。
依据视频画面与讲解整理,并非逐字语音转写。
欢迎来到本节关于实分析中逐点收敛的学习。我们首先回顾函数列这一基本概念。
函数列由一系列函数 构成,每个 均从同一定义域 I 映射到实数集 ℝ,且按自然数 n 编号。
现在引入逐点收敛:若对定义域 I 中每个固定的点 x̃,所对应的数值列 ((x̃)) 均收敛于 f(x̃),则称该函数列逐点收敛于极限函数 f。
该定义很自然,因为它将函数的收敛问题归结为定义域中每一点上数值列的收敛问题,而后者是我们所熟悉的。
极限函数 f 由如下方式定义:对 I 中的每一点 x̃,令 f(x̃) 等于数值列 ((x̃)) 的极限。
我们可以用量词精确表达这一点:对区间 I 中的每个 x̃,对每个 ,都存在一个自然数 N,使得对所有 ,绝对差值 |(x̃) - f(x̃)| 都小于 ε。
从图像上看,这意味着对函数图像作任意一条竖直切片,都会得到一个收敛的点列,该点列的极限即定义了极限函数在该 x 坐标处的函数值。
我们来考察一个具体例子:考虑定义在区间[)上的线性函数序列 = (0,1]。
随着 n 增大,斜率 趋近于零,导致直线逐次变得越来越平缓,同时其 y 轴截距始终保持在 1。
该函数序列逐点收敛于常函数 ,因为对区间 [0,1] 中任意固定的 x,项 ()x 随着 n 趋向无穷而趋近于零。
该片段开始时,黑板上已展示函数列()在定义域 I 上逐点收敛的形式定义。核心思想是:收敛性需针对每一个输入点单独检验。
对于第一个例子,主讲人任取一点 ,代入 ,得到数值序列 。
由于 是固定的,项 趋于 0,因此整个表达式趋于 1。这正是定义所描述的逐点极限过程。
由于对区间 [0,1] 中任意选取的点,该结论均成立,故极限函数为常值函数 。黑板将此称为逐点极限函数。
接着,主讲人宣布在同一定义域 [0,1] 上考察一个更复杂的例子,该函数现以分段形式定义,其分段点随 n 变化,位于 处。
第一段为 (1-nx),定义在 [0,] 上;第二段为 0,定义在 (,1] 上。关键的结构变化在于:非零部分的支撑集随 n 增大而收缩。
为理解几何意义,主讲人绘制图像:左侧区间上是一段抛物线形凸起,右侧区间上是一段水平的零值线段。该图直观呈现了尖峰的移动特性。
凸起的最大值出现在 处。将该点代入第一段,得 。
因此,随着 n 增大,非零区域变得越来越窄,而峰值高度却无界增长。本片段在此处结束,同时引出一个直观问题:这对逐点收敛行为意味着什么?
主讲人首先提问:黑板上展示的函数序列是否存在逐点极限函数。黑板显示的是定义在区间0、1上的分段函数序列,口述讲解立即把任务明确为:固定一个输入x,并考察数值序列。
为使该论证严谨,需分两种情况讨论。若,则直接代入公式得对所有n成立,因此该点处的序列从一开始就是恒为零的常数列。
若,关键观察在于:当n大于时,点x便落入区间(,1]内,而函数在此区间上被定义为零。因此,对每个固定的正数x,数值最终变为0并保持为0。
这可概括为:对每个固定的x,数值序列最终为常数。一个最终为常数的序列收敛于其常数尾部值,因此逐点极限存在且等于0在[0,1]上处处成立。
接着,主讲人强调这一现象为何令人惊讶:尽管各函数图像呈现出越来越高耸的峰值,其逐点极限却仍是零函数。这种反差表明,逐点收敛仅分别控制每个固定的x处的行为,并不控制函数整体的大小。
第二个例子以图像方式引入。黑板上展示一系列连续的分段线性函数:先为常数,再线性上升,最后又为常数。后续函数整体向右平移,使得中间斜线段越来越陡峭、越来越窄。
对该移动函数族取逐点极限,所得图像呈阶梯状。极限函数具有跳跃间断点,尽管原始序列中的每一个函数都是连续的。
本片段最后以这两个例子为动机,引出更强的收敛概念。由于逐点收敛允许极限函数出现无界峰值增长,也允许极限函数失去连续性,讲者指出它在分析中往往不够强。
该片段以一块已完成的白板例题开场,内容关于逐点收敛。上方图像显示了区间 [0,1,且书面的分情况讨论指出,对于, 对所有 成立;而对于, 对所有 成立。根据这两种情况,黑板得出逐点极限函数为,其中。
另一处单独展示的计算在处求函数值,并写出。这一行表明:尽管在每个固定的处逐点极限为零,但在移动点附近的函数高度却随增长。最后的手写符号略显模糊,但周围代数推导支持将其读作。
下方第二个例子以视觉方式而非代数方式呈现。左侧是不同指标对应的分段线性图像;一条标有‘逐点极限’的箭头指向右侧一幅具有跳跃间断点的图像,其下支用空心圆标记、上支用实心圆标记。该图说明逐点极限可以是不连续的。
在此板书之上,叙述者以‘我们把这称为一致收敛’结束当前主题,并补充说明一致收敛的定义与示例将在下一段视频中展开。口述内容已点明下一主题,但本片段中可见的板书结论仍为逐点极限函数。
告别语之后,数学内容消失,余下片段为黑屏片尾,配以音乐及滚动显示的支持者名单,标题为‘数学的光明面感谢所有支持者:’。
设函数序列 () 的定义域为 I,若对 I 中每一个固定点 x̃,数值序列 ((x̃)) 都收敛于 f(x̃),则称 () 在 I 上逐点收敛于函数 f。这意味着收敛性必须在定义域中每一点上分别成立,从而将函数的收敛问题归约为普通的数值序列收敛问题。
函数序列是指一个按自然数 n 编号的、具有共同定义域 I 并映射到实数集 ℝ 的函数族 。这一概念是理解逐点收敛的前提。
考虑定义在[)上的函数 = (0,1]。当 n 增大时,斜率趋近于零,直线变得越来越平缓。该序列逐点收敛于常值函数 ,因为() 对于区间 [0,1] 中任意固定的 x。
逐点收敛可以通过考察函数图像的垂直切片来直观理解:在每个固定的 x̃ 处作垂直切片,得到点列 ((x̃)),该点列必须收敛于 f(x̃);而收敛所需的阈值 N 在不同切片之间可能不同。
函数列()在区间 I 上逐点收敛于 f,是指对 I 中任意固定的点 ,数列()收敛于 。视频片段还展示了含 ε 的表述形式,其量词顺序为:, , , 。
固定定义域中的一个点 ,将其代入 ,计算当 时的普通极限,从而得出 的值。对所有 重复此过程,即可得到逐点极限函数。
在 [0,1] 上,对每个固定的 ,有 ,因为 。因此该函数列逐点收敛于常函数 1。
由所有逐点极限值构成的函数称为逐点极限函数。在第一个例子中,该函数为 f:[0,1],且 。
第二个例子保持定义域为 [0,1],但将 分段定义为:(1-nx) 在 [0,] 上,且 0 在 (,1] 上。分段点 依赖于 n,因此图形随指标变化。
非零分支在 处取得最大值。代入得 ,故峰值高度随 n 线性增长,而支撑区间则不断收缩。
对于定义在同一定义域上的一列函数(),其逐点极限函数 f 定义为:对每个固定的输入 x,分别计算极限:。本片段全程使用该定义。
所分析的函数序列为(1-nx),其中x∈[0,];且当x∈(0 for (1时,]. 其非零部分随着 n 增大而向 0 收缩。
将 代入定义得 对每个自然数 n 成立,因此该点处的数值序列恒为零。
对任意固定的正数 x,若 ,则 x 落在区间 (,1] 内,而该区间上函数被定义为0。因此对所有足够大的 n,均有 。
若 最终恒等于同一个数,则数值序列 收敛于该数。本例中这个最终的常数值为0。
合并 x=0 和 x>0 两种情形可知,对每个 ,fₙ(x) 最终恒等于0。因此逐点极限函数是零函数。
函数 fₙ 的图像越来越高,而其支撑集却越来越窄。逐点收敛依然成立,因为对每个固定的 x 都单独考察,且最终只看到零分支。
最后一个直观示例展示了连续的分段线性函数向右平移并变得陡峭。它们的逐点极限是一个在某点不连续的阶梯函数。
本片段通过两个例子说明:逐点收敛无法保持诸如峰值有界性或连续性等重要的整体性质,从而引出更强的收敛概念。
黑板通过固定 并令 变化。它将定义域划分为 和 。在 处, 对每个 成立。在 处, 恰好一次 。因此极限函数在 上恒为零。
该论证并非对所有同时给出一个统一的估计。相反,每个固定的被单独处理。这正是逐点收敛的逻辑:先选定,再考察当变化时会发生什么。
黑板上还展示了。这暗示了一个移动的峰值,其高度随增大而增大,尽管在每个固定的处的逐点极限仍是。最后手写的数值略显模糊,但其本意应为。
下方图示左侧展示一族分段线性函数,右侧为由标有‘逐点极限’的箭头所连接的极限图像。该极限图像存在跳跃,以空心圆与实心圆示意。此例强调逐点收敛不能保持连续性。
讲解者说:‘我们称这种情况为一致收敛’,并将定义与示例留待下一视频展开。然而本片段中黑板明确得出的结论是关于逐点极限函数的,因此此处的口头表述应理解为引出下一主题,而非复述当前展示的证明。
按知识点查看条件、步骤和证据。补充解释与视频直接内容分别标明。
(, , , , , …)
(, , , , , ...)
函数序列
由自然数索引的函数集合
函数 :区间 I 映射到实数集 ℝ
序列中的第 n 个函数
从区间 I 到实数集的函数
函数 :区间 I 映射到实数集 ℝ
I
该函数序列中各函数的定义域
实数集的一个子集(区间)
x 的上波浪线
定义域 I 中的一个定点
I 中的一个元素
函数 f 从区间 I 映射到实数集
f
逐点收敛序列的极限函数
从区间 I 到实数集的函数
对任意
用于收敛容差的任意正实数
正实数
存在 N ∈ ℕ
N
收敛性成立的阈值下标
自然数
对任意
n
大于或等于 N 的下标变量
自然数
fₙ(x) 等于1除以 n 再乘以 x,加上1
第 n 项的具体示例函数
定义在区间0,1上的线性函数
fₙ:闭区间 [0,1] 映射到实数集
[0,1]
该示例序列的定义域区间
闭单位区间
黑板反复写出 以及函数列 (,,,,,...)。
主讲人提及函数列,并在某一固定点处对 进行求值。
函数列中的第 n 个函数
第一个例子中,:[0,1]→ℝ;第二个例子中,同样有 :[0,1]→ℝ
定义行写为 f:I→ℝ;后续结论行写为 f:[0,1]→ℝ,且 。
主讲人称其为极限函数,随后称为逐点极限函数 f。
f
函数列 () 的逐点极限函数
定义中为 f:I→ℝ;在已演算的第一个例子中为 f:[0,1]→ℝ
而这样的函数列可能具有我们称之为逐点收敛的收敛性质。
逐点收敛:(, , , , , ...) 逐点收敛于函数 f : ,当且仅当对所有 ,有 (, , , , , ...) 收敛于 。
若函数列 ()(定义域为 I)满足:对 I 中任意固定点 x̃,数值序列 ((x̃)) 均收敛于 f(x̃),则称该函数列逐点收敛于函数 f。这将函数的收敛性归结为每一点处的普通数列收敛性。
函数列 : I → ℝ
极限函数 f : I → ℝ
对于所有 x̃ ∈ I
对于所有
存在 N ∈ ℕ
对于所有
此处请回顾上期视频中我们已学过的函数列的概念。
函数列:(, , , , , …),其中每个 : I → ℝ
函数列是按自然数 n 编号的一组有序函数 ,每个函数都从公共定义域 I 映射到实数集 ℝ。
公共定义域 I
陪域 ℝ
由 n ∈ ℕ 编号
黑板上显示:逐点收敛:若对所有x̃∈I,数列(, , , , , …)逐点收敛于函数f: I → ℝ,即对每个x̃∈I,数列((x̃), (x̃), (x̃), (x̃), (x̃), …)收敛于f(x̃)。
黑板上还显示了ε形式:[∀x̃∈I ∀ ∃N∈ℕ ∀: |(x̃)−f(x̃)|<ε]。
讲师通过固定一个点〔〕并考察由此产生的数值序列来解释这一概念。
函数列()在区间 I 上逐点收敛于 f,当且仅当:对任意固定的点〔〕∈I,数值序列((〔〕))收敛于 f(〔〕)。该片段同时呈现了文字定义与 ε-语言表述。
函数列()与极限函数 f 定义在同一定义域 I 上。
量词顺序至关重要:先固定〔〕,再给定〔〕,随后 N 可依赖于二者。
黑板上写出 ⇒(逐点)极限函数 f:[0,1]→ℝ,。
讲师说:因此我们的极限函数是常值函数。更准确地说,我们应称其为逐点极限函数 f。
当一列函数逐点收敛时,由所有逐点极限构成的函数 f 称为逐点极限函数。在第一个例子中,该极限函数是恒等于1 的常值函数,在[0,1]上。
在整段定义域上已确立逐点收敛之后应用。
讲师说:只需固定一个点〔x tilde〕并观察其变化,即可立即算出该结果。
黑板上写出:对〔〕∈[0,1]:(〔〕)=·〔〕+1 ⟶_{} 1。
为求函数列()的逐点极限,任取定义域中一点,将其代入得到一个数值序列,计算该数值序列的通常极限,再对所有重复此过程。
该方法逐点施行;ε定义中的N可能依赖于所选的。
主讲人先提问是否存在逐点极限函数,随后明确写出所得的极限函数。
在两个例题中,板书均写有“(逐点)极限函数 f : [0,1] → R”。
若对定义域中每个固定的输入 x,数值列 都收敛于 ,则称函数列 () 具有逐点极限函数 f。视频在区间 [0,1] 上的两个例子中直接使用了这一定义。
先固定每个 x。
对定义域中的每一个 x,分别检验其收敛性。
主讲人指出:对固定的 x,数值列 最终为常数列,因此它收敛,且极限为 0。
黑板上显示 对所有 在第二种情况下。
若对某个固定的 x,当 n 充分大时, 的值恒等于同一数,则数值列 收敛于该数。在第二个例子中,该最终常数值为 0。
存在一个指标阈值,使得此后所有项均相等。
黑板上写出 : [0,1]->R, (1−nx),其中 ,且 0 其中 x ∈ (,1。
第二个演算例题是一个定义在 [0,1] 上的分段函数列,其非零部分仅出现在 [0,] 上,且由关于 x 的二次表达式给出。
定义在区间0到1上。
下标 n 为自然数。
黑板明确将结论标注为“(逐点)极限函数”,并写出 f:[0,1]→ℝ,。
在例题中,逐点极限是通过固定每个 x 并检查 fₙ(x) 的最终取值来获得的。当 时,黑板上显示 fₙ(0) =0 对所有 n 成立;而当 时,黑板上显示 fₙ(x) =0 当 时。因此极限函数在 [0,1] 上恒为零。
x 固定,而 n 变化。
论证分为 和 两种情形。
讲述者说:“这正是我们所称的一致收敛。”
该片段未给出一致收敛的严格定义;此处仅提及其名称。
在本节开头,主讲人将刚刚讨论的主题称为一致收敛。其严格定义留待下一视频讲解。
本片段仅引入了该术语。
此处未陈述任何严格的判别准则。
讲述者说:“现在,一致收敛的定义和例子,我们将在下一视频中讲解。”
主讲人明确将一致收敛的定义与示例推迟至下一视频讲解,因此本片段起到承上启下的作用——从前一个逐点极限的例题过渡到即将展开的新主题。
适用于整个讲座系列的结构安排,而非某一定理的陈述。
黑板上显示,然后。
讲师指出这是一除以n,是一个收敛于零的序列,因此根据我们的极限定理,整个序列恒收敛于一,无论取何值。
对于定义在[0,1]上的函数 fₙ: → ℝ,其中 fₙ(x) = 1}{n},该序列逐点收敛于常函数 在 [0,1] 上。
每个均定义在区间[0,1]上。
fₙ(x) = 1 除以 n 乘以 x 加上 1。
对任意固定的,均有。
黑板上写出。
讲师指出最大值出现在二分之一乘以n分之一处,因此此处的最大值随n增大而增大。
对于第二个例子,抛物线分支的最大值出现在 处,且最大值为 。
第一段分支为 (1 − nx),定义在 [0, ] 上。
对每个固定的 n,非零分支上的最大值在 处取得,其值为 。
讲师得出结论:“因此我们得到了一个逐点极限函数,即零函数。”
黑板上写出:‘(逐点)极限函数 f:0到1→ℝ,=0’,并分情况讨论 x=0 和 x>0。
对于序列 (1-nx),定义在 [0,] 上,以及0 在 (,1] 上,其在 [0,1] 上的逐点极限为 ,对每个 x 成立。
每个 fₙ 都定义在区间0到1上。
n 取遍所有自然数。
对所有 到1。
讲师指出,逐点收敛或许不足以满足我们的需求,这促使我们引入一种更严格的收敛性。
最终图示显示:一列连续的分段线性函数逐点收敛于一个具有跳跃间断点的阶梯函数。
仅有点态收敛可能导致极限函数在性质上与逼近序列截然不同,例如极限函数出现跳跃,而每个 都是连续的。
该序列仅有点态收敛。
未假设任何更强的收敛模式。
通过具体例子加以演示。
主讲人指出,起始函数均无跳跃,但点态极限却存在跳跃。
右侧图像是一阶梯函数,它是由连续的分段线性图像经点态极限得到的。
一列连续函数可以点态收敛到一个不连续的函数。
序列中的每个函数都是连续的。
所考虑的收敛是点态收敛。
存在性:存在这样的序列。
黑板上写:当 时: 对所有 n ∈ ℕ 成立;当 时: 对所有 成立;因此(逐点)极限函数 f: [0,1], 。
对于区间 [0,1] 上所展示的函数列,其逐点极限函数为 ,其中 x 取遍 [0,1] 中的每一个值。
这些函数定义在区间 [0,1] 上。
采用了分情况讨论: 与 。
当 时,取 。
对每个固定的 ,当 n 充分大时恒有 ;因此在每个 x 处,逐点极限均为 0。
因此,我们能够借助量词高效地描述整个概念,或许就不足为奇了。
[ 对任意 x̃ ∈ I,对任意 ,存在 N ∈ ℕ,对任意 ,有 |(x̃) − f(x̃)| < ε ]
任取定义域 I 中的一个点 x̃
逐点收敛要求该性质在定义域中每一点都成立
考虑任意一个正的容差 ε
数列收敛的标准 ε–N 定义
存在一个阈值指标 N
收敛性保证了对这个数值数列,这样的 N 存在
对所有满足 的指标 n,函数值与极限值之差的绝对值小于 ε
这就是数值数列 ((x̃)) 收敛的定义
逐点收敛的定义将定义域中各点的全称量化,与每个由此产生的数值数列所满足的标准 ε–N 收敛条件结合起来。
黑板依次写出:当 时,,然后 ,最后是极限函数的图像。
主讲人叙述代入过程,指出项 收敛于 0,并由此得出整个序列收敛于 1。
从函数列在 [0,1] 上给定的公式出发。
黑板上给出的例题定义。
在定义域中任取一个固定点,用于检验逐点收敛性。
这正是逐点收敛定义中所陈述的步骤。
将该固定点代入公式,得到一个关于 n 的数值序列。
直接代入 。
对于固定的 ,因子 趋于 0,因此乘积趋于 0。
数列与固定常数相乘的标准极限定理。
加上常数 1 后,得到极限 1。
收敛数列之和的极限运算法则。
由于对每个固定点都可作相同论证,逐点极限函数为常数 1。
该结论与所选 的具体取值无关。
序列 在区间 [0,1] 上逐点收敛于常函数 。
黑板上写出 。
讲师指出,我们可以立即计算该值:将该点代入函数,约去大量 n,最终得到 n 除以四。
讲师确定了抛物线分支的取最大值点。
口头陈述并写在黑板上;该片段未展示单独的导数计算过程。
将使函数取最大值的 x 值代入第一段表达式 (1−nx)。
直接代入分段函数表达式。
化简内层乘积 ,得到 。
代数约分。
约去 n 的幂次,并将剩余常数相乘。
基础代数运算。
非零分支的最大值为 ,因此当 n 增大时,该值无界增长。
主讲人区分了 和 两种情形,然后得出点态极限为0。
黑板上写着“当 时, 对所有 n ∈ ℕ 成立”,以及“当 时, 对所有 成立”,接着写出极限函数 。
从该序列在区间 [0, 1] 上的分段定义出发。
黑板上给出的定义。
在左端点处,无论 n 取何值,公式均给出 0。
将数值直接代入定义。
一旦 n 大于 ,这个固定的正数 x 就落在 的零分支上。
对不等式 进行代数变形。
对所有足够大的 n,该固定 x 处序列的取值恰好恒为 0。
使用分段定义的第二分支。
两种情形共同表明:对每个固定的 x,该数值序列在某个指标之后恒为 0。
合并 与 两种情形。
一个最终为常数的数列收敛于其常数尾部的值,因此逐点极限是零函数。
数值数列收敛的定义,加上逐点极限的定义。
第二个例子在区间[0,1]上逐点收敛于。
主讲人描述了将图像向右平移、使线性部分变得更陡峭,然后取逐点极限,从而得到一个具有跳跃间断点的函数。
黑板上展示了若干条连续的分段线性图像,以及一个单独标注为‘逐点极限’的阶梯函数图像。
本片段中屏幕上未写出第三个例子的精确代数表达式。
从一个连续的分段线性函数出发,其形状为:先为常数,再线性上升,最后再次为常数。
在黑板上明确画出,并在音频中加以描述。
将整个图像略微向右平移,以得到该数列中的下一个函数。
由主讲人口头陈述。
继续这一过程,使得线性过渡区域变得越来越陡峭且越来越窄。
用语言陈述,并在逐次出现的曲线上直观可见。
在每个固定的 x 处,函数值最终稳定于两个常数值之一,从而形成阶梯状的逐点极限。
由所绘制的标有‘逐点极限’的极限图像推断得出。
一列连续函数可以逐点收敛到一个不连续的阶梯函数。
黑板呈现了分两种情况的论证,并最终得出逐点极限函数。
在左端点处,对每个指标 n,函数值已经为零。
直接写在黑板上。
对任意正数 x,一旦 n 超过 ,对应的函数值即为零。
直接写在黑板上。
综合两种情形可知,对每个固定的 x,该序列最终恒等于 0,因此逐点极限是零函数。
黑板上明确标出结论:‘(逐点)极限函数’。
在区间0,1上的逐点极限函数恒为零。
黑板上显示 。
最后的等号在某些帧中视觉上存在歧义:可能被读作 或 !;但上下文代数推导支持 ,只是手写体不够清晰。
黑板将 代入所展示的 表达式中。
黑板上可见的代入运算行。
所显示的化简结果给出一个值,其增长速度类似于 在 .
黑板上显示了最终的等式,但手写体略显模糊。
在 处,所展示的计算结果约为 ,表明该处存在一个随 n 增长的峰值。
那么我来举一个例子:我们只需考察一个函数序列。此处定义域 I 取为区间零到一,而函数 定义为一除以 n 乘以 x 加一。
示例: : [0,1] → ℝ,其中
考虑函数列 : [0,1] → ℝ,其定义为
定义域
函数表达式为
每个 都是线性函数
考察该序列的逐点性态
当 时,函数为
将 代入公式
当 时,函数为
将 代入公式
当 n 趋于无穷大时,()x 对固定的 x 趋于 0
乘以有界 x 的标准极限
该函数列逐点收敛于常值函数 在 [0,1] 上
对任意固定的 ,有 || = |()x| ≤ (当 时)
黑板上写出例题::[0,1]→ℝ,,随后进行完整的逐点极限计算。
右下角的图像显示若干条标有 、、、 的直线,趋近于水平直线 。
主讲人指出斜率越来越小,因此极限函数的图像应为这条水平直线,接着通过固定 来计算极限。
确定函数列 :[0,1]→ℝ 的逐点极限,其中 。
定义域为 [0,1]。
fₙ(x) = 1 除以 n 乘以 x 加上 1。
求 [0,1] 上的逐点极限函数 f。
通过固定一个输入点,应用逐点收敛的定义。
逐点收敛需逐点验证。
在该固定点处计算第 n 个函数的值。
将该点代入给定公式。
由于 是固定的,系数 使得乘积趋于 0。
标准数列极限定理。
因此该数列收敛于 1。
一个趋于 0 的数列与常数 1 的和。
由于该论证对任意的均成立,极限函数为常数1。
不动点选取的普适性。
逐点极限函数为 f:[0,1],。
黑板上的图像显示各条曲线逐渐趋近于水平直线 ,与所计算出的常数极限一致。
黑板上书写示例::[0,1],。
新坐标系中,在x轴上标出0、 和 1;在区间[0,]上绘制一条类似绿色抛物线的凸起,在区间(,1]上绘制一段水平线段。
主讲人表示下一个例子应更复杂,定义了两种分段情形,指出第一段区间依赖于n,随后分析图像与最大值。
该片段在所提供时长内未完成此第二个例子的完整逐点极限结论。
引入序列 :[0,1]→ℝ,定义为分段函数 (1−nx),在区间 [0,] 上成立;且 在区间 (,1] 上成立,并分析其形状与最大值。
定义域为[0,1]。
第一支:(1-nx),定义在[0,]上。
第二支:0在区间(,1]上。
理解函数的几何形态,并计算非零支的最大值。
写出分段定义。
在黑板上给出并口头描述。
非零部分的支撑集随 n 增大而收缩。
由主讲教师明确指出。
抛物线支的最大值出现在区间[0,]的中点处。
在讲座中陈述,并用于黑板上的计算。
将使函数取最大值的点代入第一支并化简。
黑板上展示了代数推导过程。
后续图像更窄但更高。
直接源于公式 以及所绘制的曲线序列。
第二个例子是一个分段序列,其非零部分是在区间[0,]上的一个收缩的抛物线凸起,最大值为,出现在处。
所绘制的图像显示:零值区域向右扩展,同时左侧凸起变得更高、更窄,这与计算所得的最大值一致。
黑板完整写出分段定义及结论 。
讲师分别讨论 和 的情形,并指出其极限为零函数。
求定义在 [0,1] 上的函数列 : ℝ → ℝ 的逐点极限,其中 (1 − nx),定义域为 [0,] 和 0 在 (,1]。
定义域为 [0,1]。
(1-nx),其中 [0,].
,其中 (,1]。
对每个 ,求 。
将 代入非零分支。
根据定义直接计算。
当 n 足够大时,固定的 x 落在区间 (, 1] 内,此时 定义为 0。
分段定义,外加不等式 。
由于每个固定的 x 最终都给出值 0,因此逐点极限函数是零函数。
逐点收敛的定义。
逐点极限函数为 ,定义在区间 [0, 1] 上。
黑板上明确写出“(逐点)极限函数 f: [0, 1] → ℝ,”。
左下图展示连续的分段线性函数;右下图展示它们的逐点极限——一个阶梯函数。
讲师指出,起始函数没有跳跃间断点,但其逐点极限却有。
本片段中未展示逼近函数的精确表达式。
说明一列连续函数如何逐点收敛到一个具有跳跃间断点的函数。
每个展示出的函数都是连续且分段线性的。
后续各项函数向右平移,且其线性过渡段的斜率逐渐变陡。
识别该逐点极限函数的定性形态。
画出一个先为常数、再为线性、最后又为常数的连续函数。
在黑板上可见。
通过将图像向右平移并使线性部分变得更陡来生成后续各项。
以口头描述并辅以视觉图示呈现。
对每个固定的 x 取逐点极限。
在黑板上标注为“逐点极限”。
极限图像为一个具有跳跃的阶梯函数。
在右侧图示中可见。
逐点极限是一个不连续的阶跃函数。
主讲人明确指出,尽管原序列是连续的,其极限却存在跳跃。
黑板上包含完整的例题演算过程,含情况分类及结论 。
上方图像显示若干条彩色曲线,除原点附近外,均向 x 轴坍缩。
求所展示的函数列 在区间 [0,1] 上的逐点极限。
x 属于区间0到1。
当 时,对所有 n ∈ ℕ,均有 。
当 时, 对所有 .
在 处所展示的求值结果与 n 成正比。
求逐点极限函数 f。
先检查端点处的取值。
黑板从 开始分情况讨论。
在 处,该数列恒为零。
直接写在黑板上。
现在将任意正数点单独处理。
黑板的第二种情况是 。
一旦 n 相对于 足够大,其值即为零。
直接写在黑板上。
由于每个固定的 x 最终都给出值 0,逐点极限函数即为零函数。
黑板上明确写出的结论。
f 是从区间 0 到 1 到实数集的函数,且对任意 x, 等于 0
该结果与黑板上标注的结论‘(逐点)极限函数’一致,也符合图像给人的直观印象:在 0 以外的位置,函数图像最终均趋于平坦至 0。
黑板下半部分标有“示例:”,左侧展示一族分段线性函数的图像,右侧展示一个不连续的极限图像,二者之间用一条标注为“逐点极限”的箭头连接。
本片段中未显示该第二个示例的任何公式,因此仅凭此片段无法复原出确切的函数表达式。
用第二族函数来说明逐点收敛。
左侧图像展示了若干条不同颜色的分段线性曲线。
一条标注为“逐点极限”的箭头指向右侧图像。
右侧图像在下支端点处有一个空心圆,在上支端点处有一个实心圆。
以可视化方式展示逐点极限行为。
左侧图像表示逼近函数,右侧图像表示它们的逐点极限。
箭头上的标注“逐点极限”明确建立了两幅图像之间的关系。
右侧图像显示了一个跳跃间断,其中一侧以空心圆结束,另一侧从实心圆开始。
图中可见。
第二个例子通过图像直观地展示了逐点收敛到一个不连续的极限函数。
图中本身将该关系标注为“逐点极限”;本片段未展示代数验证过程。
含多条彩色曲线(蓝色、红色、绿色、青色)及若干竖直虚线(位于不同 x̃ 处)的坐标系
穿过各曲线的竖直切片,展示点构成的序列
多条不同颜色的函数曲线
位于固定 x̃ 处的竖直虚线
竖直线与曲线的交点
坐标轴
竖直切片沿定义域横向移动
交点构成数值序列
曲线趋近于一个极限位置
每个垂直切片代表一个固定的 x̃
该序列性质对每个切片都独立成立
动画演示了逐点收敛的含义:函数图像上每条垂直切片都产生一个收敛的数值序列,该序列的极限即定义了极限函数在该点处的函数值。
坐标系中显示斜率递减的直线,趋近于水平直线
对应 ,2,3,… 的直线逐次变得更平缓
表示 的直线
水平直线 作为极限情形
标有区间刻度的坐标轴
随着 n 增大,斜率减小
直线绕定点旋转,趋近于水平位置
所有直线都经过点(0,1)
y轴截距保持在1
直线始终保持为直线
定义域被限制在[0,1]上
图示展示了线性函数 随着 n 增大而变得越来越平缓,逐点收敛于常函数 在区间 [0,1] 上。
右上角的图像展示了若干条光滑的彩色曲线在垂直方向上堆叠排列,并在处画有一条垂直虚线。
邻近文字用定义了逐点收敛。
多条彩色函数曲线
标有的垂直虚线
坐标轴
该画面在视频片段中保持静止。
不同的曲线表示在相同固定x位置处的不同函数。
固定的垂直线标记了所选定的、用于比较函数值的点。
该示意图表示的是逐点取值,而非在整个定义域上进行一致比较。
上方图像展示了该定义:在某个固定输入〔x̃〕处,考察输出值序列 (〔x̃〕) 是否收敛于 f(〔x̃〕)。
右下角的图像显示了标有 ,,, f_ 的直线。4 从(0,1)出发且斜率递减。
讲师指出,直线的陡峭程度越来越小,因此极限函数的图像应为这条水平直线。
若干条标记为 、、、 的直线图像
水平线
坐标轴,x 轴范围为 [0, 1]
随着 n 增大,直线的斜率逐渐减小。
这些直线趋近于水平直线 。
所有直线均经过点(0,1)。
图中所示定义域为 [0, 1]。
该图像支持代数结论: 逐点收敛于常值函数 1。
建立了一个新的坐标系,x轴上标有0、和1;在区间[0,]上出现一个绿色凸起,在区间(,1]上出现一段平坦线段。
黑板上写出 。
讲师指出,函数值为零的区域变大了,但函数的峰值也更高了。
后续各条彩色曲线的具体标签在采样帧中未能完全辨识,但其视觉变化趋势十分清晰。
坐标轴上标有0、、1
在区间[0,]上呈抛物线形凸起
在区间(,1]上为零的平坦线段
对应更大n值的一系列彩色曲线
随着n增大,区间[0,]向0收缩。
零值区域(,1]扩大。
峰值高度增加,因其等于。
该函数在右子区间上恒为零。
非零部分仍是一个以0和1为端点的单峰。
动画/图示展示了一个支撑集不断收窄、而其最大值持续增大的函数列,以此与简单的逐点稳定现象形成对比。
在区间0到1上绘制了三条彩色的驼峰形曲线,随着 n 增大,其支撑集逐渐向0收缩。
相邻的分段公式标出了在区间0到 上的非零分支。
区间0到1上的坐标轴
函数 的彩色曲线
区间标记
公式 (1 - nx),定义在区间0到 上
随着 n 增大,非零驼峰向靠近0的更小区间内移动。
峰值高度增加,同时支撑集缩小。
每条曲线在区间(,1]上恒为零。
定义域保持为[0,1]。
该图示说明了为何每个固定的x>0最终都趋向于值0,尽管的最大值无界增长。
左下方是一组连续的分段线性图像,右下方则配有一个标有‘逐点极限’的阶梯状图像。
讲师指出,下一个函数向右平移,且其线性部分变得更陡峭。
若干连续的分段线性图像
箭头或标签‘逐点极限’
阶梯状的极限图像
后续图像依次向右平移。
中间斜线段变得越来越陡峭且越来越窄。
极限图像具有跳跃间断点。
每个逼近图像都是连续的。
正在演示的极限运算是逐点收敛。
这个直观示例表明,逐点极限可能破坏连续性。
左上角的图像显示了区间[0,1]上的多条彩色曲线,x轴上标有横坐标为的点,并在x轴附近有一条标有的绿色水平线。
每条彩色曲线所对应的精确公式在本片段可见部分中并未完整写出。
区间[0,1]上的坐标轴
对应不同n值的若干条彩色曲线
标出的x值为
标有的绿色水平参考线
随着n增大,非零的凸起似乎向0移动且宽度变窄。
在0以外的位置,各曲线趋近于x轴。
所示定义域为[0,1]。
黑板上的案例分析始终聚焦于固定的 x 和变化的 n。
该图支持文字所述结论:对每个固定的 ,函数最终变为 0;而在 附近,则可能出现一个移动的尖峰。
下方黑板左侧展示分段线性函数的图像,中间有一条标有‘逐点极限’的箭头,右侧图像则用空心圆与实心圆标出跳跃间断点。
本片段中无法看清左右两侧图像的精确公式。
左侧图像包含若干条彩色分段线性曲线
标有‘逐点极限’的箭头
右侧图像包含两条水平分支
下分支末端的空心圆
上分支起始处的实心圆
左侧函数族在视觉上被映射到右侧的极限图像。
极限图像在过渡的 x 值处存在间断点。
所示关系为逐点收敛,而非一致收敛。
右侧图像表示左侧函数族的极限。
这个直观示例强调:即使逼近函数看起来简单且连续,其逐点极限仍可能不连续。
在最初几秒内,一个小红点沿黑板移动,经过公式区域及下方图示附近。
该点起指示作用;仅凭其运动本身并不编码任何额外的数学内容。
小红点
黑板上的公式
下方图示
该点从黑板右上方的公式区域移向黑板中部与下部。
黑板上的底层内容保持固定,而该点持续移动。
该运动仅作为视觉注意力提示,而非引入新的数学对象。
屏幕变为黑色背景,白色文字显示“数学的光明面感谢所有支持者:”,随后支持者姓名向上滚动。
黑色背景
白色致谢文字
支持者姓名向上滚动
数学板书消失。
支持者姓名持续向上滚动,直至本片段结束。
在14秒之后不再呈现任何数学内容。
该时间段属于非数学性质的片尾内容。
这只是意味着图中所有这些竖直切片都构成收敛数列。
学生可能误以为逐点收敛意味着整个图像一致收敛,或认为收敛速度在所有点处都相同。
逐点收敛仅保证:对每个单独的点 x̃,函数值序列收敛;其阈值 N 可能同时依赖于 ε 和具体点 x̃,而一致收敛中的 N 则仅依赖于 ε。
主讲人强调最大值随 n 增大而增大,同时单独讨论逐点行为。
尽管对每个固定的 x,当 n 充分大时,它最终都会落在移动峰之外,图像仍显示出越来越高的尖峰。
有人可能认为,由于峰值高度 无界增长,该函数列在任何地方都无法逐点收敛。
逐点收敛需对每个固定的 x 单独检验;一个移动的尖峰可以在高度不断增大的同时,对每个固定的 ,随着 n 增大而最终消失。本片段突出了峰值的变化,但并未完成第二个例子的完整逐点极限讨论。
讲师指出,尽管函数的取值越来越大,收敛仍然成立,并称这与数列的收敛相比显得奇怪。
人们可能会认为,如果函数自身取得的值越来越大,那么该函数列就不可能逐点收敛。
逐点收敛每次只固定一个 x。在第二个例子中,每个固定的 x 最终都取到值0,尽管 的峰值无界增长。
讲师强调,起始的函数列没有跳跃,但其逐点极限却存在跳跃。
连续的分段线性图像导致了一个不连续的阶梯形极限。
人们可能想当然地认为,连续函数的逐点极限自动就是连续的。
最后一个例子明确展示了连续函数逐点收敛到一个具有跳跃的函数。
讲解员在板书某一部分(其明确结论为‘(逐点)极限函数’)之后,立即说出‘一致收敛’一词。
板书上的书面结论被特别标注为‘逐点’,而非‘一致’。
该片段未包含明确的更正说明,因此这一警示是基于口头术语与书面逐点结论并置所作出的推断。
有人可能从口头表述‘我们称其为一致收敛’推断出,黑板上演示的例子本身已证明了一致收敛。
黑板上可见的结论明确是逐点极限函数 。在本片段中,一致收敛仅被提及为下一个主题;其定义与例子推迟到下一视频讲解。
请在此回想一下,我们在上一视频中已学过函数列的概念。
理解函数列是定义其逐点收敛性质的前提。
这是因为对于此处所有函数,你都可以固定一个点 x̃,从而得到一个由函数值构成的普通数列。
逐点收敛的定义适用于固定定义域中各点后所得到的数值序列,线性函数示例对此进行了演示。
定义式之后是演算式:对 :=...
主讲人明确指出,可通过固定一点 x ̃ 来计算极限。
固定 并取普通数值极限的方法,正是逐点收敛定义的直接操作性应用。
第一个例子通过将固定的 代入 并令 得到解决。
例1演示了定义中引入的逐点取极限过程。
在计算出 后,板书写出逐点极限函数 。
所计算出的常值函数被确认为该函数列的逐点极限函数。
讲师表示下一个例子应更复杂些,并沿用相同的定义域[0,1]。
两个例子均为函数列 :[0,1]。
第二个例子与第一个形成对比:它采用依赖于 n 的分段定义,且其‘尖峰’随 n 移动,而非使用简单、全局定义的线性函数。
讲师通过重新表述分段讨论指出: 最终为常数,因此收敛,且极限为0。
识别最终为常数的数值序列这一方法,被用于第二个例子中建立逐点收敛性。
分段定义与所写的结论 同时呈现在黑板上。
明确的分段定义,是证明逐点极限为零函数所需的假设。
当讲师讨论逐点收敛无法保持良好性质时,恰好使用了‘连续函数到阶梯函数’的图示。
该例子直接佐证了‘连续性在逐点极限下不被保持’这一论断。
在展示这些反直觉的结果后,讲师指出:这正是我们希望拥有更严格收敛性质的一个充分理由。
连续性的丧失,被呈现为逐点收敛在许多场合下显得过弱的一个具体原因。
在完成逐点极限的黑板演算后,讲述者说道:‘我们称其为一致收敛。而一致收敛的定义与例子,我们将在下一视频中讲解。’
该片段首先完成一个逐点极限的计算,随后将一致收敛作为下一个概念引入,以此凸显逐点性质与后续将要定义的更强概念之间的对比。
黑板上推导出 来自两种情形: 和 。
本例中逐点极限函数的定义依赖于这一分情况推导,它表明对每个固定的 x,函数值最终趋于零。
而这样的序列可能具有我们称之为逐点收敛的收敛性质。
[对任意 x̃ ∈ I,对任意 ,存在 N ∈ ℕ,使得对所有 ,均有 |(x̃) − f(x̃)| < ε]
它仅表示图中所有这些竖直切片都构成收敛的数列。
核心定义被醒目地写在黑板上。
讲师指出,需先固定某一点 ,再观察其变化情况。
例题演算中先计算 ,再求其极限。
黑板最终得出结论: 在区间 [0,1] 上成立。
分段定义与最大值计算均已展示。
图像显示一个不断收缩的区间和一个越来越高的峰值。
黑板上写出 ( ⋅ ) = 。
讲师先提问是否存在逐点极限函数,随后计算该极限函数。
黑板上展示了完整的分类讨论及结论 。
讲师指出:对每个固定的 x,数列 最终为常数,因此收敛,且极限为 0。
已覆盖 · 导言与频道推广
已覆盖 · 函数列定义的回顾
已覆盖 · 逐点收敛的主要定义与讲解
已覆盖 · 线性函数的具体示例
已覆盖 · 该片段以逐点收敛的形式定义开场,并立即讲解第一个示例 ,最终得出其逐点极限函数为 。
已覆盖 · 主讲人引入了一个定义在 [0,1] 上的更复杂的分段示例,解释了依赖于 n 的区间,勾勒出函数图像,并计算出其最大值为 ,出现在 处。但在所提供的 150 秒内,尚未完成该第二个示例的完整逐点极限结论。
已覆盖 · 整段视频是关于逐点收敛的白板授课片段,包含两个例题演示,并以引出更强收敛概念作为结尾。
已覆盖 · 此时间段内始终包含数学板书内容及结束时的口述过渡。
已覆盖 · 非数学性质的片尾字幕,配以音乐及滚动显示的支持者姓名。
已审核的主题路径