线性代数 · 线性变换

线性变换

线性变换把每个向量送到新的位置,但保持它的配方:v = xî + yĵ被送到x·Aî + y·Aĵ。所以矩阵的两列——î和ĵ落在哪里——决定了所有点的去处。

01

线性变换与本页画面

平面上的线性变换(也叫线性映射)TT对所有向量u⃗,w⃗\vec u, \vec w和所有实数cc满足T(u⃗+w⃗)=T(u⃗)+T(w⃗)T(\vec u + \vec w) = T(\vec u) + T(\vec w)和T(cu⃗)=c T(u⃗)T(c\vec u) = c\,T(\vec u)。每个这样的变换都是乘一个2 × 2矩阵AA,而AA的两列就是基向量的像:Aı^A\hat\imath和Aȷ^A\hat\jmath。本页演示平面到自身的变换。

配方保持不变
v⃗=x ı^+y ȷ^⟹Av⃗=x Aı^+y Aȷ^\vec v = x\,\hat\imath + y\,\hat\jmath \quad\Longrightarrow\quad A\vec v = x\,A\hat\imath + y\,A\hat\jmath

画面上两根墨色箭头就是两列;拖动箭头尖,整张网格跟着变,因为每个点都按原来的配方到达。蓝色向量v走了两遍:在原网格里走x步î、y步ĵ(虚线),在新网格里走x步Aî、y步Aĵ(实线),到达Av。按行读同一个乘积——Av⃗A\vec v的每个分量是AA的一行点乘v⃗\vec v——得到同样的数。原点不动;直线映成直线或一点。变换可逆时,平行关系与同一直线上的等间距关系保持,而一般的长度和角度会变。

det⁡A=0\det A = 0且A≠0A \ne 0时,整个平面压到一条直线上;过原点的一条直线被送到原点,这条直线是变换的核。A=0A = 0时,所有点都被送到原点,核就是整个平面。选求原像后拖动输出w,看它从哪里来:可逆时只有一个点A−1w⃗A^{-1}\vec w;秩为1时,w在像上就有一整条原像直线,否则没有原像;零矩阵下,原点的原像是整个平面,其他点没有原像。解方程组Ax⃗=b⃗A\vec x = \vec b做的正是这件事。

02

值得注意的现象

  • A是否奇异按你设的数精确判定:键入的1/3就是三分之一,0.1就是十分之一,所以[11/331]\left[\begin{smallmatrix}1 & 1/3\\ 3 & 1\end{smallmatrix}\right]把平面压成一条线;而[1100.0001]\left[\begin{smallmatrix}1 & 1\\ 0 & 0.0001\end{smallmatrix}\right]这样接近奇异的矩阵照实给出它很大的逆矩阵。没有精确小数的数(√2、转30°)按舍入后的值判定,读数会注明;只因√2·√2 = 2才奇异的矩阵因此显示为可逆,行列式是一个很小的数。
  • 两个矩阵之间的动画只是转场,是许多条路中的一条:反射在半途会把平面压扁,转180°按角度过渡所以不会缩成一点。动画期间不读任何数。
xyOT(O)

平移为什么不是线性变换

把整个网格向右挪1、向上挪0.5,直线仍是直线,平行线仍平行,但原点到了(1, 0.5)。线性变换必须把零向量留在原点,即T(0)=0T(0)=0;这次平移不满足,所以不是线性变换。原点不动也只是必要条件,仍须满足前面的加法和数乘关系。

03

操作

  • 矩阵也可以在方括号里键入(−10到10;小数、分数、√和π),或用列键和两只滚轮设定;拖动箭头尖时会吸到整数点和与另一列精确共线的点(吸附可以关掉)。
  • 演示模式打开适合投影的全屏视图:← →依次换常见矩阵,H隐藏向量的去处。
04

相关概念

  • F01线性组合筹备中
  • F09矩阵乘法筹备中
  • F11行列式筹备中
  • F13特征向量筹备中
  • F07基与坐标筹备中
  • F03线性方程组筹备中

延伸阅读:维基百科:线性映射;维基百科:变换矩阵。