跳到内容
返回探索
微积分 / 英语

多元函数的极限……很奇怪……沿路径的极限

Dr. Trefor Bazett · YouTube · 5:38

打开原视频
阅读与收藏

把讲解展开来看。

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

这段时长为 150 秒的微积分导论课,通过先回顾一元函数极限行为,来讲解如何思考多元函数的极限。主要例子是 f(x,y)f(x,y)=xy/(x2+y2x^2+y^2),它在点 (0,0) 处无定义,因为分母在此处为零。主讲人警示:计算机生成的奇点附近曲面图仅为插值,不应视作精确依据。随后用两个一维例子阐明逻辑:分段跳跃函数在 x=1x=1 处无极限,因其左右极限不等;而 x=1x=1 处有空洞的常值函数,其极限仍为 1,因两侧极限一致。回到多元函数问题,视频将路径限制作为一种方法引入,选取直线 y=xy=x,代入函数后化简为 x2/(2x2)x^2/(2x^2),并沿该路径计算出一元极限为 1/21/2。摘录在此单路径计算后即终止,未给出关于完整二元极限的最终结论。 本节150-第二段讲解通过限制在两条直线路径上,分析多元函数f(x,y)=xyx2+y2f(x,y)=\frac{xy}{x^2+y^2}在(0,0)(0,0)附近的性态。沿路径y=xy=x,所展示的计算得lim⁡x→0x22x2=12\lim_{x\to 0}\frac{x^2}{2x^2}=\frac12;沿路径y=−xy=-x,则得lim⁡x→0−x22x2=−12\lim_{x\to 0}\frac{-x^2}{2x^2}=-\frac12。一幅3D曲面图直观呈现了过原点的两条对角线之间的差异。由这两条路径所得极限不等,主讲人得出结论:函数在(0,0)(0,0)处的完整极限不存在,并将这一通用判据命名为“两路径检验法(用于证伪)”。本段最后提出两个尚未解答的问题:如何定义多元函数极限的存在性,以及是否只要沿每一条直线路径极限均相同,就足以保证极限存在。 这段时长为38秒的视频片段包含一段简短的多元微积分反思,随后是结束语。在0至18秒之间,讲师展示了一个加框命题:若f(x,y)f(x,y)沿两条不同路径趋近于(x0,y0)(x_0,y_0)时具有两个不同的极限,则lim⁡(x,y)→(x0,y0)f(x,y)\lim_{(x,y)\to (x_0,y_0)} f(x,y)不存在。其下方列有两个开放性问题:如何定义函数在某点处极限的存在性,以及是否只要沿所有直线路径所得极限一致,就足以保证该极限存在。音频特别强调了直线路径与可能存在的弯曲路径之间的对比,暗示仅凭直线路径上的一致性并不被视为结论性证据。在18至38秒之间,画面切换至一间类似演播室的房间,屏幕上显示‘SUBSCRIBE’;主讲人请观众留言、点赞本视频,并继续观看多元微积分系列视频播放列表。本片段中未出现任何例题演算、证明过程,也未对这两个开放性问题给出最终解答。

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

章节

0:00标题卡片:多元函数的极限0:03主要例子:f(x,y)f(x,y)=xy/(x2+y2x^2+y^2),问题在点(0,0)处0:36关于奇点附近插值图像的注意事项0:59单变量函数的例子:左右极限不相等1:33单变量函数的例子:存在可去间断点(空洞),但极限存在1:48回到多元函数问题2:07限制在路径 y=xy=x 上,计算沿该路径的极限2:30限制在直线 y=xy = x 上并计算路径极限2:53将限制改为 y=−xy = -x 并得到一个不同的极限3:55由路径极限不等,得出在点(0,0)处极限不存在4:10陈述两路径检验法(用于证伪)4:51提出两个关于极限存在性与直线路径的后续问题5:00双路径不存在性法则与开放性问题5:18结束语与频道推广

学习解说文稿

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

本片段以黑板风格标题“多元函数的极限”开场,表明本节主题是多于一个自变量的函数的极限行为。

首先展示的数学对象是二元函数f(x,y)=xyx2+y2f(x,y)=\frac{xy}{x^2+y^2},其旁配有一幅着色的3D曲面图。讲师的目标并非直接计算f(0,0)f(0,0),而是探讨当(x,y)(x,y)趋近于(0,0)(0,0)时函数的行为。

他立即指出障碍所在:在(0,0)(0,0)处,分母x2+y2x^2+y^2变为零,因此函数在该点无定义。这引出了关于极限的独立问题,因为极限关注的是邻近点的行为,而非函数在该点本身的取值。

借助曲面图,他指出原点是一个视觉上呈“捏合”状的区域,图像的两部分似乎在此处交汇。随后他补充一项重要提醒:所显示的图像仅为近似结果,因为绘图软件仅在采样得到的邻近点之间进行插值,并不会实际计算未定义点(0,0)(0,0)处的函数值。

为建立直观理解,讲座暂时离开多元变量情境,回顾一个一元分段函数:f(x)=1f(x)=1 当 x<1x<1 和 f(x)=2f(x)=2 对于 x≥1x\ge 1。图像在 x=1x=1 处出现跳跃。

根据定义,左极限为lim⁡x→1−f(x)=1\lim_{x\to1^-}f(x)=1,右极限为lim⁡x→1+f(x)=2\lim_{x\to1^+}f(x)=2。由于这两个单侧极限不相等,双侧极限lim⁡x→1f(x)\lim_{x\to1}f(x)不存在。此例确立了极限存在的准则:必须从左右两侧以相同方式趋近。

下一个单变量例子仅改变了该点处缺陷的性质。现在 f(x)=1f(x)=1 对所有 x≠1x\ne1 成立,因此函数在 x=1x=1 处无定义,但图像在其余部分是一条高度为 1 的水平直线。

此处两个单侧极限均等于1:lim⁡x→1−f(x)=1=lim⁡x→1+f(x)\lim_{x\to1^-}f(x)=1=\lim_{x\to1^+}f(x)。因此lim⁡x→1f(x)=1\lim_{x\to1}f(x)=1存在,尽管f(1)f(1)本身缺失。与前一个例子的对比清楚表明,“在该点无定义”与“极限不存在”并非同一命题。

在奠定上述基础之后,讲座回归原始的多变量函数及其问题点(0,0)(0,0)。主讲人提出一种具体策略:将注意力限制在经过该点的某一条特定路径上,从而将多变量问题转化为熟悉的单变量极限问题。

他选取了直线 y=xy=x,如曲面图中红色所示。将 y=xy=x 代入 f(x,y)=xyx2+y2f(x,y)=\frac{xy}{x^2+y^2} 给出 x⋅xx2+x2=x22x2\frac{x\cdot x}{x^2+x^2}=\frac{x^2}{2x^2} 关于 x≠0x\ne0 沿该路径。

屏幕上显示的结论是lim⁡x→0x22x2=12\lim_{x\to0}\frac{x^2}{2x^2}=\frac12。这是沿单一路径y=xy=x所得的极限;在本片段中,视频仅计算出该路径上的值即告停止,并未进一步说明整个二元极限是否存在。

该片段从已解例题开始 f(x,y)=xyx2+y2f(x,y)=\frac{xy}{x^2+y^2} 且带有约束条件 y=xy=x 已显示。黑板上展示的是化简后的一元表达式 x22x2\frac{x^2}{2x^2} 及其极限 12\frac12 为 x→0x\to 0。讲师强调,此技巧无需引入新的定义:一旦选定路径,问题便转化为普通的单变量极限。

随后他将限制条件改为y=−xy=-x。代数上,代入操作引入负号,得到−x22x2\frac{-x^2}{2x^2},其极限为−12-\frac12。直观上,曲面图中高亮的对角线切换为过原点的另一条对角线,主讲人指出,沿这条新路径的高度明显更低,与该负的极限值相吻合。

比较这两个结果,课程得出关键结论:由于趋近于(0,0)(0,0)的一条路径给出12\frac12,而另一条路径给出−12-\frac12,因此f(x,y)=xyx2+y2f(x,y)=\frac{xy}{x^2+y^2}在(0,0)(0,0)处的完整多元极限不存在。曲面图中央未定义的空白点被用作这种路径依赖性的几何图示。

随后,一个加框定理将上述推理形式化为“两路径检验法(用于证伪)”:若f(x,y)f(x,y)沿两条趋近于(x0,y0)(x_0,y_0)的不同路径具有两个不同的极限,则lim⁡(x,y)→(x0,y0)f(x,y)\lim_{(x,y)\to(x_0,y_0)} f(x,y)不存在。主讲人随即强调该判据的局限性:它仅能证明不存在性,而不能证明存在性。

本片段最后提出两个后续问题:第一,如何定义多元函数在某一点处的极限存在?第二,如果沿每一条直线趋近该点所得极限值都相同,那么该极限是否一定存在?这两个问题显示在屏幕上,本片段中并未作答。

该片段以静态授课画面开场,屏幕上是一个白边定理框,框下附有两条编号问题。所显示的数学陈述为:若f(x,y)f(x,y)沿两条不同路径(x,y)→(x0,y0)(x,y)\to (x_0,y_0)具有两个不同的极限,则lim⁡(x,y)→(x0,y0)f(x,y)\lim_{(x,y)\to (x_0,y_0)} f(x,y)不存在。这是一个单向的不存在性检验法:路径极限不相等,已足以否定整个多元函数极限的存在性。

当该定理仍显示在屏幕上时,主讲人将注意力转向问题2:假设所有直线路径趋近所得极限值均相同。口述内容提出疑问——弯曲路径是否可能改变极限值,从而明确指出:所有路径的集合比所有直线路径的集合更广。

本片段的数学要点在于对比。第一个展示的事实提供了一种有效方法,即通过找到两条产生冲突极限的路径来证明极限不存在;第二个展示的问题则探讨看似相反的情形——多条路径所得极限一致。但片段并未将特定路径族(如所有直线)上的极限一致,视作极限存在性的替代定义。

画面切至结束语时,数学内容即告终止。主讲人转入频道推广环节,邀请观众在评论区留言提问、为视频点赞,并继续观看更完整的多元微积分系列播放列表。本片段内未对任一开放性问题给出解答。

知识卡片

01

主要的多变量例子及其奇点

该片段聚焦于 f(x,y)=xyx2+y2f(x,y)=\frac{xy}{x^2+y^2} 并询问关于 lim⁡(x,y)→(0,0)f(x,y)\lim_{(x,y)\to(0,0)} f(x,y) 的问题。该函数在 (0,0)(0,0) 处无定义,因为分母 x2+y2x^2+y^2 在该点为零,因此讲座将函数值的问题与极限行为的问题分开讨论。

f(x,y)=xyx2+y2,lim⁡(x,y)→(0,0)f(x,y)=???f(x,y)=\frac{xy}{x^2+y^2},\qquad \lim_{(x,y)\to(0,0)} f(x,y)=???
02

为何所绘曲面在奇点处可能产生误导

主讲人提醒,3D图像在(0,0)(0,0)附近的显示仅为近似结果。绘图软件在邻近的采样点之间进行插值,而绝不会实际计算那个无定义的点本身,因此视觉上的“捏合”现象应激发我们进行分析,而非取代分析。

03

单变量法则:左右极限不相等,则极限不存在

对于分段函数 f(x)=1f(x)=1 当 x<1x<1 且 f(x)=2f(x)=2 当 x≥1x\ge1,在 x=1x=1 处的左极限为 1,右极限为 2。由于二者不相等,lim⁡x→1f(x)\lim_{x\to1} f(x) 不存在。

lim⁡x→1−f(x)=1≠2=lim⁡x→1+f(x),lim⁡x→1f(x) DNE\lim_{x\to1^-}f(x)=1\ne 2=\lim_{x\to1^+}f(x),\qquad \lim_{x\to1}f(x)\text{ DNE}
04

函数值缺失并不妨碍极限存在

第二个单变量例子:f(x)=1f(x)=1在x≠1x\ne1时,于x=1x=1处无定义,但从左右两侧均趋近于1。因此,双侧极限存在且等于1,这说明了可去间断点(‘可去的洞’)与极限真正不存在之间的区别。

f(x)=1, x≠1,lim⁡x→1f(x)=1f(x)=1,\ x\ne1,\qquad \lim_{x\to1}f(x)=1
05

多元函数极限的路径限制法

为研究多元函数问题,讲者将输入限制在一条经过目标点的选定路径上。选取直线y=xy=x后,f(x,y)=xyx2+y2f(x,y)=\frac{xy}{x^2+y^2}便转化为一个单变量表达式,从而可以运用常规的单变量极限方法。

Restrict to y=x\text{Restrict to }y=x
06

沿路径 y=xy = x 的计算

代入y=xy=x得到x2x2+x2=x22x2\frac{x^2}{x^2+x^2}=\frac{x^2}{2x^2};当x≠0x\ne0时,该式简化为12\frac12。因此,沿该特定路径的极限为12\frac12。本节选到此为止,并未给出整个二元函数极限的最终结论。

lim⁡x→0x22x2=12\lim_{x\to0}\frac{x^2}{2x^2}=\frac12
07

示例函数与关注点

本讲研究f(x,y)=xyx2+y2f(x,y)=\frac{xy}{x^2+y^2}在原点附近的情况。该表达式在(0,0)(0,0)处无定义,整个片段通过比较趋近该点的不同路径,来探究当(x,y)→(0,0)(x,y)\to(0,0)时极限是否存在。

f(x,y)=xyx2+y2f(x,y)=\frac{xy}{x^2+y^2}
08

限定在某条路径上,可将问题降为单变量问题

所展示的方法是给xx和yy施加一个关系式,例如y=xy=x或y=−xy=-x,再代入函数中。这便将多元极限问题转化为普通的单变量极限问题,主讲人称此为复用原有的一维极限概念。

Substitute y=x or y=−x into f(x,y).\text{Substitute } y=x \text{ or } y=-x \text{ into } f(x,y).
09

沿 y=xy = x 路径的极限为1/21/2

代入y=xy=x后,函数变为x2x2+x2=x22x2\frac{x^2}{x^2+x^2}=\frac{x^2}{2x^2}。当x≠0x\neq 0时,该式化简为12\frac12,因此所显示的路径极限为lim⁡x→0x22x2=12\lim_{x\to 0}\frac{x^2}{2x^2}=\frac12。

lim⁡x→0x22x2=12\lim_{x\to 0}\frac{x^2}{2x^2}=\frac12
10

沿 y=−xy = -x 路径的极限为 -1/2

代入y=−xy=-x后,分子变为−x2-x^2,而分母保持为2x22x^2。因此受限后的表达式为−x22x2\frac{-x^2}{2x^2},所显示的路径极限为−12-\frac12。

lim⁡x→0−x22x2=−12\lim_{x\to 0}\frac{-x^2}{2x^2}=-\frac12
11

不同路径极限不等,说明在(0,0)处极限不存在

由于同一函数沿过原点的一条直线趋近于12\frac12,而沿另一条直线趋近于−12-\frac12,主讲人由此得出结论:该函数在(0,0)(0,0)处的完整多元极限不存在。曲面图中两条对角线路径所呈现的视觉对比,支持了这一路径依赖性论证。

12≠−12⇒lim⁡(x,y)→(0,0)xyx2+y2 不存在\frac12\neq -\frac12 \Rightarrow \lim_{(x,y)\to(0,0)}\frac{xy}{x^2+y^2}\text{ 不存在}
12

判断极限不存在的双路径检验法

屏幕上给出的一般规则是:若f(x,y)f(x,y)沿两条不同路径(x,y)→(x0,y0)(x,y)\to(x_0,y_0)具有两个不同的极限,则lim⁡(x,y)→(x0,y0)f(x,y)\lim_{(x,y)\to(x_0,y_0)} f(x,y)不存在。主讲人将此称为‘极限不存在的双路径检验法’。

If two path-limits differ, then the multivariable limit 不存在。\text{If two path-limits differ, then the multivariable limit \text{不存在。}}
13

该检验法仅能证明极限不存在

视频中强调的一个关键注意事项是:双路径检验法在逻辑效力上是单向的——它只能确认某个极限不存在,却无法确认某个极限存在;沿某些路径所得极限值相同,并不能确定极限是否存在。

14

后续问题1:‘存在’意味着什么?

在通过反例确立极限不存在之后,课程进一步提出:如何定义多元函数极限在某一点处存在?这一问题被列为下一个概念性任务,此处并未作答。

15

后续问题2:直线路径是否足够?

最后的提示提问:若函数沿过该点的所有直线路径所得极限均一致,是否就能保证完整的多元函数极限存在?视频明确提出了这一问题,但将解答留待后续内容。

16

用于判断多元函数极限不存在的双路径检验法

视频明确陈述了一个充分条件,用以说明二元函数极限不存在:若f(x,y)f(x,y)沿两条不同路径趋近于(x0,y0)(x_0,y_0)时取值不同,则整体极限lim⁡(x,y)→(x0,y0)f(x,y)\lim_{(x,y)\to (x_0,y_0)} f(x,y)不存在。此方法仅用于证伪极限存在性;本片段并未声称路径极限一致即可证明极限存在。

If f(x,y) has two different limits along two different paths (x,y)→(x0,y0), then lim⁡(x,y)→(x0,y0)f(x,y) 不存在。\text{If } f(x,y) \text{ has two different limits along two different paths } (x,y)\to (x_0,y_0), \text{ then } \lim_{(x,y)\to (x_0,y_0)} f(x,y) \text{ 不存在。}
17

开放性问题:多元函数的极限存在意味着什么?

黑板上的问题1询问如何定义函数在某一点处的极限存在。本片段中,该问题仅作为概念性提示提出,并未给出解答,从而引出后续关于‘仅检验某些路径是否足够’的疑问。

18

开放性问题:所有直线路径是否已足够?

问题2探讨:若函数沿每一条直线路径趋近时极限值均相同,是否就能断定该多元极限存在?说话者立即以一条弯曲路径与直线路径作对比,表明完整的路径空间至关重要;在此片段中,仅凭直线路径结果一致,并不被视为确凿的判定依据。

19

直线路径的一致性与弯曲路径的行为

音频强调了一个关键区别:即使沿所有直线路径所得结果都相同,我们仍可追问函数沿非线性路径时的表现。这凸显了多元函数极限比单变量函数极限更为微妙,也说明了路径选择的重要性。

20

片段在尚未解答这些概念性问题时即结束

在18秒后,视频转入片尾,邀请观众留言、点赞并观看播放列表;本片段中未出现任何证明、反例或两个所列问题的最终答案。

详细学习笔记

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

符号定义 · 24

f(x,y)f(x,y)

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

    左上角公式为 f(x,y)f(x,y)=xy/(x2+y2x^2+y^2)。

  2. 声音
    观察依据

    说话人说:“对于像 f(x,y)f(x,y) 等于 xy 除以 x 的平方加 y 的平方这样的多元函数。”

符号

f(x,y)f(x,y)

含义

视频片段中用作主要示例的二元函数。

适用范围

定义域为满足 x2+y2≠0x^2+y^2 \ne 0 的 (x,y);在 (0,0) 处无定义。

x, y

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

    该公式在 xy/(x2+y2x^2+y^2) 中使用变量 x 和 y。

  2. 声音
    观察依据

    说话人提到在 x-y 平面上趋近点“零零”。

符号

x, y

含义

该多元函数的两个独立实变量。

适用范围

实数,且需满足分母限制条件 x2+y2≠0x^2+y^2 \ne 0,以保证 f 有定义。

lim⁡(x,y)→(0,0)f(x,y)\lim_{(x,y)\to(0,0)} f(x,y)

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

    屏幕文字显示 lim⁡(x,y)→(0,0)f(x,y)\lim _{(x,y)\to (0,0)} f(x,y) = ???。

  2. 声音
    观察依据

    说话人提问:当 x、y 越来越接近 0、0 时,该极限值是多少?

符号

lim⁡(x,y)→(0,0)f(x,y)\lim_{(x,y)\to(0,0)} f(x,y)

含义

该二元函数在输入趋近原点时的极限。

适用范围

被提问的值;视频片段未给出最终答案。

f(x)={1,x<12,x≥1f(x)=\begin{cases}1,&x<1\\2,&x\ge 1\end{cases}

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

    屏幕上的分段定义:f(x)=1f(x)=1 当 x<1x<1 时,且 f(x)=2f(x)=2 当 x≥1x\ge 1 时。

  2. 声音
    观察依据

    主讲人描述同一个一元分段函数。

符号

f(x)={1,x<12,x≥1f(x)=\begin{cases}1,&x<1\\2,&x\ge 1\end{cases}

含义

用一个一元分段函数示例解释极限在 x=1x = 1 处不存在。

适用范围

定义域为全体实数;在 x=1x = 1 处不连续。

lim⁡x→1−f(x)\lim_{x\to1^-} f(x),\ lim⁡x→1+f(x)\lim_{x\to1^+} f(x)

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

    屏幕文字显示:lim_{x->1^-} f(x)=1≠2=lim⁡f(x) = 1 \ne 2 = \lim _{x->1^+} f(x)f(x),随后显示“因此 lim_{x->1} f(x)f(x) 不存在”。

  2. 声音
    观察依据

    主讲人说左极限是 1,右极限是 2,因此该极限不存在。

符号

lim⁡x→1−f(x)\lim_{x\to1^-} f(x),\ lim⁡x→1+f(x)\lim_{x\to1^+} f(x)

含义

该一元分段函数在 x=1x = 1 处的左极限与右极限。

适用范围

从下方和上方趋近于 x=1x = 1。

f(x)=1f(x)=1,\ x≠1x\ne 1

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

    屏幕文字显示:f(x)=1f(x) = 1,其中 x≠1x \ne 1。

  2. 声音
    观察依据

    主讲人说该函数在某一点无定义,但在该点两侧的函数值均为 1。

符号

f(x)=1f(x)=1,\ x≠1x\ne 1

含义

一个一元常函数,在 x=1x = 1 处缺失一个点。

适用范围

全体实数,但 x=1x = 1 除外。

lim⁡x→1f(x)=1\lim_{x\to1} f(x)=1

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

    屏幕文字显示:lim_{x->1^-} f(x)=1=1=lim⁡f(x)=1=1=\lim _{x->1^+} f(x)f(x),因此 lim_{x->1} f(x)=1f(x)=1。

  2. 声音
    观察依据

    主讲人得出结论:该极限存在,且等于1。

符号

lim⁡x→1f(x)=1\lim_{x\to1} f(x)=1

含义

在 x=1x=1 处对去心常值函数取双侧极限。

适用范围

极限描述的是趋近于 x=1x=1 的过程,而非函数值 f(1)f(1)。

y=xy=x

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

    红色文字写着:“限定在直线 y=xy=x 上”。

  2. 声音
    观察依据

    主讲人说:“我要求 y 等于 x”,并称其为一种限制条件。

符号

y=xy=x

含义

选取一条过原点的路径,将多元函数问题简化为单变量问题。

适用范围

xy 平面上过点 (0,0) 的直线。

f(x)=x2x2+x2=x22x2f(x)=\frac{x^2}{x^2+x^2}=\frac{x^2}{2x^2}

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

    屏幕上的推导过程写作:f(x)=x2/(x2+x2)=x2/(2x2)f(x)=x^2/(x^2+x^2)=x^2/(2x^2)。

  2. 声音
    观察依据

    主讲人指出:代入 y=xy=x 后,剩下的是 x 的平方除以 x 的平方加 x 的平方,即 x 的平方除以2x 的平方。

符号

f(x)=x2x2+x2=x22x2f(x)=\frac{x^2}{x^2+x^2}=\frac{x^2}{2x^2}

含义

通过对原多元函数施加路径限制 y=xy=x 所得到的单变量表达式。

适用范围

在所选路径上,当 x≠0x \ne 0 时成立。

lim⁡x→0x22x2=12\lim_{x\to0}\frac{x^2}{2x^2}=\frac12

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

    屏幕文字显示:lim_{x->0} x2/(2x2)=1/2x^2/(2x^2)=1/2。

  2. 声音
    观察依据

    说话人指出,所得单变量极限等于二分之一。

符号

lim⁡x→0x22x2=12\lim_{x\to0}\frac{x^2}{2x^2}=\frac12

含义

沿路径 y=xy=x、当 x 趋近于0时,受限函数的极限。

适用范围

仅为路径极限;该片段并未声称这是完整的二元函数极限。

f(x,y)f(x,y)

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

    显示的函数是f(x,y)=xyx2+y2f(x,y)=\frac{xy}{x^2+y^2}。

  2. 声音
    观察依据

    讲师在本片段中始终将此称为所研究的函数。

符号

f(x,y)f(x,y)

含义

一个用于检验多元函数极限的、实值的二元函数。

适用范围

显示的公式在x2+y2≠0x^2+y^2\neq 0时有定义,因此(x,y)≠(0,0)(x,y)\neq(0,0);视频明确讨论了其在(0,0)(0,0)附近的性态。

x

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

    xx出现在f(x,y)f(x,y)中、受限表达式中以及lim⁡x→0\lim_{x\to 0}中。

  2. 声音
    观察依据

    讲师指出,该限制使yy等于xx或yy等于负xx。

符号

x

含义

该二元函数的一个自变量;在施加限制后,它还作为所选直线上唯一的参数。

知识点 · 15

核心问题:多元函数在未定义点处的极限。

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

    公式 f(x,y)f(x,y)=xy/(x2+y2x^2+y^2) 出现,并配有一个3D曲面图。

  2. 声音
    观察依据

    说话人将本节主题介绍为:多元函数在趋近某一点时的极限。

  3. 公式
    观察依据

    在28处,屏幕添加 lim_{(x,y)->(0,0)} f(x,y)f(x,y) = ???。

定义
解释

该片段将主要问题设定为:确定函数 f(x,y)f(x,y)=xy/(x2+y2x^2+y^2) 在 (x,y) 趋近于 (0,0) 时的行为,尽管该函数在该点本身无定义。说话人明确指出,这一问题源于该点处分母为零。

公式
f(x,y)=xyx2+y2,lim⁡(x,y)→(0,0)f(x,y)=???f(x,y)=\frac{xy}{x^2+y^2},\qquad \lim_{(x,y)\to(0,0)} f(x,y)=???
适用条件
  1. 该函数在 (0,0) 附近被考察。

  2. 在 (0,0) 处,分母为零,因此 f(0,0)f(0,0) 无定义。

关于绘制奇异点的图像警示

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

    一个3D曲面图持续显示在屏幕上,同时说话人讨论 (0,0) 处的‘捏合’现象。

  2. 声音
    观察依据

    说话者指出,该图像仅为近似结果,因为计算机在邻近点之间进行插值,但从未精确计算点(0,0)处的值。

方法
解释

说话者提醒,所显示的曲面在奇异点处不应被字面信任,因为绘图软件通过插值邻近采样点的值来填补该点,而非直接计算该未定义点本身的值。

公式
适用条件
  1. 适用于可视化具有某点无定义值的函数。

  2. 该图像是一种数值近似,并非极限值存在的证明。

先修条目
  1. 核心问题:多元函数在未定义点处的极限。

单变量提示:左右极限不相等意味着极限不存在。

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

    分段定义 f(x)=1f(x) = 1(当 x<1x < 1 时)且 f(x)=2f(x) = 2(当 x≥1x \ge 1 时)已显示。

  2. 公式
    观察依据

    屏幕文字给出:lim_{x→1x\to 1⁻} f(x)=1≠2=lim⁡f(x) = 1 \ne 2 = \lim _{x→1x\to 1⁺} f(x)f(x),随后注明“因此 lim⁡x→1f(x)\lim _{x\to 1} f(x) 不存在”。

  3. 图示
    观察依据

    阶梯状图像在 x=1x = 1 处出现跳跃。

方法
解释

为引入多元情形,视频回顾了一个一维分段函数,并利用 x=1x = 1 处不匹配的左极限与右极限,解释为何双侧极限不存在。

公式
f(x)={1,x<12,x≥1,lim⁡x→1−f(x)=1≠2=lim⁡x→1+f(x),lim⁡x→1f(x) DNEf(x)=\begin{cases}1,&x<1\\2,&x\ge 1\end{cases},\qquad \lim_{x\to1^-}f(x)=1\ne 2=\lim_{x\to1^+}f(x),\qquad \lim_{x\to1}f(x)\text{ DNE}
适用条件
  1. 比较点为 x=1x = 1。

  2. 左极限与右极限不同。

单变量提醒:空缺点并不妨碍极限存在。

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

    屏幕文字显示:f(x)=1f(x) = 1,x≠1x \ne 1。

  2. 公式
    观察依据

    于是 lim_{x→1x\to 1⁻} f(x)=1=1=lim⁡f(x) = 1 = 1 = \lim _{x→1x\to 1⁺} f(x)f(x),因此 lim⁡x→1f(x)=1\lim _{x\to 1} f(x) = 1。

  3. 图示
    观察依据

    在高度为 1 处画出一条水平直线,且在 x=1x = 1 处留有一个空缺点。

方法
解释

第二个一维例子与第一个形成对比:尽管函数在 x=1x = 1 处无定义,但左右两侧的函数值均趋近于同一个数,因此极限存在且等于 1。

公式
f(x)=1, x≠1,lim⁡x→1−f(x)=1=1=lim⁡x→1+f(x),lim⁡x→1f(x)=1f(x)=1,\ x\ne 1,\qquad \lim_{x\to1^-}f(x)=1=1=\lim_{x\to1^+}f(x),\qquad \lim_{x\to1}f(x)=1
适用条件
  1. 该函数仅在 x=1x = 1 处无定义。

  2. 从左右两侧趋近所得的值相同。

先修条目
  1. 单变量提示:左右极限不相等意味着极限不存在。

多变量极限的路径限定法

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

    主讲人说,应对这一问题的一种方法是限定于某一特定方向、某一条特定直线。

  2. 公式
    观察依据

    红色文字显示:“限定于直线 y=xy = x”。

  3. 公式
    观察依据

    屏幕上推导过程将 y=xy = x 代入 f(x,y)f(x, y),化简得 x2/(2x2)x^2/(2x^2)。

  4. 公式
    观察依据

    最终显示的等式为:lim⁡x→0x2/(2x2)=1/2\lim _{x\to 0} x^2/(2x^2) = 1/2。

方法
解释

视频介绍了一种研究多元函数极限的标准策略:选择一条经过目标点的路径,将路径方程代入函数,再研究所得的一元函数极限。此处选取的路径是 y=xy = x,由此得到一个受限表达式,其在 x→0x \to 0 时的极限为 1/21/2。

公式
Restrict to y=x:xyx2+y2↦x2x2+x2=x22x2,lim⁡x→0x22x2=12\text{Restrict to }y=x:\quad \frac{xy}{x^2+y^2}\mapsto \frac{x^2}{x^2+x^2}=\frac{x^2}{2x^2},\qquad \lim_{x\to0}\frac{x^2}{2x^2}=\frac12
适用条件
  1. 所选路径必须经过所趋近的点,此处为 (0, 0)。

  2. 代入运算将多元表达式化简为单变量表达式。

  3. 所计算出的值是一个沿路径的极限,并不自动等同于完整的二元函数极限。

先修条目
  1. 核心问题:多元函数在未定义点处的极限。
  2. 单变量提示:左右极限不相等意味着极限不存在。
  3. 单变量提醒:空缺点并不妨碍极限存在。

用于说明多元极限行为的主要示例函数。

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

    黑板上显示f(x,y)=xyx2+y2f(x,y)=\frac{xy}{x^2+y^2}。

  2. 图示
    观察依据

    展示了该函数的一个3D曲面图,并高亮一条穿过原点的路径。

定义
解释

本片段以有理二元函数f(x,y)=xyx2+y2f(x,y)=\frac{xy}{x^2+y^2}为核心示例;主讲人通过将该函数限制在不同路径上,并比较所得的一元极限,来研究其在原点附近的行为。

公式
f(x,y)=xyx2+y2f(x,y)=\frac{xy}{x^2+y^2}
适用条件
  1. 所显示的公式在(0,0)(0,0)处不适用,因为分母在此处为零。

  2. 该片段聚焦于当(x,y)→(0,0)(x,y)\to(0,0)时的函数行为。

将多元函数限制在某条路径上

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

    讲师指出,在高维背景下他无需为极限另下新定义;他施加了一个限制条件,从而退化为原有的一维极限概念。

  2. 公式
    观察依据

    黑板上将y=xy=x代入f(x,y)f(x,y),得到一个单变量表达式。

方法
解释

所演示的方法是用另一个变量的表达式来替换其中一个变量,从而将二元问题简化为一元极限问题。本片段中选取的限制条件是直线y=xy=x和y=−xy=-x。

公式
Substitute a path relation such as y=x or y=−x into f(x,y).\text{Substitute a path relation such as } y=x \text{ or } y=-x \text{ into } f(x,y).
适用条件
  1. 所选路径必须经过极限待检验的点。

  2. 代入后得到一个单变量表达式,其极限可用常规的一元方法计算。

先修条目
  1. 用于说明多元极限行为的主要示例函数。

沿直线 y=xy = x 的极限

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

    所显示的计算是f(x)=x2x2+x2=x22x2f(x)=\frac{x^2}{x^2+x^2}=\frac{x^2}{2x^2}和lim⁡x→0x22x2=12\lim_{x\to 0}\frac{x^2}{2x^2}=\frac12。

  2. 声音
    观察依据

    讲师称结果为二分之一。

公式
解释

当函数限制在直线 y=xy=x上时,分子变为 x2x^2,而分母变为 2x22x^2,因此限制后的表达式简化为 12\frac12,其中 x≠0x\neq 0。因此,沿此路径当 x→0x\to 0时的单变量极限为 12\frac12。

公式
lim⁡x→0x22x2=12\lim_{x\to 0}\frac{x^2}{2x^2}=\frac12
适用条件
  1. 这是沿特定路径y=xy=x的极限。

  2. 该化简在取极限前对x≠0x\neq 0成立。

先修条目
  1. 用于说明多元极限行为的主要示例函数。
  2. 将多元函数限制在某条路径上

沿直线 y=−xy = -x 的极限

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

    屏幕上显示的计算是f(x)=−x2x2+x2=−x22x2f(x)=\frac{-x^2}{x^2+x^2}=\frac{-x^2}{2x^2}和lim⁡x→0−x22x2=−12\lim_{x\to 0}\frac{-x^2}{2x^2}=-\frac12。

  2. 声音
    观察依据

    主讲人称结果为负二分之一,并将其与上一行的正二分之一作对比。

公式
解释

当函数限制在直线 y=−xy=-x上时,分子变为 −x2-x^2,而分母保持为 2x22x^2。限制后的表达式简化为 −12-\frac12 对于 x≠0x\neq 0,因此沿此路径的单变量极限为 x→0x\to 0 沿此路径的单变量极限是 −12-\frac12。

公式
lim⁡x→0−x22x2=−12\lim_{x\to 0}\frac{-x^2}{2x^2}=-\frac12
适用条件
  1. 这是沿特定路径y=−xy=-x的极限。

  2. 该化简在取极限前对x≠0x\neq 0成立。

先修条目
  1. 用于说明多元极限行为的主要示例函数。
  2. 将多元函数限制在某条路径上

双路径检验法的名称与作用

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

    主讲人明确将该判据称为“极限不存在的双路径检验法”。

  2. 公式
    观察依据

    屏幕上出现一个带方框的定理陈述。

定义
解释

该片段将该判据命名为“极限不存在的双路径检验法”,其作用是通过展示趋近于同一点的两条不同路径得到不同的极限值,从而证明多元函数极限不存在。

公式
适用条件
  1. 它用于得出多元函数极限不存在的结论。

  2. 它不能证明极限存在。

先修条目
  1. 沿直线 y=xy = x 的极限
  2. 沿直线 y=−xy = -x 的极限

关于定义多元函数极限存在的开放性问题。

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

    屏幕文字显示:“问题1:我们如何定义函数在某一点处的极限存在?”

  2. 声音
    观察依据

    主讲人询问,在多元函数背景下,极限存在究竟意味着什么。

定义
解释

在展示不同路径可能产生不同极限之后,主讲人提出了下一个概念性问题:如何定义多元函数极限在某一点处存在。该问题被作为后续内容提出,而非在本片段中作答。

公式
适用条件
  1. 这是本段结尾处提出的、面向未来的问题。

  2. 本片段中未给出正式定义。

先修条目
  1. 双路径检验法的名称与作用

关于是否所有直线路径都足以判定极限存在的开放性问题。

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

    屏幕文字显示:“问题2:假设沿任意一条直线趋近时所得极限值均相同,那么该极限是否一定存在?”

  2. 声音
    观察依据

    主讲人在指出自己此前一直聚焦于直线路径后,开始引入第二个问题。

定义
解释

第二个面向未来的问题是:若函数沿通过该点的每一条直线所趋近的极限值都相同,这是否足以保证完整的多元函数极限存在?本片段仅提出该问题,并未给出解答。

公式
适用条件
  1. 这是一个在本节末尾提出的前瞻性问题。

  2. 该片段在可用时长内未提供答案。

先修条目
  1. 双路径检验法的名称与作用
定理与条件 · 9

该例题中的函数在原点处无定义。

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

    讲解者指出,该函数在 x=0x = 0、y=0y = 0 处无定义,因为此时分母变为零。

  2. 公式
    观察依据

    屏幕上显示的公式分母为 x2+y2x^2 + y^2。

命题
命题

对于 f(x,y)f(x,y) = xy/(x2+y2x^2 + y^2),该函数在 (0, 0) 处无定义,因为分母 x2+y2x^2 + y^2 在该点等于 0。

前提
  1. f(x,y)f(x, y) = xy 除以 (x 的2次方加 y 的2次方)。

  2. 在 (x, y) = (0, 0) 处求值。

量词

在特定点 (0, 0) 处。

单侧极限不相等,意味着双侧极限不存在。

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

    屏幕上显示 lim_{x→1x\to 1⁻} f(x)=1≠2=lim⁡f(x) = 1 \ne 2 = \lim _{x→1x\to 1⁺} f(x)f(x)。

  2. 公式
    观察依据

    屏幕随后显示:因此,当 x 趋近于1时,f(x)f(x) 的极限不存在。

  3. 声音
    观察依据

    说话人指出,左极限与右极限不相等,因此该极限不存在。

命题
命题

若函数在某点处的左极限与右极限不相等,则该点处的双侧极限不存在。

前提
  1. 此处讨论的单侧极限在该点存在,或正在被比较。

  2. 它们的值不同。

量词

在所展示的例子中,该结论应用于 x=1x = 1。

函数在某点无定义时,仍可能在该点处有极限。

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

    屏幕显示:f(x)=1f(x) = 1,其中 x≠1x \ne 1。

  2. 公式
    观察依据

    于是 lim_{x→1x\to 1⁻} f(x)=1=1=lim⁡f(x) = 1 = 1 = \lim _{x→1x\to 1⁺} f(x)f(x),因此 lim⁡x→1f(x)=1\lim _{x\to 1} f(x) = 1。

  3. 声音
    观察依据

    说话人指出,在本例中该极限存在,且等于1。

命题
命题

对于 f(x)=1f(x) = 1(其中 x≠1x \ne 1),当 x 趋近于1时,极限存在且等于1,尽管 f(1)f(1) 未定义。

前提
  1. f(x)=1f(x)=1 对所有 x≠1x \ne 1 成立。

  2. 从左右两侧趋近于 x=1x = 1。

量词

在点 x=1x = 1 处。

沿路径 y=xy = x,受限后的极限等于 1/21/2。

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

    屏幕上的推导显示 f(x)=x2/(x2+x2)=x2/(2x2)f(x) = x^2/(x^2 + x^2) = x^2/(2x^2)。

  2. 公式
    观察依据

    最后一行显示 lim⁡x→0x2/(2x2)=1/2\lim _{x\to 0} x^2/(2x^2) = 1/2。

  3. 声音
    观察依据

    说话人指出,化简后的表达式为 x 的平方除以 2 倍的 x 的平方,且该极限值为二分之一。

待核验内容
  1. 该片段未说明此路径法结果是否能确定完整的多元函数极限。

命题
命题

将 f(x,y)f(x,y) = xy/(x2+y2x^2 + y^2) 限制在直线 y=xy = x 上后,所得关于 x 的单变量极限(当 x 趋近于 0 时)为 1/21/2。

前提
  1. 采用路径 y=xy = x。

  2. 沿该路径令 x→0x \to 0。

量词

沿直线 y=xy = x 趋近于点 (0, 0)。

二路径检验法:用于判断多元函数极限的不存在性

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

    方框中的陈述为:“若f(x,y)f(x,y)沿两条不同路径(x,y)→(x0,y0)(x,y)\to(x_0,y_0)具有两个不同的极限,则lim⁡(x,y)→(x0,y0)f(x,y)\lim_{(x,y)\to(x_0,y_0)} f(x,y)不存在。”

  2. 声音
    观察依据

    讲师将其转述为:若一条路径给出某个极限,而另一条路径给出不同的极限,则该极限一定不存在。

定理
命题

若f(x,y)f(x,y)沿两条不同路径(x,y)→(x0,y0)(x,y)\to(x_0,y_0)具有两个不同的极限,则lim⁡(x,y)→(x0,y0)f(x,y)\lim_{(x,y)\to(x_0,y_0)} f(x,y)不存在。

前提
  1. 存在两条不同的路径趋近于(x0,y0)(x_0,y_0)。

  2. f(x,y)f(x,y)沿每条路径的极限均存在。

  3. 这两条路径对应的极限互不相同。

量词

对于一个二元函数及某点(x0,y0)(x_0,y_0),若存在两个不相等的路径极限,则该多元函数的完整极限不存在。

该示例函数在原点处的结论

依据清楚
依据视频推导
来源依据
  1. 声音
    观察依据

    讲师得出结论:当(x,y)(x,y)趋近于(0,0)(0,0)时,该函数无极限。

  2. 公式
    观察依据

    此前展示的路径计算分别给出12\frac12沿y=xy=x的值和−12-\frac12沿y=−xy=-x的值。

命题
命题

对于f(x,y)=xyx2+y2f(x,y)=\frac{xy}{x^2+y^2},当(x,y)→(0,0)(x,y)\to(0,0)时的极限不存在。

前提
  1. 沿y=xy=x方向,限制下的极限为12\frac12。

  2. 沿y=−xy=-x方向,限制下的极限为−12-\frac12。

  3. 这两个路径极限互不相同。

量词

针对该特定函数,在特定点(0,0)(0,0)处。

双路径检验的适用范围限制

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

    讲师说:“现在这个检验仅能告诉我们极限何时不存在。”

  2. 字幕依据
    观察依据

    随后屏幕上的问题探讨‘存在性’的含义,以及是否仅凭直线路径上极限一致就足以判定极限存在。

命题
命题

双路径检验仅能判定多元函数极限不存在;它无法判定极限存在。

前提
  1. 当前讨论的判据是用于判断极限不存在的双路径检验。

量词

针对视频片段中所提及的该检验。

沿不同路径所得极限不同,意味着多元函数极限不存在。

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

    方框内类定理陈述直接断言:若沿两条不同路径所得极限不同,则整体极限必不存在。

命题
命题

若f(x,y)f(x,y)沿两条不同路径(x,y)→(x0,y0)(x,y)\to (x_0,y_0)具有两个不同的极限,则lim⁡(x,y)→(x0,y0)f(x,y)\lim_{(x,y)\to (x_0,y_0)} f(x,y)不存在。

前提
  1. ff是二元函数。

  2. 存在两条不同的路径趋近于(x0,y0)(x_0,y_0)。

  3. f(x,y)f(x,y)沿这两条路径的极限互不相同。

量词

对于给定的f(x,y)f(x,y)和点(x0,y0)(x_0,y_0),若存在两条极限值不等的路径,则足以判定整体极限不存在。

沿所有直线路径趋近时极限值一致,是否足以保证极限存在——这一问题在本片段中悬而未决。

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

    屏幕上的问题2询问:若函数沿任意直线趋近时极限值都相同,是否能推出该极限存在?

  2. 声音
    观察依据

    主讲人提问:一条弯曲路径是否会改变极限值,还是只有直线路径才重要?

待核验内容
  1. 本片段未给出最终答案或反例。

猜想
命题

假设沿任意直线趋近时都得到相同的值,那么该极限是否一定存在?

前提
  1. 所有沿直线路径趋近(x0,y0)(x_0,y_0)的方式均得到相同的极限值。

量词

结论对所有直线路径均成立;但由此能否推出整体极限存在,此处仅作为问题提出,尚未定论。

推导与证明 · 6

分段定义的单变量极限不存在的推导过程

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

    屏幕显示:lim_{x→1x\to 1⁻} f(x)=1≠2=lim⁡f(x) = 1 \ne 2 = \lim _{x→1x\to 1⁺} f(x)f(x)。

  2. 公式
    观察依据

    屏幕随后显示:因此,当 x 趋近于1时,f(x)f(x) 的极限不存在。

  3. 声音
    观察依据

    讲解者说明:左侧极限是1,右侧极限是2,二者不相等。

严格证明
步骤
  1. 公式
    f(x)={1,x<12,x≥1f(x)=\begin{cases}1,&x<1\\2,&x\ge 1\end{cases}
    解释

    从给定的分段定义出发。

    步骤依据

    依据屏幕上显示的公式及口头描述。

    视频直接表达
  2. 公式
    lim⁡x→1−f(x)=1\lim_{x\to1^-} f(x)=1
    解释

    当 x 从左侧趋近于1时,x 小于1,因此函数取值为1的分支。

    步骤依据

    直接根据分段定义读出。

    视频直接表达
  3. 公式
    lim⁡x→1+f(x)=2\lim_{x\to1^+} f(x)=2
    解释

    当 x 从右侧趋近于1时,x 大于1,因此函数取值为2的分支。

    步骤依据

    直接根据分段定义读出。

    视频直接表达
  4. 公式
    1≠21\ne 2
    解释

    这两个单侧极限是两个不同的数值。

    步骤依据

    对前述两个结果进行比较。

    视频直接表达
  5. 公式
    lim⁡x→1f(x) DNE\lim_{x\to1} f(x)\text{ DNE}
    解释

    因此,函数在 x=1x=1 处的双侧极限不存在。

    步骤依据

    标准判据:左右极限不相等意味着双侧极限不存在。

    视频直接表达
结论

这个单变量分段函数在 x=1x=1 处没有极限,因为它的左极限与右极限不相等。

推导得出:这个去心常值函数的极限为 1。

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

    屏幕上显示 f(x)=1f(x)=1,其中 x≠1x \ne 1。

  2. 公式
    观察依据

    屏幕上显示 lim_{x→1x\to 1⁻} f(x)=1=1=lim⁡f(x)=1=1=\lim _{x→1x\to 1⁺} f(x)f(x),因此 lim⁡x→1f(x)=1\lim _{x\to 1} f(x)=1。

  3. 声音
    观察依据

    讲解者指出,该函数在两侧都等于 1,因此极限存在且等于 1。

严格证明
步骤
  1. 公式
    f(x)=1, x≠1f(x)=1,\ x\ne 1
    解释

    从处处等于 1 的函数出发,仅在缺失点 x=1x=1 处例外。

    步骤依据

    屏幕上显示的公式与口头讲解一致。

    视频直接表达
  2. 公式
    lim⁡x→1−f(x)=1\lim_{x\to1^-} f(x)=1
    解释

    在 1 的左侧,函数值恒为 1,因此左极限为 1。

    步骤依据

    在去心定义域上呈现常值行为。

    视频直接表达
  3. 公式
    lim⁡x→1+f(x)=1\lim_{x\to1^+} f(x)=1
    解释

    在 1 的右侧,函数值也恒为 1,因此右极限为 1。

    步骤依据

    在去心定义域上呈常数行为。

    视频直接表达
  4. 公式
    lim⁡x→1f(x)=1\lim_{x\to1} f(x)=1
    解释

    由于左右极限相等,因此双侧极限存在且等于1。

    步骤依据

    左右极限相等的判定准则。

    视频直接表达
结论

尽管 f(1)f(1) 无定义,但当 x 趋近于 1 时的极限存在且等于 1。

沿路径 y=xy = x 推导极限

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

    红色文字提示:限定在直线 y=xy = x 上。

  2. 公式
    观察依据

    屏幕上显示 f(x)=x2/(x2+x2)=x2/(2x2)f(x) = x^2/(x^2 + x^2) = x^2/(2x^2)。

  3. 公式
    观察依据

    屏幕上显示 lim_{x->0} x2/(2x2)=1/2x^2/(2x^2) = 1/2。

  4. 声音
    观察依据

    说话人指出:将 x 的值代入所有出现 y 的位置,得到 x 的平方除以 x 的平方加 x 的平方,即 x 的平方除以 2x 的平方。

待核验内容
  1. 该片段未继续比较其他路径,也未给出关于完整多元函数极限的最终结论。

严格证明
步骤
  1. 公式
    f(x,y)=xyx2+y2f(x,y)=\frac{xy}{x^2+y^2}
    解释

    从原始的多元函数出发。

    步骤依据

    屏幕上显示的公式。

    视频直接表达
  2. 公式
    y=xy=x
    解释

    选择直线 y=xy = x 作为一条过原点的路径。

    步骤依据

    音频中明确说明,并以红色屏幕文字标出限制条件。

    视频直接表达
  3. 公式
    x⋅xx2+x2\frac{x\cdot x}{x^2+x^2}
    解释

    将 y=xy = x 代入分子与分母。

    步骤依据

    沿所选路径进行代数代入。

    视频直接表达
  4. 公式
    x22x2\frac{x^2}{2x^2}
    解释

    化简 x⋅x=x2x\cdot x = x^2 和 x2+x2=2x2x^2 + x^2 = 2x^2。

    步骤依据

    基础代数运算。

    视频直接表达
  5. 公式
    lim⁡x→0x22x2=12\lim_{x\to0}\frac{x^2}{2x^2}=\frac12
    解释

    在该路径上,当 x≠0x \ne 0 时,比值化简为 1/21/2,因此沿此路径的极限为 1/21/2。

    步骤依据

    约去公因式 x2x^2 距离 x=0x =0,然后取极限。

    视频直接表达
结论

沿特定路径 y=xy = x,受限的一元函数极限为 1/21/2。

沿直线 y=xy = x 推导极限

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

    黑板上先显示f(x)=x2x2+x2=x22x2f(x)=\frac{x^2}{x^2+x^2}=\frac{x^2}{2x^2},然后显示lim⁡x→0x22x2=12\lim_{x\to 0}\frac{x^2}{2x^2}=\frac12。

  2. 声音
    观察依据

    讲师解释道:加上这一限制条件后,该问题就转化为一个已知的一维极限计算问题。

严格证明
步骤
  1. 公式
    f(x,y)=xyx2+y2f(x,y)=\frac{xy}{x^2+y^2}
    解释

    从给定的二元函数出发。

    步骤依据

    在黑板上展示。

    视频直接表达
  2. 公式
    y=xy=x
    解释

    限制在直线y=xy=x上。

    步骤依据

    由红色标签“限制在直线 y=xy = x 上”指出。

    视频直接表达
  3. 公式
    f(x)=x⋅xx2+x2=x22x2f(x)=\frac{x\cdot x}{x^2+x^2}=\frac{x^2}{2x^2}
    解释

    将y=xy=x代入函数,并化简分母。

    步骤依据

    黑板上展示了直接的代数代入过程。

    视频直接表达
  4. 公式
    lim⁡x→0x22x2=12\lim_{x\to 0}\frac{x^2}{2x^2}=\frac12
    解释

    约去公因式x2x^2(适用于x≠0x\neq 0),再求一元极限。

    步骤依据

    展示的计算过程及口述结论为“结果为二分之一”。

    视频直接表达
结论

沿路径y=xy=x,极限值为12\frac12。

沿直线 y=−xy = -x 求极限的推导过程

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

    黑板上先更新为f(x)=−x2x2+x2=−x22x2f(x)=\frac{-x^2}{x^2+x^2}=\frac{-x^2}{2x^2},再更新为lim⁡x→0−x22x2=−12\lim_{x\to 0}\frac{-x^2}{2x^2}=-\frac12。

  2. 声音
    观察依据

    讲师指出,新增的限制条件会引入负号,并得出负二分之一。

严格证明
步骤
  1. 公式
    f(x,y)=xyx2+y2f(x,y)=\frac{xy}{x^2+y^2}
    解释

    从同一个二元函数重新开始。

    步骤依据

    原始公式仍保留在黑板上。

    视频直接表达
  2. 公式
    y=−xy=-x
    解释

    将限制条件改为直线y=−xy=-x。

    步骤依据

    由更新后的红色标签“限制在直线 y=−xy = -x 上”明确标出。

    视频直接表达
  3. 公式
    f(x)=x(−x)x2+(−x)2=−x22x2f(x)=\frac{x(-x)}{x^2+(-x)^2}=\frac{-x^2}{2x^2}
    解释

    代入y=−xy=-x并化简。

    步骤依据

    黑板上展示了直接的代数代入过程。

    视频直接表达
  4. 公式
    lim⁡x→0−x22x2=−12\lim_{x\to 0}\frac{-x^2}{2x^2}=-\frac12
    解释

    约去x2x^2得到x≠0x\neq 0,再计算该一元函数的极限。

    步骤依据

    屏幕上显示计算过程,并口述结论:“负二分之一。”

    视频直接表达
结论

沿路径y=−xy=-x,极限值为−12-\frac12。

利用两条不同路径的极限值不相等来判断极限不存在

依据清楚
依据视频推导
来源依据
  1. 声音
    观察依据

    主讲人比较了这两个结果,得出在(0,0)(0,0)处极限不存在的结论。

  2. 公式
    观察依据

    方框中的定理指出:若沿两条不同路径的极限值不相等,则多元函数的极限不存在。

严格证明
步骤
  1. 公式
    lim⁡x→0x22x2=12\lim_{x\to 0}\frac{x^2}{2x^2}=\frac12
    解释

    其中一条路径给出的极限值为12\frac12。

    步骤依据

    此前已沿y=xy=x推导得出。

    视频直接表达
  2. 公式
    lim⁡x→0−x22x2=−12\lim_{x\to 0}\frac{-x^2}{2x^2}=-\frac12
    解释

    另一条路径给出的极限值为−12-\frac12。

    步骤依据

    此前已沿y=−xy=-x推导得出。

    视频直接表达
  3. 公式
    12≠−12\frac12\neq -\frac12
    解释

    这两条路径的极限值互不相同。

    步骤依据

    对已计算出的数值进行直接比较。

    依据视频推导
  4. 公式
    lim⁡(x,y)→(0,0)xyx2+y2 不存在\lim_{(x,y)\to(0,0)}\frac{xy}{x^2+y^2}\text{ 不存在}
    解释

    因此,该多元函数在原点处的极限不存在。

    步骤依据

    依据屏幕上所陈述的双路径检验法。

    视频直接表达
结论

因为从两个不同方向趋近于(0,0)(0,0)时得到的极限值不同,所以函数f(x,y)=xyx2+y2f(x,y)=\frac{xy}{x^2+y^2}在(0,0)(0,0)处的多元极限不存在。

例题详解 · 4

主要例子:考察 lim_{(x,y)->(0,0)} xy/(x2+y2x^2+y^2)。

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

    主显示函数为 f(x,y)f(x, y) = xy / (x2+y2x^2 + y^2)。

  2. 图示
    观察依据

    一个 3D 曲面图贯穿开场与结尾部分,伴随该公式始终。

  3. 公式
    观察依据

    随后屏幕提问:lim⁡(x,y)→(0,0)f(x,y)\lim _{(x,y)\to (0,0)} f(x,y) = ???,然后计算其在 y=xy = x 上的限制。

待核验内容
  1. 该片段在完成一条路径的计算后即停止,未给出整个二元函数极限的最终结论。

题目

确定如何分析函数 f(x,y)f(x,y)=xy/(x2+y2x^2+y^2) 在 (x,y) 趋近于 (0,0) 时的极限,其中该函数在此点无定义。

已知条件
  1. f(x,y)f(x,y) = xy 除以 (x 的2次方加 y 的2次方)。

  2. 所关注的点为 (0,0)。

  3. 分母在 (0,0) 处为零。

目标

理解极限的含义,并通过限制路径的方式开始求值。

步骤
  1. 公式
    f(x,y)=xyx2+y2f(x,y)=\frac{xy}{x^2+y^2}
    解释

    明确待研究的函数。

    步骤依据

    显示公式并进行口头介绍。

    视频直接表达
  2. 公式
    (x,y)→(0,0)(x,y)\to(0,0)
    解释

    关注函数趋近原点的过程,而非其在原点处的取值。

    步骤依据

    讲解者明确提问:当 x、y 越来越接近 0、0 时,会发生什么?

    视频直接表达
  3. 公式
    Restrict to y=x\text{Restrict to }y=x
    解释

    选取一条经过原点的特定路径,将问题降为单变量问题。

    步骤依据

    主讲人介绍路径限制法,作为一种应对该问题的策略。

    视频直接表达
  4. 公式
    lim⁡x→0x22x2=12\lim_{x\to0}\frac{x^2}{2x^2}=\frac12
    解释

    沿该路径计算所得的一元极限。

    步骤依据

    代数推导过程在屏幕上展示并同步口述。

    视频直接表达
结果

视频片段得出沿 y=xy=x 路径的路径值为1/21/2,但本片段中未给出该二元函数极限的最终结论。

检验

验证需通过比较多条路径或应用多元函数极限的严格定义;本片段未展示此类比较。

辅助示例:一元分段跳跃函数

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

    分段函数及单侧极限的表述在屏幕上呈现。

  2. 图示
    观察依据

    阶梯图展示了在 x=1x=1 处的跳跃。

题目

借助一维示例解释极限何时不存在。

已知条件
  1. f(x)=1f(x) =1 当 x<1x < 1。

  2. f(x)=2f(x) =2 当 x≥1x \ge 1。

目标

判断 lim_{x->1} f(x)f(x) 是否存在。

步骤
  1. 公式
    lim⁡x→1−f(x)=1\lim_{x\to1^-} f(x)=1
    解释

    左支给出值1。

    步骤依据

    分段定义。

    视频直接表达
  2. 公式
    lim⁡x→1+f(x)=2\lim_{x\to1^+} f(x)=2
    解释

    右支给出值2。

    步骤依据

    分段定义。

    视频直接表达
  3. 公式
    lim⁡x→1f(x) DNE\lim_{x\to1} f(x)\text{ DNE}
    解释

    由于单侧极限不相等,双侧极限不存在。

    步骤依据

    标准极限判据。

    视频直接表达
结果

函数在 x=1x=1 处极限不存在。

检验

不匹配关系1 != 2直接验证了极限不存在。

辅助示例:单变量可去间断点

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

    屏幕显示 f(x)=1f(x)=1,其中 x != 1,且两侧单侧极限相等。

  2. 图示
    观察依据

    一条水平直线,在 x=1x=1 处缺失一个点。

题目

说明一个函数可以在其未定义的点处存在极限。

已知条件
  1. f(x)=1f(x) =1 对所有 x≠1x \ne 1。

目标

计算 lim⁡x→1f(x)\lim _{x\to 1} f(x)。

步骤
  1. 公式
    lim⁡x→1−f(x)=1\lim_{x\to1^-} f(x)=1
    解释

    从左侧趋近时,函数始终处于常数分支 1。

    步骤依据

    穿孔常函数的定义。

    视频直接表达
  2. 公式
    lim⁡x→1+f(x)=1\lim_{x\to1^+} f(x)=1
    解释

    从右侧趋近时,函数也始终处于常数分支 1。

    步骤依据

    穿孔常函数的定义。

    视频直接表达
  3. 公式
    lim⁡x→1f(x)=1\lim_{x\to1} f(x)=1
    解释

    左右极限相等,说明双侧极限存在,且等于 1。

    步骤依据

    标准极限判据。

    视频直接表达
结果

该极限存在且等于 1,尽管 f(1)f(1) 无定义。

检验

两个单侧极限相等,验证了极限的存在性。

例题:检验函数 xy/(x2+y2x^2+y^2) 在点 (0,0) 处的极限。

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

    整个片段围绕f(x,y)=xyx2+y2f(x,y)=\frac{xy}{x^2+y^2}展开,并计算其在原点处的路径极限。

  2. 声音
    观察依据

    讲师使用该例题引出双路径检验法。

题目

通过比较不同路径上的极限,判断lim⁡(x,y)→(0,0)xyx2+y2\lim_{(x,y)\to(0,0)}\frac{xy}{x^2+y^2}是否存在。

已知条件
  1. 对应的式子为:f(x,y)=xyx2+y2f(x,y)=\frac{xy}{x^2+y^2}

  2. 路径1:y=xy=x

  3. 路径2:y=−xy=-x

  4. 目标点:(0,0)(0,0)

目标

判断函数在(0,0)(0,0)处的完整多元极限是否存在。

步骤
  1. 公式
    Restrict to y=x\text{Restrict to } y=x
    解释

    将yy替换为xx,从而在第一条路径上得到一个单变量函数。

    步骤依据

    讲座中演示的方法。

    视频直接表达
  2. 公式
    lim⁡x→0x22x2=12\lim_{x\to 0}\frac{x^2}{2x^2}=\frac12
    解释

    沿路径y=xy=x的极限等于12\frac12。

    步骤依据

    在黑板上以代数形式展示,并口头陈述。

    视频直接表达
  3. 公式
    Restrict to y=−x\text{Restrict to } y=-x
    解释

    将yy替换为−x-x,从而沿第二条路径得到一个单变量函数。

    步骤依据

    讲座中演示的方法。

    视频直接表达
  4. 公式
    lim⁡x→0−x22x2=−12\lim_{x\to 0}\frac{-x^2}{2x^2}=-\frac12
    解释

    沿y=−xy=-x的极限等于−12-\frac12。

    步骤依据

    在黑板上以代数形式展示,并口头陈述。

    视频直接表达
  5. 公式
    12≠−12\frac12\neq -\frac12
    解释

    两条路径的极限值不一致。

    步骤依据

    对计算所得数值进行直接比较。

    依据视频推导
  6. 公式
    lim⁡(x,y)→(0,0)xyx2+y2 不存在\lim_{(x,y)\to(0,0)}\frac{xy}{x^2+y^2}\text{ 不存在}
    解释

    因此,该多元函数在原点处的极限不存在。

    步骤依据

    依据极限不存在的双路径检验法。

    视频直接表达
结果

该极限在(0,0)(0,0)处不存在。

检验

验证内含于该方法本身:两条明确的路径均趋近于同一点,却得出不同的极限值,从而触发前述双路径检验法。

图示与动画 · 11

片头标题动画

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

    黑色黑板背景,手写风格动画标题文字依次呈现。

  2. 字幕依据
    观察依据

    标题为:多元函数的极限。

图中对象
  1. 黑板背景

  2. 手写风格的标题文字

变化过程
  1. 文字逐字出现,直至完整标题显现。

不变量
  1. 尚未显示任何数学公式。

  2. 未出现主讲人画面。

数学含义

本片段作为标题卡,用于在正式授课内容开始前引入主题。

多变量曲面图,突出显示奇点

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

    左侧显示一个3D曲面图,横纵坐标轴刻度范围大致为 x 和 y 方向从 -2 到 2,垂直方向约为 -1 到 1。

  2. 公式
    观察依据

    左上角公式 f(x,y)f(x,y)=xy/(x2+y2x^2+y^2) 清晰可见。

  3. 公式
    观察依据

    粉色批注“在(0,0)处有问题!”指向原点区域。

  4. 公式
    观察依据

    在28s处,出现直线 lim_{(x,y)->(0,0)} f(x,y)f(x,y) = ???。

待核验内容
  1. 坐标轴精确刻度标签较小;整体范围清晰,但精细读数仅为近似值。

图中对象
  1. 3维曲面图

  2. 公式 f(x,y)f(x,y)=xy/(x2+y2x^2+y^2)

  3. 粉色箭头标注

  4. 极限问题文字

  5. 讲解者位于右侧

变化过程
  1. 极限问题在初始设定之后出现。

  2. 讲解者手势指向曲面的捏合区域。

不变量
  1. 该曲面在整个时间段内始终使用同一个示例函数。

  2. 被高亮标出的问题位置是(0,0)。

数学含义

该可视化图像辅助说明:原点是一个奇异的捏合点,且所绘制的曲面仅是在该点附近基于插值的近似。

单变量跳跃图像

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

    2D 图显示一条位于 y = 的水平红色线段1 当 x<1x < 1 且另一个在 y=2y = 2 当 x≥1x \ge 1。

  2. 公式
    观察依据

    分段定义与单侧极限表述显示在图像上方。

图中对象
  1. 坐标网格

  2. 两条水平的红色线段

  3. 分段表达式

  4. 单侧极限表达式

变化过程
  1. 该图像取代了先前的3D曲面。

  2. 文字从函数定义出发,逐步推导出左右极限不匹配,并得出极限不存在(DNE)的结论。

不变量
  1. 间断点位于 x=1x=1 处。

  2. 左侧极限值为1,右侧极限值为2。

数学含义

该图示将抽象规则具体化:当左右极限不相等时,双侧极限不存在。

单变量可去间断点图像

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

    一条位于 y=1y=1 的水平红色直线被画出,但在 x=1x=1 处缺失一个点。

  2. 公式
    观察依据

    文字显示 f(x)=1f(x) = 1,x≠1x \ne 1,随后是对应的单侧极限,得出极限值 = 1。

图中对象
  1. 坐标网格

  2. 位于 y=1y = 1 处的水平红色直线

  3. 在 x=1x = 1 处存在空缺

  4. 极限表达式

变化过程
  1. 此前的跳跃型图像被替换为一个带穿孔的单层图像。

  2. 文字由“不存在”(DNE)更改为存在且等于 1 的极限。

不变量
  1. 该函数在其显示窗口内所有有定义的点上,函数值均为 1。

  2. 唯一的例外点是 x=1x = 1。

数学含义

与前一示例的视觉对比表明:在某一点处缺失函数值,与从左右两侧趋近时得到不相容的结果,二者是不同的。

在多元函数曲面上可视化路径限制

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

    3D 曲面图重新出现在左侧。

  2. 公式
    观察依据

    红色文字说明:限制在直线 y=xy=x 上。

  3. 动画
    观察依据

    在曲面上绘制一条红色直线,对应路径 y=xy=x。

  4. 公式
    观察依据

    代数推导文字逐步呈现:f(x)=x2/(x2+x2)=x2/(2x2)f(x)=x^2/(x^2+x^2)=x^2/(2x^2),然后 lim_{x->0} x2/(2x2)=1/2x^2/(2x^2)=1/2。

待核验内容
  1. 红色路径线的几何厚度与端点仅为视觉近似,但所意图的路径 y=xy=x 是明确的。

图中对象
  1. 3维曲面图

  2. 红色路径线

  3. 限制标签

  4. 代数推导文字

  5. 讲解人

变化过程
  1. 场景从1维示例回归到原始的2维函数。

  2. 叠加一条红色直线以标示所选路径。

  3. 代数化简与最终的路径极限依次出现。

不变量
  1. 底层函数保持为 f(x,y)f(x,y)=xy/(x2+y2x^2+y^2)。

  2. 所选路径一旦引入,便始终为 y=xy=x。

数学含义

动画将抽象的代入 y=xy=x 与曲面上的一条具体曲线联系起来,展示如何将多元问题沿该路径约化为单变量极限。

带高亮路径 y=xy=x 的曲面图

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

    一个 3D 曲面图显示了 f(x,y)=xyx2+y2f(x,y)=\frac{xy}{x^2+y^2},一条红色直线标记了经过原点的路径 y=xy=x。

  2. 公式
    观察依据

    红色标签显示“限制在直线 y=xy=x 上”

待核验内容
  1. 坐标轴的确切朝向在每一帧中都可见,但并非每一帧都完整标注;其数学含义可从公式和讲解中明确理解。

图中对象
  1. 3维 f(x,y)=xyx2+y2f(x,y)=\frac{xy}{x^2+y^2} 的曲面

  2. 曲面上的红色直线

  3. 坐标轴

  4. 公式面板

变化过程
  1. 红色高亮路径对应于 y=xy=x。

  2. 所显示的代数表达式从一般函数更新为受限的一元表达式。

不变量
  1. 底层函数仍为 f(x,y)=xyx2+y2f(x,y)=\frac{xy}{x^2+y^2}。

  2. 关注的点是原点。

数学含义

该可视化强调:沿直线 y=xy=x 趋近原点时,高度呈现出确定的变化趋势,该趋势对应于所计算出的极限 12\frac12。

曲面图切换为路径 y=−xy = -x

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

    红色高亮直线变为另一条对角线,与标签“限制在直线 y=−xy = -x 上”相匹配。

  2. 公式
    观察依据

    代数表达式变为−x22x2\frac{-x^2}{2x^2},极限变为−12-\frac12。

图中对象
  1. 相同的3D 曲面

  2. 另一条对角线上的新红色直线

  3. 更新后的公式面板

变化过程
  1. 高亮路径从y=xy=x变为y=−xy=-x。

  2. 所显示的受限表达式在分子中变号。

  3. 计算所得的极限从12\frac12变为−12-\frac12。

不变量
  1. 曲面本身并未改变。

  2. 目标点仍为原点。

数学含义

视觉对比表明,对同一点采用不同的直线趋近方式可能导致不同的极限高度,从而支持极限的路径依赖性。

屏幕上显示‘双路径检验法’的定理方框

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

    一个方框内显示如下语句:“若f(x,y)f(x,y)沿两条不同路径(x,y)→(x0,y0)(x,y)\to(x_0,y_0)具有两个不同的极限,则lim⁡(x,y)→(x0,y0)f(x,y)\lim_{(x,y)\to(x_0,y_0)} f(x,y)不存在。”

  2. 声音
    观察依据

    主讲人将此称为‘极限不存在的双路径检验法’。

图中对象
  1. 方框内的定理文字

  2. 主讲人站在该方框旁讲解

变化过程
  1. 视频片段从具体例题过渡到一般性判据。

不变量
  1. 该例题函数已验证其沿不同路径的极限值不相等。

数学含义

该方框将例题中所用推理形式化:若沿不同路径的极限不相等,则多元函数在该点的整体极限不存在。

屏幕上呈现的收尾提问提示

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

    屏幕文字依次显示:“问题1:我们如何定义函数在某点处的极限存在?”随后显示:“问题2:假设沿任意一条直线趋近时所得极限值均相同,那么该极限是否一定存在?”

  2. 声音
    观察依据

    主讲人将这两个问题作为后续将探讨的内容加以引出。

图中对象
  1. 屏幕上显示的两个问题陈述

  2. 主讲人

变化过程
  1. 讲解内容从极限不存在性检验,转向开放性的概念问题。

不变量
  1. 讨论持续围绕多元函数极限与路径依赖推理展开。

数学含义

画面提示当前片段通过反例路径证明极限不存在,但尚未定义极限存在性,也未判定沿直线路径结果一致是否足以保证极限存在。

概念讨论期间,定理与问题展示板保持静止。

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

    讲师站在深色黑板风格背景前,左上方有一个白边框框,内含‘双路径定理’文字,以及下方两个编号问题。

  2. 动画
    观察依据

    主讲人在讲话时伴有手势;此时间段内未出现任何数学图示的变化。

图中对象
  1. 讲师

  2. 带白边框的定理框

  3. 问题1文字

  4. 问题2文字

  5. 黑板风格背景

变化过程
  1. 仅有说话人的手势发生变化。

  2. 屏幕上显示的数学文字在整个该时间段内保持固定。

不变量
  1. 关于两条不同路径极限值的定理陈述持续可见。

  2. 问题1与问题2保持在屏幕上,且内容不变。

数学含义

视觉布局将一个已知的、用于判断极限不存在的充分判据,与两个尚未解决的概念性问题分隔开来:其一是如何定义极限存在,其二是沿直线趋近时极限值一致是否足以保证极限存在。

场景切换至结束语设置

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

    在18秒时,画面切换至另一间房间,内有吸音泡沫板、桌面麦克风、一台笔记本电脑,以及一台显示着‘订阅’字样的显示器。

  2. 动画
    观察依据

    说话人在结束语中先向下指,随后竖起大拇指。

图中对象
  1. 讲师穿着不同的衬衫

  2. 请关注并点击“订阅”

  3. 桌面麦克风

  4. 笔记本电脑

  5. 吸音泡沫墙面板

变化过程
  1. 背景从黑板风格的讲授画面彻底切换为办公室/演播室布置。

  2. 主讲人的手势由解释性手部动作转变为指向和竖起大拇指。

不变量
  1. 剪辑之后不再出现任何新的数学内容。

数学含义

这一视觉转换标志着数学讨论的结束,以及频道推广环节的开始。

易错点 · 7

切勿将所绘制曲面在未定义点处的表现视为精确值。

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

    主讲人说,当他尝试绘制此类图像时,结果仅为近似,因为计算机是在邻近点之间插值,但永远不会等于 0,0。

误区

人们可能认为,计算机生成的图像显示了函数在 (0,0) 处的真实取值或极限行为,因为曲面在该处看起来是连续的。

说明

主讲人明确警告:该图像由邻近采样点插值得到,并未对未定义点本身进行计算,因此仅凭图像不足以判定极限是否存在。

在某点无定义,并不自动意味着极限不存在。

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

    屏幕显示 f(x)=1f(x)=1, x != 1,然后 lim_{x->1} f(x)=1f(x)=1。

  2. 声音
    观察依据

    主讲人对比了函数在某一点无定义的情形与其在该点极限存在的可能性。

误区

学生可能将‘函数在此处无定义’与‘极限在此处不存在’混为一谈。

说明

该片段的第二个单变量示例表明:即使 f(1)f(1) 未定义,只要左右两侧都趋近于同一数值,极限仍可能存在。

单条路径的计算本身并不等同于完整的多元函数极限。

时间近似
补充解释
来源依据
  1. 公式
    观察依据

    该片段仅计算了一条路径 y=xy = x,并得到结果 1/21/2。

  2. 声音
    观察依据

    主讲人将路径限制作为一种初步应对问题的方法加以介绍,而非作为完整极限的最终证明。

待核验内容
  1. 这一警示是分析者额外添加的说明;原片段本身并未明确警告不可仅凭单条路径过度推断。

误区

人们可能从所展示的值 1/21/2推断出,二元函数极限 lim_{(x,y)->(0,0)} f(x,y)f(x,y) 已被确定。

说明

编辑说明:该片段仅沿选定路径 y=xy = x 计算了函数值。要判定完整的二元函数极限,还需补充论证或与其他路径进行比较,而本片段未呈现这些内容。

误将双路径检验当作极限存在的判据

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

    主讲人明确指出,该检验仅能告诉我们极限何时不存在。

  2. 字幕依据
    观察依据

    后续问题探讨极限存在的含义,以及沿直线路径结果一致是否已足够。

误区

有人可能认为,只要检验若干条路径并得到相同的结果,就能证明多元函数极限存在。

说明

该片段指出,双路径检验仅在两条路径给出不同极限时可证明极限不存在;它不能确立极限存在性,且主讲人另行提出了‘极限存在’究竟意味着什么这一问题。

假设所有直线路径都足以判定该极限

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

    问题2询问:沿任意一条直线路径结果一致,是否足以保证极限存在?

  2. 声音
    观察依据

    主讲人指出自己此前一直聚焦于直线路径,并将此作为尚待解决的问题提出。

待核验内容
  1. 该片段提出了这个问题,但在当前视频时长内并未给出答案。

误区

人们可能认为,如果经过该点的每一条直线都给出相同的极限值,那么完整的多元函数极限就一定存在。

说明

视频明确将此作为一个开放性问题提出,而非断言其为真。在本片段中,并未证明直线路径结果一致就足以保证极限存在。

误将所有直线路径上的一致性当作多元函数极限存在的充分证明

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

    问题2明确询问:沿任意直线路径取得一致结果,是否意味着极限存在?

  2. 声音
    观察依据

    主讲人接着提问:若沿弯曲路径趋近,结果是否会改变该极限?

误区

人们可能认为,只要沿每条直线路径趋近都得到相同数值,那么该多元函数的极限就一定存在。

说明

该视频将此问题视为开放性问题,并立即对比直线路径与弯曲路径,表明仅凭直线路径上的极限一致,并不能作为整个极限存在的充分证据。

混淆了极限不存在的判别法与极限存在的判别法

依据清楚
依据视频推导
来源依据
  1. 公式
    观察依据

    所展示的命题仅从两条不同路径的极限不等,推出极限不存在。

  2. 声音
    观察依据

    根据该定理的表述,其逻辑蕴含方向是从路径极限不等推出极限不存在,而非反向推导。

误区

人们可能错误地将‘两条路径法则’理解为:若多条路径上的极限相同,则原极限一定存在。

说明

所展示的命题是单向的:不同路径的极限不等意味着极限不存在;它并未声称相同路径极限意味着极限存在。

概念关系 · 12

多变量极限的路径限定法 → 单变量提示:左右极限不相等意味着极限不存在。

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

    主讲人说:“为帮助我理解这一点,让我们回到一维情形。”

  2. 公式
    观察依据

    该视频先从 2D 函数切换到两个 1D 示例,之后再回到 2D 问题。

先修
解释

该片段借助一元函数极限的推理,为理解多元示例中的路径限制方法做铺垫。

单变量提示:左右极限不相等意味着极限不存在。 → 单变量提醒:空缺点并不妨碍极限存在。

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

    第一个 1D 示例以极限不存在(DNE)结束,原因是单侧极限不相等。

  2. 公式
    观察依据

    第二个 1D 示例以极限等于 1 结束,尽管函数在该点无定义。

对比
解释

这两个单变量例子被刻意对比:两边不匹配会破坏极限,而单独缺失一个点则不会。

多变量极限的路径限定法 → 核心问题:多元函数在未定义点处的极限。

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

    主讲人回到多变量情形,并指出处理它的一种方法是限制在某一条直线上。

  2. 公式
    观察依据

    将限制条件 y=xy=x 直接应用于 f(x,y)f(x,y)=xy/(x2+y2x^2+y^2)。

应用
解释

路径限制法被专门引入,作为探究核心多变量极限问题的工具。

单变量提示:左右极限不相等意味着极限不存在。 → 多变量极限的路径限定法

依据清楚
依据视频推导
来源依据
  1. 公式
    观察依据

    代入 y=xy=x 后,问题变为 lim_{x->0} x2/(2x2)x^2/(2x^2)。

  2. 声音
    观察依据

    主讲人指出,该限制使多变量函数转化为一个我们已知如何处理的单变量函数。

证明依赖
解释

一旦选定一条路径,多变量问题便可用常规的单变量极限技巧来处理,而前述例子已对此进行了复习。

将多元函数限制在某条路径上 → 沿直线 y=xy = x 的极限

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

    讲师指出,施加限制后,它就退化为原先的一元函数极限概念。

  2. 公式
    观察依据

    黑板在代入 f(x,y)f(x,y) 后将 y=xy=x 转换为单变量表达式。

应用
解释

通过限制在某条路径上的方法,来计算沿y=xy=x的单变量极限。

例题:检验函数 xy/(x2+y2x^2+y^2) 在点 (0,0) 处的极限。 → 二路径检验法:用于判断多元函数极限的不存在性

依据清楚
依据视频推导
来源依据
  1. 声音
    观察依据

    讲师从已计算出的两条路径极限,过渡到所命名的判别准则。

  2. 公式
    观察依据

    方框中的定理将例题的推理过程进行了推广。

证明依赖
解释

所演示的例题提供了具体的、不相等的路径极限,从而引出并具体实现了通用的双路径检验法。

二路径检验法:用于判断多元函数极限的不存在性 → 该示例函数在原点处的结论

依据清楚
依据视频推导
来源依据
  1. 声音
    观察依据

    讲师在比较两条路径的结果后,得出结论:(0,0)(0,0)处不存在极限。

  2. 公式
    观察依据

    定理方框指出:若不同路径的极限值不同,则极限不存在。

应用
解释

通用的双路径检验法被应用于该具体函数,从而得出其在原点处的极限不存在的结论。

双路径检验的适用范围限制 → 关于定义多元函数极限存在的开放性问题。

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

    在指出该检验法仅能证明极限不存在之后,讲师提问:‘存在’究竟意味着什么?

  2. 字幕依据
    观察依据

    问题1出现在屏幕上。

对比
解释

该检验法的局限性引出了一个独立问题:如何定义多元函数极限的存在性。

将多元函数限制在某条路径上 → 关于是否所有直线路径都足以判定极限存在的开放性问题。

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

    讲师指出自己此前一直聚焦于直线路径,并由此引出第二个问题。

  2. 字幕依据
    观察依据

    问题2询问:是否只要沿任意直线路径所得极限一致,就足以保证极限存在?

对比
解释

本片段所用方法是限制在直线路径上进行检验,而最终的问题则将此方法与一个尚未解决的问题形成对比——即单靠直线路径是否足以判定极限是否存在。

二路径检验法:用于判断多元函数极限不存在 → 开放性问题2:所有直线路径上的极限一致,是否等价于整体极限存在?

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

    方框中的定理关注的是两条不同路径以及极限不存在的情形。

  2. 字幕依据
    观察依据

    问题2询问:若所有直线路径都给出相同值,该极限是否就存在?

对比
解释

第一项提供了一种通过找到不等路径极限来证伪极限存在的有效方法;而第二项则探讨其逆向情形——即多条路径极限一致时的情况;这种对比凸显出:选定路径上的一致性,并未被当作已证明的极限不存在判据来对待。

开放性问题1:函数在某点处极限存在的定义 → 开放性问题2:所有直线路径上的极限一致,是否等价于整体极限存在?

依据清楚
依据视频推导
来源依据
  1. 字幕依据
    观察依据

    问题1询问:如何定义一个极限在某点处存在?

  2. 字幕依据
    观察依据

    问题2询问:直线路径上的一致性是否能强制推出极限存在?

先修
解释

判断直线路径上的一致性是否充分,取决于我们是否拥有多元函数极限存在的精确定义。

二路径检验法:用于判断多元函数极限不存在 → lim⁡(x,y)→(x0,y0)\lim_{(x,y)\to (x_0,y_0)}

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

    该定理是针对lim⁡(x,y)→(x0,y0)f(x,y)\lim_{(x,y)\to (x_0,y_0)} f(x,y)陈述的。

应用
解释

双路径不存在法专门应用于屏幕上显示的多元函数极限记号。

问题定位 · 19

本片段开头引入的主要极限问题是什么?

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

    屏幕上显示 f(x,y)f(x,y)=xy/(x2+y2x^2+y^2),随后显示 lim_{(x,y)->(0,0)} f(x,y)f(x,y)=???。

  2. 声音
    观察依据

    主讲人介绍了多变量函数趋近于某一点时的极限。

涉及知识点
  1. 核心问题:多元函数在未定义点处的极限。

为什么函数 f(x,y)f(x,y)=xy/(x2+y2x^2+y^2) 在点 (0,0) 处无定义?

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

    主讲人指出,在 x=0x=0、y=0y=0 处分母变为零。

  2. 公式
    观察依据

    分母为 x2+y2x^2+y^2。

涉及知识点
  1. 核心问题:多元函数在未定义点处的极限。
  2. 该例题中的函数在原点处无定义。

为什么主讲人说所绘制的曲面在奇点附近仅是近似?

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

    讲解者指出,该图像仅为近似结果,因为计算机在邻近点之间进行了插值。

涉及知识点
  1. 关于绘制奇异点的图像警示
  2. 切勿将所绘制曲面在未定义点处的表现视为精确值。

为什么这个单变量分段函数在 x=1x=1 处没有极限?

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

    屏幕上显示 lim_{x→1x\to 1^−} f(x)=1≠2=lim⁡f(x) = 1 \ne 2 = \lim _{x→1x\to 1^+} f(x)f(x),因此 lim⁡x→1f(x)\lim _{x\to 1} f(x) 不存在。

涉及知识点
  1. 单变量提示:左右极限不相等意味着极限不存在。
  2. 单侧极限不相等,意味着双侧极限不存在。
  3. 分段定义的单变量极限不存在的推导过程

当函数在所趋近的点处无定义时,极限是否仍可能存在?

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

    屏幕上显示:f(x)=1f(x)=1(当 x≠1x \ne 1),且 lim⁡x→1f(x)=1\lim _{x\to 1} f(x)=1。

涉及知识点
  1. 单变量提醒:空缺点并不妨碍极限存在。
  2. 函数在某点无定义时,仍可能在该点处有极限。
  3. 推导得出:这个去心常值函数的极限为 1。

本视频介绍的分析多元函数极限的初步方法是什么?

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

    讲解者指出,应对该问题的一种方法是限定在某一特定方向、某一条直线上。

  2. 公式
    观察依据

    红色文字显示:限定在直线 y=xy=x 上。

涉及知识点
  1. 多变量极限的路径限定法

限定在直线 y=xy=x 后,如何得到数值 1/21/2?

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

    屏幕推导出:f(x)=x2/(x2+x2)=x2/(2x2)f(x)=x^2/(x^2+x^2)=x^2/(2x^2),然后得出 lim⁡x→0x2/(2x2)=1/2\lim _{x\to 0} x^2/(2x^2)=1/2。

涉及知识点
  1. 多变量极限的路径限定法
  2. 沿路径 y=xy = x,受限后的极限等于 1/21/2。
  3. 沿路径 y=xy = x 推导极限

仅沿一条路径计算极限,能否确定多元函数的完整极限?

时间近似
补充解释
来源依据
  1. 公式
    观察依据

    摘录中仅计算了唯一一条路径 y=xy=x。

  2. 声音
    观察依据

    主讲人将路径限制作为一种初步应对该问题的方法提出。

待核验内容
  1. 摘录未明确讨论单条路径在证明极限存在性时逻辑上的不充分性。

涉及知识点
  1. 多变量极限的路径限定法
  2. 单条路径的计算本身并不等同于完整的多元函数极限。

用于证明多元函数极限不存在的双路径检验法是什么?

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

    带方框的定理陈述清晰可见。

  2. 声音
    观察依据

    讲师将该方法命名为‘双路径检验法’。

涉及知识点
  1. 双路径检验法的名称与作用
  2. 二路径检验法:用于判断多元函数极限的不存在性

为何不同路径所得极限不相等,就能推出整体极限不存在?

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

    屏幕上显示的两条路径对应的极限分别为12\frac12和−12-\frac12。

  2. 声音
    观察依据

    讲师将前一句所述内容与新提出的这句话进行对比。

涉及知识点
  1. 二路径检验法:用于判断多元函数极限的不存在性
  2. 利用两条不同路径的极限值不相等来判断极限不存在

函数xyx2+y2\frac{xy}{x^2+y^2}沿直线y=xy=x的极限是多少?

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

    黑板上显示的是lim⁡x→0x22x2=12\lim_{x\to 0}\frac{x^2}{2x^2}=\frac12。

涉及知识点
  1. 沿直线 y=xy = x 的极限
  2. 沿直线 y=xy = x 推导极限

函数xyx2+y2\frac{xy}{x^2+y^2}沿直线y=−xy=-x的极限是多少?

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

    黑板上显示的是lim⁡x→0−x22x2=−12\lim_{x\to 0}\frac{-x^2}{2x^2}=-\frac12。

涉及知识点
  1. 沿直线 y=−xy = -x 的极限
  2. 沿直线 y=−xy = -x 求极限的推导过程
覆盖情况与待核验内容

已覆盖 · 仅标题卡片;除主题标识外无任何数学内容。

已覆盖 · 引入函数 f(x,y)f(x,y)=xy/(x2+y2x^2+y^2),提出其在点 (0,0) 处的极限问题,并警示:所绘制曲面在奇点附近仅为插值结果。

已覆盖 · 一元分段函数示例,展示左右极限不等、从而双侧极限不存在的情形。

已覆盖 · 一元去心常值函数示例,说明即使函数在该点无定义,其极限仍可存在。

已覆盖 · 回到多元函数示例,沿路径 y=xy=x 计算受限极限,得到结果 1/21/2。

已覆盖 · 最后不足一秒的画面中,除已显示的路径法结果外,未呈现任何新的数学事件。

已覆盖 · 沿y=xy=x计算极限的初始过程,辅以曲面图与代数推导。

已覆盖 · 切换至路径y=−xy=-x,计算第二个极限,并对两条路径进行直观对比。

已覆盖 · 两路径检验法的一般性陈述、该例题中极限不存在的结论,以及两个收尾的概念性问题。

已覆盖 · 数学内容包括屏幕上展示的‘双路径不存在性法则’,以及两个关于多元函数极限的开放性概念问题。

已覆盖 · 本时间段内未引入任何数学内容;这是一段结束语,邀请观众留言、点赞,并观看多元微积分播放列表。

探索视频中的知识

已审核的主题路径