前面的部分表明,线性映射
的作用由矩阵
描述,相对于适当的基,以这种方式。

在本节中,我们将展示反之,即每个矩阵都表示一个线性映射。
回顾一下,在线性映射的矩阵表示的定义中,矩阵的列数是映射定义域的维数,矩阵的行数是映射陪域的维数。因此,例如,一个
矩阵不能表示从
到
的映射。下面的结果表明,除了对维数的限制之外,没有其他限制:
矩阵表示从任何三维空间到任何二维空间的映射。
- 定理 2.1
任何矩阵都表示向量空间之间同态,其维数适当,相对于任何一对基。
- 证明
对于矩阵

修复任何
维域空间
和任何
维陪域空间
。同样修复这些空间的基
和
。定义一个函数
通过:其中域中的
表示为

然后它的图像
是陪域中由以下表示的成员

也就是说,
被定义为
。(这是由表示
的唯一性决定的。)
观察到
只是被定义为关于
由矩阵
表示的映射。所以,我们只需要验证
是线性的。如果
使得

以及
,那么计算

提供了此验证。
- 示例 2.2
矩阵表示的映射取决于使用的基底。如果

那么
由
相对于
表示的映射

当
以
相对于
表示时,这个映射就如以下所示。

这两个是不同的。第一个是到
轴的投影,而第二个是到
轴的投影。
因此,不仅任何线性映射都可以用矩阵表示,而且任何矩阵都可以表示一个线性映射。这意味着,在需要时,我们可以完全用矩阵来处理线性映射,只需进行运算,而不必担心目标矩阵是否代表某个特定空间对上的线性映射。(在实践中,当我们使用矩阵但没有指定空间或基底时,我们通常会将域和陪域视为
和
并使用标准基底。在这种情况下,由于表示是透明的——
相对于标准基底的表示就是
——矩阵的列空间等于映射的值域。因此,
的列空间通常用
表示。)
通过这个定理,我们已经将线性映射描述为以这种矩阵方式运作的映射。每个线性映射都可以用矩阵表示,每个矩阵都可以表示一个线性映射。在本节的最后,我们将说明如何利用矩阵来了解其映射的信息。
- 定理 2.3
矩阵的秩等于它所表示的任何映射的秩。
- 证明
假设矩阵
是
。固定定义域和陪域空间
和
,它们分别具有
和
的维数,且基底分别为
和
。那么
表示在这些基底下,某个从这些空间到这些空间的线性映射
,其值域

跨度
。
的秩是这个值域空间的维数。
矩阵的秩是它的列秩(或行秩;两者相等)。 它是矩阵的列空间的维数,即列向量集
的跨度。
为了看到这两个跨度具有相同的维数,回想一下关于基的表示给出了一个同构
。 在这种同构下,值域空间的成员之间存在线性关系当且仅当在列空间中也存在相同的线性关系,例如,
当且仅当
。 因此,值域空间的子集线性无关当且仅当列空间的对应子集线性无关。 这意味着值域空间中最大线性无关子集的大小等于列空间中最大线性无关子集的大小,因此这两个空间具有相同的维数。
- 例 2.4
任何由

表示的映射必须,根据定义,是从三维域到四维陪域。 此外,因为这个矩阵的秩是 2(我们可以通过观察来确定,或者通过高斯方法得到),任何由这个矩阵表示的映射都有一个二维值域空间。
上述结果消除了我们使用“秩”这个词时产生的任何混淆,该词在应用于矩阵和应用于映射时似乎表示不同的意思。我们还可以证明“非奇异”的双重使用是合理的。我们已经将矩阵定义为:如果它是方阵并且是具有唯一解的线性系统的系数矩阵,则它是非奇异的;我们已经将线性映射定义为:如果它是单射的,则它是非奇异的。
- 推论 2.6
方阵表示非奇异映射,当且仅当它是非奇异矩阵。因此,矩阵表示同构,当且仅当它是方阵且非奇异。
- 示例 2.7
从
到
的任何映射,在任何一对基的表示下,都可以表示为

是非奇异的,因为这个矩阵的秩为 2。
- 示例 2.8
任何映射
由以下矩阵表示

是非奇异的,因为这个矩阵是非奇异的。
我们现在已经看到映射与矩阵之间的关系是双向的:固定基,任何线性映射都可以用矩阵表示,任何矩阵都可以描述线性映射。也就是说,通过固定空间和基,我们可以在映射与矩阵之间建立对应关系。在本章的剩余部分,我们将探讨这种对应关系。例如,我们已经定义了线性映射的加法和标量乘法运算,我们将看到相应的矩阵运算是什么。我们还将看到表示映射复合运算的矩阵运算。并且,我们将看到如何找到表示映射逆运算的矩阵。
- 建议所有读者练习这道题。
- 建议所有读者练习这道题。
- 建议所有读者练习这道题。
- 建议所有读者练习这道题。
- 问题 6
示例 2.8 给出了一个非奇异矩阵,因此与非奇异映射相关联。
- 找到一组列向量,代表任何由该矩阵表示的映射的零空间的成员。
- 找到任何此类映射的零度。
- 找到一组列向量,代表任何由该矩阵表示的映射的范围空间的成员。
- 找到任何此类映射的秩。
- 检查秩加上零度是否等于域的维数。
- 建议所有读者练习这道题。
- 建议所有读者练习这道题。
- 建议所有读者练习这道题。
- 问题 10
如果一个方阵除了其左上角到右下角的对角线上的元素(即其
元素、其
元素等)之外的所有元素都是零,则称该方阵为 **对角矩阵**。证明:如果存在这样的基底,使得关于这些基底,线性映射由一个对角线元素不为零的对角矩阵表示,则该线性映射是同构。
- 问题 14
设
是具有基底
的向量空间。
- 假设
关于
由矩阵
表示。求关于
表示的标量倍数
(其中
)的矩阵,用
表示。 - 假设
关于
分别表示为
和
。试用
和
表示关于
的
的矩阵。 - 假设
关于
表示为
,并且
关于
表示为
。试用
和
表示关于
的
的矩阵。
解答