现在有一些常规性的工作要做,其中大部分我们将留给读者去想象。问题是这样的:在一个固定的坐标系 中,已知 和 的矩阵,我们如何找到 、 、 、 等的矩阵?
设 , , , ;我们断言 同样,如果 且 ,那么 且
一个更复杂的规则如下:如果 , ,那么 为了证明这一点,我们使用与变换相关联的矩阵的定义,并进行如下推导:
变换与矩阵之间的关系,与向量及其坐标之间的关系完全相同,并且 章节:同构 中同构定理的类似结论在最完美的意义上也是成立的。我们将使这些陈述更加精确。
借助固定的基 ,我们使每个线性变换 都对应一个矩阵 ;这种对应关系由关系式 来描述。我们现在断言,这种对应是一一对应的(也就是说,两个不同变换的矩阵是不同的),并且由 个标量组成的每个阵列 都是某个变换的矩阵。为了证明这一点,我们首先注意到,已知 的矩阵可以完全确定 (也就是说,对于每个 , 由此被唯一确定),如下所示:如果 ,那么 (换句话说,如果 ,那么 将此与 章节:矩阵 中关于指标反常性的评论进行对比。)其次,没有规则禁止反向读取关系式 。换句话说,如果 是任意阵列,我们可以使用这个关系来定义一个线性变换 ;显然, 的矩阵将恰好是 。(然而,我们再次强调一个基本事实:变换与矩阵之间的这种一一对应关系是借助特定的坐标系建立起来的,并且,当我们从一个坐标系过渡到另一个坐标系时,同一个线性变换可能对应多个矩阵,而一个矩阵也可能是许多线性变换的对应物。)以下陈述总结了前述讨论的核心部分。
定理 1。在所有矩阵 、 等(不考虑与线性变换的关系),其中 的集合中,我们通过以下方式定义和、标量乘法、乘积、 以及 : 那么,在 维向量空间 的任意坐标系 下建立的, 上的所有线性变换 与所有矩阵 之间由 描述的对应关系是一个同构;换句话说,它是一个保持和、标量乘法、乘积、 和 的一一对应关系。
我们刻意避免了讨论 的矩阵。虽然可以用 的元素 来给出 的表达式,但该表达式并不简单,而且幸运的是,对我们来说也没什么用处。
练习
练习 1。设 是 上的线性变换,定义为 ,并设 是 的基,定义为 , 。求 关于该基的矩阵。
练习 2。求将 视为实向量空间时,共轭运算关于基 (其中 )的矩阵。
练习 3。
- 设 是整数 的一个置换;如果 是 中的一个向量,设 。如果 ,求 关于 的矩阵。
- 求所有与 的矩阵可交换的矩阵。
练习 4。考虑由所有实二阶方阵组成的向量空间,并设 是该空间上的线性变换,它将每个矩阵 映射为 ,其中 求 关于由以下矩阵组成的基的矩阵:
练习 5。考虑由向量空间 上的所有线性变换组成的向量空间,并设 是(左)乘法变换,它将 上的每个变换 映射为 ,其中 是 上某个给定的变换。在关于 的什么条件下, 是可逆的?
练习 6。证明如果 、 和 分别是复矩阵 (其中 ),那么
练习 7。
- 证明如果 、 和 是二维向量空间上的线性变换,那么 与 可交换。
- (a) 的结论对于更高维的空间是否成立?
练习 8。设 是 上的线性变换,定义为 。证明如果一个线性变换 与 可交换,那么存在一个多项式 使得 。
练习 9。对于以下哪些多项式 和矩阵 ,等式 成立?
- , 。
- , 。
- , 。
- , 。
练习 10。证明如果 和 分别是复矩阵 (其中 ),并且如果 ,那么 。
练习 11。如果 和 是向量空间上的线性变换,且 ,是否可以推出 ?
练习 12。当计算矩阵所依据的基的元素自身进行置换时,有限维向量空间上的线性变换的矩阵会发生什么变化?
练习 13。
- 假设 是一个以 为基的有限维向量空间。假设 是两两不同的标量。如果 是一个线性变换,满足 , ,并且如果 是一个与 可交换的线性变换,那么存在标量 使得 。
- 证明如果 是有限维向量空间 上的线性变换,且 与 上的每个线性变换都可交换,那么 是一个标量变换(也就是说,存在一个标量 使得对于 中的所有 ,都有 )。
练习 14。如果 和 是有限维向量空间 中的线性无关向量组,那么在 上存在一个可逆线性变换 使得 , 。
练习 15。如果矩阵 满足 , ,那么存在矩阵 和 使得 。(提示:尝试 。)
练习 16。判定以下哪些矩阵是可逆的,并求出可逆矩阵的逆矩阵。
2
- 。
- 。
- 。
- 。
- 。
- 。
- 。
练习 17。对于哪些 的值,以下矩阵是可逆的?在可能的情况下求出它们的逆矩阵。
2
- 。
- 。
- 。
- 。
练习 18。对于哪些 的值,以下矩阵是可逆的?在可能的情况下求出它们的逆矩阵。
2
- 。
- 。
- 。
- 。
练习 19。
- 将矩阵理论推广到不同向量空间之间的线性变换是很容易的。假设 和 是相同域上的向量空间,设 和 分别是 和 的基,并设 是从 到 的线性变换。 的矩阵,根据定义,是由 定义的 行 列的矩形标量阵列。定义矩形矩阵的加法和乘法,以便尽可能多地推广 章节:变换的矩阵 中的结论。(注意,只有当 时,一个 行 列的矩阵与一个 行 列的矩阵按该顺序的乘积才有定义。)
- 假设 和 是可相乘的矩阵。将 分块为四个矩形子块(左上、右上、左下、右下),然后对 进行类似的分块,使得 左上部分的列数与 左上部分的行数相同。如果用显而易见的简写表示,这些分块表示为 那么
- 利用子空间和补空间,用线性变换(而不是矩阵)来表示 (b) 的结果。
- 将 (b) 和 (c) 推广到更多分块(而不是四个)的情形。