微分形式：第 1 部分——切空间与余切空间

1. 公式
   观察依据

   左上角标签显示“空间：$\mathbb{R}^n$”。

2. 声音
   观察依据

   讲解者说：“我们从 R n 开始。”

$\mathbb{R}^n$

维度为$n$的欧几里得空间，用作点与切向量的环境空间。

$n$是一个正整数。

1. 公式
   观察依据

   中心文字显示“$p \in \mathbb{R}^n$”。

2. 声音
   观察依据

   讲解者说：“设 p 是 R n 中的一个点。”

3. 公式
   观察依据

   底部文字随后显示“$p$是一个‘基点’”。

p

$\mathbb{R}^n$中的一个点；在切空间构造中，它也作为附属于切向量的基点。

对应的式子为：$p \in \mathbb{R}^n$。

1. 公式
   观察依据

   定义行显示“$T_p\mathbb{R}^n := \{(p,v) \mid v \in \mathbb{R}^n\}$”。

2. 公式
   观察依据

   映射行显示“$(p,v) \mapsto v$”，并带有一条标有“向量”的箭头指向右侧的$v$。

3. 声音
   观察依据

   讲解者指出，在$(p,v) \mapsto v$所给出的同一性下，所得的$v$是一个向量。

v

一个属于$\mathbb{R}^n$的元素，与$p$配对构成切空间中的一个元素；在显示该等价关系后，它被视为向量部分。

对应的式子为：$v \in \mathbb{R}^n$。

1. 公式
   观察依据

   显示的定义：“$T_p\mathbb{R}^n := \{(p,v) \mid v \in \mathbb{R}^n\}$”。

2. 声音
   观察依据

   讲述者说：“点p处的切空间T p R是由所有形如p逗号v的有序对构成的集合，其中v也属于R n。”

1. 音频转录将下标记号读作“T p R”，而屏幕上显示的公式明确为$T_p\mathbb{R}^n$。

$T_p\mathbb{R}^n$

在 $p$ 处的切空间，本片段中将其定义为有序对集合 $(p,v)$，其中 $v \in \mathbb{R}^n$。

针对所选定的点$p \in \mathbb{R}^n$而定义。

1. 公式
   观察依据

   文字显示：“$U$是$\mathbb{R}^n$的一个开子集”。

2. 声音
   观察依据

   讲述者说：“设U是R n的一个开子集。”

U

的一个开子集，作为映射 $\mathbb{R}^n$ 的定义域，$f$。

$U \subseteq \mathbb{R}^n$和$U$均为开集。

1. 公式
   观察依据

   显示的映射：“$f : U \to \mathbb{R}^m$”。

2. 公式
   观察依据

   第二行在映射下方显示“$\in C^1$”。

3. 声音
   观察依据

   讲解者说：“设 f 是一个 C¹ 映射。”

f

一个 $C^1$ 映射，其定义域为开子集 $U \subseteq \mathbb{R}^n$，值域为 $\mathbb{R}^m$。

$f:U\to\mathbb{R}^m$，其中 $U$ 在 $\mathbb{R}^n$ 中是开集。

1. 公式
   观察依据

   屏幕上显示的行：“$Df(p) : \mathbb{R}^n \to \mathbb{R}^m$”。

2. 声音
   观察依据

   讲解者说：“那么导数 Df 是一个从 Rⁿ 到 Rᵐ 的函数。”

1. 讲解者口述时省略了屏幕上明确写出的基点参数 $Df(p)$。

Df(p)

$f$ 在点 $p$ 处的导数，表示为一个从 $\mathbb{R}^n$ 到 $\mathbb{R}^m$ 的映射。

当 $f:U\to\mathbb{R}^m$ 是 $C^1$ 且 $p\in U$ 时定义；该片段未口头单独说明 $p\in U$。

1. 公式
   观察依据

   矩阵元素显示为“$\left[\frac{\partial f_i}{\partial x_j}(p)\right]$”。

2. 声音
   观察依据

   讲解者说：“我们可以将它与所谓的雅可比矩阵联系起来，该矩阵如下所示。”

1. 完整矩阵布局在片段结束前未能完全显示；仅展示了矩阵元素的记号。

$\frac{\partial f_i}{\partial x_j}(p)$

该 $(i,j)$雅可比矩阵中与 $Df(p)$ 对应的元素，即 $i$ 的第 $f$ 个分量关于第 $j$ 个坐标的偏导数，在 $p$ 处取值。

按标准约定，$i=1,\dots,m$和$j=1,\dots,n$；视频片段未明确说明这些指标的取值范围。

1. 公式
   观察依据

   左侧面板说明：“U 是 $R^n$ 的一个开子集。”

U

作为函数 f 定义域的 $R^n$ 的一个开子集。

$R^n$ 的一个开子集。

1. 公式
   观察依据

   所显示的公式为 f : U -> $R^m$ 且 $f \in C^1$。

f

一个从 U 到 $R^m$ 的连续可微映射。

f : U -> $R^m$，且 $f \in C^1$。

1. 公式
   观察依据

   所显示的公式为 Df(p) : $R^n$ -> $R^m$。

2. 声音
   观察依据

   讲解者称小写 d 版本记作 df_p。

Df(p)

将 f 在点 p 处的导数视为一个从 $R^n$ 到 $R^m$ 的线性映射。

从 $R^n$ 到 $R^m$ 的线性映射。

1. 公式
   观察依据

   所示矩阵元素为 [∂$f_i$/∂$x_j (p)$]。

1. 大型矩阵中首个可见的行列标签与一般元素记号并不完全一致；除已显示元素外，其余部分的具体下标模式不够清晰。

[partial $f_i$ / partial $x_j (p)$]

雅可比矩阵在点 p 处的 (i,j) 位置上的元素。

矩阵元素按分量函数 $f_i$ 和坐标 $x_j$ 进行索引。

1. 公式
   观察依据

   可见定义：“$T_p\mathbb{R}^n := \{(p,v) \mid v \in \mathbb{R}^n\}$”。

2. 声音
   观察依据

   讲解者指出切空间是所有满足条件的数对 $(p,v)$ 的集合，其中 $v\in\mathbb{R}^n$。

3. 图示
   观察依据

   箭头将该有序对标注为由一个“点”和一个“向量”构成，并将整个对象标注为“向量空间”。

该视频片段将点$p$处的切空间定义为所有有序对$(p,v)$的集合，其中第二个分量$v$取遍$\mathbb{R}^n$中的所有元素。视觉标注强调：第一个位置记录基点，第二个位置记录向量部分。

1. 对应的式子为：$p \in \mathbb{R}^n$

2. 对应的式子为：$v \in \mathbb{R}^n$

1. $\mathbb{R}^n$
2. p
3. v
4. $T_p\mathbb{R}^n$

1. 公式
   观察依据

   显示的映射：“$(p,v) \mapsto v$”。

2. 声音
   观察依据

   叙述者指出，在识别$(p,v) \mapsto v$之下，所得的$v$是一个向量，因为该识别将切空间变为一个向量空间。

3. 图示
   观察依据

   一个箭头将右侧的$v$标注为“向量”，另一个标签将整个结构标注为“向量空间”。

在将$T_p\mathbb{R}^n$定义为有序对之后，视频引入了映射$(p,v)\mapsto v$。该映射忽略基点分量，仅保留向量分量；本讲正是通过这种方式，将切空间转化为一个普通的向量空间。

1. 从元素$(p,v)\in T_p\mathbb{R}^n$出发

2. 该映射的目标是向量部分$v\in\mathbb{R}^n$

1. 在$\mathbb{R}^n$中某一点处的切空间的定义
2. $T_p\mathbb{R}^n$
3. v

1. 公式
   观察依据

   底部文字显示：“$p$是一个‘基点’”。

2. 声音
   观察依据

   讲述者说：“我认为答案在于，p 充当了我们的某种基点”，随后再次强调：切空间中的点$p$充当某种基点。

视频探讨了在 $p$ 中保留 $(p,v)$ 的表面冗余性，尽管之后会将该数对与 $v$。其声明的作用是 $p$ 作为基点，从而引出下一节将讨论的与基点相容的导数概念。

1. 应用于第一坐标 $p$ 在 $(p,v)\in T_p\mathbb{R}^n$

1. 在$\mathbb{R}^n$中某一点处的切空间的定义
2. 将$(p,v)$与其向量部分进行等同
3. p

1. 公式
   观察依据

   文字显示：“$U$是$\mathbb{R}^n$的一个开子集”以及“$f : U \to \mathbb{R}^m$”，并附有“$\in C^1$”。

2. 声音
   观察依据

   讲述者说：“设 U 是 Rⁿ 的一个开子集，f 是一个 C¹ 映射。回顾一下，C¹ 映射是指至少可微一次的映射。”

为了引出基点概念，视频片段从切空间记号切换到微积分记号。它固定一个开区域$U\subseteq\mathbb{R}^n$和一个映射$f:U\to\mathbb{R}^m$，该映射是$C^1$的，即至少可微一次。

1. $U$是$\mathbb{R}^n$的一个开子集

2. $f$将$U$映射到$\mathbb{R}^m$

3. $f$至少可微一次

1. U
2. f
3. $\mathbb{R}^n$

1. 公式
   观察依据

   显示的行是“$Df(p) : \mathbb{R}^n \to \mathbb{R}^m$”。

2. 声音
   观察依据

   讲述者说：“那么导数 D f 是一个从 $R^n$ 到 $R^m$ 的函数。”

1. 口述句子说的是“导数 D f”，未显式写出$(p)$，而屏幕上的公式则包含了基点参数$p$。

该片段将$p$处的导数表示为一个从$\mathbb{R}^n$到$\mathbb{R}^m$的映射。这正是此前关于基点的讨论所要容纳的微积分对象。

1. $f:U\to\mathbb{R}^m$是$C^1$

2. $p$是取导数的点

1. 欧几里得空间之间的一个$C^1$映射的设定
2. Df(p)
3. p

1. 公式
   观察依据

   可见的入口记号“$\left[\frac{\partial f_i}{\partial x_j}(p)\right]$”出现在$Df(p)$下方。

2. 声音
   观察依据

   讲述者说：“我们可以将其与所谓的雅可比矩阵联系起来，该矩阵如下所示。”

1. 完整的矩阵显示被视频片段结尾截断，因此仅能直接看到矩阵元素的记号。

导数映射$Df(p)$对应一个雅可比矩阵，其元素为$f$的分量函数在$p$处的偏导数。本片段中仅在视频结束前展示了通用的矩阵元素记号。

1. $f:U\to\mathbb{R}^m$是$C^1$

2. 该表达式表示在$p$处计算的一阶偏导数所构成的矩阵

1. 在一点处的导数作为欧几里得空间之间的线性映射
2. $\frac{\partial f_i}{\partial x_j}(p)$

1. 声音
   观察依据

   叙述者引入了一种带基点的导数版本，并指出应使用小写字母 d 而非大写字母 D。

2. 公式
   观察依据

   右侧面板在显示 $q = f(p)$ 后，定义了 df_p : $T_p R^n$ -> $T_q R^m$ := (q, Df(p)v)。

对于 f : U -> $R^m$ 且 $f \in C^1$，设 $q = f(p)$，则带基点的导数 df_p 定义为从点 p 处的切空间到点 q 处的切空间的一个映射；它将切向量 v 映为二元组 (q, Df(p)v)，因此输出既保留了目标基点 q，又包含了对 v 施加通常导数运算的结果。

1. U 是 $R^n$ 的一个开子集。

2. f : U -> $R^m$ 且 $f \in C^1$。

3. q 等于 f 作用于 p。

1. 公式
   观察依据

   左侧图示显示了 Df(p) : $R^n \to R^m$ 以及一个矩阵，其元素形如 [∂$f_i$ / ∂$x_j (p)$]。

1. 所显示矩阵的完整下标模式仅部分可辨；一般元素记号清晰，但该大矩阵中某些行列标签不一致或不清晰。

导数 Df(p) 由在点 p 处取值的偏导数组成的矩阵表示。其中清晰可读的一般元素是第 (i,j) 个元素，即在 p 处的 ∂$f_i$ / ∂$x_j$。

1. f : $U \to R^m$ 是 $C^1$的。

2. p 是 U 中的一个点。

1. 带基点的导数 df_p

1. 公式
   观察依据

   幻灯片文字：向量场——为每个点 p ∈ ℝⁿ 分配一个切向量 $v \in T$ₚℝⁿ3中的每个点 p3。

2. 声音
   观察依据

   讲解者说，R^ 上的一个向量场3 将每个点 $p \in R$^ 处的切空间 $T_p R$^ 中的一个向量3 分配给 R^ 中的每个点 p3。

$R^3$上的向量场将 $R^3$中的每个点 p 映射为一个属于该点处切空间 $T_p R^3$的向量 v。

1. 本例中的环境空间是 $R^3$。

1. 公式
   观察依据

   幻灯片指出余切空间 $T_p$^* $R^n = (T_p R^n)$^*：即切空间的对偶空间，也就是 Hom($T_p R^n$, R)。

2. 声音
   观察依据

   讲述者指出余切空间是切空间的对偶空间，并将对偶解释为到该数域的同态。

点 p 处的余切空间是点 p 处切空间的对偶空间。在 $R^n$ 的例子中，它是由 $T_p R^n$ 到 R 的所有线性映射构成的集合。

1. p 是一个基点。

1. 带基点的导数 df_p

1. 公式
   观察依据

   下方文字引入流形 M 和数域 F，随后显示 $T_p$^* M = Hom($T_p M$, F)。

2. 声音
   观察依据

   讲述者指出，任意光滑流形 M 都可替代 $R^n$，且数域 F 可替代 R。

$R^n$ 的例子被推广：对定义在数域 F 上的光滑流形 M，点 p 处的余切空间为 Hom($T_p M$, F)。当 $M = R^n$ 且 $F = R$ 时，便恢复为前述情形。

1. M 是一个光滑流形。

2. F 是该流形所定义其上的数域。

1. 余切空间作为切空间的对偶空间

1. 声音
   观察依据

   讲述者说：“这是因为该识别将切空间转化为一个向量空间，而其元素v按定义即为向量。”

2. 图示
   观察依据

   标签“向量空间”指向切空间的定义，同时下方显示“$(p,v)\mapsto v$”。

在识别$(p,v)\mapsto v$下，切空间$T_p\mathbb{R}^n$被视为一个向量空间，其元素为向量。

1. $T_p\mathbb{R}^n$已被定义为$\{(p,v)\mid v\in\mathbb{R}^n\}$

2. 映射$(p,v)\mapsto v$正被用于将数对与其向量部分进行识别

对于图示设定中的定点$p$。

1. 声音
   观察依据

   讲述者指出$p$起到某种基点的作用，并随后再次强调切空间中的点$p$也将起到某种基点的作用。

2. 公式
   观察依据

   屏幕文字：“$p$是一个‘基点’。”

1. 讲述者明确表示此处无法用一句话给出直观理解，并将更完整的解释留待导数部分讨论。

在用于定义切空间的数对$(p,v)$中，$p$的作用是充当基点。

1. 采用的是基于数对的定义$T_p\mathbb{R}^n=\{(p,v)\mid v\in\mathbb{R}^n\}$。

2. 后续目标是建立一种与基点相容的导数定义。

该定义针对切空间构造中出现的点$p$。

1. 声音
   观察依据

   讲述者说：“回顾一下，C¹映射是指至少可微一次的映射。”

$C^1$映射是指至少可微一次的映射。

1. 该术语正被应用于$f:U\to\mathbb{R}^m$

在所展示的设定中，映射$f$具有普适性。

1. 声音
   观察依据

   讲述者说：“我们可以将此与所谓的雅可比矩阵相关联，该矩阵如下所示。”

2. 公式
   观察依据

   记号$\left[\frac{\partial f_i}{\partial x_j}(p)\right]$紧随$Df(p):\mathbb{R}^n\to\mathbb{R}^m$之后出现。

1. 完整矩阵在片段结束前并未显示，因此关联关系虽清晰，但所展示的完整矩阵却缺失。

对于一个$C^1$映射$f:U\to\mathbb{R}^m$，其导数$Df(p)$可与雅可比矩阵相关联，该矩阵的元素为$\frac{\partial f_i}{\partial x_j}(p)$。

1. $U\subseteq\mathbb{R}^n$是开集

2. $f:U\to\mathbb{R}^m$是$C^1$

3. 正在考虑$p$处的导数

在所展示的设定中，映射为$f$，点为$p$。

1. 公式
   观察依据

   屏幕上依次出现：“$T_p\mathbb{R}^n := \{(p,v) \mid v \in \mathbb{R}^n\}$”，然后是“$(p,v) \mapsto v$”。

2. 声音
   观察依据

   旁白解释：$v$最初在技术上仍是一个点，但在该等同关系下，所得的$v$成为一个向量，因为该等同关系将切空间转变为一个向量空间。

3. 图示
   观察依据

   标签将左侧槽位标识为“点”，右侧槽位标识为“向量”，整个对象标识为“向量空间”。

1. 公式

   $$T_p\mathbb{R}^n := \{(p,v) \mid v \in \mathbb{R}^n\}$$
   解释

   从切空间开始，该切空间被定义为有序对，其中第一个元素是固定点 $p$，第二个元素是 $v$ 来自 $\mathbb{R}^n$。

   步骤依据

   直接显示定义并同步进行口述讲解。

   视频直接表达
2. 公式

   $$(p,v) \mapsto v$$
   解释

   应用将每个序对映射至其第二个分量的等同关系。

   步骤依据

   直接显示该映射并同步进行口述解释。

   视频直接表达
3. 公式

   $$v \in \mathbb{R}^n \text{ is treated as a vector}$$
   解释

   经过该等同关系后，剩余的对象被解释为切空间元素中的向量部分。

   步骤依据

   讲述者明确指出：在此等同关系下，所得的$v$是一个向量。

   视频直接表达

正在使用$T_p\mathbb{R}^n$的序对式定义，以便通过$(p,v)\mapsto v$遗忘基点槽位后，可将切空间视为一个由向量构成的向量空间。

1. 公式
   观察依据

   文字“$p$是一个‘基点’”出现，随后是标题“导数的‘基点’定义”以及关于$f$和$Df(p)$的微积分设定。

2. 声音
   观察依据

   讲述者表示将暂时转向讨论导数，因为$p$充当基点，随后引入所期望的、与基点相容的导数定义。

1. 该片段仅开启了导数讨论，但尚未完成所承诺的、与基点相容的定义便已结束。

1. 公式

   $$p \text{ is a “basepoint”}$$
   解释

   本视频回答了为何在 $p$ 中保留 $(p,v)$ 的问题：将其赋予基点的角色。

   步骤依据

   屏幕文字与旁白叙述。

   视频直接表达
2. 公式

   $$\text{“Basepoint” definition of a derivative}$$
   解释

   随后宣布将暂时转向导数，以解释该基点角色的实际用途。

   步骤依据

   屏幕标题与叙述者所陈述的学习计划。

   视频直接表达
3. 公式

   $$U \subseteq \mathbb{R}^n,\ f:U\to\mathbb{R}^m,\ f\in C^1$$
   解释

   微积分设定被引入：定义域为开集，映射具有一阶可微性。

   步骤依据

   屏幕上显示的假设条件与旁白叙述。

   视频直接表达
4. 公式

   $$Df(p):\mathbb{R}^n\to\mathbb{R}^m$$
   解释

   在点$p$处的导数被显式写出，其自变量中明确包含基点。

   步骤依据

   屏幕上显示的公式与旁白叙述。

   视频直接表达

将基点附着于切向量之上，其动机在于：希望以一种能追踪微分发生位置的方式讨论导数。

1. 声音
   观察依据

   讲述者指出，即使已将结果识别为一个向量，点 p 仍显得至关重要，因为它直接影响该有序对的第二个分量。

2. 公式
   观察依据

   所显示的定义是（q，Df(p)v）。

1. 公式

   $$df_p(v)=(q,Df(p)v)$$
   解释

   该定义将输出写成一个二元组，其第二分量使用 Df(p)v。

   步骤依据

   直接从所显示的公式中读出。

   视频直接表达
2. 公式

   $$$$
   解释

   即使将导数结果视为一个向量，基点 p 依然重要，因为它决定了该二元组中所用的线性映射 Df(p)。

   步骤依据

   叙述者一边指向公式一边陈述。

   视频直接表达

基点 p 在 df_p 中必不可少，因为输出二元组依赖于 Df(p)，而不仅仅依赖于一个无基点的向量。

1. 公式
   观察依据

   幻灯片给出了 $R^3$ 上向量场的一个具体例子。

2. 声音
   观察依据

   讲解者说：“R^ 上的一个向量场3 将切空间 $T_p R$^（一个向量空间）中的一个向量3 分配给 R^ 中的每个点 p3。”

描述 $R^3$ 上的向量场的作用。

1. 背景空间是 $R^3$。

2. 每个点 p 都有一个关联的切空间 $T_p R^3$。

陈述本例中向量场的赋值规则。

1. 公式

   $$v \in T_p\mathbb{R}^3 \text{ for each } p \in \mathbb{R}^3$$
   解释

   该向量场为 $R^3$ 中的每一点 p，指派一个向量 v，该向量取自同一点 p 处的切空间。

   步骤依据

   请根据幻灯片内容和讲解语音阅读。

   视频直接表达

$R^3$ 上的一个向量场，为 $R^3$ 中的每个点 p 指派一个属于切空间 $T_p R^3$ 的向量 v。

这与屏幕上显示的文字“将 $v \in T_p R^3$ 分配给每个 $p \in R^3$”一致。

1. 声音
   观察依据

   讲解者指出，在我们的例子中，恰好有 $R^n$ 是流形 M，而 R 是域 F。

2. 公式
   观察依据

   屏幕上同时显示了 $T_p$^* $R^n$ = Hom($T_p R^n$, R) 和 $T_p$^* M = Hom($T_p M$, F)。

一般公式 $T_p$^* M = Hom($T_p M$, F) 与先前的 $R^n$ 例子有何关联？

1. 先前的例子使用了 $R^n$ 和 R。

2. 一般公式使用了流形 M 和域 F。

找出能还原先前情形的代换。

1. 公式

   $$M=\mathbb{R}^n, \quad F=\mathbb{R}$$
   解释

   将流形 M 替换为 $R^n$，将域 F 替换为 R。

   步骤依据

   由叙述者明确指出。

   视频直接表达
2. 公式

   $$T_p^*M=\operatorname{Hom}(T_pM,F) \Rightarrow T_p^*\mathbb{R}^n=\operatorname{Hom}(T_p\mathbb{R}^n,\mathbb{R})$$
   解释

   在此代换下，一般的余切空间公式变为先前展示的公式。

   步骤依据

   直接对比两个已展示的公式。

   依据视频推导

$R^n$ 情形是通用流形公式在 $M = R^n$ 且 $F = R$ 时的特例。

经过此代换后，两个已展示的公式完全一致。

1. 动画
   观察依据

   白色衬线体标题文字逐字打在黑色背景上：先是“微分形式”，然后是副标题“第1部分：切空间与余切空间”。

2. 声音
   观察依据

   旁白介绍微分形式，并指出理解微分形式需要借助切空间与余切空间。

1. 黑色背景

2. 标题文字“微分形式”

3. 副标题“第1部分：切空间与余切空间”

1. 标题以逐字输入动画方式呈现

2. 副标题出现在主标题下方

1. 背景保持黑色

2. 文字保持居中、白色、衬线字体

画面确立本主题为微分形式，尤其聚焦于第一部分——切空间与余切空间。

1. 动画
   观察依据

   左上角出现标签“空间：$\mathbb{R}^n$”，随后居中显示文字“$p \in \mathbb{R}^n$”，再接着显示定义“$T_p\mathbb{R}^n := \{(p,v) \mid v \in \mathbb{R}^n\}$”，最后显示映射“$(p,v) \mapsto v$”。

2. 图示
   观察依据

   箭头分别标注该结构的两个组成部分为“点”和“向量”，另一箭头将整个构造标注为“向量空间”。

1. 标注“空间：$\mathbb{R}^n$”

2. 公式：“$p \in \mathbb{R}^n$”

3. 公式：“$T_p\mathbb{R}^n := \{(p,v) \mid v \in \mathbb{R}^n\}$”

4. 公式：“$(p,v) \mapsto v$”

5. 标注箭头及标签：“点”、“向量”、“向量空间”

1. 背景空间标签最先出现

2. 点的隶属关系随后出现

3. 切空间集合定义出现

4. 识别映射出现

5. 添加标注箭头以说明各符号的作用

1. 黑色背景持续存在

2. 所有数学文字均采用白色衬线字体，仅部分符号以彩色突出显示

动画分阶段构建定义，使观众能够看清：切空间中的一个元素是由基点和向量构成的一对，且该对随后被等同于其中的向量部分。

1. 动画
   观察依据

   一个大型绿色风格化字母状字符出现在持续显示的映射“$(p,v) \mapsto v$”正下方居中位置，形似带卡通眼睛的大写字母T。

2. 公式
   观察依据

   稍后底部文字显示：“$p$是一个‘基点’”，此时绿色字符仍保留在画面上。

1. 该字符的确切字形在视觉上存在歧义；它更像一个带卡通眼睛的风格化大写字母T，而非标准数学符号。

1. 带眼睛的绿色风格化T状字符

2. 持续显示的公式“$(p,v) \mapsto v$”

3. 文字：“$p$是一个‘基点’”

1. 绿色字符渐入

2. 眼睛略微移动位置

3. 基点说明文字出现在下方

1. 标识映射保持在字符上方

2. 背景保持黑色

这是配合叙述者反思为何保留基点的视觉间奏；它并未引入除已显示的基点标注之外的新形式数学对象。

1. 动画
   观察依据

   新标题出现：“导数”的“基点”定义

2. 公式
   观察依据

   假设依次出现：“$U$是$\mathbb{R}^n$的一个开子集”，然后是“$f : U \to \mathbb{R}^m$”，然后是“$\in C^1$”，然后是“$Df(p) : \mathbb{R}^n \to \mathbb{R}^m$”，然后是“$\left[\frac{\partial f_i}{\partial x_j}(p)\right]$”。

3. 图示
   观察依据

   在该片段后期，靠近右侧出现一条竖直分隔线。

1. 完整的雅可比矩阵布局在片段结束前未全部显示。

1. 标题：“导数”的“基点”定义

2. 关于$U$、$f$、$C^1$的假设行

3. 公式“$Df(p) : \mathbb{R}^n \to \mathbb{R}^m$”

4. 条目记号“$\left[\frac{\partial f_i}{\partial x_j}(p)\right]$”

5. 竖直分隔线

1. 标题最先出现

2. 定义域假设出现

3. 映射假设出现

4. 正则性假设出现

5. 点处导数公式出现

6. 雅可比矩阵元素记号出现

7. 分隔线出现在右侧

1. 黑色背景与白色衬线字体保持一致

视觉顺序从抽象的切空间讨论转向具体的多变量微积分记号，展示基点思想如何融入点处导数的定义。

1. 图示
   观察依据

   一条竖直分隔线将左侧的设定公式与右侧的基点导数定义分开。

2. 动画
   观察依据

   右侧首先显示 $q = f(p)$，然后添加 df_p : $T_p R^n$ -> $T_q R^m$，最后给出定义对 (q, Df(p)v)。

1. 左侧面板包含 U、f、Df(p) 和雅可比矩阵

2. 右侧面板包含 $q = f(p)$ 和 df_p 的定义

3. 竖直分隔线

1. 右侧面板初始为空。

2. 首先显示 $q = f(p)$。

3. 接着显示映射类型 df_p : $T_p R^n$ -> $T_q R^m$。

4. 随后在下方添加显式值 (q, Df(p)v)。

1. 本片段中，左侧关于 U、f 和 Df(p) 的假设始终可见。

2. 标题“基点导数的定义”始终位于顶部。

动画将基点导数呈现为普通导数的一种精细化形式，其特点是持续追踪目标点 $q = f(p)$。

1. 图示
   观察依据

   一张新幻灯片标题为“向量场：”，文字内容为“为每个 p ∈ ℝ^3 中的 p 指定 $v \in T_p$ ℝ^3。

2. 动画
   观察依据

   文字下方出现一个带眼睛的绿色卡通字母 T。

1. 标题文字“向量场：”

2. 定义行：为每个 p ∈ ℝ^3 中的 p 指定 $v \in T_p$ ℝ^3

3. 绿色动画字母 T

1. 上一张关于导数的幻灯片消失。

2. 向量场标题及其定义出现。

3. 动画字母 T 出现在文字下方。

1. 在此时间段内，幻灯片持续聚焦于 $R^3$ 上的向量场定义。

本视觉片段从切空间之间的导数映射，转向逐点指定切向量的思想。

1. 图示
   观察依据

   出现标题为‘余切空间 $T_p$^* $R^n = (T_p R^n)$^*’的幻灯片，随后显示文字：切空间的对偶空间，即 Hom($T_p R^n$, R)。

2. 动画
   观察依据

   随后，流形 M 和域 F 出现在左下角，右下角添加公式 $T_p$^* M = Hom($T_p M$, F)。

1. 余切空间标题公式

2. 对偶空间解释行

3. 流形 M

4. 域 F

5. 广义公式 $T_p$^* M = Hom($T_p M$, F)

1. 首先展示 $R^n$ 上的余切空间定义。

2. 在下方添加解释对偶空间的说明文字。

3. 左下角标出流形 M 和域 F。

4. 广义公式 $T_p$^* M = Hom($T_p M$, F) 显示在右侧。

1. 在引入广义化形式时，上方的余切空间定义仍保持可见。

画面从具体的 $R^n$ 余切空间过渡到抽象的流形版本，将 $R^n$ 替换为 M，将 R 替换为 F。

1. 动画
   观察依据

   一个带有卡通眼睛的绿色风格化字母“T”显示在黑色背景上。

1. 绿色风格化字母“T”

2. 卡通眼睛

1. 标志保持静止，直至该片段结束时淡出。

1. 该标志用作本视频系列的视觉标识。

这是视频频道或系列的标准开场动画，不包含任何数学内容。

1. 动画
   观察依据

   屏幕全黑。

1. 黑色屏幕

1. 在此时间段内屏幕始终保持黑色。

1. 未呈现任何视觉信息。

该时间段表示视频中的过渡或停顿，不包含任何数学内容。

1. 声音
   观察依据

   讲述者提问：若最终仍将切空间通过配对点的方式与其中某一点等同，那么将切空间构造为点对是否显得多余？

2. 公式
   观察依据

   点对定义与后续的等同映射同时呈现，使这种表面冗余在视觉上尤为明显。

由于视频后续将$(p,v)$与$v$等同起来，人们可能觉得在定义中保留$p$毫无意义。

该片段明确回答：$p$充当基点，而这一角色在讨论与基点相容的导数定义时变得重要。

1. 声音
   观察依据

   叙述者指出，将切空间理解为某种切平面并无太大意义。

将切空间仅仅理解为切平面。

视频明确指出，这一几何图示在当前语境下并无太大用处；切空间被视作附着于基点上的向量空间。

1. 公式
   观察依据

   定义行与等同行连续出现在同一块黑板上。

将等同关系$(p,v)\mapsto v$应用于$T_p\mathbb{R}^n$的基于序对的定义，从而将切空间元素重新解释为向量。

1. 声音
   观察依据

   叙述者在给出等同关系后提出了冗余性问题，随后通过称$p$为基点来作答。

2. 公式
   观察依据

   映射“$(p,v)\mapsto v$”在基点标注出现时仍保持可见。

该等同关系看似舍弃了$p$，但视频却将这种表面损失与$p$作为基点的解释性作用形成对比。

1. 声音
   观察依据

   叙述者表示他将绕道讨论导数，因为$p$充当基点。

2. 公式
   观察依据

   标题“导数的‘基点’定义”紧随基点标注之后出现。

1. 完整的导数定义并未在此片段内完成。

对$p$的基点解释被用来引出后续关于在点$Df(p)$处求导的讨论。

1. 公式
   观察依据

   假设“$f:U\to\mathbb{R}^m$”和“$\in C^1$”紧接在“$Df(p):\mathbb{R}^n\to\mathbb{R}^m$”之前出现。

2. 声音
   观察依据

   讲述者先引入$C^1$条件，再陈述导映射。

关于$f$的可微性假设被作为讨论$Df(p)$所需的前提设定提出。