几何代数——什么是面积？| 外积、外代数、微分形式

1. 声音
   观察依据

   主讲人说：“我们来考虑向量 v，它就是向量1、2。”

2. 图示
   观察依据

   一条从原点出发的青色箭头标记为 v，其箭头端点标记为（1，2）。

v

作为平行四边形一条边的二维向量；在本例中它等于（1，2）。

对应的式子为：ℝ^2

1. 声音
   观察依据

   主讲人说：“以及向量 u，它由2、1给出。”

2. 图示
   观察依据

   一条从原点出发的青色箭头标记为 u，其箭头端点标记为（2，1）。

u

作为平行四边形另一条边的二维向量；在本例中它等于（2，1）。

对应的式子为：ℝ^2

1. 声音
   观察依据

   主讲人说：“这些向量所围成区域内的部分即为面积。”

2. 图示
   观察依据

   单词 Area 出现在由向量 u 和 v 构成的平行四边形内部。

Area

由这两个向量张成的平行四边形所围成的区域。

与平面平行四边形相关联的非负标量。

1. 声音
   观察依据

   主讲人提问：能否构造一种作用于向量的运算，使其结果为对应平行四边形的面积？

2. 公式
   观察依据

   屏幕上依次显示 f( , )、$f(u,v)$，然后是 $f(u,v)$ = Area($P(u,v)$)。

f

一种占位用的向量二元运算，其设计目标是返回由其两个输入向量所确定的平行四边形的面积。

作用于向量的二元运算；其值域为面积。

1. 公式
   观察依据

   屏幕上显示的等式为 $f(u,v)$ = Area($P(u,v)$)。

2. 声音
   观察依据

   主讲人提到“由向量 u 和 v 构成的平行四边形的面积”。

$P(u,v)$

由向量 u 和 v 构成的平行四边形。

由两个向量所确定的平面几何对象。

1. 声音
   观察依据

   主讲人说：“我们将用此处这个楔形符号来表示它。也就是说，u ∧ v 表示由向量 u 和 v 构成的平行四边形的面积。”

2. 公式
   观察依据

   屏幕上显示的公式变为 u ∧ v = Area($P(u,v)$)，随后进一步用分量展开 u ∧ v。

∧

为该期望的向量运算所引入的楔积记号。

作用于向量的二元运算。

1. 声音
   观察依据

   主讲人将向量 u 写作 ai + bj，将向量 v 写作 ci + dj。

2. 公式
   观察依据

   公式显示 u = ai + bj，v = ci + dj，以及后续项如 ac i ∧ i。

i

用于以分量形式表示 u 和 v 的一个基向量。

平面上的基向量。

1. 声音
   观察依据

   主讲人将向量 u 写作 ai + bj，将向量 v 写作 ci + dj。

2. 公式
   观察依据

   公式显示 u = ai + bj，v = ci + dj，以及后续项如 ad i ∧ j。

j

用于以分量形式表示 u 和 v 的第二个基向量。

平面上的基向量。

1. 声音
   观察依据

   主讲人说：“我们将 u 写作 ai 加 bj，将 v 写作 ci 加 dj。”

2. 公式
   观察依据

   屏幕上显示的方程为 u = ai + bj，v = ci + dj，展开式中包含 ac、ad、bc、bd。

a,b,c,d

u 和 v 在所选基 {i, j} 下的标量系数。

乘在基向量上的标量。

1. 公式
   观察依据

   左侧显示 u = ai + bj 和 v = ci + dj。

2. 声音
   观察依据

   说话者提及 u 与 v 的楔积计算。

$\mathbf{u}$, $\mathbf{v}$

二维向量空间中的两个向量，用基向量 i 和 j 表示。

向量表示为基向量 i 和 j 的线性组合。

1. 公式
   观察依据

   基符号 i 和 j 出现在所有展示的展开式中。

2. 声音
   观察依据

   说话者讨论 i ∧ i、j ∧ j、i ∧ j 以及 j ∧ i。

$\mathbf{i}$, $\mathbf{j}$

用于表示 u 和 v 并构造楔积示例的基向量。

当前讨论的二维空间的基向量。

1. 公式
   观察依据

   展示的公式中使用系数 a、b、c、d，出现在如 ai、bj、ci、dj、ad 和 bc 等项中。

a, b, c, d

在 u 和 v 的表达式中乘以基向量的标量系数。

出现在向量分量表达式中的标量。

1. 声音
   观察依据

   主讲人介绍了向量 $v = (1, 2)$ 和 $u = (2, 1)$，将它们平移构成一个平行四边形，并指出该平行四边形所围成的区域即为面积。

2. 图示
   观察依据

   动画先绘制坐标轴，再从原点画出向量 v 和 u 的箭头，接着画出它们的平移副本，构成一个标有“Area”的平行四边形。

本片段中，面积被几何地建模为：将两个向量置于原点处尾对尾，再通过平移补全所得平行四边形所围成的区域。示例中使用了 $v = (1, 2)$ 和 $u = (2, 1)$。

1. 给定平面内的两个向量。

2. 这两个向量被用作平行四边形的一组邻边。

1. 声音
   观察依据

   主讲人提问：能否构造一种作用于向量的运算，使得将该运算施加于 u 和 v 上时，结果恰好是该平行四边形的面积？

2. 公式
   观察依据

   屏幕上显示 $f(u,v)$ = Area($P(u,v)$)，随后显示 u ∧ v = Area($P(u,v)$)。

本视频引出一种作用于向量的二元运算，其输出值即为输入向量所确定的平行四边形的面积；首先将其抽象记为 f，再将记号特化为楔积（wedge product）。

1. 输入是向量。

2. 输出预期为这两个向量所确定的平行四边形的面积。

1. 由两个向量张成的平行四边形所表示的面积

1. 声音
   观察依据

   主讲人说：“我们将用此处的楔形符号来表示它。因此，u ∧ v 表示由向量 u 和 v 构成的平行四边形的面积。”

2. 公式
   观察依据

   屏幕上显示的公式为 u ∧ v = Area($P(u,v)$)。

符号 ∧ 被引入作为向量上所期望运算的记号。在本片段中，u ∧ v 明确定义为由向量 u 和 v 构成的平行四边形的面积。

1. u 和 v 是平面上的向量。

2. 该表达式在此片段中所引入的意义下使用。

1. 定义一种向量运算，使其结果为平行四边形面积的目标

1. 声音
   观察依据

   主讲人说：“我们将 u 写作 ai 加 bj，v 写作 ci 加 dj。”

2. 公式
   观察依据

   屏幕上显示 u = ai + bj，v = ci + dj。

为了研究楔运算的性质，向量被重写为相对于基符号 i 和 j 的分量形式。这为 u ∧ v 的代数展开做好准备。

1. u 和 v 均在同一个二维基 {i,j} 下表示。

2. a、b、c、d 是标量系数。

1. 楔积记号被引入作为面积运算

1. 声音
   观察依据

   主讲人说：“我们假设它满足分配律，因此可以将其展开。”

2. 公式
   观察依据

   屏幕上显示 u ∧ v = (ai + bj) ∧ (ci + dj)，接着 = ai ∧ (ci + dj) + bj ∧ (ci + dj)，再接着 = ac i ∧ i + ad i ∧ j + bc j ∧ i + bd j ∧ j。

1. 该片段在主讲人陈述或应用反对称性等进一步规则（例如 i ∧ $i = 0$）之前就结束了。

视频假设楔运算对加法满足分配律，并利用该假设将 (ai+bj)∧(ci+dj) 展开为四项基向量楔积。这是推导面积表达式（形如行列式）的第一步代数操作。

1. 楔积被假定对加法满足分配律。

2. 在所展示的展开式中，标量可被提取到楔积之外。

1. u 和 v 在基 {i,j} 下的分量表示
2. 楔积记号被引入作为面积运算

1. 公式
   观察依据

   屏幕上显示〔u〕$\wedge$〔v〕 = (〔a〕〔i〕+〔b〕〔j〕) $\wedge$ (〔c〕〔i〕+〔d〕〔j〕)，然后展开为〔a〕〔i〕$\wedge$ (〔c〕〔i〕+〔d〕〔j〕) + 〔b〕〔j〕$\wedge$ (〔c〕〔i〕+〔d〕〔j〕)，再展开为〔a〕〔c〕〔i〕〔i〕$\wedge$〔i〕 + 〔a〕〔d〕〔i〕〔i〕$\wedge$〔j〕 + 〔b〕〔c〕〔j〕〔j〕$\wedge$〔i〕 + 〔b〕〔d〕〔j〕〔j〕$\wedge$〔j〕。

2. 声音
   观察依据

   说话人逐项朗读展开后的各项，再利用“零面积”事实删去首项和末项。

视频片段演示了如何将两个线性组合的楔积，通过分配律对加法展开，并将标量系数提到前面；展开后，含有〔i〕$\wedge$〔i〕和〔j〕$\wedge$〔j〕的项因自楔积为零而被删去，仅保留混合项。

1. 向量以基{〔i〕,〔j〕}表示。

2. 楔积对加法满足分配律，且与标量乘法相容。

3. 化简过程使用了所展示的恒等式 i ∧ $i = 0$ 和 j ∧ $j = 0$。

1. 向量与自身的楔积为零。

1. 公式
   观察依据

   右侧显示 i ∧ i = Area(i,i) = 0 以及 j ∧ j = Area(j,j) = 0。

2. 声音
   观察依据

   说话者指出这些是直线的面积，因此为零。

一个向量与其自身作楔积，表示由该向量及其自身张成的退化平行四边形的面积，而该平行四边形面积为零。视频中明确以基向量 i 和 j 为例说明了这一点。

1. 楔积在几何上被解释为其两个参数所张成的平行四边形的有向面积。

1. 楔积作为平行四边形面积

1. 公式
   观察依据

   顶行写明 u ∧ v = Area($P(u,v)$)。

2. 声音
   观察依据

   说话者通过引用一个向量与其自身构成的平行四边形的面积，来解释自楔积为零的情形。

视频将两个向量的楔积定义为它们所张成的平行四边形的面积，记作 $P(u,v)$。这一几何解释随后被用来说明为何自楔积为零。

1. 设定在一个二维向量空间中，其中包含向量 u 和 v。

1. 公式
   观察依据

   屏幕推导出$0 = (i+j) \wedge (i+j) = i \wedge i + i \wedge j + j \wedge i + j \wedge j$，然后化简为 $i \wedge j + j \wedge i = 0$，最后框出 $i \wedge j = - j \wedge i$。

2. 声音
   观察依据

   主讲人称此为反对称性，并指出交换顺序会引入一个负号。

通过对 ($i+j$) $\wedge (i+j)$ 应用相同的展开方法，视频表明交叉项必须相互抵消。由此得到关系式 $i \wedge j = - j \wedge i$，即楔积中两个向量的顺序反转会改变其符号。

1. 该推导使用双线性展开，并利用先前已确立的恒等式 $i \wedge i = 0$ 和 $j \wedge j = 0$。

1. 楔积在坐标下的双线性展开。
2. 向量与自身的楔积为零。

1. 公式
   观察依据

   左下角表达式变为 ad $i \wedge j$ + bc $j \wedge i$，随后被重写为 ad $i \wedge j$ - bc $i \wedge j$。

2. 声音
   观察依据

   主讲人表示他们回到之前的计算，并将所有内容用 $i \wedge j$ 表示。

1. 最终完全合并系数的形式在片段结束前未展示；仅可见代入步骤。

在推导出反对称性后，视频将 $j \wedge i = - i \wedge j$ 代入 $u \wedge v$ 的剩余表达式中。这使得两个保留下来的项均转化为同一基二向量 $i \wedge j$，从而为最终标量系数的提取做好准备。

1. 使用双线性展开后的简化表达式，并删去为零的自楔积项。

2. 应用反对称性恒等式 $j \wedge i = - i \wedge j$。

1. 楔积在坐标下的双线性展开。
2. 楔积的反对称性

1. 公式
   观察依据

   我们将 ∧ 称为楔积。

2. 声音
   观察依据

   现在，这个作用于向量的运算广为人知，它被称为楔积。

楔积是一种作用于向量的运算，其结果为这两个向量所张成的平行四边形的有向面积。它具有两个关键性质：任意向量与自身做楔积结果为零，且具有反对称性。

1. 适用于2维空间中的向量。

1. 公式
   观察依据

   （ad 减 bc）乘以 i 叉乘 j

2. 声音
   观察依据

   而这恰好就是当矩阵元素为 a、b、c、d 时，一个$2\times 2$矩阵的行列式。

两个向量楔积中基二重向量的标量系数，恰好等于由这两个向量分量构成的$2\times 2$矩阵的行列式。

1. 向量用一个2维基底来表示。

1. 楔积

1. 声音
   观察依据

   主讲人说：“当然，从幼儿园线性代数我们就知道，这个平行四边形的面积就等于以 u 和 v 为列向量所构成矩阵的行列式。”

2. 图示
   观察依据

   该陈述出现时，由 $u=(2,1)$ 和 $v=(1,2)$ 构成的平行四边形正显示在屏幕上。

1. 该片段在此时间段内未明确显示行列式公式。

2. 主讲人在此处未说明绝对值或定向约定。

由向量 u 和 v 构成的平行四边形，其面积等于以 u 和 v 为列向量所组成的矩阵的行列式。

1. u 和 v 是平面上的两个向量。

2. 它们被用作一个$2\times 2$矩阵的列向量。

对于屏幕上显示的这一对平面矢量，正如讲述者所述，适用于由两个列向量构成的平行四边形。

1. 公式
   观察依据

   显示的标题为 $u \wedge v$ = Area($P(u,v)$)。

2. 声音
   观察依据

   主讲人将 $i \wedge i$ 和 $j \wedge j$ 解释为退化平行四边形的面积。

对于向量 u 和 v，楔积被表述为它们所张成的平行四边形 $P(u,v)$ 的面积。

1. u 和 v 是本课二维情境中的向量。

针对画面中展示的向量 u 和 v。

1. 公式
   观察依据

   右侧明确写出 $i \wedge i$ = Area(i,i) = 0 以及 $j \wedge j$ = Area(j,j) = 0。

2. 声音
   观察依据

   主讲人指出这些是线段的面积，因此为零。

基向量与自身作楔积等于零：$i \wedge i = 0$ 且 $j \wedge j = 0$。

1. 楔积被解释为所张成平行四边形的面积。

针对视频片段中展示的基向量 i 和 j。

1. 公式
   观察依据

   推导以方框标出的恒等式 〔i〕 ∧ 〔j〕 = −〔j〕 ∧ 〔i〕 结束。

2. 声音
   观察依据

   主讲人将此称为反对称性。

交换楔积的顺序会引入一个负号：〔i〕 ∧ 〔j〕 = −〔j〕 ∧ 〔i〕。

1. 双线性展开成立。

2. 基向量 i 与自身楔积为0、j 与自身楔积为0，这两点已确立。

此处考虑的是屏幕上所示二维情形中的基向量 i 和 j。

1. 公式
   观察依据

   u 与 v 的外积等于负的 v 与 u 的外积

2. 声音
   观察依据

   它具有如下反对称性质：u 楔积 v 等于负的 v 楔积 u。

对任意向量 u 和 v，楔积满足 $u \wedge v = -v \wedge u$。

1. u 和 v 是向量。

对任意向量 u 和 v。

1. 公式
   观察依据

   u 与 u 的楔积等于0

2. 声音
   观察依据

   若将某向量与自身做楔积，则结果为零，这是因为此时对应的是直线的面积。

对任意向量 u，u 与自身的楔积为零：$u \wedge u = 0$。

1. u 是一个向量。

对任意向量 u。

1. 声音
   观察依据

   讲述者将 u 和 v 写成分量形式，代入 u ∧ v，并说道：“我们假设它满足分配律，因此可以像乘法展开一样展开它。”

2. 公式
   观察依据

   屏幕依次显示：u = ai + bj，v = ci + dj；u ∧ v = (ai + bj) ∧ (ci + dj)；= ai ∧ (ci + dj) + bj ∧ (ci + dj)；= ac i ∧ i + ad i ∧ j + bc j ∧ i + bd j ∧ j。

1. 推导在简化 i ∧ i、j ∧ j 或建立 j ∧ i 与 i ∧ j 的关系之前就停止了。

1. 公式

   $$\mathbf{u} = a\mathbf{i} + b\mathbf{j},\quad \mathbf{v} = c\mathbf{i} + d\mathbf{j}$$
   解释

   将这两个向量用基符号 i 和 j 及标量系数 a、b、c、d 表示。

   步骤依据

   直接在音频中陈述，并在屏幕上显示。

   视频直接表达
2. 公式

   $$\mathbf{u} \wedge \mathbf{v} = (a\mathbf{i} + b\mathbf{j}) \wedge (c\mathbf{i} + d\mathbf{j})$$
   解释

   将分量表达式代入楔积。

   步骤依据

   依据 u 和 v 的定义进行直接代入。

   视频直接表达
3. 公式

   $$= a\mathbf{i} \wedge (c\mathbf{i} + d\mathbf{j}) + b\mathbf{j} \wedge (c\mathbf{i} + d\mathbf{j})$$
   解释

   将楔积运算符分配到左参数的和式上。

   步骤依据

   讲解者明确假设了分配律成立。

   视频直接表达
4. 公式

   $$= ac\,\mathbf{i} \wedge \mathbf{i} + ad\,\mathbf{i} \wedge \mathbf{j} + bc\,\mathbf{j} \wedge \mathbf{i} + bd\,\mathbf{j} \wedge \mathbf{j}$$
   解释

   展开每个剩余项，并将标量系数提取到基底楔积的前面。

   步骤依据

   进一步按屏幕上所示进行分配律展开，描述为“逐项相乘”。

   视频直接表达

以基底形式表示的两个平面矢量的楔积展开为四项，涉及 i∧i、i∧j、j∧i 和 j∧j。

1. 公式
   观察依据

   屏幕依次显示 (ai+bj) ∧ (ci+dj)，然后是 ai ∧ (ci+dj) + bj ∧ (ci+dj)，接着是 aci i ∧ i + adi i ∧ j + bcj j ∧ i + bdj j ∧ j，最后是 ad i ∧ j + bc j ∧ i。

2. 声音
   观察依据

   主讲人逐项读出并解释：首项与末项均为零。

1. 公式

   $$\mathbf{u}=a\mathbf{i}+b\mathbf{j},\quad \mathbf{v}=c\mathbf{i}+d\mathbf{j}$$
   解释

   从给定的两个向量的坐标表达式出发。

   步骤依据

   黑板上列出的假设条件。

   视频直接表达
2. 公式

   $$\mathbf{u}\wedge\mathbf{v}=(a\mathbf{i}+b\mathbf{j})\wedge(c\mathbf{i}+d\mathbf{j})$$
   解释

   将坐标形式代入楔积。

   步骤依据

   直接根据 u 和 v 的定义进行代入。

   视频直接表达
3. 公式

   $$=a\mathbf{i}\wedge(c\mathbf{i}+d\mathbf{j})+b\mathbf{j}\wedge(c\mathbf{i}+d\mathbf{j})$$
   解释

   对第一个参数中的和式，将楔积分配进去。

   步骤依据

   屏幕上所用的楔积的双线性性／分配律。

   视频直接表达
4. 公式

   $$=ac\,\mathbf{i}\wedge\mathbf{i}+ad\,\mathbf{i}\wedge\mathbf{j}+bc\,\mathbf{j}\wedge\mathbf{i}+bd\,\mathbf{j}\wedge\mathbf{j}$$
   解释

   展开每个剩余的乘积，并将标量系数提到前面。

   步骤依据

   展示代数运算中反复使用的分配律与标量相容性。

   视频直接表达
5. 公式

   $$=ad\,\mathbf{i}\wedge\mathbf{j}+bc\,\mathbf{j}\wedge\mathbf{i}$$
   解释

   去掉 i ∧ i 和 j ∧ j 项。

   步骤依据

   视频中已确立 i ∧ $i = 0$ 且 j ∧ $j = 0$。

   视频直接表达

楔积简化为仅含混合项的表达式：ad i ∧ j + bc j ∧ i。

1. 公式
   观察依据

   黑板上写出 $0 = (i+j)$ ∧ ($i+j$)，将其展开为 i ∧ $i + i$ ∧ $j + j$ ∧ $i + j$ ∧ j，再化简得 i ∧ $j + j$ ∧ $i = 0$，并框出 i ∧ $j = -j$ ∧ i。

2. 声音
   观察依据

   讲话者指出首项与末项相消，并将该结果称为反对称性。

1. 公式

   $$0=(\mathbf{i}+\mathbf{j})\wedge(\mathbf{i}+\mathbf{j})$$
   解释

   考虑向量 $i+j$ 与自身的楔积。

   步骤依据

   自身楔积的面积为零，这与视频片段中先前使用的几何规则一致。

   视频直接表达
2. 公式

   $$=\mathbf{i}\wedge\mathbf{i}+\mathbf{i}\wedge\mathbf{j}+\mathbf{j}\wedge\mathbf{i}+\mathbf{j}\wedge\mathbf{j}$$
   解释

   将乘积按双线性方式展开。

   步骤依据

   使用与 u ∧ v 相同的分配律展开方法。

   视频直接表达
3. 公式

   $$=\mathbf{i}\wedge\mathbf{j}+\mathbf{j}\wedge\mathbf{i}$$
   解释

   删去所有自身楔积项。

   步骤依据

   利用视频片段前半部分给出的 i ∧ $i = 0$ 和 j ∧ $j = 0$。

   视频直接表达
4. 公式

   $$\mathbf{i}\wedge\mathbf{j}+\mathbf{j}\wedge\mathbf{i}=0$$
   解释

   令展开后的结果等于零。

   步骤依据

   推导开始时，左侧为 0。

   视频直接表达
5. 公式

   $$\mathbf{i}\wedge\mathbf{j}=-\mathbf{j}\wedge\mathbf{i}$$
   解释

   将其中一项混合项移至等式另一侧。

   步骤依据

   对上一个等式进行代数整理。

   视频直接表达

楔积满足 i ∧ $j = -j$ ∧ i，因此交换顺序会引入一个负号。

1. 公式
   观察依据

   表达式 ad i ∧ j + bc j ∧ i 在屏幕上被重写为 ad i ∧ j − bc i ∧ j。

2. 声音
   观察依据

   主讲人表示他们回到之前的计算，并将所有内容用 i ∧ j 表示。

1. 视频片段在最终合并后的系数（ad−bc）i ∧ j 显示出来之前就结束了。

1. 公式

   $$\mathbf{u}\wedge\mathbf{v}=ad\,\mathbf{i}\wedge\mathbf{j}+bc\,\mathbf{j}\wedge\mathbf{i}$$
   解释

   回到此前得到的简化坐标表达式。

   步骤依据

   这是首次推导的结果，其中已移除了所有为零的自楔积项。

   视频直接表达
2. 公式

   $$=ad\,\mathbf{i}\wedge\mathbf{j}-bc\,\mathbf{i}\wedge\mathbf{j}$$
   解释

   将 j ∧ i 替换为 −i ∧ j。

   步骤依据

   应用稍早前推导出的反对称性恒等式 j ∧ $i = -i$ ∧ j。

   视频直接表达

两个保留下来的项现在都写成含有公共因子 i ∧ j 的形式，为最终化简做好准备。

1. 公式
   观察依据

   u 与 v 的楔积等于 (ai + bj) 与 (ci + dj) 的楔积

2. 公式
   观察依据

   等于 a 乘以 i 与 c 乘以 i 加 d 乘以 j 的外积，再加上 b 乘以 j 与 c 乘以 i 加 d 乘以 j 的外积

3. 公式
   观察依据

   等于 a 乘以 c 乘以 i 与 i 的外积，加上 a 乘以 d 乘以 i 与 j 的外积，加上 b 乘以 c 乘以 j 与 i 的外积，加上 b 乘以 d 乘以 j 与 j 的外积

4. 公式
   观察依据

   = ad 乘以 i 与 j 的外积，加上 bc 乘以 j 与 i 的外积，等于 ad 减去 bc，再乘以 i 与 j 的外积

1. 用于证明每一步的具体代数性质（例如双线性）在音频中并未明确说明，但这些性质是楔积的标准性质。

1. 公式

   $$u \wedge v = (ai + bj) \wedge (ci + dj)$$
   解释

   将向量 u 和 v 的分量形式代入楔积。

   步骤依据

   向量 u 和 v 的定义。

   视频直接表达
2. 公式

   $$= ai \wedge (ci + dj) + bj \wedge (ci + dj)$$
   解释

   对第一个向量中的加法，将楔积进行分配。

   步骤依据

   楔积的双线性（隐含）。

   视频直接表达
3. 公式

   $$= ac i \wedge i + ad i \wedge j + bc j \wedge i + bd j \wedge j$$
   解释

   进一步对第二个向量中的加法分配楔积，并将标量提出。

   步骤依据

   楔积的双线性（隐含）。

   视频直接表达
4. 公式

   $$= ad i \wedge j + bc j \wedge i = (ad - bc) i \wedge j$$
   解释

   应用“任意向量与自身楔积为零”的性质，并利用反对称性合并剩余项。

   步骤依据

   楔积的自楔性质与反对称性。

   视频直接表达

u 与 v 的楔积化简为 (ad - bc) i ∧ j。

1. 声音
   观察依据

   讲解者选取 $v = (1,2)$ 和 $u = (2,1)$，将它们平移构成一个平行四边形，并将所围成的区域识别为面积。

2. 图示
   观察依据

   动画标注了各矢量及其端点，然后画出完整的平行四边形，并在内部标出“Area”（面积）一词。

1. 本片段中屏幕上未计算任何数值化的面积值。

用两矢量 $v = (1,2)$ 和 $u = (2,1)$ 所张成的平行四边形来表示它们所确定的面积。

1. $v = (1,2)$

2. $u = (2,1)$

3. 两个向量均从原点出发绘制。

识别其内部表示面积的几何图形。

1. 公式

   $$$$
   解释

   从原点向点（1,2）作向量v，从原点向点（2,1）作向量u。

   步骤依据

   这些向量即音频中所指定、图示中所展示的向量。

   视频直接表达
2. 公式

   $$$$
   解释

   将向量v平移到向量u的终点，同时将向量u平移到向量v的终点，从而构成一个平行四边形。

   步骤依据

   说话人明确描述了这一作图过程。

   视频直接表达
3. 公式

   $$$$
   解释

   将四条边所围成的区域视为与这对向量相关联的面积。

   步骤依据

   说话人说：“位于这两个向量所限定范围之内的部分，就是该面积。”

   视频直接表达

该面积由向量u和v张成的平行四边形表示。

该作图过程与屏幕上的标注（1,2）、（2,1）以及内部标注“Area”完全吻合。

1. 公式
   观察依据

   左侧的例题从 u = ai + bj 和 v = ci + dj 出发，逐步展开 u ∧ v。

2. 声音
   观察依据

   主讲人叙述了展开过程以及零项的删除。

当 u = ai + bj 且 v = ci + dj 时，将 u ∧ v 表达为向量的乘积。

1. 向量 u 等于 a 乘以 i 加上 b 乘以 j

2. 向量 v 等于 c 乘以 i 加上 d 乘以 j

3. i 与 i 的楔积等于0

4. j 与 j 的楔积等于0

将 u 与 v 的楔积化简为剩余的混合楔积项。

1. 公式

   $$(a\mathbf{i}+b\mathbf{j})\wedge(c\mathbf{i}+d\mathbf{j})$$
   解释

   将 u 和 v 的坐标表达式代入楔积。

   步骤依据

   已知向量的定义。

   视频直接表达
2. 公式

   $$ac\,\mathbf{i}\wedge\mathbf{i}+ad\,\mathbf{i}\wedge\mathbf{j}+bc\,\mathbf{j}\wedge\mathbf{i}+bd\,\mathbf{j}\wedge\mathbf{j}$$
   解释

   双线性展开并合并标量系数。

   步骤依据

   楔积的分配律和标量相容性，如屏幕上所示。

   视频直接表达
3. 公式

   $$ad\,\mathbf{i}\wedge\mathbf{j}+bc\,\mathbf{j}\wedge\mathbf{i}$$
   解释

   消去自楔积项。

   步骤依据

   使用屏幕上给出的恒等式：i 与 i 的楔积等于0，j 与 j 的楔积等于0。

   视频直接表达

u 与 v 的楔积等于 ad 乘以 i 与 j 的楔积加上 bc 乘以 j 与 i 的楔积

结果与黑板上在反对称性代入之前仍可见的化简后表达式一致。

1. 公式
   观察依据

   黑板上推演了$0 = (i+j) \wedge (i+j)$，并将其展开为四项后再化简。

2. 声音
   观察依据

   主讲人指出这正是此前所做过的步骤，并借此得出反对称性性质。

利用 $i+j$ 与其自身的楔积，确定 $i \wedge j$ 与 $j \wedge i$ 之间的关系。

1. i 向量与 i 向量的外积等于0

2. j 向量与 j 向量的外积等于0

3. (i 向量加 j 向量) 与 (i 向量加 j 向量) 的外积等于0

找出混合楔积项之间的关系。

1. 公式

   $$0=(\mathbf{i}+\mathbf{j})\wedge(\mathbf{i}+\mathbf{j})$$
   解释

   从和向量的自楔积出发。

   步骤依据

   如本片段前文所述，任意向量与其自身的楔积面积为零。

   视频直接表达
2. 公式

   $$=\mathbf{i}\wedge\mathbf{i}+\mathbf{i}\wedge\mathbf{j}+\mathbf{j}\wedge\mathbf{i}+\mathbf{j}\wedge\mathbf{j}$$
   解释

   展开该乘积。

   步骤依据

   双线性展开，与 u ∧ v 的展开方法一致。

   视频直接表达
3. 公式

   $$=\mathbf{i}\wedge\mathbf{j}+\mathbf{j}\wedge\mathbf{i}$$
   解释

   去掉为零的自楔积项。

   步骤依据

   利用 i ∧ $i = 0$ 和 j ∧ $j = 0$。

   视频直接表达
4. 公式

   $$\mathbf{i}\wedge\mathbf{j}=-\mathbf{j}\wedge\mathbf{i}$$
   解释

   重新整理该等式。

   步骤依据

   由 i ∧ $j + j$ ∧ $i = 0$ 进行初等代数运算。

   视频直接表达

i 向量与 j 向量的外积等于负的 j 向量与 i 向量的外积

屏幕上框出的公式精确表达了这一反对称关系。

1. 图示
   观察依据

   首先出现橙色坐标轴，接着是从原点出发、标有v和u的青色箭头，最后是通过平移形成的平行四边形，其内部标有“Area”一词。

2. 声音
   观察依据

   说话人叙述了选取$v=(1,2)$和$u=(2,1)$、对它们进行平移并构造平行四边形的过程。

1. 坐标轴

2. 从原点指向（1，2）的向量 v

3. 从原点指向（2，1）的向量 u

4. 平移后的向量 v

5. 平移后的向量 u

6. 标有“Area”的平行四边形

1. 先画出坐标轴。

2. 向量 v 从原点出现。

3. 向量 u 从原点出现。

4. 将向量 v 和 u 平移以补全平行四边形。

5. 标签“Area”出现在平行四边形内部。

1. 原始向量仍固定在原点处。

2. 端点坐标（1，2）和（2，1）一旦标出便保持不变。

这一可视化过程将“面积”的抽象概念转化为由两个平面向量及其平移所围成的具体区域。

1. 公式
   观察依据

   屏幕内容依次从问题文字变为 f( , )，再变为 $f(u,v)$，接着变为 $f(u,v)$=Area($P(u,v)$)，然后变为 u∧v=Area($P(u,v)$)，最后显示分量公式及展开后的楔积表达式。

2. 声音
   观察依据

   讲解者从提出对向量进行某种运算的问题，逐步过渡到用楔形符号命名该运算，并代数地展开它。

1. 文字提示：“我们能否将其表示为向量上的一个乘积？”

2. 占位符 f( , )

3. 表达式 $f(u,v)$

4. 等式 $f(u,v)$=Area($P(u,v)$)

5. 等式 u∧v=Area($P(u,v)$)

6. 向量 u 和 v 的分量公式

7. 展开后的楔积表达式

1. 先用占位符写出抽象运算。

2. 该运算被特化为参数 u 和 v。

3. 它被等同于平行四边形 $P(u,v)$ 的面积。

4. 符号 f 被替换为 ∧。

5. 向量被重写为基底形式，楔积被展开。

1. 等式右端在代数展开开始前始终表示由 u 和 v 所确定的平行四边形的面积。

动画记录了从几何面积到向量符号代数的概念转变。

1. 动画
   观察依据

   红色对角线划去了展开式中 ac i ∧ i 和 bd j ∧ j 这两项。

2. 公式
   观察依据

   与此同时，右侧显示 i ∧ i = Area(i, i) = 0 以及 j ∧ j = Area(j, j) = 0。

1. 展开式 ac i ∧ i + ad i ∧ j + bc j ∧ i + bd j ∧ j

2. i ∧ i 与 j ∧ j 在右侧的恒等式

1. 首项与末项被标出。

2. 剩余可见的表达式被化简为混合项。

1. 中间项 ad〔i〕 ∧ 〔j〕 和 bc〔j〕 ∧ 〔i〕 保留在屏幕上。

2. 整体目标仍是化简 $u \wedge v$。

动画以视觉方式编码了一个代数事实：自楔积贡献为零，可从展开式中舍去。

1. 动画
   观察依据

   恒等式 $i \wedge j = - j \wedge i$ 在推导完成后显著地框出，位于画面正上方中央。

2. 公式
   观察依据

   前一行显示 $i \wedge j + j \wedge i = 0$。

1. 方程 $\mathbf{i}\wedge\mathbf{j}+\mathbf{j}\wedge\mathbf{i}=0$

2. 被框出的方程 $\mathbf{i}\wedge\mathbf{j}=-\mathbf{j}\wedge\mathbf{i}$

1. 和的关系式在视觉上被单独的反对称性恒等式所替代。

2. 最终规则被加框标出。

1. 符号 i 和 j 仍是当前讨论的基向量。

2. 推导继续沿用相同的双线性展开框架。

方框标注强调：楔积中顺序的颠倒会引入一个负号，该负号将在下一步代入中使用。

1. 动画
   观察依据

   左下角的表达式 ad $i \wedge j$ + bc $j \wedge i$ 被重写为 ad $i \wedge j$ - bc $i \wedge j$。

2. 公式
   观察依据

   方框标注的反对称恒等式在重写过程中始终保留在上方可见。

1. 最终完全合并系数的形式在本片段结束前尚未达成。

1. 向量 u 与 v 的楔积 u ∧ v 的简化表达式

2. 方框标注的恒等式 i ∧ $j = -j$ ∧ i

1. 项 bc j ∧ i 被替换为 -bc i ∧ j。

1. 第一项 ad i ∧ j 保持不变。

2. 推导过程始终聚焦于将所有内容用公共基二重向量 i ∧ j 表达。

图形化重写展示了新证明的反对称性规则如何被反馈回原始的坐标计算中。

1. 动画
   观察依据

   红色对角线划去了展开式中 ac $i \wedge i$ 和 bd $j \wedge j$ 这两项。

1. ac i 与 i

2. bd j 与 j

1. 这些项被红色线条直观地划去。

1. 方程其余部分保持可见。

这一视觉操作体现了楔积的性质：任意向量与自身楔积结果为零，因此这些项从表达式中被消去。

1. 动画
   观察依据

   项 bc $j \wedge i$ 的颜色变为与它所变成的 -bc $i \wedge j$ 项一致。

1. bc j 与 i

2. 负 b c 乘以 i 叉乘 j

1. 该项的颜色发生变化，以表明其转化过程。

1. 表达式的数学值保持不变。

这一视觉提示展示了楔积的反对称性：交换向量的顺序会引入一个负号。

1. 公式
   观察依据

   该片段将 u ∧ v 定义为 Area($P(u,v)$)，并将其展开为四项基底楔积项，但在化简前停止。

2. 声音
   观察依据

   讲话者在此片段中仅假设了分配律，尚未陈述其余楔积运算规则。

有人可能认为该片段已确立楔积的完整代数体系，包括 i∧$i=0$ 和 j∧$i=-i$∧j。

本片段仅展示了几何动机、符号 u∧v 以及分配律展开式，后续的化简规则在此处并未给出。

1. 公式
   观察依据

   推导以〔i〕∧〔j〕＝－〔j〕∧〔i〕作结，而非不带符号变化的相等关系。

2. 声音
   观察依据

   主讲人明确提问：当顺序被调换时会发生什么？并回答：会出现一个负号。

人们可能预期〔i〕∧〔j〕与〔j〕∧〔i〕相同，因为普通乘法通常满足交换律。

视频表明：楔积的顺序反转会改变符号，即〔i〕∧〔j〕＝－〔j〕∧〔i〕。

1. 公式
   观察依据

   黑板上写出〔i〕∧〔i〕＝Area(〔i〕,〔i〕)＝0以及〔j〕∧〔j〕＝Area(〔j〕,〔j〕)＝0。

2. 声音
   观察依据

   主讲人指出，这些是线段的面积，因此为零。

自身楔积可能被误认为是普通的模长平方，或某种非零乘积。

由于一个向量与其自身张成的平行四边形退化为一条直线，其面积为零，因此自身楔积消失。

1. 声音
   观察依据

   这是因为一条直线的面积为零；由一个向量与自身构成的平行四边形退化为一条直线，其面积为零。

人们或许会认为，一个向量与自身的楔积应得到某个非零值，且该值与该向量的长度相关。

楔积表示由两个向量所张成的平行四边形的面积；当一个向量与自身作楔积时，所得平行四边形退化为一条直线，其面积为零。

1. 声音
   观察依据

   在展示平行四边形后，主讲人提问：该面积能否表示为向量上的一种运算？

2. 公式
   观察依据

   公式 $f(u,v)$=Area($P(u,v)$) 直接将几何对象 $P(u,v)$ 与代数表达式关联起来。

利用平行四边形面积的几何概念，来启发并定义所期望的向量运算。

1. 声音
   观察依据

   主讲人指出，该运算将用楔形符号表示。

2. 公式
   观察依据

   屏幕上显示的等式从 $f(u,v)$=Area($P(u,v)$) 变为 u∧v=Area($P(u,v)$)。

在此片段中，抽象运算 f 与楔形符号 ∧ 被呈现为同一种产生面积的运算。

1. 声音
   观察依据

   主讲人专门引入分量形式，以探究该运算应具备哪些性质。

2. 公式
   观察依据

   屏幕内容从 u∧v=Area($P(u,v)$) 过渡到 u=ai+bj、v=ci+dj，再进一步展开为楔形表达式。

分量表示法被用作推导楔积代数性质的起点。

1. 公式
   观察依据

   展开运算仅在 u 和 v 被重写为 ai+bj 与 ci+dj 之后才开始。

2. 声音
   观察依据

   主讲人说：“我们假设该运算是可分配的，因此可以像乘法一样逐项展开。”

基底分解使得我们可以应用分配律，逐项展开楔积。

1. 声音
   观察依据

   说话者指出，平行四边形的面积由以向量 u 和 v 为列向量构成的矩阵的行列式给出。

2. 图示
   观察依据

   这句话是在平行四边形示例可见时说出的。

行列式这一说法，为此前从几何角度引入的同一平行四边形面积，提供了一种熟悉的计算描述。

1. 公式
   观察依据

   标题定义了〔u〕∧〔v〕＝Area(P(〔u〕,〔v〕))，右侧则将此式特化为〔i〕∧〔i〕＝Area(〔i〕,〔i〕)＝0。

2. 声音
   观察依据

   主讲人通过引用直线的面积来解释零值的合理性。

直接利用几何面积解释来说明自楔积为零的原因。

1. 公式
   观察依据

   在展开 $u \wedge v$ 后，含有 〔i〕$\wedge$〔i〕 和 〔j〕$\wedge$〔j〕 的项被利用零恒等式划去。

在坐标展开式内部应用自楔积为零的恒等式，消去首项和末项。

1. 公式
   观察依据

   对 (〔i〕+〔j〕)$\wedge$(〔i〕+〔j〕) 重复使用前述双线性展开方法，推导出 〔i〕$\wedge$〔j〕 = -〔j〕$\wedge$〔i〕。

通过复用前文已演示过的相同展开技巧，得到反对称性结果。

1. 公式
   观察依据

   利用方框标出的恒等式，将表达式 ad\,〔i〕$\wedge$〔j〕+bc\,〔j〕$\wedge$〔i〕 改写为 ad\,〔i〕$\wedge$〔j〕-bc\,〔i〕$\wedge$〔j〕。

将反对称性规则代回化简后的坐标表达式，使两项均以同一基二重向量表示。

1. 声音
   观察依据

   但这恰恰就是当矩阵为 a, b, c, d 时，一个$2\times 2$矩阵的行列式。

对2维向量施行楔积运算时，应用了行列式的概念：所得二重向量的标量系数，即为由向量分量构成的矩阵的行列式。

1. 公式
   观察依据

   u 与 u 的楔积等于0

2. 公式
   观察依据

   u 与 v 的楔积等于负的 v 与 u 的楔积

向量与自身楔积为零这一性质，可视为反对称性的一个特例：令 $v = u$，则得 $u \wedge u = -u \wedge u$，从而推出 $u \wedge u = 0$。

1. 声音
   观察依据

   说话者提问：如何将面积表述为作用于向量的一种运算？并以平行四边形为例加以说明。

2. 图示
   观察依据

   单词 Area 被置于由向量 u 和 v 张成的平行四边形内部。

1. 由两个向量张成的平行四边形所表示的面积
2. 由 $u = (2,1)$ 和 $v = (1,2)$ 构成的示例平行四边形
3. 平行四边形面积的动态构造过程

1. 声音
   观察依据

   说话者希望得到一种作用于向量的运算，其结果为对应平行四边形的面积。

2. 公式
   观察依据

   屏幕上先后显示 $f(u,v)$=Area($P(u,v)$) 与 u∧v=Area($P(u,v)$)。

1. 定义一种向量运算，使其结果为平行四边形面积的目标
2. 楔积记号被引入作为面积运算
3. 公式演进过程：从抽象运算到楔积展开

1. 公式
   观察依据

   所展示的推导过程将 (ai+bj)∧(ci+dj) 展开为四项。

2. 声音
   观察依据

   说话者称该运算被假定为满足分配律，因而可以像乘法一样‘逐项展开’。

1. u 和 v 在基 {i,j} 下的分量表示
2. 假设楔积满足分配律，并完成首次展开
3. 利用分量形式和分配律展开 u ∧ v

1. 声音
   观察依据

   讲话者指出，该平行四边形的面积由以 u 和 v 为列向量构成的矩阵的行列式给出。

1. 在此时间段内，屏幕上并未写出该行列式本身。

1. 平行四边形的面积等于以 u 和 v 为列向量所构成矩阵的行列式
2. 由两个向量张成的平行四边形所表示的面积

1. 公式
   观察依据

   片段在得到 ac i∧i + ad i∧j + bc j∧i + bd j∧j 后即停止。

2. 声音
   观察依据

   在本片段结束前，仅假设了分配律成立。

1. 假设楔积满足分配律，并完成首次展开
2. 切勿仅凭此片段推断完整的楔积运算规则

1. 公式
   观察依据

   左侧展示了 (a〔i〕+b〔j〕) $\wedge$ (c〔i〕+d〔j〕) 的完整分步展开过程。

1. 楔积在坐标下的双线性展开。
2. u ∧ v 的详细展开过程

1. 公式
   观察依据

   右侧指出 〔i〕$\wedge$〔i〕 = $\operatorname{Area}$(〔i〕,〔i〕) = 0 且 〔j〕$\wedge$〔j〕 = $\operatorname{Area}$(〔j〕,〔j〕) = 0。

2. 声音
   观察依据

   主讲人将这些解释为直线的面积。

1. 向量与自身的楔积为零。
2. 楔积作为平行四边形面积

1. 公式
   观察依据

   方框标出的恒等式是 〔i〕 ∧ 〔j〕 = −〔j〕 ∧ 〔i〕。

2. 声音
   观察依据

   主讲人指出，交换顺序会引入一个负号。

1. 楔积的反对称性
2. 由 ($i+j$) ∧ ($i+j$) 推导反对称性

1. 公式
   观察依据

   黑板将 ad〔i〕 ∧ 〔j〕 + bc〔j〕 ∧ 〔i〕 重写为 ad〔i〕 ∧ 〔j〕 − bc〔i〕 ∧ 〔j〕。

1. 将坐标楔积重写为 $i \wedge j$ 的形式
2. 将反对称性代回 u ∧ v。

1. 声音
   观察依据

   现在，这种作用于向量的运算早已广为人知，它被称为楔积。

1. 楔积
2. 楔积的反对称性
3. 自楔积性质

1. 声音
   观察依据

   但这正是一个$2\times 2$矩阵的行列式，当该矩阵为a, b, c, d时。

1. 与行列式的联系
2. 楔积的展开