方阵与等维线性映射
一旦选定基底,输入和输出空间维度相同的线性映射就具有方阵表示。前面的例子使用了 2×2 和 3×3 矩阵。
把非方阵读成不同维度之间的线性映射:从基向量的像构造矩阵,理解列空间与满列秩,再比较平面到空间、平面到数轴的例子。
非方阵表示输入、输出维度不同的线性映射:列数给出输入维度,行数给出输出维度。视频从两个基向量的像构造一个 3×2 矩阵,把它的列空间解释为三维空间中的平面,并说明这个例子的满列秩。接着对照 2×3 与 1×2 映射,根据基向量在数轴上的落点读出行矩阵 [1,2]。不同的维度流程图各自用于说明,并非用同一个矩阵连续计算。结尾预告点积与对偶性的联系。
依据视频画面与讲解整理,并非逐字语音转写。
开场讲述了一个轶事,学生们试图计算 2×3 矩阵的行列式。普通的行列式适用于方阵。这个问题引出了另一个任务:理解非方阵的几何意义。
之前的课程考虑了从二维向量到二维向量,以及从三维向量到三维向量的映射。这些由 2×2 和 3×3 矩阵表示。伴随的动画说明了相应的网格变换。
非方阵可以描述不同维度之间的线性变换。3×2 矩阵有两个输入坐标和三个输出坐标。课程鼓励观众利用现有的线性变换知识来探究这种解释。
分屏动画在三维输出空间旁边显示了二维输入空间。在这个例子中,输出是一个通过原点的平面。动画保持了平行、间距均匀的网格结构,并将输入原点映射到输出原点。
二维输入向量和三维输出向量使用不同数量的坐标。视频把输入、输出放在两个视图里,帮助我们分清它们各自所在的空间。
要把线性映射写成矩阵,先看每个输入基向量被送到哪里,再把这些像在输出空间中的坐标写成矩阵的列。这个方法对方阵和非方阵都适用。
画面中的两个基向量分别被送到 (2,−1,−2) 和 (0,1,1)。把它们的坐标依次写成两列,就得到 3×2 矩阵 [[2,0],[−1,1],[−2,1]]。3维动画把这两个像画成从原点出发的箭头。
先数行,再数列:画面标出了 3 行、2 列,因此这是 3×2 矩阵。列数对应输入基向量的个数;行数对应每个输出向量所需的坐标个数。
对这个 3×2 矩阵,列空间是各列张成的空间,也是所有可能输出的集合。动画用半透明平面展示这两个列向量在 3 维输出空间中张成的平面。这个像只有 2 维,却保留了输入空间的 2 个维度,因此该矩阵具有满列秩。
再看另一个 3×2 矩阵 [[3,1],[4,1],[5,9]]。无需先计算,就能从 3×2 的形状读出:两列意味着输入有两个基向量,三行意味着输出需要三个坐标,所以它表示从 2 维到 3 维的线性映射。
对 2×3 矩阵 [[3,1,4],[1,5,9]],规则仍然一样:三列对应3维输入的三个基向量,两行对应2维输出的两个坐标。变换的方向变了,列对应输入、行对应输出的规则不变。
分屏动画现在说明三维输入到二维输出平面的映射。这里的基向量箭头用于说明维度,并未用前面的矩阵逐个计算数值。
输出平面中显示 L(î)、L(ĵ)、L(k̂)。对于线性映射,知道这些基向量的像,就能确定它对任意输入向量的作用。
想象立体对象被压到一个平面上,可以体会降维的直观效果。这是帮助理解的比喻,并非数学定理。
另一个维度流程图显示输入 [2;7] 与输出 [1.8],用于引出平面到数轴的映射。流程图没有给出该映射的系数,不能与后面的行矩阵合并计算。
数轴提供了输出坐标空间。平面到数轴的映射把每个输入向量变成一个标量,也可以把它看作只有一个分量的向量。
接下来的动画把平面网格压到数轴上。绿色基向量的像落在 1,红色基向量的像落在 2,为后面构造行矩阵作准备。
降维时网格方向可能塌缩,网格动画因此不易直接观察。视频转而追踪一串等距点。
黄色点最初沿一条直线等距排列,映到数轴后仍然等距。这说明线性映射的一项性质。等距性本身不能完整判定线性:仿射平移也保留等距;线性映射还须把原点映到原点,并保持向量加法和数乘。某些方向塌缩时,这些点也可能全部映到同一个位置。
平面到数轴的线性映射由 1×2 矩阵表示。每列对应一个输入基向量的像,而每个像只需要一个输出坐标。
矩阵第一列记录第一个基向量的像 1,第二列记录第二个基向量的像 2。矩阵元素直接来自数轴上显示的落点。
把两个基向量的像组合起来,就得到 [1,2]。这个行矩阵属于当前的基向量例子,与前面的维度流程图分别说明。
视频最后把平面到数轴的映射与点积联系起来,并预告下一集;本集没有展开证明完整关系。
结尾预告显示 [3;1]·[2;-1] 与投影、缩放示意图。这些内容指向下一集,并非本集继续展开的计算例题。
一旦选定基底,输入和输出空间维度相同的线性映射就具有方阵表示。前面的例子使用了 2×2 和 3×3 矩阵。
3×2 矩阵表示从二维输入空间到三维输出空间的线性映射。其非方形状记录了不同数量的输入和输出坐标。
动画使用平行、间距均匀的网格线和映射到原点的原点来说明线性映射。在这里,二维网格的像是三维空间中的一个平面。这个特定的映射不会将网格压缩成一条线或一个点。
二维输入和三维输出具有不同的坐标描述。课程使用单独的视图来区分这两个空间;这一选择并不断言没有数学嵌入或其他可视化方法可以将它们联系起来。
对于指定的线性映射以及选定的输入和输出基底,将每个输入基向量的像的坐标写成一列。同样的构造适用于方阵和非方阵。
把每个输入基向量的像写成矩阵的一列,就得到线性映射的矩阵表示。线性性保证:知道基向量的像,就能确定任意向量的像。本例把 î、ĵ 分别送到 (2,−1,−2)、(0,1,1),因此矩阵为 [[2,0],[−1,1],[−2,1]]。
选定基后,m×n 矩阵表示输入为 n 维、输出为 m 维的线性映射。列数对应输入基向量的个数,行数对应输出坐标的个数。画面中的例子标出了 3 行、2 列。
列空间 Col(A) 是各列向量张成的空间,也是线性映射所有可能输出的集合。在 3×2 例子中,列空间是 ℝ³ 中经过原点的 2 维平面,动画用半透明平面展示这个输出区域。
对于 A∈ℝ^{m×n},满列秩意味着 rank(A)=n,这需要 m≥n。显示的3×2矩阵有两个独立列,因此其2维列空间给出满列秩,尽管它仅占据3维中的一个平面。更一般地,满秩意味着 rank=min(m,n);行数少于列数的矩阵可以具有满行秩而没有满列秩。
列数对应输入维度,行数对应输出维度。3×2 与 2×3 矩阵都遵循这条规则:视频分别展示 3×2(2维到3维)与2×3(3维到2维)的例子。输出维度小于输入维度时,也不应把列和行的含义倒过来。
分屏示意图把三维输入映到二维平面。三个基向量像的箭头说明如何确定这种跨维映射;箭头位置不应当被视为前面数值矩阵的计算结果。
在 3D→2D 示例中,右侧二维平面标出了三个像向量 L(î)、L(ĵ)、L(k̂)。这说明跨维线性变换可以先通过基向量的落点来理解:不是先算任意向量,而是先看标准基向量被送到哪里。
维度流程图显示 [2;7] 映到 [1.8],用于说明平面到数轴的映射。图中没有给出系数;后面的基向量例子属于另一个映射,不能用它的行矩阵计算这个输出。
数轴是实数一维坐标空间的几何模型。输出既可以写成标量,也可以写成只有一个分量的向量。
黄点动画说明线性映射保留直线上的等距点列;某个方向塌缩时,所有点也可能映到同一个输出。这是一项必要的几何性质,并非完整判定:仿射平移也保留等距;线性映射还须保持加法、数乘,并把原点映到原点。
旁白明确指出,这类从二维到一维的变换由一个 1×2 矩阵编码,且两列各只有一个元素。矩阵形状与维度关系一致:两列对应两个输入基向量,一行的单元素对应一维输出坐标。
本片段把矩阵列的几何意义讲得很直接:第一列是 î 在数轴上的落点,第二列是 ĵ 在数轴上的落点。画面先写“î lands on 1”,再写“ĵ lands on 2”,并据此填入矩阵。
根据数轴上的两个落点,视频得到完整矩阵 [1 2]。这不是额外计算出来的结果,而是直接从几何落点读出:î 落到 1,ĵ 落到 2,所以矩阵就是这两个数横排组成的一行两列矩阵。
结尾把平面到数轴的映射与点积联系起来,预告下一集。画面出现 [3;1]·[2;-1] 与投影图,但本集没有展开点积或对偶性的完整论证。
按知识点查看条件、步骤和证据。补充解释与视频直接内容分别标明。
屏幕显示矩阵 [[1,3],[2,1]]。
[[1, 3], [2, 1]]
一个 2×2 矩阵,表示从二维向量到二维向量的线性映射。
2×2 实矩阵
屏幕显示矩阵 [[0,1,2],[3,4,5],[6,7,8]]。
[[0, 1, 2], [3, 4, 5], [6, 7, 8]]
一个 3×3 矩阵,表示从三维向量到三维向量的线性映射。
3×3 实矩阵
屏幕显示示例矩阵 [[3,1],[4,1],[5,9]]。
[[3, 1], [4, 1], [5, 9]]
一个示例性的 3×2 矩阵,有两列和三行。
3×2 实矩阵
绿色标签将第一列与 i-hat 的像关联起来。
\hat{i}
二维输入空间的第一个基向量。
二维向量
红色标签将第二列与 j-hat 的像关联起来。
\hat{j}
二维输入空间的第二个基向量。
二维向量
维度图示显示输入列 [2,7]。
\begin{bmatrix} 2 \\ 7 \end{bmatrix}
单独维度图示中的一个二维输入向量。
二维向量
维度图示显示输出列 [1,8,2]。这不是前述示例矩阵与输入的乘积结果。
\begin{bmatrix} 1 \\ 8 \\ 2 \end{bmatrix}
单独维度图示中的一个三维输出向量。
三维向量
记号 L(v) 连接了输入和输出的坐标列。
L(\vec{v})
向量 v 在线性映射 L 下的像。
线性变换
第一列标记为“Where î lands” / “变换后的 i”。
旁白指出第一个基向量的像为(2,-1,-2)。
\hat{\imath}
输入空间的第一个基向量;其变换后的像构成矩阵的第一列。
2维输入空间中的基向量
第二列标记为“Where ĵ lands” / “变换后的 j”。
旁白指出第二个基向量的像为(0,1,1)。
\hat{\jmath}
输入空间的第二个基向量;其变换后的像构成矩阵的第二列。
2维输入空间中的基向量
显示的矩阵为 。
旁白将每一列与一个基向量的像对应起来,并指出形状为3×2。
\begin{bmatrix} 2 & 0 \\ -1 & 1 \\ -2 & 1 \end{bmatrix}
编码从2维输入空间到3维输出空间的线性变换的矩阵,其列等于两个基向量的像。
3×2 实矩阵
大括号标记垂直范围为“3 rows” / “3行”。
旁白数出矩阵有三行。
3 \text{ rows}
描述输出空间中每个落点所需的坐标数量。
输出维度计数
旁白回顾了之前的 2D 到 2D 和 3D 到 3D 的例子。
动画在网格变换旁边显示了 2×2 和 3×3 矩阵。
在选定基底的情况下,同维度空间之间的线性映射具有方阵表示。
输入空间和输出空间具有相同的维度
旁白介绍了非方阵的几何意义。
屏幕分别展示了一个 3×2 矩阵和一个 2D 输入/3D 输出的映射。
非方阵表示输入和输出坐标空间维度不同的线性映射。3×2 矩阵将二维输入映射为三维输出。
行数代表输出维度;列数代表输入维度
旁白描述了保持网格结构和原点条件。
分屏动画将平面网格映射到 3D 中的一个平面。
该示例保持了平行且间距均匀的网格,并将输入原点映射到输出原点。这是线性的几何图示。退化的线性映射可能会压缩整个网格方向。
线性映射;在退化情况下方向可能会被压缩
旁白解释了为什么使用单独的输入和输出视图。
两个坐标空间并排显示。
输入和输出向量具有不同的维度和坐标描述。单独的视图强调了这种区别;这是一种可视化选择,并不禁止其他表示方法。
输入和输出空间具有不同的维度
旁白将非方阵构造与之前的矩阵方法联系起来。
屏幕开始通过检查基向量的落点来构建矩阵。
在选定输入和输出基底的情况下,每个输入基向量的像的坐标构成矩阵的一列。
映射是线性的,且已知其对每个输入基向量的作用
旁白根据基向量像的坐标构建矩阵列。
列被明确标记为 \hat{\imath} 和 \hat{\jmath} 的落点。
对于线性变换,编码它的矩阵是通过将每个变换后的基向量的坐标放入一列来构建的。第一列对应第一个基向量的像,第二列对应第二个基向量的像,依此类推。
变换是线性的。
输入空间有一个选定的有序基。
输出向量的坐标是相对于输出空间的标准基取的。
旁白数出三行两列以命名矩阵形状。
大括号在示例矩阵周围标记“3 rows”和“2 columns”。
矩阵的列数等于输入空间中基向量的数量(输入维度)。行数等于描述输出空间中每个落点所需的坐标数量(输出维度)。具有 m 行和 n 列的矩阵称为 m×n 矩阵。
矩阵表示有限维空间之间的线性变换。
行和列按标准矩阵布局计数。
旁白将此示例的列空间描述为穿过3维原点的平面。
文字将“Span of columns”等同于“Column space”。
矩阵的列空间是其各列的张成空间。几何上,对于线性变换,它是所有可能的输出向量的集合——即变换后每个输入向量落下的地方。
矩阵有列 \mathbf{c}_1, \dots, \mathbf{c}_n。
变换是线性的。
旁白比较显示的像平面维度与2维输入,以确定此示例中的满秩。
满列秩意味着所有列都是线性无关的,因此秩等于列数。当行数至少与列数一样多时,这是可能的。在显示的3×2示例中,两列张成一个2维平面,矩阵具有满列秩。对于一般的 m×n 矩阵,满秩意味着 rank=min(m,n);应区分满行秩和满列秩。
A 是 m×n 矩阵,且 m≥n 时可能存在满列秩。
显示的3×2示例有两个独立的列。
旁白将3×2解释为具有两个输入坐标和三个输出坐标的映射。
矩阵 显示有关于列和行的注释。
3×2 矩阵表示从2维空间到3维空间的线性变换。两列指示两个输入基向量;三行指示每个变换后的基向量由输出空间中的三个坐标描述。
矩阵恰好有3行和2列。
输入和输出空间都使用标准基约定。
旁白解释三列对应输入基向量,而两行提供输出坐标。
矩阵 标注有“3 basis vectors”和“2 coordinates for each landing spots”。
2×3 矩阵表示从3维空间到2维空间的线性变换。三列对应三个输入基向量;两行意味着每个变换后的基向量仅由输出平面中的两个坐标描述。
矩阵恰好有2行和3列。
输入和输出空间都使用标准基约定。
解说通过基向量的像说明立体输入到平面输出的映射。
左侧为三维输入空间,右侧为二维输出空间,三个基向量分别映射到二维平面。
本片段先把线性变换理解为把整个三维空间压缩到二维平面上的映射:输入空间是 3D,输出空间是 2D。画面用左右分屏展示这一维度下降过程,并用三个基向量的像来说明变换由基向量落点决定。
输入空间为三维空间
输出空间为二维平面
讨论对象是线性变换
旁白将显示的矩阵的像描述为穿过3维原点的平面。
显示一个半透明平面穿过3维网格中的原点,包含变换后的基向量。
对于特定的3×2矩阵 ,其列空间是一个2维平面,穿过 \mathbb{R}^3 的原点。
矩阵是视频中显示的那个。
变换是线性的。
输出空间是具有标准坐标的 \mathbb{R}^3。
此声明适用于视频中显示的特定示例矩阵,而非所有3×2矩阵。
旁白通过比较其像维度与输入维度来确定此特定矩阵的满秩。
3×2 示例矩阵具有满秩,因为 dim(Col(A)) = dim(input space) = 2。
A 是显示的3×2矩阵。
输入空间是2维的。
列空间是2维的。
适用于特定示例,但反映了满列秩的一般定义。
解说邀请观众想象立体结构被压平的效果。
如果把自身想象成被卷入从 3D 空间到 2D 平面的变换,这种体验会非常不舒服。
想象自己经历该变换
针对该具体 3D→2D 变换的直观感受陈述。
解说引出平面到数轴的线性映射。
除了 3D→2D,还可以考虑从二维空间到一维空间的线性变换。
在线性变换框架下讨论不同维度之间的映射
存在性陈述。
解说把输出坐标空间解释为实数数轴。
一维空间可以直接理解为数轴。
采用视频的几何直观表述
对“一维空间”的解释性等同。
解说追踪一串等距点,说明输出点距仍然均匀。
线性映射把同一直线上的等距点列映成等距点列;输出点距可以为零。仅凭等距性不能充分判定线性。
映射满足线性。
输入点在同一直线上组成等距点列;输出点距可以为零。
对该类点列成立。
解说把每个输入基向量的标量像写入对应列,构造行矩阵。
从二维到一维的这类线性变换可以用一个 1×2 矩阵表示,且它的两列各只有一个元素。
变换是从 R^2 到 R^1 的线性变换
对本片段所示类型成立。
解说把每个输入基向量的标量像写入对应列,构造行矩阵。
该 1×2 矩阵的两列分别表示两个基向量在数轴上的落点,每一列只需要一个数。
使用基向量 î、ĵ
输出空间为数轴
对矩阵两列逐一成立。
结尾预告与点积的联系,把完整解释留到下一集。
这种从二维到一维的变换与点积有紧密联系,下一集会进一步讨论。
指本片段刚介绍的 2D→1D 变换类型
对“这类变换”作出联系性判断。
旁白从3×2示例过渡到2×3示例,同时保留相同的输入/列和输出/行解释。
两个矩阵都带有匹配的注释,解释列→输入基数量和行→输出坐标数量。
前一段确立的规则:列编码输入维度,行编码输出维度。
3×2示例在02:18–02:37被直接陈述,并配有视觉标注。
将相同的列/输入和行/输出角色应用于新的维度计数。
叙述者明确使用“Likewise”,并为2×3矩阵在02:38–02:58提供相同的注释结构。
结论:2×3矩阵将3维空间映射到2维空间。
直接遵循步骤2,依据 ki-matrix-dimensions 中建立的定义。
2×3 矩阵表示从3维输入空间到2维输出空间的线性变换,依据用于3×2矩阵的相同列/行维度逻辑。
解说把每个输入基向量的标量像写入对应列,构造行矩阵。
画面先出现空矩阵,再填入第一列 1、第二列 2,并标注 î lands on 1、ĵ lands on 2。
先确定讨论的是从二维到一维的线性变换,因此输出是一维数轴上的坐标。
视频前段已把这类变换定义为 2D→1D。
写出一个 1×2 的空矩阵框架,表示该变换将由两列组成。
解说指出,这类线性映射用 1×2 矩阵表示。
观察基向量 î 在数轴上的落点是 1,于是把 1 放进第一列。
旁白说两列代表基向量落点,且画面同步把第一列填为 1。
观察基向量 ĵ 在数轴上的落点是 2,于是把 2 放进第二列。
旁白继续说明每一列只需一个数,即该基向量落到的数,画面同步把第二列填为 2。
得到完整的 1×2 变换矩阵。
由前两列分别对应 î、ĵ 的落点组合而成。
对 2D→1D 线性变换,可直接按“第一列=î 的落点,第二列=ĵ 的落点”读出矩阵;本例得到 [1 2]。
全程显示矩阵 。
旁白给出两个基向量的像(2,-1,-2)和(0,1,1)。
3维网格显示变换后的基向量和代表其张成空间的平面。
给定一个线性变换,将 \hat{\imath} 映射到 (2,-1,-2),将 \hat{\jmath} 映射到 (0,1,1),构造其矩阵并解释其几何意义。
\hat{\imath} \mapsto (2, -1, -2)
\hat{\jmath} \mapsto (0, 1, 1)
输入空间是2维的;输出空间是3维的。
写出变换矩阵并确定其列空间和秩状态。
将 T(\hat{\imath}) 的坐标作为第1列,T(\hat{\jmath}) 的坐标作为第2列放置。
线性变换矩阵表示的定义 (ki-basis-columns)。
矩阵有3行和2列。
计数构造矩阵的行和列;由01:48–01:57的屏幕标签确认。
列空间是两列的张成空间。
列空间的定义 (ki-column-space);口头陈述并在动画中显示为平面。
两列线性无关,因此它们张成一个2维平面;这与输入维度匹配。
叙述者在02:07–02:17陈述此为矩阵满秩的原因。
矩阵是 ,这是一个3×2矩阵,其列空间为一个2维平面,穿过 \mathbb{R}^3 的原点,且该矩阵具有满秩。
可以直接检查两列的线性无关性:任何一个都不是另一个的标量倍数,确认列空间是2维的且矩阵是满秩的。这与叙述者的陈述和动画中的视觉平面相符。
显示带有注释的矩阵 。
旁白为2×3矩阵分配三个输入基向量和两个输出坐标。
解释2×3矩阵 的几何意义。
矩阵有2行和3列。
元素3,1,4在第1行,元素1,5,9在第2行。
确定输入/输出维度并描述行和列代表什么。
每列对应一个变换后的基向量,所以三列意味着三个输入基向量。
为3×2情况建立的规则,并在02:38通过“Likewise”重新应用;屏幕上注释为“3 basis vectors”。
每行为每个输出向量添加一个坐标,所以两行意味着输出存在于2维中。
“2 coordinates for each landing spots”的屏幕标注出现在02:50–02:58。
变换将3维空间映射到2维空间。
结合步骤1和2,使用维度规则 (ki-matrix-dimensions)。
2×3 矩阵表示从3维空间到2维空间的线性变换。其三列是三个输入基向量的像,每个由两个输出坐标描述。
与片段早些时候陈述的一般规则 A∈ℝ^{m×n} ⇔ T:ℝⁿ→ℝᵐ 一致。视频中未对此示例进行数值计算;验证是通过与已定义规则的结构匹配进行的。
左侧三维网格中有三个基向量,右侧二维网格中出现三个对应像向量 L(î)、L(ĵ)、L(k̂)。
解说通过基向量的像说明立体输入到平面输出的映射。
用一个左右分屏动画说明从三维空间到二维平面的线性变换长什么样。
输入空间是 3D
输出空间是 2D
三个输入基向量 î、ĵ、k̂ 被映射到二维平面
展示降维线性变换如何由基向量的像来理解。
先在左侧建立三维输入空间,并标出三个基向量。
画面标题为“3d input”,并用三轴网格呈现定义域。
再在右侧建立二维输出空间,并画出三个像向量。
画面标题为“Output in 2d”,右侧出现三个落点向量。
把三个像分别记为 L(î)、L(ĵ)、L(k̂),以此表示整个变换对基向量的作用。
右侧向量旁直接标注了这些符号。
该示例表明:一个 3D→2D 线性变换可以通过三个输入基向量在二维平面中的像来直观把握。
三个基向量像的箭头与输入基向量对应。示意图用于表达维度,并未给出数值输出坐标;它不是用前面的矩阵完成的计算。
画面显示 [2;7] → L(\vec{v}) → [1.8]。
解说引出平面到数轴的线性映射。
给出一个具体的二维输入向量,展示它在一维输出中的结果。
输入向量为
变换记作 L(\vec{v})
输出为一维向量
说明 2D→1D 变换会把二维向量变成一个数。
先写出二维输入向量。
左侧黄色括号内明确显示分量 2 和 7。
对该输入施加线性变换 L。
画面中央标注 L(\vec{v})。
得到一维输出,数值为 1.8。
右侧粉色括号内显示 1.8,并标注“1d output”。
该二维向量在此变换下的输出是 。
真实维度图显示 [2;7] 映到 [1.8],输出为标量;图中没有给出映射系数。它与后面的行矩阵 [1,2] 是分别说明的例子,不能用那个矩阵计算本图。
二维网格上出现一串等距黄点,随后被压到数轴上仍保持等距。
解说追踪一串等距点,说明输出点距仍然均匀。
用一串点演示线性变换保持均匀间隔。
二维平面上有一条直线
直线上有一串等距排列的黄点
变换把平面压到数轴
直观说明线性在降维情形下的几何表现。
先在二维网格上画出一条直线和若干等距点。
动画中黄点沿同一直线均匀排列。
再对整个平面实施压向数轴的变换。
画面显示二维网格被挤压到一维直线。
观察映射后的点在数轴上的间距。
解说提示观察映射后点列的均匀间距。
这些原本等距的点在数轴上仍然等距,从而体现线性保持均匀间隔。
动画前后对比显示点的相对均匀性没有被破坏。
画面写出 Transformation matrix,并填入 [1 2]。
解说把每个输入基向量的标量像写入对应列,构造行矩阵。
根据 î 和 ĵ 在数轴上的落点写出对应变换矩阵。
变换是 2D→1D
î 落在 1
ĵ 落在 2
把几何落点翻译成矩阵表示。
先建立 1×2 矩阵框架。
旁白说这类变换由 1×2 矩阵编码。
把 î 的落点 1 写入第一列。
画面标注“î lands on 1”。
把 ĵ 的落点 2 写入第二列。
画面标注“ĵ lands on 2”。
合成完整矩阵。
两列分别对应两个基向量的落点。
对应矩阵为 。
矩阵两列与数轴上两个基向量落点一一对应。
顶部写“Next video: Dot products and duality”,左上角显示 [3;1]·[2;-1]。
斜线上出现“Scale by ||\vec{v}||”和“Length of scaled projection”。
本片段只给出预告性图示,未展开点积与对偶性的完整推导。
用一组新图形提示 2D→1D 变换与点积的关系。
出现向量 [3;1] 与 [2;-1] 的点积写法
出现一条斜线和投影缩放标注
预告后续将把这类变换与点积联系起来。
先展示一个点积表达式。
左上角明确写出该点积。
再展示按向量长度缩放的思想。
斜线上方标注了该文字。
最后把注意力引到缩放后的投影长度。
斜线上方随后出现该标注。
本片段以点积表达式和投影缩放图示预告下一集主题。
顶部标题“Next video: Dot products and duality”与这些图示共同构成明确的后续主题提示。
2D 网格及其基向量在 2×2 矩阵旁边被变换。
平面网格
基向量 i-hat 和 j-hat
2×2 矩阵
网格方向倾斜并缩放
基向量移动到它们的像的位置
图示网格保持平行且间距均匀
原点映射到原点
动画展示了方阵在维度不变的空间内起作用。
3D 网格在 3×3 矩阵旁边被变换。
空间网格
基向量
3×3 矩阵
网格方向倾斜并缩放
基向量移动
网格方向保持平行且间距均匀,包括可能压缩的方向
原点映射到原点
动画展示了方阵在三维空间之间起作用。
左侧视图显示 2D 输入;右侧视图显示其在 3D 中的像平面。
2D 输入网格
3D 输出空间
像平面
输入网格被映射到输出平面
输出坐标位于 3D 中
图示网格保持平行且间距均匀
输入原点映射到输出原点
单独的视图明确了输入和输出的不同维度。
屏幕右半部分显示带有黄色轴、绿色/红色变换向量和半透明平面的3维坐标网格。
叙述者描述变换的输出,将 î 和 ĵ 带到指定坐标。
带有黄色轴箭头的3维笛卡尔网格
代表 T(\hat{\imath})=(2,-1,-2) 的绿色向量
代表 T(\hat{\jmath})=(0,1,1) 的红色向量
穿过原点的半透明灰色平面
相机围绕原点轻微旋转以显示深度
变换后的基向量一旦放置就保持固定
平面作为两个向量的张成空间变得可见
原点保持在网格中心
向量从原点发出
平面始终包含两个变换后的向量
展示2维输入空间的像是一个2维子空间(平面),位于3维输出空间中,使列空间的几何意义具体可见。
大括号依次出现标记行和列,随后是“3×2 matrix”文本。
标签读取“3 rows / 3行”, “2 columns / 2列”, “3×2 matrix / 3×2矩阵”。
矩阵
标记为“3 rows”的垂直大括号
标记为“2 columns”的水平大括号
标题文本“3×2 matrix”
行大括号首先出现
列大括号其次出现
维度标题最后淡入
矩阵元素不变
列的颜色编码(绿/红)持续存在
视觉上强化行数 = 输出坐标数和列数 = 输入基向量数,建立 m×n 命名约定。
文本“Span of columns ⇔ Column space”出现在矩阵下方,同时右侧仍可见3维平面。
双语标签:“列张成的空间 ⇔ 列空间”。
下方带括号的矩阵
由 ⇔ 连接的文本“Span of columns”和“Column space”
相邻面板中的3维平面
括号和文本一起淡入
平面继续微妙地旋转
矩阵值不变
平面仍包含两个列向量
将列张成的代数概念链接到3维中显示的几何落点区域,操作性地定义列空间。
Pi 生物出现在矩阵 旁边,思维气泡显示3维平面。
叙述者从特定示例推广到任意3×2矩阵。
粉色 Pi 生物
通用3×2矩阵
带有3维网格和平面的思维气泡
之前的特定矩阵被通用条目替换
思维气泡概念性地动画展示2维→3维映射
列/行维度逻辑保持不变
Pi 生物作为一致的视觉锚点
从工作示例过渡到一般原则,使用角色+思维气泡来信号概念抽象而非计算。
矩阵 接收大括号和标签“3 basis vectors”及“2 coordinates for each landing spots”。
解说把相同的维度读取规则应用于新的矩阵。
2×3 矩阵
覆盖三列并标记为“3 basis vectors”的顶部大括号
覆盖两行并标记为“2 coordinates for each landing spots”的侧边大括号
观察的 Pi 生物
大括号和标签随叙述者说话依次出现
颜色区分三列(绿、红、蓝)
矩阵条目静止
与3×2情况相同的注释风格
新的 2×3 例子继续使用列对应输入、行对应输出的约定。它是维度和元素不同的矩阵,并非前面数值矩阵的转置。
左右分屏:左侧“3d input”,右侧“Output in 2d”。
右侧依次出现 L(î)、L(ĵ)、L(k̂) 三个像向量。
三维网格
二维网格
三个输入基向量
三个输出像向量 L(î), L(ĵ), L(k̂)
右侧像向量逐个出现
三维网格一度淡出,只留下基向量以便观察
左侧始终是三维输入空间
右侧始终是二维输出空间
三个基向量与三个像向量保持对应关系
该动画用左右对照展示降维线性变换:三维空间中的基向量被映到二维平面中的三个向量,从而把抽象变换变成可见的落点关系。
[2;7] → L(\vec{v}) → [1.8]。
输入标为“2d input”,输出标为“1d output”。
二维输入列向量 [2;7]
变换记号 L(\vec{v})
一维输出列向量 [1.8]
箭头从左向右依次连接输入、变换、输出
输入始终是一列两个数
输出始终是一列一个数
这个简洁流程图把 2D→1D 变换压缩成“二维向量进入、一维数出来”的单次映射,突出维度下降。
出现“1d space (number line)”和带刻度的水平线。
平面网格塌缩到数轴上;绿色基向量的像落在 1,红色的像落在 2。
数轴
二维网格
红色基向量像
绿色基向量像
二维平面逐渐坍缩成一维直线
基向量像落到数轴刻度 1 和 2
数轴作为一维空间保持不变
刻度方向与原点保持一致
动画把“从平面到数轴”的抽象说法具体化:整个二维结构被挤到一维直线上,基向量的落点因此可以用单个数表示。
一串黄点先排在二维直线上,再被映射到数轴上。
解说追踪一串等距点,说明输出点距仍然均匀。
二维直线
一串等距黄点
数轴
黄点从二维直线移动到数轴
点与点之间的视觉位置改变但间距保持均匀
黄点原本等距
映射后仍等距
这组动画用点的均匀间隔不变来可视化线性性质,说明线性不只是“直线变直线”,还体现在保持等距结构上。
旁白明确引入了不同维度间的映射作为一种有意义的解释。
只有方阵才能表示线性变换;3×2 矩阵没有几何意义。
非方阵表示维度不同的坐标空间之间的线性映射。
旁白明确将非方形示例命名为具有三行两列的矩阵。
屏幕标签明确标记不相等的行和列计数。
学习者可能假设只有方形矩阵编码线性变换,因为入门示例通常使用2×2或3×3矩阵。
视频演示了像3×2和2×3这样的非方形矩阵也编码不同维度空间之间的有效线性变换。行和列计数独立跟踪输出和输入维度。
旁白尽管像是3维空间内的平面,仍确定满秩。
平面显示为真子空间,但秩被确认为满。
学生可能认为,3×2矩阵的像是一个2维平面,位于3维空间中,因此该矩阵必然秩亏或退化。
对于显示的3×2矩阵,最大可能秩是2。其列空间具有该维度,即使它不填满3维余域,也给出满列秩。一般来说,满秩意味着 rank=min(行数,列数)。
相同的列/输入和行/输出阅读应用于两种矩阵形状。
注释在两种情况下保持一致的列→输入,行→输出。
学习者可能错误地认为“行总是意味着输入”,或者当输出维度小于输入维度时维度规则会翻转。
视频显示规则是不变的:列总是对应输入基向量,行总是对应输出坐标,无论 m>n 还是 m<n。2×3 示例通过对调幅度应用相同的逻辑证实了这一点。
由于网格方向会塌缩,解说改为观察等距点列。
理解 2D→1D 线性变换时,仍试图用“网格线保持平行且等距”这一套直观去硬套。
压缩可能使网格方向塌缩,因此视频改为追踪等距点。这仍然是在说明已经线性的映射,而不是充分判定:仿射映射也能保留等距。
输出写成 [1.8],并标注“1d output”。
解说引出平面到数轴的线性映射。
看到线性变换就默认输出仍是平面里的向量。
平面到数轴的例子输出标量,写成 [1.8]。它也可以视为只有一个实数分量的向量,而不是输入平面中具有两个坐标的向量。
旁白从方阵过渡到非方阵,同时保留了线性映射的解释。
不同维度空间之间的映射扩展了用于等维空间映射的相同矩阵表示方法。
示例保留了图示的网格结构,并将输入原点映射到输出原点。
线性的几何图示同样适用于由非方阵表示的示例。
叙述者从基向量像构建矩阵,然后立即数行/列以命名维度。
列标签直接馈入行/列大括号注释。
矩阵维度 (m×n) 的定义直接源于计数产生列的基向量数量 (n) 和描述每个输出的坐标数量 (m)。前者是理解后者的先决条件。
定义3×2后,叙述者立即将其解释为2维→3维映射。
维度标签先于 Pi 角色的广义解释。
抽象维度规则(列=输入,行=输出)被具体应用以赋予3×2格式几何意义。一般定义使得特定解释成为可能。
叙述者定义列空间,然后用其维度在同一口气中证明满秩。
平面可视化同时支持这两个概念。
对于这个3×2示例,比较列空间维度与输入维度确立了满列秩。一般非方形矩阵可能具有满行秩。
旁白使用相同的维度解释比较两种矩阵形状。
对两个矩阵应用相同的注释方案,计数对调。
这两个知识点说明了应用于相反维度不等式 (m>n vs m<n) 的相同底层规则。它们是对比例子,共同展示了该规则超越方形情况的普遍性。
列被引入为落点,然后那些相同的列被张成以定义列空间。
由基向量像构建的矩阵正是其列被张成的对象。
列空间由由变换后的基向量定义的非常列构建。基-列定义提供了列空间定义操作的构建块。
解说引出平面到数轴的线性映射。
视频先用 3D→2D 建立“跨维线性变换”的直观,再把它推广到 2D→1D,说明降维变换不止一种维度组合。
矩阵两列分别由 î、ĵ 的落点填入。
解说把每个输入基向量的标量像写入对应列,构造行矩阵。
前面“用基向量的像刻画变换”的方法,在这里被具体应用到矩阵读取规则上:矩阵列就是基向量落点。
解说把输出坐标空间解释为实数数轴。
出现“1d space (number line)”并展示压向数轴的过程。
要理解 2D→1D 变换的输出,需要先接受视频对一维空间的几何解释:它就是一条数轴。
解说追踪一串等距点,说明输出点距仍然均匀。
视频用等距点列说明线性映射的一项几何性质。等距性本身不是线性的完整刻画;一个方向也可能塌缩到同一个点。
矩阵 [1 2] 与“î lands on 1”“ĵ lands on 2”同步出现。
1×2 矩阵这一表示法内部包含了一条核心读法:两列分别记录两个基向量的落点。
课程引入非方阵作为维度间的映射。
旁白和动画区分了 2D 输入和 3D 输出。
旁白解释了分屏呈现背后的坐标空间区别。
开场指令:“将落点的坐标写为矩阵的列。”
显示了 î 和 ĵ 的显式列构造。
叙述者定义3×2术语然后给出几何解释。
维度标签和通用矩阵都存在。
明确陈述:“矩阵仍然是满秩的,因为这个列空间中的维度数与输入空间的维度数相同。”
画面中的2维平面位于3维空间内,同时确认了该矩阵的满秩性质。
“这个矩阵的列空间,所有向量落下的地方”
显示“Span of columns ⇔ Column space”等价关系。
叙述者使用相同规则询问并回答2×3矩阵的含义。
带有显式基向量和坐标标签的注释2×3矩阵。
对3×2和2×3解释使用相同的措辞模式。
两种矩阵类型之间一致的注释风格。
解说通过基向量的像说明立体输入到平面输出的映射。
右侧二维图中标出 L(î)、L(ĵ)、L(k̂)。
画面显示 [2;7] → L(\vec{v}) → [1.8]。
已覆盖 · 开场:关于非方阵的问题
已覆盖 · 回顾:方阵与等维映射
已覆盖 · 非方阵与不同维度
已覆盖 · 可视化从 2D 到 3D 的映射
已覆盖 · 编码基向量的像
已覆盖 · 从变换后的基向量构建3×2矩阵并进行3维可视化。
已覆盖 · 命名和计数行/列以建立3×2术语。
已覆盖 · 将列空间定义为落点区域以及非方形情况的满秩判据。
已覆盖 · 使用通用矩阵和 Pi 角色抽象推广3×2的含义。
已覆盖 · 将维度规则应用于2×3情况,带有显式注释和对比推理。
已覆盖 · 覆盖 3D→2D 分屏动画、旁白定义以及 L(î)、L(ĵ)、L(k̂) 的图示。
已覆盖 · 覆盖 [2;7] → L(\vec{v}) → [1.8] 的二维到一维示例。
已覆盖 · 覆盖“1d space (number line)”标题和把平面压到数轴的动画。
已覆盖 · 覆盖关于网格直观混乱的提醒,以及等距黄点映射后仍等距的线性直观。
已覆盖 · 覆盖 1×2 矩阵框架、两列含义,以及由 î、ĵ 落点填入 [1 2] 的过程。
已覆盖 · 覆盖“Next video: Dot products and duality”预告、点积示例和投影缩放文字。
已覆盖 · 末尾短暂黑场与收束,无新增数学内容。
Candidate from reviewed en material v1: A nonsquare matrix represents a linear map between coordinate spaces with different dimensions. Count its columns to find the input dimension and its rows to find the output dimension. The lesson constructs a 3×2 matrix from two basis images, interprets its column space as a plane in three-dimensional space, and explains full column rank in that example. It then contrasts 2×3 and 1×2 maps and reads the row matrix [1,2] from basis vectors landing on the number line. Separate dimensional diagrams are illustrations rather than computations with one shared matrix. Dot products and duality appear as a closing preview.
Candidate from reviewed en material v1: A linear map with input and output spaces of the same dimension has a square matrix representation once bases are chosen. The earlier examples use 2×2 and 3×3 matrices.
Candidate from reviewed zh material v1: 3×2 矩阵表示从二维输入空间到三维输出空间的线性映射。其非方形状记录了不同数量的输入和输出坐标。
Candidate from reviewed zh material v1: 分屏示意图把三维输入映到二维平面。三个基向量像的箭头说明如何确定这种跨维映射;箭头位置不应当被视为前面数值矩阵的计算结果。