线性变换的矩阵

1. 线性变换的矩阵表示

在上一节线性变换的示例中,我们都是直接给出了对应的线性变换矩阵,然后再去观察它对目标向量产生了什么样的变换。比如:矩阵 A=[0110] ~A=\begin{bmatrix}0&-1\\1&0\end{bmatrix}~会将二维平面中的向量逆时针旋转90°。那如果把问题反过来,比如:在二维平面中,对于一个给定向量,求出其关于 x 轴对称的向量,这个变换对应的矩阵是什么?为了回答这个问题,请观察下面两个变换中求解变换矩阵 A ~\mathbf{A}~的过程:

loading...

从上面的示例中不难看出,我们可以通过线性变换 T ~T~对单位矩阵 In ~I_n~的列向量的作用来确定矩阵 A ~\mathbf {A}~的每一列。这就是线性变换矩阵 A ~\mathbf{A}~的构造方法,即通过变换  T ~T~标准基向量的作用来确定 A ~\mathbf{A}~的每一列,从而确定矩阵 A ~\mathbf{A}~的形式。

2. 线性变换的标准矩阵

对于任何从 Rn ~\mathbb{R^n}~ Rm ~\mathbb{R^m}~的线性变换 T ~T~ ,都存在且只有一个矩阵 A ~\mathbf{A}~,它可以完全描述这个变换 T ~T~ 。换句话说,每个线性变换都可以通过矩阵乘法来表示。这个矩阵 A ~\mathbf{A}~被称为线性变换 T ~T~标准矩阵。有如下定理:

下面是对定理 10 的证明过程:

3. 几何变换矩阵

用矩阵表示线性变换是以矩阵乘法 Ax ~A\mathbf{x}~来表示的,这种符号化的表示方式,虽然简洁有力,但也更加抽象,因为它将具体的几何图形转换成了代数表达式。以下是一些 R2 ~\mathbb{R^2}~中基本的几何变换,通过观察图形的变化直观感受线性变换的效果。这将帮助你建立几何直觉,为理解更复杂的变换(如:复合变换)打下基础。

3.1 对称

3.2 收缩和拉伸

3.3 剪切

3.4 投影

4. 线性变换的两个重要性质

通过线性变换的概念,我们可以从一个新的视角来探讨和回答之前提出的存在性和唯一性问题。相比传统的解法(比如:消元法),这种方法在理论上具有更大的普遍性(不仅仅适用于特定的线性方程组问题),并且能够提供一个更全面的理解。在这之前,我们需要先介绍线性变换的两个重要性质:满射和单射。

对于满射等价的描述:映射 T ~T~满射到 Rm ~\mathbb{R^m}~意味着 T ~T~ 的值域(range)值域覆盖整个 Rm ~\mathbb{R^m}~)。

判断是否满射:判断 T ~T~是否满射是一个存在性的问题。对于 Rm ~\mathbb{R^m}~中的每一个 b ~\mathbf{b}~T(x)=bT(\mathbf{x}) = \mathbf{b}至少有一个解,那么映射 T ~T~就是满射。注意观察下图,图中左边不是满射,右边是满射:

loading...

单射 T ~T~不会把两个或多个不同的 x ~\mathbf{x}~映射到相同的 b ~\mathbf{b}~上。如果存在不同的 x1 ~\mathbf{x}_1~ x2 ~\mathbf{x}_2~(其中 x1x2 ~\mathbf{x}_1\neq\mathbf{x}_2~),使得T(x1)=T(x2)T(\mathbf{x}_1) = T(\mathbf{x}_2),那么这个映射 T ~T~就不是单射。

loading...

5. 存在性和唯一性问题

满射和单射是线性变换的重要性质,它们基于数学定义,并且独立于具体的数值计算,因此本质上具有抽象性。为了进一步探讨线性变换的这些性质,我们需要将满射和单射这两个概念与线性变换的矩阵表示联系起来,从而为方程组解的存在性和唯一性问题提供理论依据。接下来,我们将通过介绍两个重要的定理来建立它们之间的联系。

下面是对定理 11 的证明过程:

请利用定理 11 解答下面的问题:设 T ~T~是线性变换,它的标准矩阵 A ~\mathbf{A}~
[148102130005]\begin{bmatrix}1&-4&8&1\\0&2&-1&3\\0&0&0&5\end{bmatrix}
(1)请判断 T ~T~是否为 R4R3 ~\mathbb{R^4}\mapsto \mathbb{R^3}~的单射?解答这个问题我们只需要判断齐次方程 Ax=0 ~A\mathbf{x}=\mathbf{0}~是否仅有平凡解 x=0 ~\mathbf{x}=\mathbf{0}~,很显然矩阵 A3×4 ~A_{3\times 4}~的列向量数量多于向量的元素个数(矩阵的列数多于行数),根据本章节的定理8可以判断 A ~\mathbf{A}~的列向量线性无关,那么方程 Ax=0 ~A\mathbf{x}=\mathbf{0}~一定有非平凡解,所以可以判断 T ~T~并不是单射。

(2)请判断 T ~T~是否为 R4R3 ~\mathbb{R^4}\mapsto \mathbb{R^3}~的满射?解答这个问题可以用到下面的定理 12(a) ,因为矩阵 A ~\mathbf{A}~的每一行都有一个主元位置,根据本章节的定理 4可知,矩阵 A ~\mathbf{A}~的列向量张成 R3 ~\mathbb{R^3}~,所以 T ~T~是满射的。

下面是对定理 12 的证明过程:


2.1 矩阵运算