线性变换与矩阵表示:矩阵是"动作
本文基于模型知识整理(生成时未联网核对),关键结论建议对照 Axler 第 3 章 / 3Blue1Brown 第 3 集复核。
一句话定义
线性变换 $T:V\to W$ 是保持加法与缩放的映射($T(cx+y)=cT(x)+T(y)$);它在给定基下的矩阵恰好由基向量的像按列拼成——矩阵不是数字表格而是"动作的编码",读矩阵的每一列就是"读基向量被搬到了哪里"。
为什么重要
这是线性代数的中心思想转换:从"数字表"转向"空间变换"——旋转、投影、剪切、缩放都是矩阵,矩阵乘法是动作的复合(kp-007),特征向量是"动作下不动方向"(kp-012),SVD 是动作的"旋转-缩放-旋转"分解(kp-018)。没有这个视角,后面一半的知识只是运算规则的堆砌。
前置知识
kp-003/004(线性组合与基)。
核心概念
- 线性变换:$T(u+v)=T(u)+T(v)$ 且 $T(cv)=cT(v)$;等价于 $T(c_1v_1+\dots)=c_1T(v_1)+\dots$——对组合的变换 = 对像的组合。
- 矩阵表示定理:$A = [T(b_1)\ T(b_2)\ \dots\ T(b_n)]$(基像按列)。一个变换 + 一组基 = 一个矩阵;换基则矩阵变(同一动作的不同编码,kp-013 的相似变换)。
- 列向量即像:$Ae_j$ = 第 j 列——标准基被搬到哪。
- 矩阵-向量乘法:$Ax$ = 按 x 的坐标对"基的像"做线性组合 = $x_1(\text{col}_1) + \dots$。
- 确定性与信息量:变换由基像完全确定——记 n 个像 vs 记无限个点的像,抽象的压缩力量。
原理与机制
为什么列像确定一切:任意 $x = \sum x_j b_j$,由线性性 $T(x) = \sum x_j T(b_j)$——知道基像就知道了所有点的像。矩阵乘法 $Ax$ 的定义(列的加权求和)正是这条恒等式的代数化:矩阵-向量乘法不是"规定的运算",而是线性性的必然后果。
视角的红利:
- $A$ 的列空间 = 像集(变换能到达哪里,kp-008);
- $\text{null}(A)$ = 被压成 0 的方向(变换丢失的信息,kp-008);
- 方阵行列式 = 面积/体积缩放因子(kp-011);
- 特征向量 = 只被缩放不被掰弯的方向(kp-012)。
每个抽象概念都有即时的几何画面——这就是"动作视角"的学习效率。
域与余域:$m\times n$ 矩阵 = 从 $\mathbb{R}^n$ 到 $\mathbb{R}^m$ 的动作(吃 n 维吐 m 维);方阵才是"同空间内动作"——特征值、行列式只在方阵语境自然(长方阵要用 SVD 的推广,kp-018)。
图示
T(b₁)=a₁, T(b₂)=a₂ ⟹ 矩阵 A = [a₁ a₂]
┌ ┐
x=(x₁,x₂) → Ax = x₁a₁ + x₂a₂ (按坐标组合"基的像")
例: 旋转90° = [0 −1; 1 0] (e₁→e₂, e₂→−e₁)
直观类比
矩阵是"舞蹈动作的记谱":列向量是"标准站位被移动到哪里";矩阵乘向量是"照着记谱移动舞者";矩阵乘矩阵是"连跳两段舞"。看懂记谱(列=像),任何变换都无需死记运算规则。
实例或案例
- 计算机图形学:游戏里的旋转/缩放/投影全是 4×4 矩阵(齐次坐标,kp-031)。
- 一层神经网络:$y=\sigma(Wx+b)$——W 是动作,σ 是非线性点缀(kp-031)。
- 差分方程的状态更新:人口迁移/马尔可夫链一步 = 矩阵乘向量,矩阵幂 = 多步演化(kp-013)。
常见误区
- 误区一:"矩阵是数字表,运算规则是人为约定"。规则由"复合动作"强制(kp-007);背规则不懂动作,遇到换基/分块就崩。
- 误区二:"一个矩阵永远对应一个变换"。同一个变换在不同基下矩阵不同;"矩阵的相似变换"(kp-017)就是同一动作的换码。
- 误区三:"Ax 的结果是数"。方阵情形 Ax 是同维向量;把它当"算个分数"是误把矩阵当标量函数。
与其他知识点的关系
自测题
- 求"把 (1,0)→(1,1)、(0,1)→(−1,0)"的变换矩阵。
答:$A=\begin{bmatrix}1 & -1\\ 1 & 0\end{bmatrix}$(基像按列)。
- 为什么 $T(0)=0$ 恒成立?
答:$T(0)=T(0\cdot v)=0\cdot T(v)=0$——线性性直接蕴含;不保持原点的映射必非线性。
- 2×3 矩阵代表什么动作?
答:从 $\mathbb{R}^3$ 到 $\mathbb{R}^2$——三维信息压缩到二维(如投影),信息可能丢失(零空间非平凡,kp-008)。
延伸阅读
- Axler《Linear Algebra Done Right》第 3 章。
- 3Blue1Brown《Essence of LA》第 3 集(本条的最佳几何演示)。
- Strang《Introduction to Linear Algebra》§2.1–2.2。