向量值函数定义
定义了特定的非线性函数 ,该函数将 2D 向量映射为 2D 向量,作为局部线性分析的对象。
Khan Academy · YouTube · 6:22
本视频片段通过分析一个具体的非线性向量值函数 f([x; y]) = [; ],引出雅可比矩阵的概念。它展示了局部线性原理:尽管该函数的整体变换较为复杂,但在特定点 (-2, 1) 处局部放大后,其行为近似线性。主讲人指出,雅可比矩阵正是用来刻画这种局部线性行为的。为构造该矩阵,视频首先考察 x 方向上的一个微小步长 (∂x) 在输出空间中如何映射为一个对角向量。最后,将向量值函数 f 分解为两个标量分量函数: 和 ,为后续计算偏导数做好铺垫。 这段时长约120秒的片段,通过具体映射(x,y)↦(, )阐释雅可比矩阵。借助扭曲平面可视化与放大插图,主讲人将一个微小x步长解释为产生一个2维输出位移,其水平分量与竖直分量分别为∂/∂x和∂/∂x,从而填满矩阵的第一列。随后他转向一个微小y步长,指出其变换后的向量同时具有向上与向右分量,并说明这些分量将占据第二列,因为矩阵的列记录了基向量的去向。该片段在第二列实际写出前即结束。 这段时长为120秒的白板讲解,通过一个具体的双输出、双输入函数[; ] = [; ]及基点(-2,1),引出雅可比矩阵的概念。主讲人逐项构建矩阵,将每一项解释为某一输出分量对某一输入方向上微小步长的局部响应。矩阵构建完成后被命名为雅可比矩阵,并被呈现为:在选定基点处对偏导数求值后所得的数值化线性变换,即函数在放大后所逼近的映射关系。变形网格与高亮的局部小方框直观强化了‘局部近似’这一思想。视频片段结束时,主讲人仍在进一步阐述:雅可比矩阵的意义远不止于偏导数的简单记录。 这段时长为22秒的片段,是对雅可比矩阵讲解的视觉收尾。屏幕显示一个发生畸变的网格,其中在点(-2,1)周围有一个高亮正方形,并手写了一个标有“雅可比矩阵”的偏导数矩阵。主讲人指出核心思想是局部线性性:雅可比矩阵刻画了变换在某个特定点附近放大观察时所呈现的样子。随后他说明下一视频将实际计算该矩阵,并展示计算结果如何与画面相吻合。
在学习检查器中查看要点和时刻,或切换阅读标签查看完整笔记。
依据视频画面与讲解整理,并非逐字语音转写。
我们首先回顾定义为的非线性向量值函数。该函数作用于2D空间。
为理解其行为,我们聚焦于定义域中的一个特定点,并使用放大的网格考察其周围的一个小邻域。
直观来看,尽管全局网格线在变换下显著弯曲,但放大正方形内的网格线却呈现直线状。这说明了局部线性这一核心概念:复杂的非线性函数在足够靠近时看起来是线性的。
目标是找到一个矩阵,即雅可比矩阵,用以精确描述这一局部线性近似。
我们通过考虑输入空间中一个微小步长,来逐步建立对矩阵各列的直观理解。在应用变换后,这个纯粹水平方向的步长在输出空间中变为一个具有水平与垂直两个分量的对角向量。
为正式计算这些分量,我们将向量值函数分解为两个标量值函数:和。这为我们下一步使用偏导数做好准备。
该片段展示了显式变换,同时配以扭曲的网格和放大的局部插图。演讲者的直接目标是理解输入在方向上的微小位移会对输出平面产生何种影响。
他将该输出位移的水平分量识别为的偏变化,随后将填入大矩阵的左上角位置。其数学含义在于:这一项度量了第一个输出分量对方向上的无穷小步长所作出的响应。
接着他指出,相同的输入步长也会引发垂直方向的输出位移。这一第二响应被记为,并填入矩阵左下角位置,从而完成第一列。此处特别强调:除以初始微小步长的大小,正是将不断缩小的扰动转化为稳定有限变化率的关键运算。
随后讨论从基方向转向基方向。考虑一个微小的向上输入步长,插图显示其变换后的像并非纯粹垂直:它同时具有向上和向右两个分量。
最后,演讲者阐明整个矩阵的组织原则:在线性变换中,每一列都是某个基向量的像。因此,由向上步长所产生的向量将成为第二列。本片段在实际写出第二列各项之前即告结束。
该片段以一道演算例题开篇,而非抽象定义。右上方黑板展示向量值函数,其旁标注点;左侧的变形网格与高亮小方块则暗示本课聚焦于某选定输入附近的局部行为。
接着,主讲人讲解如何填写该函数下方的矩阵:左上角第一个元素表示第一输出分量在方向上发生微小变化时所引起的改变量;黑板上直观地将写在了一个括号数组的左上角位置。
随后,右上角元素被定义为第一输出分量在方向上发生微小变化时所引起的改变量,再除以该步长的大小,结果为;此时行结构已清晰:第一行记录第一输出分量对两个输入方向的响应。
讲解转向第二个输出分量。左下角元素表示对方向上的微小扰动的响应,记作;右下角元素表示对方向上的微小扰动的响应,记作。这两者共同构成。
主讲人强调,这一符号化数组本身尚不是最终的局部模型,它依赖于特定的起始点。从出发画出四条白色箭头,分别指向四个矩阵元素,以此强调:每个偏导数都必须在该同一点处求值,才能得到具体的数值。
一旦在处完成求值,该矩阵便成为一个具体的维数值对象。视频片段将该对象解释为:当在该点附近不断放大时,原非线性函数所逼近的线性变换。这正是从偏导数通向局部线性近似的中心概念桥梁。
在此阶段,主讲人明确命名该对象:这个填满偏导数的矩阵称为雅可比矩阵(Jacobian matrix),或简称为雅可比(Jacobian)。“雅可比矩阵”这几个字被写在黑板上该数组的下方。
结尾部分补充了阐释:雅可比矩阵通过同时涵盖两个输出分量与两个输入方向,承载了全部的偏微分信息。主讲人进而指出,这种排列并非随意而为——它不只是偏导数的简单罗列,更编码了该映射在局部的线性行为。这句话在更完整的解释展开前被截断。
该片段以分屏画面开启:左侧为一个扭曲的坐标网格,其中黄色正方形围绕着一个标有(-2,1)的绿色点;右侧为一个手写的矩阵,标注为“雅可比矩阵”,其元素分别为、、和。白色箭头将高亮点分别连接至各矩阵元素。
主讲人阐明核心概念:局部线性性。在此视角下,雅可比矩阵并非仅被当作一组导数符号的阵列来引入,而是作为记录变换在选定某点附近局部外观的对象。
从数学角度看,屏幕上显示的矩阵是由两个分量函数和关于输入变量和的一阶偏导数组成的集合。围绕点(-2,1)的可视化正方形提供了几何对应:它标示出一个微小邻域,该邻域畸变后的形状正由线性方式加以概括。
随后主讲人作结,宣布下一视频将显式计算该矩阵,并将计算所得结果与当前屏幕上的画面进行比对。在剩余时段中未添加任何新公式或新例子;同一雅可比矩阵的显示始终保持可见。
定义了特定的非线性函数 ,该函数将 2D 向量映射为 2D 向量,作为局部线性分析的对象。
解释了任意光滑非线性变换在某一点的足够小邻域内观察时均呈现线性特征,这一事实由放大视图中笔直的网格线所演示。
介绍雅可比矩阵为矩阵,它在数学上刻画了向量值函数在某一点处的局部线性行为。
描述雅可比矩阵的第一列如何对应于x方向上的微小步长()所引发的变换,该变换通常在输出空间中产生一个同时具有x分量和y分量的向量。
展示将向量值函数拆分为标量分量函数(和)的方法,以便计算构建雅可比矩阵所需的偏导数。
该示例变换是平面上的一个映射,将映为。演讲者借助这一特定非线性映射,通过观察微小输入步长在局部如何被扭曲,来建立对雅可比矩阵的直观理解。
输入空间中一个微小步长会在输出空间中引发二维运动。关键思想不仅在于点发生了移动,更在于其水平与垂直方向的输出响应可被分别测量。
这一项表示:由一个无穷小的 方向输入步长所引起的输出位移的水平分量。它回答的问题是:当 略微变化时,第一个输出坐标变化多少?
这一项表示:由同一 方向步长所引起的输出位移的竖直分量。尽管输入扰动是水平方向的,变换后的输出也可能在竖直方向上发生移动。
原始的无穷小输出变化量会随着放大而缩小。除以初始输入步长的大小,可将其重新缩放为有限的变化率;这种变化率在极限下仍保持意义,因此偏导数是稳定的局部量。
第一列汇集了由 基方向所引发的两个输出分量。直观来看,它恰好对应于一个极小的向右步长经变换后的像。
当输入步长沿 方向向上取时,其变换后的像同样具有两个分量。这些分量即用于填充雅可比矩阵的第二列。
对于一个由矩阵表示的线性变换,第一列表示第一个基向量被映射到的位置,第二列表示第二个基向量被映射到的位置。正是这一规则,为雅可比矩阵按列构造的方式提供了依据。
沿方向的输入步长可能同时改变两个输出分量。因此,雅可比矩阵的第一列包含和,而不仅仅是一个水平方向的响应。
一个微小的向上输入步长可能变换为一个同时具有竖直和水平分量的向量。因此,雅可比矩阵的第二列记录的是完整的二维输出响应,而不仅仅是的变化。
该片段研究一个具体的双变量、双输出函数。其两个分量被写在黑板上,分别为和。这两个公式将构成后续矩阵的两行,且整个讨论锚定在输入点处。
在此例中,矩阵按如下方式排布:行对应输出分量,列对应输入方向。第一行记录关于和的变化情况;第二行记录关于和的变化情况。
每个元素回答一个独立的局部问题:若输入在某一坐标方向上发生微小变化,某一特定输出分量相对于该步长的变化率是多少?在所展示的矩阵中,表示第一个输出对微小的方向步长的响应,而表示第二个输出对微小的方向步长的响应。
符号形式的矩阵只有在每个偏导数均于选定的基点处求值后,才成为具体的局部线性模型。黑板通过从向全部四个元素画出箭头来强化这一点,表明同一个基点被代入到每一个元素中。
该片段将已求值的雅可比矩阵呈现为:非线性函数在所选点附近所呈现出的线性变换的矩阵。这是核心概念收获:雅可比矩阵不仅是一组偏导数的罗列,更是最佳局部线性近似的系数矩阵。
由所有相关偏导数构成的矩阵称为雅可比矩阵,或简称为雅可比;该名称直接写在黑板上的数组正下方。
观众可能误以为雅可比矩阵仅是一种用于存储偏导数的记账工具。主讲人明确反对这一观点,指出将偏导数以这种特定矩阵形式组织起来是有原因的,因为它刻画了局部线性行为。
视频显示一个标注为“雅可比矩阵”的矩阵。其元素为两个分量函数关于两个变量的一阶偏导数。这正是主讲人从几何角度进行诠释的具体对象。
主讲人指出核心思想是局部线性化:雅可比矩阵刻画了在某个特定点附近放大观察时,变换所呈现的形态。围绕点(-2,1)高亮显示的正方形,直观地表示了这个被放大的邻域。
按知识点查看条件、步骤和证据。补充解释与视频直接内容分别标明。
f 作用于向量 x、y 上,结果为向量:第一个分量是 x 加上 y 的正弦值,第二个分量是 y 加上 x 的正弦值
f
从 到 的向量值函数,表示一个非线性变换。
R 的 2 次方
f 作用于向量 x、y 上,结果为向量:第一个分量是 x 加上 y 的正弦值,第二个分量是 y 加上 x 的正弦值
x
向量 [x; y] 的第一个输入坐标。
实数集
f 作用于向量 [x; y] 的结果是向量 [x 加上 y 的正弦值; y 加上 x 的正弦值]
y
向量 [x; y] 的第二个输入坐标。
实数集
画面上写着:(-2, 1)
(-2, 1)
用于分析局部线性行为的定义域中的特定点。
R 的 2 次方
对 x 求偏导
∂x
输入空间中沿 x 方向的一个微小步长。
实数集
f 的第一个标量值分量函数。
R 的 2 次方
f 的第二个标量值分量函数。
R 的 2 次方
右上角的黄色公式显示, 位于列向量第一行。
主讲人将 f_ 称为输出的 x 分量,讨论 ∂ 时1/∂x.
该变换的第一个分量函数,等于 x 加上 y 的正弦值。
关于变量 x 和 y 的实值函数。
右上角的黄色公式显示, 位于列向量第二行。
主讲人将 f_ 称为输出的 y 分量,讨论 ∂ 时2/∂x.
该变换的第二个分量函数,等于 y 加上 x 的正弦值。
关于变量 x 和 y 的实值函数。
该公式以 (x,y) 作为 和 的输入。
左侧图像为带网格线和标有轴名的坐标平面。
(x,y)
域平面中正在被变换的输入坐标。
左侧图像展示的是二维输入空间。
说话者指出,在输入空间中取一个极小的 dx 步长,对应于输出空间中的运动。
在00:00:01附近的插图中出现一根绿色箭头,表示沿 x 方向输入步长所导致的结果。
dx
输入空间中沿正 x 方向的微小步长。
用于局部线性化的无穷小输入位移。
绿色手写项 ∂/∂x 被填入大型方括号矩阵的左上角位置。
说话者将其认定为:由一个极小 dx 步长所引起的运动的 x 分量,并按该初始变化的大小进行了缩放。
第一个输出分量对 x 的偏导数;即变换后的 x 基向量方向的水平分量。
雅可比矩阵第一行、第一列的元素。
f 作用于向量 [x; y] 的结果是向量 [x 加上 y 的正弦值; y 加上 x 的正弦值]
上一个视频中,我们研究了这个特定函数:将空间中的每个点 (x, y) 映射到点 (x 加正弦 y,y 加正弦 x)。
视频定义了一个特定的非线性向量值函数 f,它将一个2D 输入向量 [x; y] 映射为输出向量 [; ]。
输入是一个2D 向量 [x; y]
输出是一个2D 向量
尽管整个函数看起来相当复杂,但在那个特定点附近,它却呈现出线性函数的形态——即局部线性。
网格线在全局范围内变形为曲线,但在放大后的正方形区域内,它们看起来是直线。
当在某个特定点附近的足够小邻域内观察时,一个非线性变换可能呈现出线性特征。这一性质称为局部线性。
围绕定义域中某个特定点来考察
需要对一个邻域进行放大
哪个矩阵将告诉你这个函数所逼近的线性函数?它将是一个二乘二矩阵。
屏幕上画出了空的矩阵括号。
本片段中,该矩阵的具体元素尚未填入。
雅可比矩阵是一个矩阵,用于表示向量值函数在某一点附近的局部线性近似。
适用于具有2维输入和输出的向量值函数
我不再将整个函数写成具有向量值输出的形式,而是将其表示为两个独立的标量值函数。
,
为了更方便地分析该变换,将向量值函数 f 分解为两个标量值分量函数 和 。
原始函数是向量值函数
可见的黄色公式定义了 [; ] = [; ]。
左侧展示了一个扭曲的网格及一个高亮的局部区域,用以可视化平面上的变换。
该片段研究了将 (x,y) 映射为 (,\ ) 的特定映射。主讲人将其解释为对平面的变换,并利用该变换在微小输入步长上的局部效应来构建雅可比矩阵。
该映射接收两个实数输入变量 x 和 y。
输出是一个二维向量,其分量为 和 。
主讲人解释道:输入空间中一个微小的 dx 步长,在输出空间中引发一个 2D 运动,其 x 分量是 的一个微小偏变化,y 分量是 的一个微小偏变化。
偏导数 ∂/∂x 和 ∂/∂x 被填入矩阵的第一列。
对于这一变换,仅沿x方向移动所产生的局部效应由两个数值记录:第一个输出分量的变化量和第二个输出分量的变化量。将这些微小的输出变化量除以初始输入扰动的大小,便可将其重新标度为有限的变化率;这种变化率在不断放大观察时仍具有明确意义。
输入扰动沿x方向施加。
导数描述了输出分量经输入步长大小缩放后的对应结果。
大型绿色方括号矩阵在片段结束时,其左上角位置为∂/∂x,左下角位置为∂/∂x。
讲解者明确将这些矩阵元与沿x方向迈出微小一步所引发的结果关联起来。
雅可比矩阵的第一列记录了无穷小的x方向输入步长在输出平面上的映射位置:其上方分量为输出的水平分量,下方分量为输出的竖直分量。
适用于从到的映射。
该列对应于变换后的x基方向。
讲解者指出,在用矩阵表示线性变换时,第一列表示第一个基向量的去向,第二列表示第二个基向量的去向。
矩阵的右列保持空白,待讲解者随后用向上步进向量来填充。
第二列的各个矩阵元在片段结束前并未写出。
雅可比矩阵按列组装:每一列都是局部线性近似下某一个输入基方向的像。在本片段中,x-基方向给出第一列,而y-基方向即将给出第二列。
用于表示线性变换的矩阵。
每一列对应定义域中一个基向量的像。
屏幕上显示 [; ] = [; ]。
主讲人将输出分量称为 和 。
本片段使用一个具体的双变量、双输出函数。其第一个分量为 ,第二个分量为 。该示例提供了后续矩阵的行:第1行为 所贡献,第2行为 所贡献。
该函数有两个输入变量 x 和 y。
输出有两个分量 和 。
讨论聚焦于点 (-2,1) 附近的函数行为。
屏幕上构建了一个 的方括号数组,其元素依次为 ∂/∂x、∂/∂y、∂/∂x、∂/∂y。
主讲人将每个元素解释为:当沿某一坐标方向施加一个微小输入步长时,所引起的输出变化。
数组下方标注了“雅可比矩阵”。
在此双输出、双输入的示例中,雅可比矩阵的组织方式为:每一行对应一个输出分量,每一列对应一个输入方向。顶行记录 关于 x 和 y 的变化;底行记录 关于 x 和 y 的变化。
本片段适用于具有两个输出和两个输入的函数。
每个矩阵元素都是某个输出分量对某个输入变量的偏导数。
该矩阵应在指定点处计算,此处为(-2,1)。
说话者指出,在该点处计算各偏导数后,得到一个具体的2x2矩阵,它代表函数在充分放大后所呈现的线性变换。
左侧展示了一个网格以及围绕该点的一个高亮小区域,直观地对应了‘放大以观察局部行为’这一思想。
该片段将雅可比矩阵不仅呈现为一张符号表格,更强调它是用来近似非线性函数在选定邻域附近行为的线性映射的矩阵。在(-2,1)处计算出偏导数后,所得的具体数值型2x2矩阵,刻画了在足够小邻域内所观察到的局部拉伸、剪切及类旋转行为。
这种解释是局部的,依赖于某个特定的基点。
该函数必须在该点处具备所需的偏导数。
该矩阵表示一种线性近似,并非完整的非线性映射。
说话者反复将矩阵元素描述为:当沿某一输入方向迈出微小一步时,某一输出分量所产生的变化量,再除以该步长的大小。
图中显示的矩阵元素为∂/∂x、∂/∂y、∂/∂x、∂/∂y。
每个矩阵元素回答一个独立的问题:若输入在某一坐标方向上发生微小变化,某一特定输出分量相对于该输入变化量的单位改变量是多少?在屏幕上显示的矩阵中,第一行记录 的响应,第二行记录 的响应;左列记录 x 方向的扰动,右列记录 y 方向的扰动。
扰动每次仅沿一个坐标轴进行。
该比值按偏导数所用的无穷小(或局部)意义来理解。
本片段中,输入是 x 和 y,输出是 和 。
主讲人指出,将微小的输出变化除以初始微小变化的大小,可将其放大为一个正常尺寸的向量,该向量在持续不断放大时不会收缩。
对于一个微小的输入位移,相应的微小输出位移除以输入位移的大小,得到一个有限量;该量在进一步放大时仍保持意义。
对一个微小输入步长存在可微的局部响应。
将输出变化与初始输入变化的大小进行比较。
对于本片段中所考虑的无穷小x步长,所得缩放后的分量定义了稳定的偏导数量。
主讲人指出,第一列说明第一个基向量映射到何处,第二列说明第二个基向量映射到何处。
当线性变换由一个矩阵表示时,该矩阵的各列即为定义域基向量在该变换下的像。
线性变换是相对于所选定的基来用矩阵表示的。
这是雅可比矩阵解释中所采用的标准基向量解释方式。
说话人指出,以上全部内容均针对我们起始的点 (-2,1),且在该点处计算每个偏导数,所得数值构成一个具体的 矩阵。
点 (-2,1) 写在函数定义旁。
音频中有一处不一致的重述为‘二负一’,但屏幕上显示的坐标及先前的语音均支持 (-2,1)。
屏幕上展示的偏导数矩阵,只有在每个元素均于选定输入点 (-2,1) 处完成计算后,才表示一个局部线性变换。
已选定一个具体的基点,即此处的 (-2,1)。
相关偏导数在该点存在。
该函数是在局部而非全局范围内被近似。
对于该示例函数及所选的点(-2,1),每个偏导数分量都在该点处求值,从而得到一个具体的矩阵。
主讲人说:‘这里这个由所有不同偏导数组成的矩阵有一个非常特别的名称……雅可比矩阵……更完整地说,可称其为雅可比矩阵。’
‘雅可比矩阵’这几个字写在该矩阵下方。
其分量为输出分量关于输入变量的偏导数的矩阵,称为雅可比矩阵,或更完整地称为雅可比矩阵。
该函数具有多个输出分量和多个输入变量。
这些分量按输出分量和输入方向排列,如图所示。
在此二乘二示例中,所展示的偏导数阵列被命名为雅可比矩阵。
主讲人指出,它远不止是记录所有偏导数的一种方式,并强调如此组织它具有特定原因。
这句话在主讲人尚未完成解释时被截断。
雅可比矩阵被呈现为不仅是一组偏导数的简单罗列;其排列方式旨在编码该函数在局部的线性行为。
偏导数被组织成视频片段中所示的矩阵形式。
背景是在选定一点附近的局部分析。
对于当前讨论的例子,主讲人给出了这种特定组织方式的一个非平凡理由,但完整的论证并未在视频片段中完成。
主讲人指出,雅可比矩阵本质上所要表达的,正是在某个特定点附近放大时,一个变换所呈现的样貌。
陈述此观点的同时,屏幕上显示出偏导数构成的矩阵。
雅可比矩阵表示在某个特定点附近放大时,一个变换所呈现的样貌。
当前正在考察一个变换。
在其定义域或显示平面上选取一个特定点,用于局部分析。
针对本片段中讨论的变换及该点。
想象一个朝右的微小步长……一个微小的 ∂x ……经过变换后,在输出空间中会变成某个微小步长……它不再纯粹沿 x 方向,而既有向右的分量,也有了向下的分量。
在放大图中,一条绿色箭头代表 ∂x,斜指向右下方。
从输入空间中沿正 x 方向的一个微小步长开始。
偏导数方向的定义。
将非线性变换 f 应用于这个微小步长。
函数 f 的作用。
观察输出空间中得到的向量,它同时具有水平分量和垂直分量。
变换后步长的直观表示。
雅可比矩阵的第一列将表示该变换后微小步长 ∂x 的 x 和 y 分量。
讲述者从一个极小的 dx 步长出发,将输出运动的 x 分量识别为 ∂/∂x,y 分量识别为 ∂/∂x,然后将二者依次写入第一列。
矩阵元素 ∂/∂x 和 ∂/∂x 依次出现在左列中。
在输入空间中取一个极小的步长 dx。
这是讲述者所命名的初始扰动。
观察输出空间中由此产生的 2D 运动。
该变换将输入的微小扰动映射为某个输出位移。
将该输出运动的水平分量识别为 关于单位 x 步长的偏变化量。
讲述者明确称其为 dx 所引起的运动的 x 分量。
将同一输出运动的竖直分量识别为 关于 x 方向单位步长的偏变化量。
主讲人明确称此为初始向右步长所引起的 y 分量。
将这两个经缩放后的分量填入矩阵的第一列。
该可视化矩阵自上而下恰好按此顺序填满这些条目。
雅可比矩阵的第一列即为关于 x 的偏导数向量。
主讲人引入一个微小的 y 方向步长,询问该步长经变换后变为怎样的向量,并指向一个具有向上与向右分量的向量,随后表示将把它的分量写为第二列。
在时间码 00:01:40 附近的插图中出现一条红色向上箭头,随后在时间码 00:01:41 附近出现一条蓝色对角箭头。
本片段中未完成第二列的实际符号表达式。
转而考虑输入空间中一个微小的向上步长,即 y 方向的步长。
主讲人明确将此与先前的 x 方向步长加以对比。
观察该向上输入步长在应用变换后所变成的形态。
这是说话者口头提出的这个问题。
得到的输出向量仍具有向上的分量,但也具有向右的分量。
说话者在指向插图时,正是用这些术语来描述变换后的向量。
将这两个分量写为矩阵的第二列。
说话者直接陈述了这一点,且右侧一列始终为此目的而预留。
第二列将记录由无穷小的 y 方向输入步长所产生的输出分量。
主讲人逐项构造该矩阵:先讨论输出变化的x分量,再讨论y分量,而这两种变化均由沿y方向的微小步长所引起。
屏幕上的矩阵逐步填入∂/∂x、、∂/∂x、∂/∂y。
从一个具体的向量值函数出发,该函数的两个输出分量将被分别求导。
该函数即视频片段中写在黑板顶部的函数。
第一项记录了当输入沿x方向移动一个微小量时,第一个输出分量的变化情况。
主讲人明确将左上角矩阵元与沿x方向的微小步长所引起的输出变化的x分量联系起来。
第一行中的第二项记录了当输入沿y方向移动一个微小量时,的变化情况。
主讲人将此描述为:在某个沿y方向的微小步长下所产生的变化量,除以该步长的大小。
第二行的第一个条目记录了输出的第二个分量 在输入沿 x 方向发生微小变化时的变化情况。
讲述者转向输出的 y 分量,并将其归因于输入空间中初始的微小步长。
最后一个条目记录了 在输入沿 y 方向发生微小变化时的变化情况。
讲述者指出,这是由 dy 或那个微小的偏 y 所引起的 的变化。
将这四个条目组合起来,便得到屏幕上显示的雅可比矩阵。
这正是写在函数定义下方的、已填写完整的带括号数组。
视频片段中构建的矩阵是该示例函数的雅可比矩阵,其行按输出分量索引,列按输入方向索引。
讲述者指出,这一构造依赖于起始点 (-2,1),并在该点处计算每个偏导数,从而得到一组具体数值,构成一个表示局部线性变换的 矩阵。
本片段中未计算这四个偏导数的任何具体数值。
固定用于考察局部行为的基点。
讲述者指出,前面所讨论的一切均针对他们出发的那个点 (-2,1)。
在选定的点处计算每个符号形式的偏导数,使其变为一个数值。
主讲人指出,每个偏导数都应在该点处计算,以得到某个具体数值。
将这些已计算出的数值按原先相同的2x2布局排列。
主讲人称,这将生成一个非常具体的2x2矩阵。
将所得的数值矩阵理解为:函数在基点附近充分放大后所呈现的线性映射。
主讲人明确指出,该矩阵表示的是函数在放大之后所呈现出的线性变换。
在点(-2,1)处计算雅可比矩阵各项,可将符号形式的导数数组转化为一个具体的矩阵,用以描述该非线性映射在局部的线性近似。
主讲人将局部线性性与雅可比矩阵联系起来,并指出:理解这一表示形式后,其余内容便自然明晰。
在变换后的网格上,标出以(-2,1)为中心的一个高亮正方形区域。
在图旁展示了雅可比矩阵,其元素为各偏导数。
从左侧一个由扭曲网格表示的非线性变换出发。
直接从图中观察得出。
选取一个特定点(此处标记为(-2,1)),并聚焦于其周围的一个小正方形邻域。
直接从高亮区域及点的标注中观察得出。
将该局部图像与分量函数的一阶偏导数组成的矩阵相对应。
从标有“雅可比矩阵”的显示公式及主讲人的讲解中得出。
将所得矩阵解释为该变换在所选点附近行为的线性描述。
音频中将其表述为局部线性的含义。
雅可比矩阵被呈现为该变换在高亮显示点附近的局部线性表示。
我们聚焦于一个特定点……负二、一……并在其周围额外添加了几条网格线……这个正方形展示了该邻域的放大版本。
画面上写着:(-2, 1)
左侧显示带有高亮标记点 (-2, 1) 的全局网格;右侧显示放大的正方形网格。
分析函数 f 在点 (-2, 1) 附近的局部行为。
函数 f([x; y]) = [; ]
关注点:(-2, 1)
理解该变换如何影响围绕点(-2, 1)的小邻域内的点。
在全局坐标网格上定位该特定点。
题目设定中已给出。
显示围绕该点的网格线的放大视图。
用于分析局部行为的视觉辅助工具。
放大视图使得我们能够细致观察网格线在局部区域的形变方式。
视觉上确认放大后的黄色方格与全局网格上点(-2, 1)的位置相匹配。
所显示的映射是 [; ] = [; ]。
说话者借助这一具体例子(而非仅用一般抽象函数)来构建雅可比矩阵的概念。
该片段通过视觉与语言解释了构造过程,但在结束前并未展示此特定映射的最终完成版数值/符号形式的雅可比矩阵。
已知变换 与 ,通过考察 x 和 y 方向上的微小输入步长来理解雅可比矩阵。
f 下标 1 于 x、y 等于 x 加上 sin y
平面在变换前和变换后均被展示,并附有一个局部放大区域。
点(-2,1)显示在公式附近。
解释雅可比矩阵的各列如何源于基向量方向上的局部微小变化效应。
从正在可视化的显式非线性映射出发。
该公式在整个片段中始终显示在屏幕上。
利用一个极小的 x 方向步长来确定第一列。
讲解者根据 dx 引起的输出移动推导出这些元素,并将它们填入左侧一列。
利用一个极小的 y 方向步长来确定第二列。
讲解者引入了 y 方向向上微小步长的情形,并指出其分量将占据第二列;本片段中未在屏幕上完成完整的符号书写。
雅可比矩阵按列构建:第一列来自 x 方向的无穷小步长,第二列来自 y 方向的无穷小步长。
屏幕上可见的矩阵结构,以及讲解者关于基向量像的口述规则,共同印证了这种按列构建的方式。
黑板上展示了具体函数[; ] = [; ]及其对应的2x2阶偏导数矩阵。
主讲人使用这一确切函数来解释每个矩阵元素的含义,并将所得矩阵命名为雅可比矩阵。
该片段未在点(-2,1)处计算偏导数的数值结果。
该片段未给出最终化简后的符号形式矩阵元素,例如1、、、1。
已知向量值函数 [; ] = [; ],请将局部偏导数信息整理为视频片段中讨论的矩阵。
讨论围绕输入点 (-2, 1) 展开。
识别由两个输出分量对两个输入变量求偏导所构成的矩阵,并理解其局部含义。
写出该示例函数的两个输出分量。
这些公式直接显示在黑板上。
将四个偏导数排布成一个 矩阵,其中行对应 和 ,列对应 x 和 y。
这就是视频片段中逐项构建并标记为雅可比矩阵的矩阵。
为得到具体的局部线性映射,需将基点代入每个偏导数中。
主讲人指出,该构造依赖于起始点 (-2, 1),并在该点处求值得到一个具体的 矩阵。
该示例导出雅可比矩阵 ,用于在点 (-2, 1) 处求值。
验证需要计算四个偏导数,并将(-2,1)代入,但这些数值计算并未在本片段中执行。
全局网格线发生弯曲和扭曲,而放大后的黄色方格内部的网格线则基本保持平直。
全局坐标网格
放大后的方格网格
弯曲的网格线
直线网格线整体变换为弯曲的线条。
放大正方形内部的网格线看起来是直的。
点(-2, 1)保持为放大视图的中心。
说明尽管整体变换高度非线性,但当限制在足够小的邻域内时,其表现近似线性。
一条标有∂x的绿色箭头从放大正方形的中心出发,斜向右下方延伸。
绿色箭头
放大的正方形网格
引入一个新向量(绿色箭头),用于表示x方向上变换后的微小步长。
该箭头的起点为放大正方形的中心。
直观表示雅可比矩阵的第一列,展示纯x方向的步长经变换后如何变为x与y方向步长的组合。
左半部分显示一个扭曲的网格,其中嵌入了一个高亮显示的正方形区域,并标有坐标标签;该嵌入区域内包含一个小型向量可视化图。
视频片段早期,嵌入区域内出现一个绿色箭头;随后又出现一个红色向上箭头和一个蓝色对角箭头。
从采样帧中无法完全辨识嵌入区域中心的确切坐标。
扭曲的2D网格
高亮显示的正方形嵌入区域
绿色箭头
红色向上箭头
蓝色对角箭头
大型绿色带方括号的矩阵占位符
视频片段首先聚焦于x方向输入步长所产生的结果,该结果在嵌入区域内以绿色箭头表示。
随后关注点转向y方向输入步长,该步长由红色向上箭头表示,接着是一个蓝色对角输出箭头。
矩阵占位符在第一列中逐步填充,而第二列保持空白。
变换公式始终显示在右上角。
定义域/输出可视化与矩阵构建的整体布局保持不变。
点标签(-2,1)始终显示在公式附近。
这些可视化内容将无穷小的输入方向与其变换后的输出方向关联起来,并将这些输出方向编码为雅可比矩阵的各列。
左上角矩阵元素 ∂/∂x 首先写出,然后添加左下角元素 ∂/∂x。
大约在 00:01:00 时刻,左侧一列已填满,而右侧一列仍为空白。
大型绿色括号矩阵
元素 ∂/∂x
元素 ∂/∂x
该矩阵最初是一个空的带括号模板。
左上角的元素填入 ∂/∂x。
左下角的元素填入 ∂/∂x。
右列在整个片段结束前始终保持空白。
该矩阵始终维持为一个 2 行 2 列的模板。
上方的变换公式保持不变。
动画明确指出:在考虑 y-基方向之前,x-基方向已完整贡献了第一列。
屏幕左半部分显示一个坐标网格,其网格线为曲线,并有一个包含红色箭头的高亮正方形区域。
讲解者谈到放大过程,以及该函数在局部所呈现的线性变换。
高亮区域内实际的动画运动并未在采样帧中得到完整描述。
笛卡尔风格的输入网格
弯曲的变换后网格线
高亮正方形区域
高亮区域内的红色箭头
右上角的函数公式
公式下方的矩阵
黑板逐步从左到右、从上到下填入矩阵的各个元素。
矩阵下方添加了‘雅可比矩阵’标签。
视觉重点始终放在局部框选区域与代数矩阵之间的关系上。
示例函数在整个片段中持续显示在右上方。
基点(-2,1)始终写在函数旁。
矩阵布局保持为,行对应 、,列对应 x、y。
该图示将输入-输出几何中的局部邻域与由偏导数组成的代数对象联系起来。高亮框表示非线性映射被线性变换近似的区域,而矩阵则记录该近似的系数。
从点(-2,1)向矩阵的四个元素画出白色箭头。
说话人指出,每个偏导数都应在该点处求值,以得到一个数值。
所有四个箭头绘制的精确顺序是根据采样帧估算得出的。
点标签(-2,1)
四个矩阵元素 ∂/∂x、、∂/∂x、∂/∂y
白色连接箭头
从点标签向每个矩阵元素添加箭头。
这种视觉连接强化了如下认知:这些符号化矩阵元均需在同一个基点处求值。
添加箭头的过程中,矩阵本身的结构并不改变。
上方的函数定义保持不变。
这些箭头编码了从符号化雅可比矩阵到数值化局部线性映射的逻辑步骤:每个矩阵元都在同一输入点(-2,1)处求值。
画面分为左右两部分:左侧为变换后的坐标网格,右侧为手写的雅可比矩阵。
白色箭头将点(-2,1)连接至矩阵的四个元素。
扭曲的坐标网格
高亮显示的正方形区域
标有(-2,1)的绿色点
雅可比矩阵
四条白色箭头
标签“雅可比矩阵”
整体布局在整个片段中保持固定。
箭头持续表示高亮显示的点与每个矩阵元素之间的对应关系。
矩阵元素始终以 ∂f₁/∂x、∂f₁/∂y、f₂/∂x、∂f₂/∂y 的形式显示。
点 (-2,1) 始终处于高亮状态。
正方形邻域在变换后的网格上始终保持轮廓线。
该视觉呈现围绕变换平面上的一个点及其共同构成其雅可比矩阵的四个偏导数来组织本课内容。
在扭曲的网格上、标记点 (-2,1) 周围绘制了一个黄色正方形。
讲解者描述了在特定点附近放大观察的过程。
正方形的确切数值尺寸未予说明。
黄色正方形
扭曲的网格线
点(-2,1)
正方形框选了变换后网格中一个微小区域,用于局部观察。
在整个片段中,正方形始终以同一个高亮的点为中心。
周围网格整体上仍保持扭曲状态。
该正方形在视觉上充当一个小邻域的替代物,从而支持这样一个论断:雅可比矩阵描述的是局部行为,而非整体形状。
尽管整个函数……看起来相当复杂,但在那个点附近,它看起来像一个线性函数。
因为一个函数在全局上是非线性的,所以它在任何地方都无法用线性函数来近似。
非线性函数具有局部线性性;在任意一点的足够小邻域内,它们看起来就像线性变换。
讲解者强调,原始的偏变化只是一个微小扰动;而用初始微小变化的大小去除它,所得结果在进一步放大时不会缩小。
人们可能误以为由 dx 引起的微小输出位移本身就是所求的导数。
导数是通过对微小输出变化按初始输入变化的大小进行缩放后得到的;由此产生的有限变化率在放大过程中保持稳定。
讲解者明确指出,输出步进的竖直分量仍是由初始向右的步进所引起的。
由于输入步长沿 x 方向,人们可能预期只有 会发生变化。
对于这一变换,沿 x 方向的输入步长既可能引起水平方向的输出变化,也可能引起竖直方向的输出变化,从而同时产生 ∂/∂x 和 ∂/∂x。
说话人指出,变换后的向上步长向量仍保留部分向上分量,但也新增了一个向右分量。
人们可能预期一个纯粹向上的输入扰动在变换后仍保持完全竖直。
y 步长对应的局部输出向量同时具有竖直分量和水平分量,因此雅可比矩阵的第二列通常包含两个非零元素。
主讲人指出,雅可比矩阵远不止是记录所有偏导数的一种方式;之所以特别采用这种组织形式,自有其深层原因。
完整的正面解释在说完之前被截断。
有人可能认为雅可比矩阵不过是存储偏导数的一个便捷表格。
该片段明确指出,矩阵的排布方式至关重要,因为所得矩阵实际刻画了函数在所选点附近的局部线性变换。
主讲人强调,所有这些内容都严格依赖于我们出发的那个特定点(-2,1)。
有人可能误以为该矩阵描述的是函数在所有位置上的行为,而非仅在某个特定输入点附近的行为。
在此片段中,该矩阵与基点(-2,1)相关联;其作为局部线性变换的含义,源于在该点处计算各偏导数。
讲解者强调,雅可比矩阵表示的是:当你在某个特定点附近不断放大时,该变换所呈现的样子。
左侧图像展示了一个整体弯曲的网格,但单独标出了其中一个小正方形区域。
人们可能误以为所显示的雅可比矩阵在处处都刻画了整个非线性变换。
该片段着重强调局部线性:雅可比矩阵关联的是某一点附近的变换行为,此处即点(-2,1),而非网格的整体扭曲。
哪一个矩阵将告诉你这个函数在该点附近所呈现的线性函数。
雅可比矩阵是用于描述非线性函数局部线性近似的数学工具。
我不再把整个函数写成具有向量值输出的形式,而是直接将其表示为两个独立的标量值函数。
向量值函数包含多个标量值分量函数,这些分量函数用于构建雅可比矩阵。
说话人从显式映射 , 过渡到由微小 dx 步长所生成的偏导数。
映射的公式清晰可见,与此同时引入矩阵元素 ∂/∂x 和 ∂/∂x。
这个具体的非线性映射,正是偏导数解释所应用的对象。
关于 x 的两个偏导数被填入矩阵的第一列。
说话人将它们描述为 dx 所引起的运动的两个分量。
雅可比矩阵的第一列恰好由 x 方向局部响应中提取出的这两个偏导数构成。
在构造出第一列后,主讲人将这一过程推广为一个通用规则:矩阵的每一列都是基向量在线性变换下的像。
完成的第一列是更普遍规则的一个特例,即矩阵的每一列都记录了一个基向量被映射到的位置。
主讲人运用‘基向量—列对应’规则,解释为何向上方向的基向量应成为第二列。
雅可比矩阵按列组装的理由,依赖于线性代数中的一个基本事实:矩阵的每一列都是基向量在线性变换下的像。
函数分量 和 出现在矩阵上方,而该矩阵的元素正是它们的偏导数。
说话者直接根据 和 的变化来构建该矩阵。
这个具体的向量值函数提供了输出分量,这些分量的偏导数构成了雅可比矩阵的各行。
每个矩阵元素都被解释为:当输入仅在某一坐标方向上发生微小变化时,所引起的输出变化。
最终完成的矩阵以固定的行列排布方式呈现这些元素。
每个偏导数元素的一般含义,体现在黑板上所展示的具体 2x2 布局之中。
说话者指出,在该点处对矩阵进行求值,所得结果即为函数在充分放大后所呈现的线性变换。
一旦符号形式的矩阵在某一点处完成求值,它便作为局部线性近似的矩阵被应用。
‘雅可比矩阵’这一标签被直接写在由偏导数组成的 2x2 数组下方。
主讲人将该矩阵称为雅可比矩阵,或更完整地称为雅可比矩阵。
本片段中,所展示的阶偏导数数组与术语‘雅可比矩阵’指代同一对象。
讲解者先引入局部线性的概念,并立即解释雅可比矩阵正是代表这种放大后变换的数学对象。
在给出这一解释的同时,屏幕上显示出雅可比矩阵。
该片段通过将雅可比矩阵识别为刻画变换在某点附近局部线性图像的数学对象,应用了局部线性的思想。
所显示矩阵的每个元素都是一阶偏导数,例如 ∂f₁/∂x 和 ∂f₂/∂y。
雅可比矩阵包含了分量函数 f₁ 和 f₂ 关于 x 和 y 的一阶偏导数。
哪一个矩阵将告诉你这个函数在该点附近所呈现的线性函数。
将其表示为两个独立的标量值函数。
矩阵的左列填入∂/∂x和/∂x。
主讲人将这些项解释为由一个极小的dx步长所引起的输出分量。
主讲人指出,用初始微小变化的大小去除结果,可将结果缩放为一种在进一步放大时不再缩小的量。
主讲人指出,第一列表示第一个基向量被映射到的位置,第二列表示第二个基向量被映射到的位置。
主讲人引入一个沿y方向的微小步长,并指出其变换后的分量将被写为第二列。
在本段讨论中,插图内出现一个红色向上的箭头和一个蓝色对角箭头。
符号化的第二列条目在本片段中未完成填写。
可见示例映射为 [; ]。
主讲人将该偏导数矩阵称为雅可比矩阵。
‘雅可比矩阵’这几个字写在该矩阵下方。
主讲人指出,该构造特指起始点(-2,1),并在该点处计算每个偏导数,从而得到一个具体的矩阵。
箭头将点(-2,1)连接至矩阵的各项元素。
主讲人将每一项解释为:在某一输入方向上迈出微小一步时,所引起的某一输出分量的变化。
主讲人指出,雅可比矩阵远不止是记录所有偏导数的一种方式。
本片段结束时,该解释尚不完整。
标有“雅可比矩阵”的矩阵在整个片段中始终可见。
主讲人直接称其为雅可比矩阵。
已覆盖 · 向量值函数 f 的引入与定义。
已覆盖 · 标出点 (-2, 1) 并设定局部放大邻域。
已覆盖 · 通过网格形变动画观察局部线性现象。
已覆盖 · 引入 雅可比矩阵的概念。
已覆盖 · 利用微小的 x 方向步长 ∂x 直观推导雅可比矩阵的第一列。
已覆盖 · 将向量值函数 f 分解为两个标量分量函数 和 。
已覆盖 · 示例变换的初始视图及x方向无穷小步长的设定。
已覆盖 · 左上角雅可比矩阵元素∂/∂x被引入并写出。
已覆盖 · 左下角雅可比矩阵元素∂/∂x被引入,且第一列被补全。
已覆盖 · 转向考虑一个微小的y方向步长及其变换后的输出向量。
已覆盖 · 明确指出:矩阵的列即为基向量的像,而下一个向量将构成第二列。
已覆盖 · 开场画面已显示示例函数、点(-2,1)、部分构建完成的矩阵,以及变形网格图。
已覆盖 · 主讲人边讲解,黑板边逐个补全四个雅可比矩阵元素。
已覆盖 · 讨论转向在基点(-2,1)处求值,并由此得到具体的局部线性变换。
已覆盖 · 该矩阵被命名为雅可比矩阵,主讲人开始解释:这种组织方式的意义远不止于记录偏导数。
已覆盖 · 主要讲解部分:主讲人通过局部线性性来定义雅可比矩阵,同时屏幕上显示该矩阵、点(-2,1)以及一个高亮的正方形。
已覆盖 · 结束语预告下一视频将实际计算该矩阵,并将结果与画面进行对比;除已展示的雅可比矩阵外,未引入任何新的数学内容。
已审核的主题路径