线性代数拾遗（三）：线性变换以及矩阵的意义
上一章我们讨论了齐次和非齐次两种线性方程组的解集，以及它们的几何意义。由齐次线性方程组，我们引入了零空间的概念；而由非齐次线性方程组，我们引入了列空间的概念。这两个空间目前是我们理解线性方程组的桥梁，未来还会对这些空间进行更进一步的讨论。在这之前，让我们先来研究一下矩阵的意义。
之前的两章中，矩阵是在矩阵方程中出现的，当时我们理解它的意义为“对向量的一种封装”，也就是一种“数据”的形式理解矩阵的。这一章，我们引入矩阵的另一层意义：线性变换。
一、变换
假如有如 Ax=b 形式的方程：
以往我们都是将其看成是几个列向量的线性组合，即
，这次我们换个角度，把A看作一个整体，整个方程就是一个 4 维向量x乘以矩阵A后得到一个 2 维向量b。以这个观点来看的话，矩阵A就相当于一个从一个向量集映射到另一个向量集的函数！。
假设x 是n 维向量，b是m维向量，则A 就是一个到
的变换。这个变换的
定义域是，
上域是，记作T:
→
。xx 是
空间中的一个向量，T(x) 就是其变换到
空间中的
像，而全体像 T(x) 的集合就称为变换T的值域。图示如下：
从这种观点来看，矩阵就是一个函数：矩阵既可看作是数据的表示，又可看作是表示变换的函数，这不禁让我联想起了 lisp 里的“同像性”，也就是“代码即数据”。我不知道他们之间有没有更深一层的联系，不过从这一层面再来看矩阵，感觉又多了一层趣味……
除此之外，以动态的眼光来看待矩阵，也有助于我们理解为什么一些随时间变化的系统可以用线性代数来建模。比如马尔科夫链中的转移矩阵，就是用静态的矩阵来表示一个变换的过程。
不难发现，当变换T为x↦Ax ，向量x若有n维，则变换的定义域就是，A就有n列；向量b若有m维，则变换的上域就是
，A就有m行（A每一列有m个元素）。而变换的值域就是A中列的所有线性组合组成的集合。
也就是说，像
这样的矩阵，所表达的变换就是一个二维到三维的映射 。
再例如，矩阵
所表达的变换就是一个投影：把R3中的点投影到平面，因为：
二、线性变换
线性变换是一类满足线性条件的变换。所谓的线性条件就是：
注意到，向量的加法和数乘运算在变换前和变换后的效果是一样的，也就是所谓的线性变换保持了向量的加法和数乘运算。
我们假设有一个二维向量 ，其中
是 2×2单位矩阵In的列向量。由于线性变换保持加法和数乘运算，所以
这也就是说，对于每一个线性变换T:→
，都有唯一一个矩阵A，使得 T(x)=Ax，其中 $ = [ T(_1) T(_1) ] 。。 $ 被称为是线性变换 TT 的
标准矩阵。
总结一下，线性变换是满足线性条件的变换，所谓线性条件就要求变换前后的加法和数乘运算不变（变换前 a+b 等于 c，则变换后 a'+b' 也等于 c'）。线性变换有两种描述形式：T:→
和 ，后者也被称为矩阵变换
线性变换强调它作为映射的性质，而矩阵变换则描述了映射是怎样实现的。
三、几何中的线性变换
借助上面线性变换的性质，我们就很容易理解图形学中一些专门用于变换的矩阵了，比如 2 维平面上的旋转矩阵：
把它的列向量拆开，就是
，
旋转变换如下图所示：
四、存在性和唯一性问题
有了线性变换的概念，我们再来回顾之前两章讨论的解的存在性和唯一性的问题。
4.1 解的存在性
非线性方程组Ax=b可以看做是一个 所在空间到 所在空间的映射。对映射 T:→
，如果
中任意向量b都是
中至少一个x的像，则称T是
到
上的映射（或叫满射），这时，非线性方程组对于任意的 都有解。反过来，如果存在 使得非线性方程组无解，那么T就不是
到
上的满射。它们的几何表示如下图所示：
4.2 解的唯一性
如果任意的 都是
中最多一个向量 的像，那么就称T是一对一映射。
一对一映射也就是非线性方程组Ax=b对任意 要么无解，要么有唯一解。也就是说，当方程Ax=b有无穷多解时（即方程含有自由变量，即不满秩，即各列线性相关） T就不是一对一映射，这时齐次方程组Ax=0只有平凡解。
# 参考文献:
线性代数及其应用：第3版/（美）莱（Lay, D.C.）著；沈复兴等译. ——北京：人民邮电出版社，2007.7
————
编辑 ∑Gemini
来源：http://mengqi92.github.io
☞世界上最奇怪的数学天才，被奖励100万却拒领，宁愿过得像乞丐
☞施一公：没有高考，就没有一批非常优秀的社会精英从农村走出来
算法数学之美微信公众号欢迎赐稿
稿件涉及数学、物理、算法、计算机、编程等相关领域，经采用我们将奉上稿酬。
投稿邮箱：[email protected]