- 建议所有读者练习此题。
- 问题 2
证明定理 1.5。
- 证明矩阵加法表示线性映射的加法。
- 证明矩阵标量乘法表示线性映射的标量乘法。
- 解答
以通常的方式表示域向量
和映射
,相对于基底
。
的表示

重新分组
等于
和
表示的逐项加和。
的表示

是
与
的表示的逐项乘积。
- 建议所有读者练习此题。
- 问题 3
证明每个,其中操作定义,
,
,和
是矩阵,
是零矩阵,
和
是标量。
- 矩阵加法是交换律的
. - 矩阵加法是结合律的
. - 零矩阵是加法单位元
. -
-
- 矩阵有加法逆元
. -
-
- 解答
首先,很容易逐个元素验证这些性质。例如,写出

那么,根据定义,我们有

两者相等,因为它们的元素相等
。也就是说,每个性质都很容易通过使用 定义 1.3 来验证。
然而,每个性质也容易从代表映射的角度理解,可以通过应用 定理 1.5 以及定义。
- 两个映射
和
相等,因为
,因为加法在任何向量空间中都是可交换的。由于映射相同,它们必须具有相同的代表。 - 与上一个答案类似,只是这里应用了向量空间加法是结合律的。
- 如前所述,但这里我们注意到
. - 应用
. - 应用
. - 将前两条应用于
和
. - 应用
. - 应用
.
- 问题 4
固定定义域和陪域空间。通常,同一个矩阵可以根据不同的基表示不同的映射。但是,证明零矩阵只表示零映射。还有其他这样的矩阵吗?
- 解答
对于任何
以及其基
,(适当大小的)零矩阵表示该映射。

这是零映射。
没有其他矩阵能表示唯一一个映射。因为,假设
不是零矩阵。那么它有一个非零元素;假设
。关于基底
,它表示
,它将

并且关于
,它也表示
,它将

(符号
意味着将 D 中的所有成员都乘以 2)。这些映射很容易被证明是不相等的。
- 建议所有读者练习此题。
- 建议所有读者练习此题。
- 问题 7
方阵的迹是指主对角线上的元素之和(
元素加上
元素,等等;我们将在第五章看到迹的意义)。证明
。对于标量乘法,是否存在类似的结果?
- 解答
和的迹等于迹的和是因为
和
都是
与
等等的和。对于标量乘法,我们有
;证明很简单。因此,迹映射是从
到
的同态。
- 问题 8
回顾一下,矩阵
的转置是另一个矩阵,它的
项是
项
。验证这些恒等式。
-
-
- 解答
项
是
。这也是
项
。
项
是
,这也是
项
。
- 建议所有读者练习此题。
- 问题 9
如果每个
项等于
项,也就是说,如果矩阵等于它的转置,那么一个方阵是对称的。
- 证明对于任何
,矩阵
是对称的。每个对称矩阵都有这种形式吗? - 证明
对称矩阵的集合是
的子空间。
- 解答
- 对于
,
项是
,
项是
。这两个相等,因此
是对称的。每个对称矩阵都有这种形式,因为它可以写成
。 - 对称矩阵的集合非空,因为它包含零矩阵。显然,对称矩阵的标量倍数是对称的。两个对称矩阵的和
是对称的,因为
(因为
并且
)。因此子集是非空且在继承的操作下是封闭的,所以它是一个子空间。
- 建议所有读者练习此题。
- 问题 10
- 矩阵秩如何与标量乘法交互 - 秩为
的矩阵的标量积是否可以小于
?大于? - 矩阵秩如何与矩阵加法交互?秩为
的矩阵之和可以有小于
的秩吗?大于呢?
- 解答
- 标量乘法不会改变矩阵的秩,除非乘以零,这会导致矩阵的秩为零。(这从书中的第一个定理得出,即用非零标量乘以一行不会改变相关线性方程组的解集。)
- 秩为
的矩阵之和可以有小于
的秩。例如,对于任何矩阵
,和
的秩为零。秩为
的矩阵之和可以有大于
的秩。以下是秩为一的矩阵,它们相加得到秩为二的矩阵。