第一小节展示了如何将向量相对于一个基的表示转换为该向量相对于另一个基的表示。在这里我们将看到如何将映射相对于一对基的表示转换为该映射相对于另一对基的表示。也就是说,我们想要在这个箭头图中矩阵之间的关系。

要从该图的左下角移动到右下角,我们可以直接向右移动,或者向上移动到
,然后向右移动到
,然后向下移动。用矩阵表示,我们可以计算
,要么简单地使用
和
,要么首先用
改变基,然后乘以
,然后用
改变基。此等式总结了这一点。

(为了将这个等式与它前面的句子进行比较,请记住,这个等式是从右到左读的,因为函数组合是从右到左读的,而矩阵乘法代表组合。)
- 示例 2.1
矩阵

表示,关于
,变换
,它将向量
弧度逆时针旋转。
我们可以将该表示形式相对于
转换为相对于

使用上面的箭头图和公式 (
)。
由此,我们可以使用公式
注意
可以通过计算
的矩阵逆得到。

虽然新矩阵看起来更乱,但它所代表的映射是相同的。例如,要复制
在图片中的效果,从
开始,

应用
,

并与
进行比较

以查看它是否与上面的结果相同。
- 示例 2.2
在
上,映射

也就是说,它相对于标准基是这样表示的

也可以用另一个基来表示
如果
那么 
以更简单的方式,即对角矩阵的作用很容易理解。
当然,我们通常更喜欢使表示更容易理解的基变。 当相对于相同起始基和结束基的表示为对角矩阵时,我们说该映射或矩阵已 **对角化**。在第五章中,我们将看到哪些映射和矩阵是可对角化的,以及在不可对角化的情况下,我们将看到如何获得几乎对角化的表示。
我们本节最后考虑一个更容易的情况,即表示相对于可能不同的起始基和结束基。回想一下,上一节表明矩阵改变基当且仅当它是可逆的。这给了我们上面箭头图和方程的另一个版本 (
).
- 推论 2.4
矩阵等价的矩阵表示同一映射,相对于适当的基对。
问题 10 检查矩阵等价是否是等价关系。 因此它将矩阵集划分为矩阵等价类。
|
所有矩阵 |
| 矩阵等价 到  |
通过将矩阵等价与行等价进行比较,我们可以对这些类别有所了解(回想一下,当矩阵可以通过行运算相互简化为彼此时,它们是行等价的)。在
中,矩阵
和
是非奇异的,因此每个都可以写成基本约简矩阵的乘积(见前一小节中的引理 4.8)。左乘构成
的约简矩阵的效果是执行行运算。右乘构成
的约简矩阵执行列运算。因此,矩阵等价是行等价的推广——如果一个矩阵可以通过一系列行约简步骤转换为另一个矩阵,则两个矩阵是行等价的,而如果一个矩阵可以通过一系列行约简步骤后跟一系列列约简步骤转换为另一个矩阵,则两个矩阵是矩阵等价的。
因此,如果矩阵是行等价的,那么它们也是矩阵等价的(因为我们可以取
为单位矩阵,因此不执行任何列运算)。然而,反之则不成立。
- 示例 2.5
这两个

是矩阵等价的,因为第二个可以通过将第一列乘以
并加到第二列的列运算简化为第一个。它们不是行等价的,因为它们具有不同的简化行梯形形式(事实上,两者都已经是简化形式)。
我们将通过为矩阵等价类找到一组代表来结束本节。[1]
有时这被描述为块部分单位形式。

- 证明
如上所述,对给定矩阵进行高斯-约旦消元,并将所有用于消元的矩阵组合起来,形成
。然后利用主元进行列消元,最后交换列,将主元置于对角线上。将用于这些列操作的消元矩阵组合成
。
- 推论 2.8
两个相同大小的矩阵当且仅当它们具有相同的秩时,它们是矩阵等价的。 也就是说,矩阵等价类由秩来刻画。
- 证明
两个具有相同秩的相同大小的矩阵等价于同一个块部分单位矩阵。
- 示例 2.9
矩阵只有三种可能的秩:零、一或二。 因此,存在三个矩阵等价类。
所有
矩阵:
三个等价
类
每个类包含所有具有相同秩的
矩阵。只有一个秩为零的矩阵,因此该类只有一个成员,但其他两个类分别具有无限多个成员。
在本小节中,我们已经看到了如何将映射相对于第一对基的表示更改为相对于第二对基的表示。这导致了一个定义,描述了矩阵在这种情况下何时是等价的。最后,我们注意到,通过适当选择(可能是不同的)起始和结束基,任何映射都可以用块部分单位形式表示。
这种表示形式的优点之一是,在某种意义上,当映射以这种方式表达时,我们可以完全理解映射:如果基是
和
,那么映射发送

其中
是映射的秩。因此,我们可以将任何线性映射理解为一种投影。

当然,要“理解”以这种方式表达的映射,我们需要了解
和
之间的关系。然而,尽管有这个困难,这仍然是一个对线性映射很好的分类。 }}
- 此练习推荐所有读者完成。
- 此练习推荐所有读者完成。
- 问题 2
求每个矩阵的矩阵等价类中的规范代表。
-
-
- 问题 3
假设关于

变换
由此矩阵表示。

使用基变换矩阵将
表示为每对基。
-
, 
-
, 
- 此练习推荐所有读者完成。
- 此练习推荐所有读者完成。
- 问题 5
使用 定理 2.6 来证明一个方阵是可逆的当且仅当它与单位矩阵等价。
- 此练习推荐所有读者完成。
- 此练习推荐所有读者完成。
- 问题 8
矩阵等价矩阵是否一定具有矩阵等价的转置?
- 问题 9
如果
,定理 2.6 会发生什么?
- 此练习推荐所有读者完成。
- 此练习推荐所有读者完成。
- 问题 11
证明零矩阵在其矩阵等价类中是唯一的。还有其他类似的矩阵吗?
- 问题 12
在
和
上的变换矩阵有哪些等价类?
- 问题 14
矩阵等价类在标量乘法和加法下是否封闭?
- 问题 15
设
由
关于
表示。
- 在该特定情况下求
。
- 描述
的一般情况,其中
。
- 问题 16
- 设
有基
和
,假设
有基
。设
,求计算
的公式,该公式从
中计算。 - 用一个
的基和两个
的基,重复上一个问题。
- 问题 17
- 如果两个矩阵是矩阵等价且可逆的,那么它们的逆矩阵一定是矩阵等价的吗?
- 如果两个矩阵的逆矩阵是矩阵等价的,那么这两个矩阵一定是矩阵等价的吗?
- 如果两个矩阵是方阵且矩阵等价,那么它们的平方一定是矩阵等价的吗?
- 如果两个矩阵是方阵且它们的平方是矩阵等价的,那么它们一定是矩阵等价的吗?
- 此练习推荐所有读者完成。
解答
- ↑ 关于类代表的更多信息,请参见附录。