算法数学俱乐部
以往我们都是将其看成是几个列向量的线性组合,即
这次我们换个角度,把 A 看作一个整体,整个方程就是一个 4 维向量 x乘以矩阵 A 后得到一个 2 维向量 b。
以这个观点来看的话,矩阵 A 就相当于一个从一个向量集映射到另一个向量集的函数!
假设 X 是 n 维向量,b 是 m 维向量,则 A 就是一个 Rn 到 Rm 的变换。
这个变换的定义域是 Rn,上域是 Rm,记作 T:Rn→Rm。
X是 Rn 空间中的一个向量,T(x) 就是其变换到 Rm 空间中的像,而全体像 T(x) 的集合就称为变换 T 的值域。
图示如下:
从这种观点来看,矩阵就是一个函数:
x↦Ax!
矩阵既可看作是数据的表示,又可看作是表示变换的函数,这不禁让我联想起了 lisp 里的“同像性”,也就是“代码即数据”。
我不知道他们之间有没有更深一层的联系,不过从这一层面再来看矩阵,感觉又多了一层趣味……
除此之外,以动态的眼光来看待矩阵,也有助于我们理解为什么一些随时间变化的系统可以用线性代数来建模。
比如马尔科夫链中的转移矩阵,就是用静态的矩阵来表示一个变换的过程。
不难发现,当变换 TT 为 x↦Ax,向量 X 若有 n 维,则变换的定义域就是 Rn,A 就有 n 列;
向量 b 若有 m 维,则变换的上域就是 Rm,A 就有 m 行(A 每一列有 m 个元素)。
而变换的值域就是 A中列的所有线性组合组成的集合。
也就是说,像
这样的矩阵,所表达的变换就是一个二维到三维的映射 T:R∧2→R∧3。
再例如,矩阵
所表达的变换就是一个投影:
把 R∧3 中的点投影到 X1X2平面,因为:
注意到,向量的加法和数乘运算在变换前和变换后的效果是一样的,也就是所谓的线性变换保持了向量的加法和数乘运算。
我们假设有一个二维向量
其中
是 2× 2 单位矩阵 In 的列向量。
由于线性变换保持加法和数乘运算,所以
这也就是说,对于每一个线性变换T:Rn→Rm,都有唯一一个矩阵 A,使得 T(x)=A,其中 $ = [ T(_1) T(_1) ] 。
。
$ 被称为是线性变换 T 的标准矩阵。
总结一下,线性变换是满足线性条件的变换,所谓线性条件就要求变换前后的加法和数乘运算不变(变换前 a+b 等于 c,则变换后 a'+b' 也等于 c')。
线性变换有两种描述形式:
T:Rn→Rm 和 ,后者也被称为矩阵变换。
线性变换强调它作为映射的性质,而矩阵变换则描述了映射是怎样实现的。
把它的列向量拆开,就是
也就是
旋转到
旋转变换如下图所示:
4.2 解的唯一性
如果任意的 Rm 都是Rn 中最多一个向量 的像,那么就称 T 是一对一映射。
一对一映射也就是非线性方程组 Ax=b 对任意 要么无解,要么有唯一解。
也就是说,当 方程 Ax=b 有无穷多解时(即方程含有自由变量,即不满秩,即各列线性相关) ,T 就不是一对一映射,这时齐次方程组 Ax=0 只有平凡解。
☞丘成桐:中国学生基础真的比欧美学生好吗?
☞线性代数拾遗(二):线性方程组的解集及其几何意义
☞世界上最奇怪的数学天才,被奖励100万却拒领,宁愿过得像乞丐
☞斯坦福大学教育学院院长:学习本身就是一门学问
☞施一公:没有高考,就没有一批非常优秀的社会精英从农村走出来
☞知乎热搜可以被人为控制吗?如果可以,怎么操作
日期:2019年12月19日
正文共:1746字20图
预计阅读时间:5分钟
来源:mengqi's blog
一、变换
假如有如 Ax=b 形式的方程:![aa97797f70317ad1c78f1dca13712549.png](https://i-blog.csdnimg.cn/blog_migrate/be8f29a5f6840bd38a148e178a73c8d9.png)
![2387fd0c2edb60df949b86e4c6913b44.png](https://i-blog.csdnimg.cn/blog_migrate/fee913d398daf38b5b5e08e80c147bd7.png)
![fe8cc1db632c6ff103e56ecf2253dda1.png](https://i-blog.csdnimg.cn/blog_migrate/d88e019229d73551eb50a3e2aa450e98.png)
![d931ca69467989af38746a1f5c32f486.png](https://i-blog.csdnimg.cn/blog_migrate/fd3a63762141d7cc11d41e5de2dd8b89.png)
![fc8550bd8274a7a7aac156ec55c73a0c.png](https://i-blog.csdnimg.cn/blog_migrate/c67766747a67b9e96da433f55dc2ce9b.png)
![b503fc591e473004aeaf8a6818c6b639.png](https://i-blog.csdnimg.cn/blog_migrate/3e00880994d447eaa0aa55b8fbeb9d77.png)
二、线性变换
线性变换是一类满足线性条件的变换。 所谓的线性条件就是:![b599f796ce0f74a3a1a88157c106fe1a.png](https://i-blog.csdnimg.cn/blog_migrate/795ddd965df9a995c57bbf2d36e59370.png)
![a4971ee33cc6d79f830e003a6864fc67.png](https://i-blog.csdnimg.cn/blog_migrate/3a001be8ccd93c348893059ce2449b7d.png)
![301a0511253a19b31c3bba17eab9aff6.png](https://i-blog.csdnimg.cn/blog_migrate/6a0b52ab855cca23944ad89f95a829e8.png)
![2cdf75da33a1e3f5a851889b435a49d8.png](https://i-blog.csdnimg.cn/blog_migrate/925798e66494da570f4539901f187e8f.png)
三、几何中的线性变换
借助上面线性变换的性质,我们就很容易理解图形学中一些专门用于变换的矩阵了,比如 2 维平面上的旋转矩阵:![335e742cdd103aa37245fb1865dc84a5.png](https://i-blog.csdnimg.cn/blog_migrate/fe8ecee8443704445ba7f38029f3061a.png)
![da9e953de0a8bf4519910a97978e53d6.png](https://i-blog.csdnimg.cn/blog_migrate/336467b2a719d4f750850ee6dd808c2b.png)
![5760cf5fdd4f19cb11aef0752705d4e4.png](https://i-blog.csdnimg.cn/blog_migrate/f7fbe17679d8249c02e3fe3428855164.png)
![6c2026091701c14d1fc3edb55d41f748.png](https://i-blog.csdnimg.cn/blog_migrate/eeb14c0329ff24a50cac62e687c74518.png)
[10]" role="presentation" style=" display: inline; line-height: normal; word-spacing: normal; overflow-wrap: normal; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0px; min-height: 0px; border-width: 0px; border-style: initial; border-color: initial; ">旋转到
![540e1b2a2085d7a91ef02db681e8312a.png](https://i-blog.csdnimg.cn/blog_migrate/595ffefa8d7cbe955117afdd5018c97a.png)
![073b117ae7f42363eb7a0972bb11d698.png](https://i-blog.csdnimg.cn/blog_migrate/1d21dae67ca000450f42cf4a28588546.png)
![824f027d67a2126012249f2d38625e06.png](https://i-blog.csdnimg.cn/blog_migrate/a4c6fd482fbce626c0f4e4bb8e4ed8fb.png)
四、存在性和唯一性问题
有了线性变换的概念,我们再来回顾之前两章讨论的解的存在性和唯一性的问题。 4.1 解的存在性 非线性方程组 Ax=b 可以看做是一个 所在空间到 所在空间的映射。 对映射 T=Rn→Rm ,如果 Rn 中任意向量 b 都是 Rn 中至少一个 X 的像,则称 T 是 Rn 到 Rm 上的映射(或叫满射),这时,非线性方程组对于任意的 都有解。 反过来,如果存在 使得非线性方程组无解,那么 T 就不是 Rn 到 Rm 上的满射。 它们的几何表示如下图所示:![952141df192f63d305b8e3bb3007162c.png](https://i-blog.csdnimg.cn/blog_migrate/4f38a54fcdb7a52c6f9136d6da868db5.png)
![97fe2ccfca80e747d0e560a6f9539c03.png](https://i-blog.csdnimg.cn/blog_migrate/8cae4227f53e7554b970c2918fa6788f.png)
# 参考文献:
- 线性代数及其应用:第3版/(美)莱(Lay, D.C.)著;沈复兴等译. ——北京:人民邮电出版社,2007.7
— THE END —
![06a487de3b9c31230003b28e7de49767.png](https://i-blog.csdnimg.cn/blog_migrate/7371b67c339c2ad2ee6b38ab46474bb7.png)