张量积的初步认识

1. 公式
   观察依据

   幻灯片文本中出现“设 U, V, W 是数域 P 上的线性空间”

U, V, W, P

数域 P 上的线性空间

线性空间

1. 公式
   观察依据

   幻灯片文本中出现“双线性映射 $\varphi$”

$\varphi$

从 $U \times V$ 到 W 的双线性映射

映射

1. 公式
   观察依据

   幻灯片文本中出现“任意双线性映射 f”

f

从 $U \times V$ 到 P 上任意线性空间 P 的双线性映射

映射

1. 公式
   观察依据

   幻灯片文本中出现“唯一线性映射 $\tau$”

$\tau$

从 W 到 P 的唯一线性映射

映射

1. 公式
   观察依据

   幻灯片文本中出现“(W', $\varphi$')”

W', $\varphi$'

另一个张量积的线性空间及其双线性映射

线性空间与映射

1. 公式
   观察依据

   幻灯片多处出现 U, V, W 与数域 P；讲解者说明 U,V,W 是数域 P 上的线性空间。

U, V, W, $\mathbb{P}$

数域 $\mathbb{P}$ 上的线性空间 U、V、W，以及这些空间所取的标量域。

U,V,W 为线性空间；$\mathbb{P}$ 为标量域

1. 公式
   观察依据

   注释页写“我们用 $U \otimes V$ 来表示 U 与 V 的同构意义下的唯一一张量积 (W, $\varphi$)”。

2. 声音
   观察依据

   讲解者说“用 U 张量 V 来表示 U 与 V 在同构意义下的唯一的这么一个张量积”。

$U \otimes V$

U 与 V 在同构意义下唯一确定的张量积空间记号。

表示线性空间，而不是单个张量元素

1. 公式
   观察依据

   命题页写“(W, $\varphi$) 和 (W', $\varphi$') 是 U, V 的两个张量积”。

2. 公式
   观察依据

   注释页写“唯一一张量积 (W, $\varphi$)”。

(W, $\varphi$)

一个张量积结构，其中 W 是承载空间，$\varphi$ 是对应的双线性映射。

W 为线性空间，$\varphi$: $U \times V \to W$

1. 公式
   观察依据

   命题页出现“(W', $\varphi$')”。

2. 图示
   观察依据

   交换图中从 $U \times V$ 指向 W' 的箭头标注为 $\varphi$'。

(W', $\varphi$')

U 与 V 的另一个张量积结构。

W' 为线性空间，$\varphi$': $U \times V \to W$'

1. 公式
   观察依据

   命题页和注释页都出现 $\varphi(u,v)$。

2. 声音
   观察依据

   讲解者说“这个 $\varphi$ 作用在 u, v 上就可以直接记作 u 张量 v”。

$\varphi$

张量积结构中的双线性映射，把 (u,v) 映为张量积中的元素。

映射 φ 从 U 与 V 的笛卡尔积到 W

1. 公式
   观察依据

   命题页写“存在 W 到 W' 的唯一线性空间同构 $\tau$”。

2. 图示
   观察依据

   交换图中虚线箭头从 W 指向 W'，标注为 $\tau$。

$\tau$

连接两个张量积空间的唯一线性空间同构。

映射 τ 从 W 到 W′

1. 公式
   观察依据

   注释页写“对任意 $u \in U$, $v \in V$, $\varphi(u,v)$ 记做 $u \otimes v$”。

2. 声音
   观察依据

   讲解者说“对任何的一个 u 属于 U，v 属于 V，这个 $\varphi$ 作用在 u, v 上就可以直接记作 u 张量 v”。

$u \otimes v$

由 $u \in U$ 与 $v \in V$ 通过张量积映射得到的基本张量。

u 属于 U，v 属于 V

1. 公式
   观察依据

   幻灯片展示了张量积的定义文本及交换图

2. 声音
   观察依据

   讲师口述了张量积的定义及泛性质

设 U, V, W 是数域 P 上的线性空间。如果存在 $U \times V$ 到 W 的双线性映射 $\varphi$，使得对于 $U \times V$ 到 P 上任意线性空间 P 的任意双线性映射 f，都存在 W 到 P 的唯一线性映射 $\tau$，使下图交换，亦即 $f = \tau \varphi$，那么 W 及双线性映射 $\varphi$ 所成的二元组 (W, $\varphi$) 称为 U 与 V 的一个张量积。

1. U, V, W 是数域 P 上的线性空间

2. $\varphi$ 是 $U \times V$ 到 W 的双线性映射

3. f 是 $U \times V$ 到 P 上任意线性空间 P 的双线性映射

4. $\tau$ 是 W 到 P 的唯一线性映射

1. 声音
   观察依据

   讲师提到“这个图呢，包括这个性质呢，我们在代数学上有一个说法，它就叫做 universal 性质，或者称之为泛性质”

张量积定义中描述的交换图性质在代数学中被称为泛性质（universal property）。它表明虽然满足该性质的张量积不是唯一的，但在同构意义下是唯一的。

1. 张量积的定义

1. 公式
   观察依据

   注释页：“我们用 $U \otimes V$ 来表示 U 与 V 的同构意义下的唯一一张量积 (W, $\varphi$)。”

2. 声音
   观察依据

   讲解者说“张量积呢在同构意义下呢是唯一的”，并接着说“用 U 张量 V 来表示 U 与 V 在同构意义下的唯一的这么一个张量积”。

由于前面命题说明任意两个张量积结构之间存在唯一同构，因此可以把 U 与 V 的张量积在同构意义下视为唯一对象，并用记号 $U \otimes V$ 表示这个空间。

1. U,V 是数域 $\mathbb{P}$ 上的线性空间

2. 这里的 $U \otimes V$ 指同构意义下唯一确定的张量积空间

1. 公式
   观察依据

   注释页：“对任意 $u \in U$, $v \in V$, $\varphi(u,v)$ 记做 $u \otimes v$。”

2. 声音
   观察依据

   讲解者说“对任何的一个 u 属于 U，v 属于 V，这个 $\varphi$ 作用在 u, v 上就可以直接记作 u 张量 v”。

给定张量积结构中的双线性映射 $\varphi$，对任意 $u \in U$ 和 $v \in V$，把 $\varphi(u,v)$ 记作 $u \otimes v$。这个记号表示由两个向量生成的基本张量。

1. u 属于 U

2. v 属于 V

3. $\varphi$ 是张量积结构中的双线性映射

1. 用 $U \otimes V$ 表示同构意义下的唯一张量积

1. 公式
   观察依据

   性质命题列出三条：($a_1u_1+a_2u_2$)$\otimes v=a_1u_1\otimes v+a_2u_2\otimes v$；$u\otimes(b_1v_1+b_2v_2)=b_1u\otimes v_1+b_2u\otimes v_2$；$a(u\otimes v)$=(au)$\otimes v=u\otimes$(av)。

2. 声音
   观察依据

   讲解者说“因为我们知道张量积是通过一个双线性函数导出来的，所以说张量积具有双线性性，就有以下的这些性质”。

张量积记号对左右两个变量都满足加法和标量乘法分配律，并且标量可以从一侧移到另一侧。这些性质直接来自张量积由双线性映射构造这一事实。

1. u、u₁ 与 u₂ 都属于 U

2. v、v₁ 与 v₂ 都属于 V

3. a,$a_1$,$a_2$,$b_1$,$b_2$ 为数域 $\mathbb{P}$ 中的标量

1. 基本张量记号 $u \otimes v$

1. 公式
   观察依据

   例子页：“设 A 是 $m \times n$ 矩阵，B 是 $p \times q$ 矩阵，则 A 与 B 的 Kronecker 积（记为 $A \otimes B$）是张量积，它是 mp $\times$ nq 分块矩阵。”并给出分块矩阵表达式。

2. 声音
   观察依据

   讲解者说“那么 A 和 B 的 Kronecker 积呢，记成 A 张量 B，它也是一个张量积，它是 mp 乘 nq 的这么一个分块矩阵”。

当 A 是 $m \times n$ 矩阵、B 是 $p \times q$ 矩阵时，A 与 B 的 Kronecker 积记为 $A \otimes B$，它是一个 mp $\times$ nq 的分块矩阵，每个块由 A 的元素乘以整个矩阵 B 得到。

1. A 为 $m \times n$ 矩阵

2. B 为 $p \times q$ 矩阵

3. a_{ij} 为 A 的元素

1. 基本张量记号 $u \otimes v$

1. 公式
   观察依据

   题目页：“设 U,V,W 是数域 P 上的线性空间，则有 $\hom(U, \hom(V, W)) \cong \hom(U \otimes V, W)$。”

2. 声音
   观察依据

   讲解者解释 Hom 空间含义后说“它就同构于 U 和 V 求张量积的线性空间到 W 的所有的这种 Hom 的线性映射全体构成的线性空间”，并称“这个是 Hom 和张量之间的一个对偶关系”。

对于数域上的三个线性空间 U,V,W，从 U 到“V 到 W 的线性映射空间”的线性映射空间，同构于从张量积空间 $U \otimes V$ 到 W 的线性映射空间。这体现了 Hom 与张量积之间的伴随/对偶关系。

1. U,V,W 是数域 $\mathbb{P}$ 上的线性空间

1. 用 $U \otimes V$ 表示同构意义下的唯一张量积

1. 公式
   观察依据

   幻灯片展示了命题文本及交换图

2. 声音
   观察依据

   讲师口述了命题内容

设 U, V 是数域 P 上的线性空间。如果 (W, $\varphi$) 和 (W', $\varphi$') 是 U, V 的两个张量积，则存在 W 到 W' 的唯一线性空间同构 $\tau$，使下图交换。亦即 W' = $\tau(W)$, $\varphi$' = $\tau \varphi$，从而 (W', $\varphi$') = ($\tau(W)$, $\tau \varphi$)。

1. U, V 是数域 P 上的线性空间

2. (W, $\varphi$) 和 (W', $\varphi$') 是 U, V 的两个张量积

存在唯一

1. 公式
   观察依据

   命题页：“设 U,V 是数域 P 上的线性空间。如果 (W,$\varphi$) 和 (W',$\varphi$') 是 U,V 的两个张量积，则存在 W 到 W' 的唯一线性空间同构 $\tau$，使下图交换。亦即 W'=$\tau(W)$, $\varphi$'=$\tau\varphi$，从而 (W',$\varphi$')=($\tau(W)$,$\tau\varphi$)。”

2. 图示
   观察依据

   交换图显示 $U \times V$ 经 $\varphi$ 到 W，经 $\varphi$' 到 W'，且 W 到 W' 有虚线同构 $\tau$。

3. 声音
   观察依据

   讲解者说“这个就意味着告诉大家就是张量积呢在同构意义下呢是唯一的”。

若 (W,$\varphi$) 与 (W',$\varphi$') 都是 U,V 的张量积，则存在唯一的线性空间同构 $\tau$:W\to W' 使图交换，即 W'=$\tau(W)$ 且 $\varphi$'=$\tau\varphi$。

1. U,V 是数域 $\mathbb{P}$ 上的线性空间

2. (W,$\varphi$) 是 U,V 的一个张量积

3. (W',$\varphi$') 是 U,V 的另一个张量积

对任意满足前提的两个张量积结构，存在唯一同构 $\tau$。

1. 声音
   观察依据

   讲解者说“因为我们知道张量积是通过一个双线性函数导出来的，所以说张量积具有双线性性，就有以下的这些性质”。

2. 公式
   观察依据

   幻灯片直接列出三条双线性性质。

1. 公式

   $$$$
   解释

   先指出张量积是由双线性函数构造出来的。

   步骤依据

   讲解者口头说明“张量积是通过一个双线性函数导出来的”。

   视频直接表达
2. 公式

   $$(a_1u_1+a_2u_2)\otimes v=a_1u_1\otimes v+a_2u_2\otimes v$$
   解释

   由此得到对第一个变量的线性性。

   步骤依据

   双线性映射对每个变量分别线性。

   视频直接表达
3. 公式

   $$u\otimes(b_1v_1+b_2v_2)=b_1u\otimes v_1+b_2u\otimes v_2$$
   解释

   再得到对第二个变量的线性性。

   步骤依据

   双线性映射对每个变量分别线性。

   视频直接表达
4. 公式

   $$a(u\otimes v)=(au)\otimes v=u\otimes(av)$$
   解释

   标量可以作用在整体张量上，也可以移到任一边向量上。

   步骤依据

   这是双线性的标量兼容性在张量记号下的表现。

   视频直接表达

张量积记号满足所列三条双线性性质。

1. 声音
   观察依据

   讲解者逐步解释“Hom U V 呢就是指所有 U 到 V 的线性映射的全体……也可以构成一个线性空间……然后再求 Hom……它就同构于 U 和 V 求张量积的线性空间到 W 的所有的这种 Hom 的线性映射全体构成的线性空间”。

2. 公式
   观察依据

   题目页给出 $\hom(U, \hom(V, W)) \cong \hom(U \otimes V, W)$。

1. 视频没有给出该同构的具体构造或证明步骤，只要求有兴趣者自行推导。

1. 公式

   $$$$
   解释

   先把 $\hom(V,W)$ 理解为“V 到 W 的所有线性映射的全体”，并把它看成一个线性空间。

   步骤依据

   讲解者口头定义 Hom 空间。

   视频直接表达
2. 公式

   $$$$
   解释

   再把 $\hom(U,\hom(V,W))$ 理解为“从 U 到这个线性空间的线性映射全体”所成的线性空间。

   步骤依据

   讲解者继续解释嵌套 Hom 的含义。

   视频直接表达
3. 公式

   $$\hom(U, \hom(V, W)) \cong \hom(U \otimes V, W)$$
   解释

   最后说明它与“从 $U \otimes V$ 到 W 的线性映射全体”构成的空间同构。

   步骤依据

   题目页公式与讲解者口头解释一致。

   视频直接表达

该式表达的是 Hom 与张量积之间的伴随/对偶关系，但视频未展示证明。

1. 公式
   观察依据

   例子页给出 A,B 的维数以及 $A \otimes B$ 的分块矩阵形式。

2. 声音
   观察依据

   讲解者回顾“当时那个例子”，并复述 $A \otimes B$ 是 mp $\times$ nq 分块矩阵。

设 A 是 $m \times n$ 矩阵，B 是 $p \times q$ 矩阵，写出 A 与 B 的 Kronecker 积并说明其规模。

1. A 为 $m \times n$ 矩阵

2. B 为 $p \times q$ 矩阵

3. a_{ij} 表示 A 的元素

给出 $A \otimes B$ 的表达式及其矩阵尺寸。

1. 公式

   $$A \otimes B=\begin{pmatrix} a_{11}B & \cdots & a_{1n}B \\ \vdots & & \vdots \\ a_{m1}B & \cdots & a_{mn}B \end{pmatrix}$$
   解释

   把 A 的每个元素 a_{ij} 替换为块 a_{ij}B。

   步骤依据

   例子页直接给出 Kronecker 积定义。

   视频直接表达
2. 公式

   $$mp \times nq$$
   解释

   所得分块矩阵共有 m 行块、n 列块，每块大小为 $p \times q$，因此总尺寸为 mp $\times$ nq。

   步骤依据

   讲解者与幻灯片均说明它是 mp $\times$ nq 分块矩阵。

   视频直接表达

$A \otimes B$ 是上述分块矩阵，且为 mp $\times$ nq 矩阵。

可由分块数 $m \times n$ 与每块尺寸 $p \times q$ 相乘核对总尺寸。

1. 公式
   观察依据

   题目页给出“设 U,V,W 是数域 P 上的线性空间，则有 $\hom(U, \hom(V, W)) \cong \hom(U \otimes V, W)$。”

2. 声音
   观察依据

   讲解者解释该式含义，并说“大家有兴趣的话可以去自己去证明一下”。

1. 视频未给出证明，也未给出具体映射构造。

设 U,V,W 是数域 P 上的线性空间，说明 $\hom(U, \hom(V, W))$ 与 $\hom(U \otimes V, W)$ 的关系。

1. U,V,W 是数域 $\mathbb{P}$ 上的线性空间

判断两个 Hom 空间是否同构，并理解其含义。

1. 公式

   $$\hom(V,W)$$
   解释

   先把它理解为 V 到 W 的所有线性映射构成的线性空间。

   步骤依据

   讲解者口头定义 Hom 空间。

   视频直接表达
2. 公式

   $$\hom(U,\hom(V,W))$$
   解释

   再把它理解为 U 到上述线性空间的线性映射全体构成的空间。

   步骤依据

   讲解者继续解释嵌套 Hom。

   视频直接表达
3. 公式

   $$\hom(U \otimes V,W)$$
   解释

   题目结论是它与从张量积空间 $U \otimes V$ 到 W 的线性映射空间同构。

   步骤依据

   题目页公式直接给出同构关系。

   视频直接表达

U 到 V 到 W 的线性映射空间，同构于 U 与 V 的张量积到 W 的线性映射空间。

视频未演示验证，只提示可自行证明。

1. 图示
   观察依据

   幻灯片展示了 $U \times V$, W, P 之间的映射关系图

1. U 乘以 V

2. W

3. P

4. $\varphi$

5. f

6. $\tau$

1. 图表结构保持不变

实线箭头表示已知的双线性映射 $\varphi$ 和 f，虚线箭头表示存在且唯一的线性映射 $\tau$。图表直观展示了 $f = \tau \varphi$ 的复合关系。

1. 图示
   观察依据

   幻灯片展示了 $U \times V$, W, W' 之间的映射关系图

1. U 乘以 V

2. W

3. W 撇

4. $\varphi$

5. φ 撇

6. $\tau$

1. 图表结构保持不变

实线箭头表示两个张量积的双线性映射 $\varphi$ 和 $\varphi$'，虚线箭头表示存在且唯一的同构映射 $\tau$。图表直观展示了 $\varphi$' = $\tau \varphi$ 的关系。

1. 图示
   观察依据

   画面显示三角形交换图：$U \times V$ 经 $\varphi$ 到 W，经 $\varphi$' 到 W'，W 到 W' 有虚线箭头 $\tau$。

2. 公式
   观察依据

   命题文字说明“使下图交换。亦即 W'=$\tau(W)$, $\varphi$'=$\tau\varphi$”。

1. U 与 V 的笛卡尔积

2. W

3. W'

4. $\varphi$

5. $\varphi$'

6. $\tau$

1. 画面静止展示从 $U \times V$ 到 W 和 W' 的两条映射

2. 同时展示从 W 到 W' 的虚线同构箭头

1. 三个对象 $U \times V$, W, W' 的位置关系不变

2. 图的交换含义由命题文字固定

该图直观表达：两个张量积结构之间可通过唯一同构 $\tau$ 相连，使得先经 $\varphi$ 再经 $\tau$ 与直接经 $\varphi$' 的结果一致。

1. 动画
   观察依据

   幻灯片依次从“命题+交换图”切换到“注释”，再增加“命题”性质框，随后切到“例子”，最后增加“题目”框。

2. 字幕依据
   观察依据

   页面底部可见日期“2022年3月2日”和页码从 $3/5$ 变为 $4/5$、$5/5$。

1. 命题页

2. 注释页

3. 性质命题框

4. 例子页

5. 题目框

1. 00:08 左右从唯一性命题页切到注释页

2. 00:21 左右在注释页下方增加双线性性质命题框

3. 00:40 左右切到 Kronecker 积例子页

4. 00:56 左右在例子页下方增加 Hom 同构题目框

1. 整体为静态课件讲解，没有额外动画演示计算过程

2. 版式持续保持“背景知识”标题

视觉推进对应讲解顺序：先说明同构唯一性，再引入记号与基本性质，然后给出矩阵例子，最后补充 Hom 与张量积的关系。

1. 声音
   观察依据

   讲师提到“一般来说考研的话不会考张量积这个概念的...但是呢大家可能也可以用到这个张量积的一些相关的知识来解决问题”

认为张量积不属于线性代数的范畴。

张量积属于线性代数的范围，虽然在基础考试中较少直接考查，但其相关知识可用于解决特定问题。

1. 公式
   观察依据

   注释页同时出现“$U \otimes V$ 来表示……唯一一张量积 (W,$\varphi$)”和“$\varphi(u,v)$ 记做 $u \otimes v$”。

2. 声音
   观察依据

   讲解者分别用“U 张量 V”指空间，用“u 张量 v”指映射像。

看到同样的 $\otimes$ 记号，容易误以为 $U \otimes V$ 和 $u \otimes v$ 是同一类对象。

$U \otimes V$ 表示整个张量积空间；$u \otimes v$ 表示该空间中由 u,v 生成的一个基本张量元素。

1. 声音
   观察依据

   讲解者强调“Hom U V 呢就是指所有 U 到 V 的线性映射的全体”，并说“也可以构成一个线性空间”。

容易把 $\hom(U,V)$ 误解为某个具体的线性映射。

$\hom(U,V)$ 是所有从 U 到 V 的线性映射组成的集合，并且本身也构成线性空间。

1. 声音
   观察依据

   讲师将定义中的图表性质称为泛性质

泛性质是张量积定义的核心特征。

1. 声音
   观察依据

   讲师由定义引出命题

张量积的同构唯一性命题依赖于张量积的泛性质定义。

1. 公式
   观察依据

   命题页先给出唯一同构结论，注释页随后定义“用 $U \otimes V$ 来表示……唯一一张量积”。

2. 声音
   观察依据

   讲解者先说“张量积呢在同构意义下呢是唯一的”，接着说“所以说我们有下面的就是用 U 张量 V 来表示……”。

正因为任意两个张量积结构在同构意义下唯一，才能把 $U \otimes V$ 作为同构意义下的标准记号。

1. 公式
   观察依据

   同一注释页先定义空间记号 $U \otimes V$，再定义元素记号 $u \otimes v$。

在确定张量积空间记号后，进一步定义其中基本元素的记号。

1. 声音
   观察依据

   讲解者在定义 $u \otimes v$ 后说“因为我们知道张量积是通过一个双线性函数导出来的，所以说张量积具有双线性性”。

2. 公式
   观察依据

   随后幻灯片列出三条关于 $\otimes$ 的性质。

基本张量记号引入后，双线性映射的性质被转写成关于 $\otimes$ 的运算规律。

1. 动画
   观察依据

   页面从双线性性质切到 Kronecker 积例子。

2. 声音
   观察依据

   讲解者说“并且我们回顾一下当时那个例子”。

1. 视频没有明确写出 Kronecker 积如何逐条验证双线性性质，只把它作为张量积例子回顾。

矩阵 Kronecker 积被用作张量积概念的一个具体实例。

1. 公式
   观察依据

   题目页直接出现 $\hom(U, \hom(V, W)) \cong \hom(U \otimes V, W)$。

2. 声音
   观察依据

   讲解者称“这个是 Hom 和张量之间的一个对偶关系”。

张量积空间记号 $U \otimes V$ 被用于表述 Hom 与张量积之间的同构关系。

1. 声音
   观察依据

   讲解者说“这个对偶关系的话包括将来在同调代数里面也会讲到伴随函子有这样的类似的这么一个东西，这个是一个伴随同构”。

1. 视频只口头提及后续内容，没有展开同调代数或伴随函子的正式定义。

讲解者把这一同构关系推广性地联系到以后会学习的伴随函子/伴随同构思想。

1. 公式
   观察依据

   幻灯片展示了张量积的定义

1. 张量积的定义
2. 泛性质

1. 公式
   观察依据

   幻灯片展示了张量积同构唯一性的命题

1. 张量积的同构唯一性

1. 公式
   观察依据

   命题页说明两个张量积之间存在唯一同构使图交换。

2. 声音
   观察依据

   讲解者总结“张量积呢在同构意义下呢是唯一的”。

1. 张量积在同构意义下唯一
2. 用 $U \otimes V$ 表示同构意义下的唯一张量积

1. 公式
   观察依据

   注释页定义 $U \otimes V$ 表示同构意义下的唯一一张量积。

1. 用 $U \otimes V$ 表示同构意义下的唯一张量积
2. 基本张量记号 $u \otimes v$

1. 声音
   观察依据

   讲解者说张量积由双线性函数导出，所以具有双线性性。

2. 公式
   观察依据

   幻灯片列出三条性质。

1. 张量积的双线性性质
2. 由双线性映射导出张量积性质

1. 公式
   观察依据

   例子页写明 $A \otimes B$ 是 mp $\times$ nq 分块矩阵。

1. 矩阵的 Kronecker 积作为张量积例子
2. Kronecker 积例子

1. 公式
   观察依据

   题目页给出 $\hom(U, \hom(V, W)) \cong \hom(U \otimes V, W)$。

2. 声音
   观察依据

   讲解者解释这是 Hom 和张量之间的对偶关系。

1. Hom 与张量积的同构关系
2. 解释 Hom 与张量积同构式的含义
3. Hom 与张量积同构题目