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

雅可比行列式

Khan Academy · YouTube · 8:53

打开原视频
阅读与收藏

把讲解展开来看。

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

这个180秒片段通过首先回顾2×22\times 2矩阵的普通行列式来引入雅可比行列式。主讲人计算了det⁡([3102])=6\det\left(\begin{bmatrix}3&1\\0&2\end{bmatrix}\right)=6,并把该矩阵解释为一个线性变换,它将基向量映射为(3,0)和(1,2)。一个黄色单位正方形被动画演示为底为3、高为2的平行四边形,以此说明行列式刻画了面积的拉伸程度;主讲人明确将这一结论从单位正方形推广到所有区域。后半部分转向非线性二元函数[x+sin⁡(y)y+sin⁡(x)]\begin{bmatrix}x+\sin(y)\\y+\sin(x)\end{bmatrix},借助扭曲的网格与高亮显示的缩放框,引出局部线性化作为雅可比矩阵的适用场景。本片段中并未实际计算雅可比矩阵或其行列式。 这段时长为180秒的白板讲解,通过具体的平面映射 f1(x,y)=x+sin⁡(y)f_1(x,y) = x + \sin (y)、f2(x,y)=y+sin⁡(x)f_2(x,y) = y + \sin (x) 来阐释雅可比行列式。主讲人首先借助一个高亮显示的局部区域及动画,引出核心思想:该行列式刻画了邻近区域面积被拉伸或压缩的程度。接着,从四个偏导数构建出雅可比矩阵,结果为 [[1, cos⁡(y)\cos (y)], [cos⁡(x)\cos (x), 1]]。最后,运用2×22\times 2行列式法则进行形式化计算,得到1⋅1−cos⁡(x)cos⁡(y)1\cdot 1 - \cos (x)\cos (y)。片段中提到了放大观察的点 (−2, 1),但视频在此处结束,尚未展示该点处的具体数值计算。 本片段将雅可比行列式解释为局部面积缩放因子。主讲人计算所显示的行列式1⋅1−cos⁡(x)cos⁡(y)1\cdot 1 - \cos (x)\cos (y)在点(-2,1)处的值,得到约1.227,并将其解释为邻近区域的轻微拉伸。随后,他将其与点(0,1)对比:此处cos⁡(0)=1\cos (0)=1,得出约0.46,解释为收缩。左侧动画呈现的一个微小正方形邻域,直观强化了该行列式描述变换下微小局部区域如何扩张或收缩的含义。

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

章节

0:00引言:雅可比行列式0:11回顾2×22\times 2行列式0:46行列式作为面积缩放因子2:03非线性函数与局部线性化3:00高亮显示的局部区域及面积变化动机3:24行列式作为局部面积缩放因子3:40从偏导数构建雅可比矩阵4:45为示例映射计算雅可比矩阵5:23形式化地计算行列式6:00在点(-2,1)处计算该行列式的值6:53与点(0,1)进行对比7:53雅可比行列式的几何意义

学习解说文稿

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

该片段开篇点明主题:雅可比行列式。主讲人指出,它就是此前讨论过的雅可比矩阵的行列式;因此,当前的直接目标是先帮助观众复习行列式的含义,再将这一概念迁移到多元函数情境中。

接着,黑板转向一个具体的线性代数例子:一个2×22\times 2矩阵,其行列式写作det⁡([3102])\det\left(\begin{bmatrix}3&1\\0&2\end{bmatrix}\right),主讲人通过主对角线元素相乘再减去另一条对角线元素的乘积来计算,得到3⋅2−1⋅0=63\cdot 2-1\cdot 0=6。由此确定了本段后续将从几何角度诠释的那个数值。

接下来,同一矩阵被重新诠释为平面上的一个线性变换。主讲人指出,矩阵的列向量表示基向量的像:第一个基向量映射到(3,0),第二个基向量映射到(1,2)。有了这一图示后,行列式便不再仅是一个算术结果;它衡量该变换对面积的拉伸或压缩程度。

动画通过高亮一个面积为1的黄色单位正方形,并将其变换为一个平行四边形,使这一含义精确化。主讲人强调,单位正方形仅是一个方便选取的标准区域,并非特例。变换后的新区域底边长为3、高为2,因此面积为3⋅2=63\cdot 2=6,恰好与行列式的值一致。由此,视频得出更普遍的结论:所有平面区域在此线性变换下的面积缩放比例都相同,即此处的6。

最后一部分从线性映射转向一个非线性的多元函数。屏幕上显示该函数为[f1(x,y)f2(x,y)]=[x+sin⁡(y)y+sin⁡(x)]\begin{bmatrix} f_1(x,y) \\ f_2(x,y) \end{bmatrix} = \begin{bmatrix} x+\sin(y) \\ y+\sin(x) \end{bmatrix}。主讲人指出,该映射在全局上并非线性,会使整个网格发生弯曲;但一个外围的黄色方框标出了一个局部放大区域,在其中图像近似于直线。这种对比引出了雅可比矩阵的核心思想:即使是非线性变换,也可在小邻域内用线性变换来近似研究。

该片段以黑板风格布局开场,标题为“雅可比行列式”,右侧列出变换公式 f1(x,y)=x+sin⁡(y)f_1(x,y) = x + \sin (y) 和 f2(x,y)=y+sin⁡(x)f_2(x,y) = y + \sin (x),左侧为坐标平面动画。一个高亮的黄色区域标出了所讨论点附近的微小区域。

动画运行过程中,主讲人强调:所选方框仅作占位之用;关键在于观察该邻域内任意微小图形在映射下的面积如何变化。从视觉上看,形变较为温和,并非剧烈扭曲。

随后直接阐明核心直觉:若已知描述局部放大变换的矩阵,则其行列式即为面积被拉伸或压缩的倍数。这一表述将几何图景与接下来要引入的代数对象联系起来。

主讲人指出该局部矩阵即为雅可比矩阵,并逐项写出其元素:第一列为对 x 的偏导数,第二列为对 y 的偏导数,从而形成通用的2×22\times 2结构,各元素依次为 ∂f1f_1/∂x、∂f2f_2/∂x、∂f1f_1/∂y 和 ∂f2f_2/∂y。

此处区分了符号形式的雅可比矩阵与其在某一点的取值:若每个偏导数均在所选位置(此处称为 (−2, 1))处求值,则矩阵变为数值矩阵;但在代入之前,各元素仍为关于 x 和 y 的函数。

对于黑板上的具体例子,对角线方向的偏导数是常数:∂f1f_1/∂x=1x=1,∂f2f_2/∂y=1y=1;非对角线方向的偏导数则为余弦项:∂f2f_2/∂x=cos⁡(x)x=\cos (x),∂f1f_1/∂y=cos⁡(y)y=\cos (y)。因此雅可比矩阵为[[1, cos⁡(y)\cos (y)], [cos⁡(x)\cos (x), 1]]。

接下来,课程直接对这一符号形式的雅可比矩阵求行列式,而非先代入某一点。利用此前数值例子中展示过的相同2x2行列式法则,主对角线贡献乘积1⋅11\cdot 1,副对角线贡献乘积cos⁡(x)cos⁡(y)\cos (x)\cos (y)。

减去副对角线乘积后,得到最终显示的表达式1⋅1−cos⁡(x)cos⁡(y)1\cdot 1 - \cos (x)\cos (y)。视频片段在此处结束,此时讲解者刚要转向在放大后的点处对该表达式进行求值,但本段内并未完成任何数值代入。

本片段以右侧已写出的雅可比行列式det = 1⋅1−cos⁡(x)cos⁡(y)1\cdot 1 - \cos (x)\cos (y)开场,同时左侧坐标网格上有一个被高亮的小正方形。主讲人代入x=−2x = -2与y=1y = 1。

利用近似值cos⁡(−2)\cos (-2) ≈ -0.42与cos⁡(1)\cos (1) ≈ 0.54,其乘积约为-0.227,因此行列式变为1−(−0.227)=1.2271 - (-0.227) = 1.227。

由于1.227>11.227 > 1,主讲人将此解释为局部面积扩张:邻近区域在点(-2,1)附近大致按该因子被拉伸。动画仅显示小正方形发生轻微形变,从而佐证这一解释。

接着,他将此与点(0,1)对比。此处cos⁡(0)\cos (0)恰好等于1,而cos⁡(1)\cos (1)仍约为0.54,从而得到1−0.54=0.461 - 0.54 = 0.46。

由于0.46<10.46 < 1,该行列式预示收缩而非扩张。主讲人明确指出,面积应被压缩至原大小的0.46倍,且可视化邻域确实表现出更强的收缩。

结尾的讲解对本课内容加以概括:雅可比行列式旨在回答——在某一点附近的微小邻域,经变换后其面积如何变化:该映射是将其拉伸开,还是挤压在一起。

知识卡片

01

雅可比行列式

视频将雅可比行列式定义为雅可比矩阵的行列式。在将这一概念用于多元函数之前,它首先回顾了普通行列式在线性代数中的含义。

02

2×22\times 2行列式的计算

对于该例中的矩阵,行列式通过主对角线元素相乘再减去另一条对角线元素的乘积求得。屏幕上显示的计算过程为det⁡([3102])=3⋅2−1⋅0=6\det\left(\begin{bmatrix}3&1\\0&2\end{bmatrix}\right)=3\cdot 2-1\cdot 0=6。

det⁡([3102])=3⋅2−1⋅0=6\det\left(\begin{bmatrix}3&1\\0&2\end{bmatrix}\right)=3\cdot 2-1\cdot 0=6
03

列向量作为变换后的基向量

当把矩阵视为一个线性变换时,它的各列指明了标准基向量的像。在本例中,第一个基向量映射到(3,0),第二个基向量映射到(1,2)。

04

行列式作为面积缩放因子

行列式衡量线性变换对面积的拉伸或压缩程度。视频强调,这不仅是图中单位正方形所具有的性质;在同一个线性映射下,平面上所有区域的面积缩放比例都相同。

05

单位正方形到平行四边形的验证

高亮显示的单位正方形面积为1。在该示例变换下,它变为一个底为3、高为2的平行四边形,因此其面积为3⋅23\cdot 2=6。该结果与行列式一致,直观地验证了行列式所表示的面积缩放含义。

area=3⋅2=6\text{area}=3\cdot 2=6
06

非线性示例函数

视频片段随后引入一个二元函数[x+sin⁡(y)y+sin⁡(x)]\begin{bmatrix}x+\sin(y)\\y+\sin(x)\end{bmatrix}。与之前出现的矩阵示例不同,该映射整体是非线性的,并使整个网格发生弯曲。

[f1(x,y)f2(x,y)]=[x+sin⁡(y)y+sin⁡(x)]\begin{bmatrix} f_1(x,y) \\ f_2(x,y) \end{bmatrix} = \begin{bmatrix} x+\sin(y) \\ y+\sin(x) \end{bmatrix}
07

局部线性化的动机

尽管该非线性函数整体呈弯曲状,但讲解者指出一个被放大并高亮的区域,在该区域内图像近似呈线性。这种局部线性行为,正是我们研究非线性映射的雅可比矩阵这一概念背后的直观桥梁。

08

雅可比行列式作为局部面积缩放因子

视频将局部线性化矩阵的行列式解释为邻近区域面积被拉伸或压缩的倍数。高亮的黄色方框仅用作跟踪该变化的一个示例区域。

09

变换示例

所研究的具体映射由两个分量函数给出:一个为x加上sin⁡(y)\sin (y),另一个为y加上sin⁡(x)\sin (x)。

[f1(x,y)f2(x,y)]=[x+sin⁡(y)y+sin⁡(x)]\begin{bmatrix} f_1(x,y) \\ f_2(x,y) \end{bmatrix} = \begin{bmatrix} x+\sin(y) \\ y+\sin(x) \end{bmatrix}
10

雅可比矩阵定义

对于含两个变量的二元函数,雅可比矩阵汇集所有一阶偏导数,其中行对应输出分量,列对应输入变量。

[∂f1∂x∂f1∂y∂f2∂x∂f2∂y]\begin{bmatrix} \frac{\partial f_1}{\partial x} & \frac{\partial f_1}{\partial y} \\ \frac{\partial f_2}{\partial x} & \frac{\partial f_2}{\partial y} \end{bmatrix}
11

示例映射的雅可比矩阵

对示例映射求导后,对角线元素为常数,非对角线元素为余弦函数,因此雅可比矩阵始终是关于x和y的矩阵值函数,直至选定某一点。

[1cos⁡(y)cos⁡(x)1]\begin{bmatrix} 1 & \cos(y) \\ \cos(x) & 1 \end{bmatrix}
12

2x2行列式法则

该片段使用了2×22\times 2行列式的标准计算规则:主对角线元素乘积减去副对角线元素乘积。

det⁡[abcd]=ad−bc\det\begin{bmatrix}a&b\\c&d\end{bmatrix}=ad-bc
13

符号形式的雅可比行列式

将2×22\times 2规则应用于示例雅可比矩阵,得到以x和y为变量的行列式表达式,尚未在特定点处求值。

1⋅1−cos⁡(x)cos⁡(y)1\cdot 1-\cos(x)\cos(y)
14

雅可比行列式作为局部面积缩放因子

视频从操作角度定义雅可比行列式:它是一个数值,表示变换作用下某点附近微小邻域的面积变化程度。大于1的值代表拉伸;小于1的值代表压缩。

15

显示的行列式公式

对于屏幕上所示的矩阵,其行列式展开为1⋅1−cos⁡(x)cos⁡(y)1\cdot 1 - \cos (x)\cos (y)。该公式是后续所有数值计算的基础。

det⁡=1⋅1−cos⁡(x)cos⁡(y)\det = 1\cdot 1 - \cos(x)\cos(y)
16

在(-2,1)处的计算

代入x=−2x=-2与y=1y=1,得cos⁡(−2)\cos (-2)≈-0.42且cos⁡(1)\cos (1)≈0.54,因此行列式约为1−(−0.227)=1.2271 - (-0.227)=1.227。主讲人将此解释为轻微的局部面积扩张。

1−(−0.227)=1.2271 - (-0.227)=1.227
17

在(0,1)处的计算

代入x=0x=0与y=1y=1,其中cos⁡(0)=1\cos (0)=1为精确值,cos⁡(1)\cos (1)≈0.54,得出1−0.54=0.461 - 0.54 = 0.46。由于该值小于1,主讲人推断邻近区域按该因子收缩。

1−0.54=0.461 - 0.54 = 0.46
18

局部解释与全局解释之辨

主讲人反复强调,该行列式描述的是某点附近一个极小局部邻域的变化,而非整个平面所遵循的全局缩放规律。

详细学习笔记

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

符号定义 · 24

det⁡\det

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

    写作 det⁡([3102])\det\left(\begin{bmatrix}3&1\\0&2\end{bmatrix}\right)。

符号

det⁡\det

含义

作用于方阵的行列式运算符。

适用范围

方阵;此处为一个 2×22\times 2 矩阵。

[3102]\begin{bmatrix}3&1\\0&2\end{bmatrix}

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

    所显示的矩阵是 [3102]\begin{bmatrix}3&1\\0&2\end{bmatrix};音频将其列分别称为 (3,0) 和 (1,2)。

符号

[3102]\begin{bmatrix}3&1\\0&2\end{bmatrix}

含义

一个用于复习行列式并将其解释为线性变换的 2×22\times 2 矩阵示例。

适用范围

定义在 R2\mathbb{R}^2 上的线性映射。

[f1(x,y)f2(x,y)]\begin{bmatrix} f_1(x,y) \\ f_2(x,y) \end{bmatrix}

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

    写作 [f1(x,y)f2(x,y)]=[x+sin⁡(y)y+sin⁡(x)]\begin{bmatrix} f_1(x,y) \\ f_2(x,y) \end{bmatrix} = \begin{bmatrix} x+\sin(y) \\ y+\sin(x) \end{bmatrix}。

符号

[f1(x,y)f2(x,y)]\begin{bmatrix} f_1(x,y) \\ f_2(x,y) \end{bmatrix}

含义

一个以 x 和 y 为输入的双分量多元函数。

适用范围

从 R2\mathbb{R}^2 到 R2\mathbb{R}^2 的函数。

f1(x,y)f_1(x,y)

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

    第一个分量写作 f1(x,y)=x+sin⁡(y)f_1(x,y)=x+\sin(y)。

符号

f1(x,y)f_1(x,y)

含义

该多元函数示例的第一个输出分量。

适用范围

关于两个变量的实值函数。

f2(x,y)f_2(x,y)

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

    第二分量写作 f2(x,y)=y+sin⁡(x)f_2(x,y)=y+\sin(x)。

符号

f2(x,y)f_2(x,y)

含义

示例多元函数的第二输出分量。

适用范围

二元实值函数。

x,y

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

    两个分量均以输入 (x,y) 表示。

符号

x,y

含义

该多元函数示例的输入坐标。

适用范围

实变量。

Jacobian Determinant

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

    标题为“雅可比行列式”。

符号

Jacobian Determinant

含义

本课的标题及所讨论量的名称。

适用范围

多变量微积分/映射 R2→R2R^2 \to R^2 的线性化

f1(x,y)f_1(x,y)

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

    黄色向量方程显示 f1(x,y)=x+sin⁡(y)f_1(x,y) = x + \sin (y)。

符号

f1(x,y)f_1(x,y)

含义

变换的第一个分量函数。

适用范围

关于变量 x 和 y 的函数

f2(x,y)f_2(x,y)

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

    黄色向量方程显示 f2(x,y)=y+sin⁡(x)f_2(x,y) = y + \sin (x)。

符号

f2(x,y)f_2(x,y)

含义

变换的第二个分量函数。

适用范围

关于变量 x 和 y 的函数

x, y

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

    函数写作 f1(x,y)f_1(x,y)、f2(x,y)f_2(x,y)。

  2. 图示
    观察依据

    坐标平面标有坐标轴和网格。

符号

x, y

含义

变换的输入坐标;也用于 cos⁡(x)\cos (x)、cos⁡(y)\cos (y) 中。

适用范围

平面上的实变量

∂f1∂x\frac{\partial f_1}{\partial x}

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

    绿色手写内容 ∂f1f_1/∂x 被填入雅可比矩阵。

  2. 声音
    观察依据

    说话人提示对 f1f_1 关于 x 求偏导数。

符号

∂f1∂x\frac{\partial f_1}{\partial x}

含义

第一个分量关于 x 的偏导数。

适用范围

雅可比矩阵的 (1,1) 位置元素

∂f2∂x\frac{\partial f_2}{\partial x}

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

    绿色手写内容 ∂f2f_2/∂x 被填入雅可比矩阵。

  2. 声音
    观察依据

    说话人提示对第二个分量关于 x 求偏导数。

符号

∂f2∂x\frac{\partial f_2}{\partial x}

含义

第二个分量关于 x 的偏导数。

适用范围

雅可比矩阵的 (2,1) 位置元素

知识点 · 12

雅可比行列式

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

    讲解者指出本节主题是雅可比行列式,并说明它是雅可比矩阵的行列式。

  2. 字幕依据
    观察依据

    标题文字显示为“雅可比行列式”。

定义
解释

视频将雅可比行列式介绍为此前视频中讨论过的雅可比矩阵的行列式。

公式
适用条件
  1. 指代雅可比矩阵。

  2. 本片段未复述此前对雅可比矩阵的定义。

先修条目
  1. 2×22\times 2矩阵的行列式

2×22\times 2矩阵的行列式

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

    主讲人回顾了在普通线性代数背景下如何理解行列式。

  2. 公式
    观察依据

    屏幕上计算了示例行列式。

方法
解释

对于屏幕上显示的2×22\times 2矩阵,其行列式通过主对角线元素的乘积减去另一条对角线元素的乘积来计算。

公式
det⁡([3102])=3⋅2−1⋅0=6\det\left(\begin{bmatrix}3&1\\0&2\end{bmatrix}\right)=3\cdot 2-1\cdot 0=6
适用条件
  1. 适用于2×22\times 2矩阵。

  2. 视频通过一个具体矩阵演示该规则,而非陈述一般性的符号公式。

行列式的几何意义

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

    主讲人指出,行列式刻画了该线性变换拉伸或压缩空间的程度。

  2. 图示
    观察依据

    变换前显示一个黄色单位正方形,变换后显示一个平行四边形。

定义
解释

当把矩阵视为线性变换时,其行列式给出了面积被缩放的倍数。视频强调,这一性质适用于任意区域,而不仅限于所标注的单位正方形。

公式
适用条件
  1. 该矩阵被解释为平面上的一个线性变换。

  2. 讨论聚焦于二维情形下的面积缩放。

先修条目
  1. 2×22\times 2矩阵的行列式
  2. 矩阵的列即为被变换后的基向量

矩阵的列即为被变换后的基向量

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

    主讲人指出,第一个基向量映射到(3,0),第二个基向量映射到(1,2),这是从矩阵列的角度来思考的。

定义
解释

该示例矩阵被理解为一个线性变换,其列向量指明了标准基向量的落点:第一个基向量映射到(3,0),第二个基向量映射到(1,2)。

公式
适用条件
  1. 此解释适用于将矩阵视为作用在R2\mathbb{R}^2上的线性变换的情形。

先修条目
  1. 2×22\times 2矩阵的行列式

非线性映射的局部线性近似

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

    主讲人指出,该非线性函数完全不是线性的,但若我们在某一特定区域附近放大观察,它看起来就像一个线性变换。

  2. 图示
    观察依据

    一个外层黄色方框标出了网格上被放大的区域。

  3. 动画
    观察依据

    扭曲的网格在高亮区域内局部变得更为平直。

定义
解释

视频展示了一个具有两个变量的非线性函数:其全局作用使平面发生弯曲,但在一个足够小的高亮区域内,其行为类似于一个线性变换。

公式
适用条件
  1. 该函数在全局上是非线性的。

  2. 这一主张是局部性的:它关注的是对某一特定区域进行放大观察。

先修条目
  1. 行列式的几何意义

正在研究的变换

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

    黄色方程定义了f1(x,y)=x+sin⁡(y)f_1(x,y)=x+\sin (y),f2(x,y)=y+sin⁡(x)f_2(x,y)=y+\sin (x)。

  2. 声音
    观察依据

    说话人在讨论该变换时,称其为“此处这个具体例子”。

定义
解释

本片段研究的平面映射按分量给出:f1(x,y)=x+sin⁡(y)f_1(x,y)=x+\sin (y) 与 f2(x,y)=y+sin⁡(x)f_2(x,y)=y+\sin (x)。这是通过雅可比行列式分析其局部拉伸行为的具体例子。

公式
[f1(x,y)f2(x,y)]=[x+sin⁡(y)y+sin⁡(x)]\begin{bmatrix} f_1(x,y) \\ f_2(x,y) \end{bmatrix} = \begin{bmatrix} x+\sin(y) \\ y+\sin(x) \end{bmatrix}
适用条件
  1. 定义在平面上的输入变量x和y上。

一个2维映射的雅可比矩阵

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

    说话人称,描述放大后变换的矩阵即为雅可比矩阵,它包含了全部偏微分信息。

  2. 公式
    观察依据

    矩阵元素∂f1f_1/∂x、f2/xf_2/x、∂f1f_1/∂y、∂f2f_2/∂y被明确写出。

定义
解释

对于一个从 R2R^2 到 R2R^2 的映射,其分量为 f1f_1 和 f2f_2,雅可比矩阵汇集了一阶偏导数。本片段中,它被构造成一个 2×22\times 2 矩阵,其中行对应输出分量,列对应关于 x 和 y 的求导。

公式
[∂f1∂x∂f1∂y∂f2∂x∂f2∂y]\begin{bmatrix} \frac{\partial f_1}{\partial x} & \frac{\partial f_1}{\partial y} \\ \frac{\partial f_2}{\partial x} & \frac{\partial f_2}{\partial y} \end{bmatrix}
适用条件
  1. 适用于两个变量的可微双分量函数。

先修条目
  1. 正在研究的变换

该示例映射的雅可比矩阵

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

    讲解者指出,左上角结果恰好是常函数1,右下角同理,其余两项则是余弦函数。

  2. 公式
    观察依据

    计算所得矩阵 [[1, cos⁡(y)\cos (y)],[cos⁡(x)\cos (x), 1]] 显示在屏幕上。

公式
解释

对示例变换求导后,对角线元素等于1,非对角线元素等于余弦项。所得矩阵仍依赖于 x 和 y,直至代入具体点。

公式
[1cos⁡(y)cos⁡(x)1]\begin{bmatrix} 1 & \cos(y) \\ \cos(x) & 1 \end{bmatrix}
适用条件
  1. 由 f1(x,y)=x+sin⁡(y)f_1(x,y)=x+\sin (y) 和 f2(x,y)=y+sin⁡(x)f_2(x,y)=y+\sin (x) 推导得出。

先修条目
  1. 正在研究的变换
  2. 一个2维映射的雅可比矩阵

雅可比行列式的几何意义

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

    讲解者指出,该矩阵的行列式将告诉我们面积被拉伸的倍数。

  2. 图示
    观察依据

    动画展示一个高亮的小区域 undergoing 变换。

定义
解释

本课中,局部线性化矩阵的行列式被解释为:变换作用下邻近区域面积被拉伸或压缩的倍数。高亮的黄色方框作为占位区域,用于追踪该局部面积变化。

公式
适用条件
  1. 在平面上选定一点的邻域内进行讨论。

先修条目
  1. 一个2维映射的雅可比矩阵

适用于 2×22\times 2 矩阵的行列式法则

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

    讲解者以操作性方式说明如何计算行列式:取这两条对角线,1乘以1,再减去另一条对角线元素的乘积。

  2. 公式
    观察依据

    前面的例子 det([[3,1],[0,2]]) = 3⋅2−1⋅0=63\cdot 2 - 1\cdot 0 = 6清晰可见;后续的符号化结果为 1⋅1−cos⁡(x)cos⁡(y)1\cdot 1 - \cos (x)\cos (y)。

方法
解释

该片段采用标准的 2×22\times 2 行列式计算方法:将主对角线元素相乘,再减去副对角线元素的乘积。这一法则先以数值形式展示,随后被应用于雅可比矩阵的符号化计算。

公式
det⁡[abcd]=ad−bc\det\begin{bmatrix}a&b\\c&d\end{bmatrix}=ad-bc
适用条件
  1. 针对 2×22\times 2 矩阵展示。

雅可比行列式作为局部面积缩放因子

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

    讲解者说明:该行列式反映了一个点附近区域是被拉伸还是被压缩,以及拉伸或压缩的倍数。

  2. 公式
    观察依据

    该行列式由屏幕上显示的雅可比矩阵计算得出。

  3. 动画
    观察依据

    左侧面板展示了一个小正方形邻域在变换作用下的形变过程。

定义
解释

本片段中,雅可比行列式被呈现为刻画微小局部邻域在变换下面积变化程度的量:大于1的值表示拉伸,小于1的值表示收缩。

公式
适用条件
  1. 在特定点 (x, y) 处取值。

  2. 在微小邻域内作局部解释。

显示的行列式公式

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

    可见的行列式展开式为1⋅1−cos⁡(x)cos⁡(y)1\cdot 1 - \cos (x)\cos (y)。

  2. 声音
    观察依据

    讲解者将具体数值代入该表达式。

公式
解释

视频中使用的雅可比行列式显式公式为 det = 1⋅1−cos⁡(x)cos⁡(y)1\cdot 1 - \cos (x)\cos (y)。

公式
det⁡=1⋅1−cos⁡(x)cos⁡(y)\det = 1\cdot 1 - \cos(x)\cos(y)
适用条件
  1. 适用于屏幕上显示的特定雅可比矩阵。

先修条目
  1. 雅可比行列式作为局部面积缩放因子
定理与条件 · 7

面积按行列式缩放

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

    主讲人指出,面积被拉伸的倍数等于该矩阵的行列式,且所有面积都被拉伸了6倍。

命题
命题

对于所示的线性变换,每个区域的面积都被拉伸了6倍。

前提
  1. 该矩阵为[3102]\begin{bmatrix}3&1\\0&2\end{bmatrix}。

  2. 行列式的计算结果为6。

  3. 在该线性变换下,平面上的区域被度量。

量词

所有平面区域都受到相同的面积缩放因子影响。

从图示中验证面积缩放因子

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

    讲解者用平行四边形验证该结果,指出其底边长为3、高为2,因此3乘以2等于6。

  2. 图示
    观察依据

    变换后的黄色区域是一个平行四边形,其底边长度为3、垂直高度为2。

命题
命题

单位正方形在此例变换下的像为一个面积为6的平行四边形,与行列式值一致。

前提
  1. 原始高亮区域是面积为1的单位正方形。

  2. 变换后的区域即为图中所示的平行四边形。

量词

该验证仅针对所展示的具体示例陈述。

非线性映射在放大后局部看起来是线性的。

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

    说话者指出,尽管该函数在整体上不是线性的,但在某个特定区域附近放大后,它看起来就像一个线性变换。

  2. 动画
    观察依据

    在高亮显示的外层黄色方框内部,扭曲的网格局部看起来更接近直线。

待核验内容
  1. 本片段中未口头说明用于放大的确切点或邻域。

命题
命题

该示例非线性函数整体呈弯曲状,但在足够放大的区域内,它粗略地看起来像一个线性函数。

前提
  1. 该函数为[x+sin⁡(y)y+sin⁡(x)]\begin{bmatrix}x+\sin(y)\\y+\sin(x)\end{bmatrix}。

  2. 人们考察的是一个被高亮的小区域,而非整个平面。

量词

这是关于某个特定放大区域的局部陈述;本片段并未形式化该邻域的大小。

行列式给出局部面积缩放因子

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

    讲解者指出:若已知描述局部放大变换的矩阵,则其行列式即表示面积在此处被拉伸的倍数。

待核验内容
  1. 该结论在此片段中以直观方式呈现;此处未给出严格证明。

命题
命题

对于该映射所对应的局部线性变换,其行列式即表示该区域中面积被拉伸或压缩的倍数。

前提
  1. 存在一个矩阵,用于描述局部放大/局部变换。

量词

围绕局部放大区域的局部性陈述。

雅可比矩阵描述局部放大后的变换。

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

    主讲人指出,描述该局部放大变换的矩阵是雅可比矩阵,它包含了全部的偏微分信息。

待核验内容
  1. 本片段未明确说明可微性假设。

命题
命题

描述该局部放大变换的矩阵是雅可比矩阵,由各分量函数的偏导数构成。

前提
  1. 该变换的分量函数为 f1f_1 和 f2f_2,且具有偏导数。

量词

针对当前讨论的示例映射。

雅可比矩阵的元素在代入具体点之前仍为函数。

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

    主讲人指出,这些(偏导数)通常是 x 和 y 的函数,因为你代入的是你正在局部放大的那个输入点。

命题
命题

在代入某个特定点之前,雅可比矩阵的各个元素都是 x 和 y 的函数。

前提
  1. 雅可比矩阵已完成符号计算,但尚未在某一点处求值。

量词

针对该示例的一般性陈述。

行列式的符号/大小解释

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

    主讲人指出,在点 (-2,1) 处,区域面积大致被拉伸为原来的 1.227 倍;而在点 (0,1) 处,区域面积则大致被压缩为原来的 0.46 倍。

  2. 动画
    观察依据

    视觉上的形变与这些解释一致。

命题
命题

对于所展示的变换,雅可比行列式大于 1 表示局部面积扩张,而小于 1 则表示局部面积收缩。

前提
  1. 该行列式在选定的点处进行计算。

  2. 邻域足够小,可采用局部线性近似。

量词

即视频片段中所示的两个特定点:(-2,1) 和 (0,1)。

推导与证明 · 6

计算该示例的行列式

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

    说话者解释:取对角线上的项,将3乘以2,再减去1乘以0。

  2. 公式
    观察依据

    屏幕上的计算显示det⁡([3102])=3⋅2−1⋅0=6\det\left(\begin{bmatrix}3&1\\0&2\end{bmatrix}\right)=3\cdot 2-1\cdot 0=6。

严格证明
步骤
  1. 公式
    det⁡([3102])\det\left(\begin{bmatrix}3&1\\0&2\end{bmatrix}\right)
    解释

    从显示的2x2矩阵行列式开始。

    步骤依据

    给定的示例矩阵。

    视频直接表达
  2. 公式
    =3⋅2−1⋅0=3\cdot 2-1\cdot 0
    解释

    将主对角线上的元素相乘,再减去另一条对角线上元素的乘积。

    步骤依据

    视频中演示的标准2x2行列式计算法则。

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

    进行算术运算求值。

    步骤依据

    直接进行数值化简。

    视频直接表达
结论

该示例矩阵的行列式为6。

通过几何方式验证面积缩放因子。

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

    讲解者指出,平行四边形的底为3、高为2,且3乘以2等于6。

  2. 图示
    观察依据

    变换后的黄色区域在图中明显是一个平行四边形,其水平底边长为3,垂直高为2。

视觉说明
步骤
  1. 公式
    base=3,height=2\text{base}=3,\quad \text{height}=2
    解释

    从图中读取变换后平行四边形的底和高。

    步骤依据

    对图示进行目视观察。

    视频直接表达
  2. 公式
    area=3⋅2=6\text{area}=3\cdot 2=6
    解释

    计算平行四边形的面积。

    步骤依据

    平行四边形的底乘高公式。

    视频直接表达
  3. 公式
    6=det⁡([3102])6=\det\left(\begin{bmatrix}3&1\\0&2\end{bmatrix}\right)
    解释

    与之前计算的行列式进行比较。

    步骤依据

    视频明确将图中的数字3和2与矩阵中的元素对应起来。

    视频直接表达
结论

单位正方形的像的面积为6,与行列式值一致,体现了面积缩放的几何解释。

示例雅可比矩阵的推导过程

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

    主讲人口头逐项构造该矩阵,并解释为何每一项变为1或一个余弦项。

  2. 公式
    观察依据

    矩阵模板与计算后的矩阵均显示在屏幕上。

严格证明
步骤
  1. 公式
    [f1(x,y)f2(x,y)]=[x+sin⁡(y)y+sin⁡(x)]\begin{bmatrix} f_1(x,y) \\ f_2(x,y) \end{bmatrix} = \begin{bmatrix} x+\sin(y) \\ y+\sin(x) \end{bmatrix}
    解释

    从给定的变换分量函数出发。

    步骤依据

    直接观察黑板上的黄色公式得出。

    视频直接表达
  2. 公式
    [∂f1∂x∂f1∂y∂f2∂x∂f2∂y]\begin{bmatrix} \frac{\partial f_1}{\partial x} & \frac{\partial f_1}{\partial y} \\ \frac{\partial f_2}{\partial x} & \frac{\partial f_2}{\partial y} \end{bmatrix}
    解释

    写出一般的2×22\times 2雅可比矩阵,其元素为两个分量函数对x和y的偏导数。

    步骤依据

    主讲人称该矩阵承载了全部偏微分信息。

    视频直接表达
  3. 公式
    ∂f1∂x=1\frac{\partial f_1}{\partial x}=1
    解释

    对f1=x+sin⁡(y)f_1=x+\sin (y)关于x求偏导;正弦项相对于x为常数。

    步骤依据

    音频讲解配合标准的偏微分运算。

    视频直接表达
  4. 公式
    ∂f2∂y=1\frac{\partial f_2}{\partial y}=1
    解释

    对f2=y+sin⁡(x)f_2=y+\sin (x)关于y求偏导;正弦项相对于y为常数。

    步骤依据

    音频讲解配合标准的偏微分运算。

    视频直接表达
  5. 公式
    ∂f2∂x=cos⁡(x)\frac{\partial f_2}{\partial x}=\cos(x)
    解释

    对f2=y+sin⁡(x)f_2=y+\sin (x)关于x求偏导。

    步骤依据

    主讲人明确指出该矩阵元素为余弦x。

    视频直接表达
  6. 公式
    ∂f1∂y=cos⁡(y)\frac{\partial f_1}{\partial y}=\cos(y)
    解释

    对 f1=x+sin⁡(y)f_1 = x + \sin (y) 关于 y 求导。

    步骤依据

    说话人明确指出此项为 y 的余弦。

    视频直接表达
  7. 公式
    [1cos⁡(y)cos⁡(x)1]\begin{bmatrix} 1 & \cos(y) \\ \cos(x) & 1 \end{bmatrix}
    解释

    将这四个偏导数组装成该例的雅可比矩阵。

    步骤依据

    将已计算出的各元素直接代入矩阵模板。

    视频直接表达
结论

给定变换的雅可比矩阵为 [[1, cos⁡(y)\cos (y)], [cos⁡(x)\cos (x), 1]]。

将雅可比行列式计算为一个函数。

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

    说话人对符号矩阵应用主对角线减副对角线法则。

  2. 公式
    观察依据

    写出 det([[1, cos⁡(y)\cos (y)], [cos⁡(x)\cos (x), 1]]) 与 1⋅1−cos⁡(x)cos⁡(y)1\cdot 1 - \cos (x)\cos (y)。

严格证明
步骤
  1. 公式
    det⁡([1cos⁡(y)cos⁡(x)1])\det\left(\begin{bmatrix}1&\cos(y)\\\cos(x)&1\end{bmatrix}\right)
    解释

    在保留 x 和 y 为符号的前提下,求雅可比矩阵的行列式。

    步骤依据

    说话人指出应以函数形式求此行列式。

    视频直接表达
  2. 公式
    1⋅11\cdot 1
    解释

    将主对角线上的两个元素相乘。

    步骤依据

    黑板上此前已演示过标准的 2×22\times 2 行列式法则。

    视频直接表达
  3. 公式
    cos⁡(x)cos⁡(y)\cos(x)\cos(y)
    解释

    将两条对角线上的对应项相乘。

    步骤依据

    此前在黑板上展示的标准2×22\times 2行列式计算法则。

    视频直接表达
  4. 公式
    1⋅1−cos⁡(x)cos⁡(y)1\cdot 1-\cos(x)\cos(y)
    解释

    用主对角线乘积减去副对角线乘积。

    步骤依据

    讲解者明确执行了这一减法运算。

    视频直接表达
结论

该示例映射的雅可比行列式为1⋅1−cos⁡(x)cos⁡(y)1\cdot 1 - \cos (x)\cos (y)。

在点(-2,1)处计算该行列式的值

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

    主讲人代入 x=−2x = -2、y=1y = 1,计算得 cos⁡(−2)\cos (-2) ≈ -0.42、cos⁡(1)\cos (1) ≈ 0.54,将二者相乘后从 1 中减去,得到结果 1.227。

  2. 公式
    观察依据

    屏幕上的算术过程显示为 1−(−0.227)=1.2271 - (-0.227) = 1.227。

数值验证
步骤
  1. 公式
    x=−2, y=1x=-2,\ y=1
    解释

    将该点代入行列式公式。

    步骤依据

    说话人直接要求进行计算。

    视频直接表达
  2. 公式
    cos⁡(−2)≈−0.42\cos(-2)\approx -0.42
    解释

    计算第一个余弦因子。

    步骤依据

    数值近似值被口头陈述并显示在屏幕上。

    视频直接表达
  3. 公式
    cos⁡(1)≈0.54\cos(1)\approx 0.54
    解释

    计算第二个余弦因子。

    步骤依据

    数值近似值被口头陈述并显示在屏幕上。

    视频直接表达
  4. 公式
    1⋅1−cos⁡(−2)cos⁡(1)≈1−(−0.227)1\cdot 1 - \cos(-2)\cos(1)\approx 1 - (-0.227)
    解释

    将两个余弦值相乘,并代入行列式公式。

    步骤依据

    代数代入所显示的公式。

    视频直接表达
  5. 公式
    1−(−0.227)=1.2271 - (-0.227)=1.227
    解释

    化简得到最终的行列式值。

    步骤依据

    算术化简。

    视频直接表达
结论

雅可比行列式在点(-2,1)处的近似值为1.227,表明局部面积按该倍数扩张。

在点 (0,1) 处计算该行列式的值。

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

    主讲人将前述结论与 x=0x=0、y=1y=1 的情形作对比,指出 cos⁡(0)=1\cos (0)=1 恰好成立,再两边同乘 0.54,得到 0.46。

  2. 公式
    观察依据

    屏幕上的算术运算显示:1 减去 (0.54) 等于 0.46。

数值验证
步骤
  1. 公式
    x=0, y=1x=0,\ y=1
    解释

    将新点代入同一行列式公式中。

    步骤依据

    主讲人引入直接比较。

    视频直接表达
  2. 公式
    cos⁡(0)=1\cos(0)=1
    解释

    精确计算第一个余弦因子的值。

    步骤依据

    口头陈述一个标准三角函数值。

    视频直接表达
  3. 公式
    cos⁡(1)≈0.54\cos(1)\approx 0.54
    解释

    复用先前已算出的余弦值。

    步骤依据

    y 坐标与之前相同。

    视频直接表达
  4. 公式
    1⋅1−cos⁡(0)cos⁡(1)≈1−(0.54)1\cdot 1 - \cos(0)\cos(1)\approx 1 - (0.54)
    解释

    将数值代入行列式公式。

    步骤依据

    代数代入。

    视频直接表达
  5. 公式
    1−0.54=0.461 - 0.54 = 0.46
    解释

    化简为最终的行列式值。

    步骤依据

    算术化简。

    视频直接表达
结论

在点(0,1)处的雅可比行列式约为0.46,表示该点邻域面积按该因子发生局部收缩。

例题详解 · 5

示例:行列式作为2×22\times 2矩阵的面积缩放因子

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

    矩阵[3102]\begin{bmatrix}3&1\\0&2\end{bmatrix}及其行列式计算过程显示在屏幕上。

  2. 图示
    观察依据

    一个黄色的单位正方形被变换为一个平行四边形。

  3. 声音
    观察依据

    主讲人将行列式解释为面积拉伸因子,并用底3和高2验证该解释。

题目

通过计算矩阵[3102]\begin{bmatrix}3&1\\0&2\end{bmatrix}的行列式,并将其几何解释为对应线性变换对面积的作用,来回顾行列式的含义。

已知条件
  1. 矩阵[3102]\begin{bmatrix}3&1\\0&2\end{bmatrix}。

  2. 被高亮标出的初始区域是面积为1的单位正方形。

  3. 这两列向量分别落在点(3,0)和(1,2)处。

目标

计算行列式;将行列式解释为面积缩放因子;通过变换后的平行四边形验证该缩放因子。

步骤
  1. 公式
    det⁡([3102])=3⋅2−1⋅0=6\det\left(\begin{bmatrix}3&1\\0&2\end{bmatrix}\right)=3\cdot 2-1\cdot 0=6
    解释

    使用对角线法则计算行列式。

    步骤依据

    视频中展示的标准2×22\times 2行列式计算方法。

    视频直接表达
  2. 公式
    (1,0)↦(3,0),(0,1)↦(1,2)(1,0)\mapsto (3,0),\quad (0,1)\mapsto (1,2)
    解释

    将矩阵的列向量理解为标准基向量在线性变换下的像。

    步骤依据

    音频中对矩阵作为线性变换的讲解。

    视频直接表达
  3. 公式
    unit square area=1\text{unit square area}=1
    解释

    从高亮显示的标准区域出发。

    步骤依据

    音频中明确说明。

    视频直接表达
  4. 公式
    transformed area=3⋅2=6\text{transformed area}=3\cdot 2=6
    解释

    从平行四边形中读出底为3、高为2,然后相乘。

    步骤依据

    视频中给出的几何验证。

    视频直接表达
结果

行列式的值为6,该变换将面积缩放了6倍。

检验

单位正方形经变换后成为面积为6的平行四边形,与所计算的行列式结果一致。

示例铺垫:一个用于讨论雅可比矩阵的非线性映射

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

    函数 [f1(x,y)f2(x,y)]=[x+sin⁡(y)y+sin⁡(x)]\begin{bmatrix} f_1(x,y) \\ f_2(x,y) \end{bmatrix} = \begin{bmatrix} x+\sin(y) \\ y+\sin(x) \end{bmatrix} 显示在屏幕上。

  2. 声音
    观察依据

    讲解者指出,这是用于学习雅可比矩阵的函数;它在整个定义域上不是线性的,但在放大观察时局部呈现线性特征。

  3. 动画
    观察依据

    网格整体发生扭曲,同时一个高亮区域被更局部地考察。

待核验内容
  1. 该片段仅铺垫了这一示例,并未在此部分计算雅可比矩阵或其行列式。

题目

引入一个多元函数,它在全局上表现出非线性行为,但其局部行为可与某个线性变换相比较。

已知条件
  1. 函数 [f1(x,y)f2(x,y)]=[x+sin⁡(y)y+sin⁡(x)]\begin{bmatrix} f_1(x,y) \\ f_2(x,y) \end{bmatrix} = \begin{bmatrix} x+\sin(y) \\ y+\sin(x) \end{bmatrix}。

  2. 一个外部黄色方框标出了网格上被放大的区域。

目标

以分量形式写出该函数;并以此引出与雅可比矩阵相关的局部线性化思想。

步骤
  1. 公式
    [f1(x,y)f2(x,y)]=[x+sin⁡(y)y+sin⁡(x)]\begin{bmatrix} f_1(x,y) \\ f_2(x,y) \end{bmatrix} = \begin{bmatrix} x+\sin(y) \\ y+\sin(x) \end{bmatrix}
    解释

    展示这个以 x 和 y 为输入的双分量函数。

    步骤依据

    直接显示在屏幕上并同步口述。

    视频直接表达
  2. 公式
    globally nonlinear, locally approximately linear\text{globally nonlinear, locally approximately linear}
    解释

    将整体扭曲的图像与高亮放大的区域进行对比。

    步骤依据

    音频讲解配合网格动画。

    视频直接表达
结果

示例函数为[x+sin⁡(y)y+sin⁡(x)]\begin{bmatrix}x+\sin(y)\\y+\sin(x)\end{bmatrix},被介绍为一种非线性映射,但在小范围内看起来近似线性。

检验

视觉动画展示全局曲率,而高亮区域则显得局部更平直;本片段中未进行任何进一步计算。

一个数值型的2×22\times 2行列式示例。

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

    可见的演算示例:det([[3,1],[0,2]]) = 3⋅2−1⋅0=63\cdot 2 - 1\cdot 0 = 6。

题目

计算屏幕上显示的2×22\times 2矩阵的行列式。

已知条件
  1. 矩阵的元素分别为3、1、0、2。

目标

求出行列式的值。

步骤
  1. 公式
    det⁡([3102])\det\left(\begin{bmatrix}3&1\\0&2\end{bmatrix}\right)
    解释

    列出该数值矩阵的行列式表达式。

    步骤依据

    直接书写在黑板上。

    视频直接表达
  2. 公式
    3⋅2−1⋅03\cdot 2-1\cdot 0
    解释

    应用2×22\times 2行列式法则。

    步骤依据

    与黑板上显示的公式和箭头相匹配。

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

    计算算术结果。

    步骤依据

    黑板上显示最终结果。

    视频直接表达
结果

对应的式子为:6

检验

黑板本身展示了以6为结尾的完整计算过程。

函数f(x,y)=(x+sin⁡y,y+sin⁡x)f(x,y)=(x+\sin y, y+\sin x)的雅可比行列式

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

    已计算出的雅可比矩阵及其行列式表达式呈现在屏幕上。

  2. 声音
    观察依据

    主讲人逐项解释,然后符号化地计算行列式。

待核验内容
  1. 该片段在展示点(-2,1)处的数值计算前即结束。

题目

对于变换f1(x,y)=x+sin⁡(y)f_1(x,y)=x+\sin (y),f2(x,y)=y+sin⁡(x)f_2(x,y)=y+\sin (x),计算雅可比行列式(作为x和y的函数)。

已知条件
  1. f1(x,y)=x+sin⁡(y)f_1(x,y) = x + \sin (y)

  2. f2(x,y)=y+sin⁡(x)f_2(x,y) = y + \sin (x)

目标

求 det(J)。

步骤
  1. 公式
    J=[1cos⁡(y)cos⁡(x)1]J=\begin{bmatrix}1&\cos(y)\\\cos(x)&1\end{bmatrix}
    解释

    计算偏导数,并组成雅可比矩阵。

    步骤依据

    由分量函数推导得出,并在视频片段中用语言解释。

    视频直接表达
  2. 公式
    det⁡(J)=det⁡([1cos⁡(y)cos⁡(x)1])\det(J)=\det\left(\begin{bmatrix}1&\cos(y)\\\cos(x)&1\end{bmatrix}\right)
    解释

    写出雅可比矩阵的行列式。

    步骤依据

    主讲人明确要求以函数形式给出该行列式。

    视频直接表达
  3. 公式
    1⋅1−cos⁡(x)cos⁡(y)1\cdot 1-\cos(x)\cos(y)
    解释

    使用 2×22\times 2 行列式法则。

    步骤依据

    步骤与之前那个数值示例相同。

    视频直接表达
结果

1⋅11\cdot 1-cos⁡(x)cos⁡(y)\cos (x)\cos (y)

检验

最终表达式写在黑板上,且与口述的计算过程一致。

局部面积变化的直观示例

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

    左侧展示了一个以高亮显示点为中心的小正方形邻域,在变换作用下的形变过程。

  2. 声音
    观察依据

    讲解者将行列式的数值解释为邻近区域的拉伸或压缩因子。

题目

利用所显示的雅可比行列式,解释小邻域在点(-2,1)和点(0,1)附近面积的变化情况。

已知条件
  1. 行列式公式:1⋅1−cos⁡(x)cos⁡(y)1\cdot 1 - \cos (x)\cos (y)。

  2. 点1:(-2,1)。

  3. 点2:(0,1)。

  4. 动态演示的局部正方形邻域。

目标

将数值型行列式值与几何上的拉伸或收缩联系起来。

步骤
  1. 公式
    det⁡(−2,1)≈1.227\det(-2,1)\approx 1.227
    解释

    在点(-2,1)处,行列式的值超过1。

    步骤依据

    在视频片段中通过数值计算得出。

    视频直接表达
  2. 公式
    det⁡(0,1)≈0.46\det(0,1)\approx 0.46
    解释

    在点(0,1)处,行列式的值低于1。

    步骤依据

    在视频片段中通过数值计算得出。

    视频直接表达
  3. 公式
    1.227>1,0.46<11.227>1,\quad 0.46<1
    解释

    将每个值与1比较,以推断是扩张还是收缩。

    步骤依据

    由主讲人陈述的解释性规则。

    视频直接表达
结果

在点(-2,1)附近,面积被拉伸约1.227倍;在点(0,1)附近,面积被压缩约0.46倍。

检验

动画直观地印证了这些结论:在(-2,1)处为轻微拉伸,在(0,1)处为更强的压缩。

图示与动画 · 8

开场板面布局

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

    右上角显示标题“雅可比行列式”。

  2. 图示
    观察依据

    左侧为坐标网格,原点处有一个黄色单位正方形,并配有彩色的基向量箭头。

图中对象
  1. 标题文字“雅可比行列式”

  2. 坐标网格

  3. 黄色单位正方形

  4. 基向量箭头

变化过程
  1. 尚无任何数学内容发生变化;该画面用于引出主题并呈现初始单位正方形。

不变量
  1. 高亮的起始区域是面积为1的单位正方形。

数学含义

视频开头将主题名称与一幅平面图配对,该图后续将用于解释面积缩放。

书写行列式的计算过程

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

    行列式表达式及其计算过程在右侧逐步写出。

图中对象
  1. 行列式([3102])\left(\begin{bmatrix}3&1\\0&2\end{bmatrix}\right)

  2. 对角线相乘标记

  3. 结果 6

变化过程
  1. 先写出矩阵,再标出乘积 3⋅23\cdot 2 和 1⋅01\cdot 0,最后写出数值 6。

不变量
  1. 矩阵元素在整个计算过程中始终保持为 [3102]\begin{bmatrix}3&1\\0&2\end{bmatrix}。

数学含义

符号运算确立了后续几何解释所依据的数值行列式。

单位正方形的线性变换

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

    网格与黄色区域从正方形变形为倾斜的平行四边形。

  2. 图示
    观察依据

    最终的平行四边形底边长为 3,高为 2。

图中对象
  1. 黄色单位正方形

  2. 变换后的黄色平行四边形

  3. 网格线

  4. 基向量

变化过程
  1. 该正方形被剪切并拉伸为一个平行四边形。

  2. 网格线随之倾斜。

  3. 面积由1变为6。

不变量
  1. 高亮区域仍是原单位正方形在相同线性映射下的像。

  2. 行列式值6在画板上保持不变。

数学含义

本动画将行列式可视化为线性映射缩放面积的倍数。

从线性示例过渡到非线性映射

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

    函数 [x+sin⁡(y)y+sin⁡(x)]\begin{bmatrix}x+\sin(y)\\y+\sin(x)\end{bmatrix} 写在先前行列式示例的下方。

  2. 动画
    观察依据

    网格整体发生弯曲,同时外部黄色方框标出一个放大区域。

待核验内容
  1. 本片段中,放大区域的精确中心未以数字形式标注。

图中对象
  1. 分量函数公式

  2. 外层黄色放大框

  3. 扭曲的网格

  4. 被高亮显示的小型内部区域

变化过程
  1. 黑板内容从线性代数示例切换为非线性多变量函数。

  2. 网格整体发生弯曲。

  3. 高亮区域用于体现局部线性性质。

不变量
  1. 此前的行列式示例仍保留在上方可见。

  2. 函数分量保持固定,分别为 x+sin⁡(y)x+\sin(y) 和 y+sin⁡(x)y+\sin(x)。

数学含义

这种视觉对比凸显了为何要针对非线性映射研究雅可比矩阵等局部线性对象。

坐标平面上的高亮区域

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

    左侧显示一个坐标网格,其中有一个高亮的黄色正方形/方框,以及一个更小的内部黄色方框。

  2. 声音
    观察依据

    主讲人指出,内部黄色方框对应单位正方形,用作观察面积被拉伸程度的参照。

待核验内容
  1. 屏幕上未以数字形式标注方框的精确像素几何尺寸。

图中对象
  1. 坐标网格

  2. 外层黄色方框

  3. 内层黄色方框

  4. 变换后的弯曲网格线

变化过程
  1. 该视图着重展示正在被放大点附近的一个小区域。

不变量
  1. 黄色方框被用作局部区域比较的参考区域。

数学含义

该视觉设置引入了一个局部小块,其面积变化将通过雅可比行列式来解释。

局部形变动画

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

    弯曲网格线与高亮区域均以变换后的状态呈现。

  2. 声音
    观察依据

    讲解者指出,面积实际上并未发生太大变化;它们只是略微被拉伸,但变化并不显著。

待核验内容
  1. 该动画为定性演示;未显示任何数值化的面积数据。

图中对象
  1. 网格线

  2. 高亮显示的黄色区域

变化过程
  1. 该区域经变换发生畸变。

  2. 周围网格在映射作用下发生弯曲。

不变量
  1. 同一局部区域在形变前后被持续追踪。

数学含义

该动画展示了轻微的局部拉伸/压缩,由此引出行列式作为面积缩放因子的概念。

在黑板上书写雅可比矩阵与行列式

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

    黑板滚动,同时出现新的绿色与粉色手写内容,分别对应雅可比矩阵与行列式。

图中对象
  1. 雅可比矩阵模板

  2. 已计算出的雅可比矩阵

  3. 行列式表达式

变化过程
  1. 偏导数符号逐个添加。

  2. 矩阵被封闭完成。

  3. 行列式被写出并化简。

不变量
  1. 原始的变换公式仍保留在上方可见。

数学含义

视觉推演过程与代数推导过程一致:从分量函数出发,到雅可比矩阵,再到其行列式。

局部变换的分屏可视化

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

    左侧屏幕显示坐标网格,并在标记点周围高亮一个微小的正方形邻域。

  2. 图示
    观察依据

    右侧屏幕显示雅可比矩阵、行列式公式及相应运算。

图中对象
  1. 坐标网格

  2. 高亮的微小正方形邻域

  3. 标记的点

  4. 雅可比矩阵与行列式计算

变化过程
  1. 高亮显示的正方形在变换下发生形变。

  2. 数值行列式随不同点而更新。

  3. 在比较 (-2,1) 和 (0,1) 时,解释从拉伸转变为压缩。

不变量
  1. 行列式公式仍为 1⋅1−cos⁡(x)cos⁡(y)1\cdot 1 - \cos (x)\cos (y)。

  2. 右侧的代数设定始终可见。

数学含义

动画将代数行列式的值与微小局部邻域内的几何面积变化联系起来。

易错点 · 6

将行列式仅仅看作一个公式

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

    主讲人指出,这里发生的远不止是单纯的计算,还蕴含着非常优美的几何直观。

误区

行列式不过是一个没有几何含义的代数法则。

说明

视频强调,行列式还能度量线性变换对面积的拉伸或压缩程度。

误以为面积缩放因子仅适用于图中所示的正方形

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

    主讲人指出,所有面积——而不仅限于图中那个正方形——都被放大了6倍。

误区

只有被高亮显示的单位正方形才按行列式的值进行缩放。

说明

主讲人明确将面积缩放这一结论推广到同一线性变换作用下的任意形状。

认为非线性映射在任何地方都无法被当作线性来处理

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

    主讲人指出,该函数在整体上完全不是线性的,但在某个特定区域附近放大观察时,它看起来就像一个线性变换。

误区

由于整个函数是弯曲的,因此它根本没有任何有用的线性描述。

说明

视频介绍了局部线性化:在足够小的、被放大的区域内,非线性映射的行为近似于一个线性变换。

高亮显示的方框在形状上并无特殊之处。

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

    讲解者指出,黄色方框仅是一个占位符,用于观察该区域内任意形状“色块”的面积被拉伸了多少。

误区

有人可能认为所选的黄色方框本身具有内在重要性。

说明

视频将其呈现为一个占位符,用以观察该邻域内任意微小区域的局部面积变化。

切勿混淆符号形式的雅可比矩阵与在某点求值后的数值型雅可比矩阵。

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

    讲解者区分了在特定点处计算偏导数与将偏导数保留为关于 x 和 y 的函数这两种做法。

误区

有人可能在选定具体点之前,就将雅可比矩阵的各个元素视作固定数值。

说明

该片段强调,这些元素通常是关于 x 和 y 的函数,直到代入某个具体的输入点为止。

切勿将行列式理解为全局面积缩放因子

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

    讲解者反复强调某一点周围的微小局部邻域。

误区

人们可能认为雅可比行列式对所有区域、所有位置都给出一个统一的缩放因子。

说明

该片段将其呈现为一种局部度量:它描述的是所选点周围小邻域内面积的变化情况,而非在整个平面上的全局变化。

概念关系 · 10

2×22\times 2矩阵的行列式 → 雅可比行列式

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

    主讲人将雅可比行列式定义为雅可比矩阵的行列式。

先修
解释

该片段首先回顾普通行列式,因为雅可比行列式正是通过对雅可比矩阵取行列式而得到的。

矩阵的列即为被变换后的基向量 → 行列式的几何意义

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

    主讲人将矩阵的列解释为基向量的像,并据此解释面积的拉伸。

证明依赖
解释

将矩阵的列视作被变换后的基向量,这使得该矩阵可被看作一个线性映射,其行列式则度量面积的变化。

行列式的几何意义 → 非线性映射的局部线性近似

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

    主讲人从线性例子过渡到非线性函数,并指出后者在放大观察时看起来是线性的。

应用
解释

线性情形下行列式的几何意义,被用作理解雅可比行列式对非线性映射在局部所刻画内容的模型。

非线性映射的局部线性近似 → 示例铺垫:一个用于讨论雅可比矩阵的非线性映射

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

    屏幕上给出的函数 [x+sin⁡(y)y+sin⁡(x)]\begin{bmatrix}x+\sin(y)\\y+\sin(x)\end{bmatrix} 是本例所分析的具体函数。

  2. 声音
    观察依据

    主讲人指出,这一函数被用来学习雅可比行列式,并描述其局部呈现线性外观的特性。

应用
解释

屏幕上展示的这个具体的二元非线性函数,使“局部线性化”这一抽象概念得以具体化。

正在研究的变换 → 一个2维映射的雅可比矩阵

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

    讲解者从具体的变换过渡到其偏导数构成的矩阵。

应用
解释

雅可比矩阵直接由给定变换的各个分量函数构造而成。

一个2维映射的雅可比矩阵 → 雅可比行列式的几何意义

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

    讲解者指出,该矩阵的行列式表示面积倾向于被拉伸的倍数。

应用
解释

雅可比行列式用于解释局部面积缩放因子。

一个2维映射的雅可比矩阵 → 该示例映射的雅可比矩阵

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

    通用矩阵模板特化为 [[1, cos⁡(y)\cos (y)],[cos⁡(x)\cos (x), 1]]。

特例
解释

所求出的矩阵是雅可比矩阵在该具体映射示例上的应用结果。

适用于 2×22\times 2 矩阵的行列式法则 → 将雅可比行列式计算为一个函数。

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

    讲解者将数值示例中使用的相同对角线方法应用于符号形式的雅可比矩阵。

应用
解释

使用 2x2 行列式规则计算符号形式的雅可比行列式。

显示的行列式公式 → 雅可比行列式作为局部面积缩放因子

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

    主讲人首先计算行列式,然后将结果解释为拉伸或压缩。

  2. 动画
    观察依据

    视觉形变遵循数值结论。

应用
解释

使用显式的行列式公式生成数值,再将这些数值解释为局部面积缩放因子。

在点(-2,1)处计算该行列式的值 → 行列式的符号/大小解释

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

    通过对比两次数值计算,来支持这一普遍的解释规则。

证明依赖
解释

关于拉伸与压缩的论断,由点(-2,1)和(0,1)处的具体计算结果予以支持。

问题定位 · 16

什么是雅可比行列式?

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

    开场句点明主题,并指出它就是雅可比矩阵的行列式。

涉及知识点
  1. 雅可比行列式

如何计算一个2×22\times 2矩阵的行列式?

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

    行列式的计算过程被明确地写在屏幕上。

涉及知识点
  1. 2×22\times 2矩阵的行列式
  2. 计算该示例的行列式

行列式在线性变换中具有怎样的几何意义?

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

    主讲人将行列式解释为衡量空间被拉伸或压缩的程度。

涉及知识点
  1. 行列式的几何意义
  2. 单位正方形的线性变换

为什么矩阵的列能描述基向量最终落于何处?

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

    主讲人建议将矩阵的列视为基向量所到达的位置。

涉及知识点
  1. 矩阵的列即为被变换后的基向量

行列式缩放的仅仅是单位正方形,还是所有区域?

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

    主讲人指出,所有面积——而不仅限于单位正方形——都被同一因子拉伸。

涉及知识点
  1. 行列式的几何意义
  2. 面积按行列式缩放
  3. 误以为面积缩放因子仅适用于图中所示的正方形

这张图如何验证面积缩放因子为6?

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

    主讲人用底为3、高为2来验证该缩放因子。

涉及知识点
  1. 通过几何方式验证面积缩放因子。
  2. 从图示中验证面积缩放因子

为何在引入雅可比矩阵时要局部研究非线性函数?

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

    主讲人指出,非线性函数在局部放大时看起来像一个线性变换。

涉及知识点
  1. 非线性映射的局部线性近似
  2. 非线性映射在放大后局部看起来是线性的。
  3. 从线性示例过渡到非线性映射

用于引出雅可比矩阵的示例多元函数是什么?

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

    该分量函数被显式写出。

涉及知识点
  1. 示例铺垫:一个用于讨论雅可比矩阵的非线性映射

本课中雅可比矩阵是什么?

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

    讲解者将雅可比定义为承载全部偏微分信息的矩阵。

涉及知识点
  1. 一个2维映射的雅可比矩阵

为什么行列式能描述面积的拉伸程度?

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

    讲解者将行列式与面积被拉伸的倍数联系起来。

涉及知识点
  1. 雅可比行列式的几何意义
  2. 行列式给出局部面积缩放因子

如何计算函数 f(x,y)=(x+sin⁡y,y+sin⁡x)f(x,y) = (x + \sin y, y + \sin x) 的雅可比矩阵?

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

    已计算出的雅可比矩阵显示在屏幕上。

涉及知识点
  1. 正在研究的变换
  2. 该示例映射的雅可比矩阵
  3. 示例雅可比矩阵的推导过程

视频片段中得到的符号形式雅可比行列式是什么?

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

    最终的行列式表达式1⋅1−cos⁡(x)cos⁡(y)1\cdot 1 - \cos (x)\cos (y)被展示出来。

涉及知识点
  1. 适用于 2×22\times 2 矩阵的行列式法则
  2. 将雅可比行列式计算为一个函数。
  3. 函数f(x,y)=(x+sin⁡y,y+sin⁡x)f(x,y)=(x+\sin y, y+\sin x)的雅可比行列式
覆盖情况与待核验内容

已覆盖 · 雅可比行列式的标题及其定义:即雅可比矩阵的行列式。

已覆盖 · 回顾对示例矩阵进行的2×22\times 2行列式计算。

已覆盖 · 从变换后的平行四边形出发,将行列式几何解释为面积缩放因子。

已覆盖 · 引入非线性函数,并说明当放大观察时,它在局部看起来是线性的。

已覆盖 · 结尾部分未包含超出已讲授的局部线性化设定之外的任何新数学内容。

已覆盖 · 开场黑板画面、高亮区域,以及关于局部面积变化的直观铺垫。

已覆盖 · 讲解者一边解释行列式作为面积缩放因子,一边配合动画展示轻微的拉伸效果。

已覆盖 · 逐项构建雅可比矩阵,并讨论在某一点处的求值。

已覆盖 · 针对具体例子计算偏导数,并将其组装成矩阵。

已覆盖 · 行列式通过2×22\times 2法则进行形式化计算,得到1⋅1−cos⁡(x)cos⁡(y)1\cdot 1 - \cos (x)\cos (y)。

已覆盖 · 在点(-2,1)处计算行列式并给出初步的几何解释。

已覆盖 · 与点(0,1)对比,该点的余弦值精确,且具有收缩解释。

已覆盖 · 雅可比行列式的局部邻域含义总结及结语。

探索视频中的知识

已审核的主题路径