在将
转换为
时,底层向量
不会改变。 因此,这种转换是通过空间上的恒等映射来完成的,描述为域空间向量相对于
表示,而陪域空间向量相对于
表示。

(该图是垂直的,以便与下一小节中的图相符。)
- 例 1.3
对于
,这些基是:

因为

基变换矩阵为:

我们可以通过寻找
- 的两种表示来观察这个矩阵的作用。

并验证转换是否符合预期。

本小节最后,我们认识到基变换矩阵是熟悉的。
- 引理 1.4
一个矩阵是基变换矩阵当且仅当它是可逆的。
- 证明
一个方向是,如果左乘一个矩阵可以进行基变换,那么该矩阵表示一个可逆函数,因为只需将基变换回来就能得到该函数的逆。这样的矩阵本身是可逆的,因此是非奇异的。
最后,我们将证明任何非奇异矩阵
从任何给定的起始基
到某个最终基进行基变换。因为矩阵是非奇异的,它将通过高斯-约旦消元化为单位矩阵,所以存在一些初等变换矩阵使得
。初等矩阵可逆,它们的逆也是初等矩阵,因此,从左边先乘以
,然后乘以
,等等,得到
作为初等矩阵的乘积
。因此,如果我们证明初等矩阵将给定的基变换为另一个基,那么我们就可以完成证明,因为这样
将
变换为某个其他基
,而
将
变换为某个
,…,最终效果是
将
变换为
。我们将通过将三种类型作为单独的案例来证明关于初等矩阵的这个结论。
应用行乘矩阵

将关于
的表示形式更改为关于
的表示形式。

类似地,左乘行交换矩阵
会将相对于基底
的表示转换为相对于基底
的表示,以此方式。

而且,相对于
的表示通过左乘行组合矩阵
转换为相对于
的表示。

(reduction matrix 的定义规定
且
,因此最后一个是基底)。
- 推论 1.5
当且仅当矩阵关于一对基底表示恒等映射时,该矩阵为非奇异矩阵。
在下一小节中,我们将看到如何转换映射的表示,即如何将
转换为
。上述推论是这种情况的特例,其中定义域和值域是同一个空间,映射是恒等映射。
- 推荐所有读者练习这道题。
- 推荐所有读者练习这道题。
- 问题 2
找到
的基变换矩阵。
-
, 
-
, 
-
, 
-
, 
- 问题 3
对于 问题 2 中的基,找到另一个方向的基变换矩阵,从
到
。
- 推荐所有读者练习这道题。
- 问题 4
找到每个
的基变换矩阵。
-
-
-
- 推荐所有读者练习这道题。
- 问题 6
找到这样的基底,使得该矩阵关于这些基底表示为单位映射。

- 问题 7
考虑具有基底
的实值函数向量空间。证明
也是该空间的基底。找到每个方向的基底变换矩阵。
- 问题 8
该矩阵

将
的标准基送往哪里?还有其他基底吗?提示。考虑逆矩阵。
- 推荐所有读者练习这道题。
- 问题 9
关于
的基底变换矩阵是什么?
- 推荐所有读者练习这道题。
- 推荐所有读者练习这道题。
- 问题 14
设
是向量空间,设
是
的基底,
是
的基底。其中
是线性变换,求
与
之间的公式。
- 推荐所有读者练习这道题。
- 推荐所有读者练习这道题。
解答