线性变换(linear transformation)

为为为什么

发布于 2023-03-19 09:47:53

9580

发布于 2023-03-19 09:47:53

文章被收录于专栏：又见苍岚

线性变换 (linear transformation) 是在生活和项目中经常见到的映射方式，是线性代数(linear algebra)的基本概念，它是一类满足某些特殊性质的变换，本文介绍相关内容。简介

国外很多线性代数课程的第一课便是线性变换，这个概念比矩阵来的更早。物理学家们通常更关注这个概念本身，关注它们是怎么变换的。但是在我们的学习中为了更方便的计算，引入了坐标系及坐标轴，并且使每一个线性变换都对应一个矩阵，矩阵背后也同样是线性变换的概念。

性质

两个線性映射的复合映射是線性的: 如果 f: V \rightarrow W 和 g: W \rightarrow Z 是線性的，則 g \circ f: V \rightarrow Z 也是線性的。
若線性映射可逆，則该線性映射的逆也是線性映射。
如果 f_{1}: V \rightarrow W 和 f_{2}: V \rightarrow W 是線性的，則它们的和 f_{1}+f_{2} 也是線性的(这是由 \left(f_{1}+f_{2}\right)(x)=f_{1}(x)+f_{2}(x) 定义的)。
如果 f: V \rightarrow W 是線性的，而 a 是基础域 K 的一个元素，則定义自 (a f)(x)=a(f(x)) 的映射 a f 扡是線性的。
给定有限维的情况，如果基已经选择好了，則線性映射的复合对应于矩阵乘法，線性映射的加法对应于矩阵加法，而線性映射与标量的乘法对应于矩阵与标量的乘法。

示例

线性变换

\mathbf{f}(x, y, z)=(3 x-y, 3 z, 0, z-2 x)

非线性变换

$$ \begin{array}{c}\mathbf{g}(x, y, z)=(3 x-y, 3 z+2,0, z-2 x) \\ \mathbf{h}(x, y, z)=(3 x-y, 3 x z, 0, z-2 x)\end{array} $$

这两个都不是线性变换。

在函数 g 中，第二个分量为 3 z+2 ， 2 是一个常数，并不包含输入向量 (x, y, z) 中的任何分量，也可以换种解释方法，按照 (1) 中的第二个公式，应有 T(0)=0，而g(0,0,0)=(0,2,0,0) 与上式矛盾。
在函数 h 中，很明显含有一个非线性分量 3 x z ，因此也不是一个线性变换。

非线性变换图示

变换后不能保持直线

变换后原点位置发生了变化 如：在二维平面上的仿射变换（在 3 维视角下仍然时线性变换）

矩阵表示

如果 V 和 W 是有限维的，并且在这些空间中有选择好的基，則从 V 到 W 的所有线性映射可以被表示为矩阵。反过来说，矩阵生成线性映射的例子：如果 A 是实数的 m \times n 矩阵，则规定 f(x)=A x 描述一个线性映射 R^{n} \rightarrow R^{m} 。

设 \left\{v_{1}, \cdots, v_{n}\right\} 是 V 的一个基。則在 V 中所有向量 v 是唯一的，可以由

c_{1} v_{1}+\cdots+c_{n} v_{n}

的系数

是线性映射

f\left(c_{1} v_{1}+\cdots+c_{n} v_{n}\right)=c_{1} f\left(v_{1}\right)+\cdots+c_{n} f\left(v_{n}\right)

这蕴涵了这个函数

f\left(v_{1}\right), \cdots, f\left(v_{n}\right)

的值确定的。

的值为

f\left(v_{j}\right)=a_{1 j} w_{1}+\cdots+a_{m j} w_{m}

因此函数

如果把这些值放置到 m \times n 矩阵 M 中，則可以方便的使用它来计算 f 对在 V 中任何向量的值。如果我放置 c_{1}, \cdots, c_{n} 的值到 n \times 1 矩阵 C ，我们有 M C=f(v) 。

一个单一的线性映射可以由很多矩阵表示。这是因为矩阵的元素的值依赖于选择的基。

矩阵表示的优点

对角化的矩阵具有诸多优点。线性映射在写成矩阵后可以进行对角化（不能对角化的矩阵可以化简成接近对角矩阵的准对角矩阵，从而可以获得对角化矩阵拥有的独特优势（极大地简化乘法运算，易于分块，容易看出与基的选取无关的不变量。

比如，对于作用于同一个空间的可对角化的方形矩阵 A ，要求出 A 自乘 n 次后的结果 A^{n} ，一个一个慢慢地乘是很麻烦的事情。而知道对角化技巧的人会发现，在将这矩阵对角化后，其乘法运算会变得格外简单。实际应用中有很多有意思的问题或解题方法都会涉及到矩阵自乘n次的计算，如1阶非齐次线性递推数列通项公式的线性代数求解法和马尔可夫链的极限状态（极限分布）的求解。线性代数及矩阵论的一个主要问题就是寻找可使矩阵对角化的条件或者可使矩阵化简到含很多个 0 的条件，以便简化计算（这是主要原因之一）。

线性变换矩阵例子

二维空间 R^{2} 的線性變換的一些特殊情况有:

逆时针旋转90度：

$$ A=\left[\begin{array}{cc}0 & -1 \\ 1 & 0\end{array}\right] $$

逆時針旋轉 \theta 度:

$$ A=\left[\begin{array}{cc}\cos (\theta) & -\sin (\theta) \\ \sin (\theta) & \cos (\theta)\end{array}\right] $$

针对 y 轴反射：

$$ A=\left[\begin{array}{cc}1 & 0 \\ 0 & -1\end{array}\right] $$

在所有方向上放大2倍：

$$ A=\left[\begin{array}{ll}2 & 0 \\ 0 & 2\end{array}\right] $$

水平错切：

$$ A=\left[\begin{array}{cc}1 & m \\ 0 & 1\end{array}\right] $$

挤压：

$$ A=\left[\begin{array}{cc}k & 0 \\ 0 & 1 / k\end{array}\right] $$

向 y 轴投影：

$$ A=\left[\begin{array}{ll}0 & 0 \\ 0 & 1\end{array}\right] $$

仿射变换的线性性

上文示例中给出了二维仿射变换不是线性变换，其实这是违反我对仿射变换的认知的，因为旋转、缩放、平移、错切给我的感觉就很“线性”，咋还非线性了呢。

二维仿射变换的非线性性

向量的平移变换：

f(\textbf{p})=\textbf{p}+\Delta \textbf{d}

那么线性变换的加法运算：

f(\textbf{p} + \textbf{q})=\textbf{p}+\textbf{q}+\Delta \textbf{d}

但是：

f(\textbf{p}) + f(\textbf{q})=\textbf{p}+\textbf{q}+2\Delta \textbf{d}

这就导致了仿射平移在二维空间上没有保持线性加法，同理标量乘法的性质也丢了：

f(c\textbf{p})=c\textbf{p}+\Delta \textbf{d} \ne c(\textbf{p}+\Delta \textbf{d})=cf(\textbf{p})

原点也没有映射到原点：

f(\textbf{0})=\Delta \textbf{d} \ne \textbf{0}

表明确实二维仿射变换在二维空间中不符合线性变换的定义。

二维仿射变换在三维空间

如果将二维平面看做是三维空间中的一个平面，结果却不一样了

二维平面看做是三维空间中 z=1 的平面，那么之前二维的向量变为了 \textbf{p}=[x,y,1]^T，平移向量多加一维 0 值，设为 \Delta\textbf{d} = [a,b,0]^T，此时神奇的地方在于平移可以表示成矩阵乘法：

$$ \begin{array}{l} f(\textbf{p})&=&\textbf{p}+\Delta \textbf{d}\\ &=& \left[\begin{array}{l}x \\ y \\ 1 \end{array}\right] + \left[\begin{array}{l}a \\ b \\ 0 \end{array}\right]\\ &=&\left[\begin{array}{l}1 & 0 &a \\ 0 & 1 &b \\ 0 &0&1 \end{array}\right]\left[\begin{array}{l}x \\ y \\ 1 \end{array}\right]\\ &=&\textbf{Ap} \end{array} $$

注意：此处 \textbf{p}+\Delta \textbf{d} 与 \textbf{Ap} 仅在 \textbf{p} 第三维为 1 时等价，也就是说对于一般的向量 \textbf{q}=[x,y,z]^T，\textbf{q}+\Delta \textbf{d} \ne \textbf{Aq}

其中：

$$ \textbf{A}=\left[\begin{array}{l}1 & 0 &a \\ 0 & 1 &b \\ 0 &0&1 \end{array}\right] $$

则这个平移操作变成了固定系数的矩阵乘法，也就是一个线性系统了：

f(\textbf{p+q})=\textbf{A}(\textbf{p+q})=\textbf{Ap} +\textbf{Aq}=f(\textbf{p})+f(\textbf{q})

f(\textbf{cp})=\textbf{A}(c\textbf{p})=c\textbf{Ap}=cf(\textbf{p})

也就是说，仿射变换表示成三维矩阵乘法后是线性变换，他是一般三维线性变换的一个特例。

参考资料

本文参与腾讯云自媒体同步曝光计划，分享自作者个人站点/博客。

原始发表：2023年3月15日，如有侵权请联系 cloudcommunity@tencent.com 删除

transformation

本文分享自作者个人站点/博客前往查看

如有侵权，请联系 cloudcommunity@tencent.com 删除。

本文参与腾讯云自媒体同步曝光计划，欢迎热爱写作的你一起参与！

transformation

登录后参与评论

0 条评论

热度