跳转到内容

线性代数/相似性的定义和例子

来自维基教科书,开放的书籍,为开放的世界
线性代数
 ← 复数表示 相似性的定义和例子 对角化 → 

定义和例子

[编辑 | 编辑源代码]

我们已经定义了 是矩阵等价的,如果存在非奇异矩阵 使得 。这个定义是由下面的图所激发的

显示 都表示 ,但它们是针对不同的基底对来表示的。我们现在将这种设置专门用于共域等于域,并且共域的基底等于域的基底的情况。

为了从左下角移动到右下角,我们可以直接横向移动,也可以向上、横向移动,然后再向下。用矩阵的术语来说,

(回想一下,像这样的复合表示是从右到左读的)。

定义 1.1

矩阵 相似的,如果存在一个非奇异矩阵 使得

由于非奇异矩阵是方阵,所以相似矩阵必须是方阵且大小相同。

例 1.2

用这两个,

计算得出与该矩阵相似。

例 1.3

与零矩阵相似的唯一矩阵是它本身:。与单位矩阵相似的唯一矩阵是它本身:

由于矩阵相似是矩阵等价的特例,如果两个矩阵相似,那么它们是等价的。那么反过来呢:等价的方阵必须相似吗?答案是否定的。前面的例子表明,相似类不同于矩阵等价类,因为单位矩阵的矩阵等价类包含所有相同大小的非奇异矩阵。因此,例如,这两个矩阵是矩阵等价的,但不是相似的。

因此,一些矩阵等价类被分成两个或多个相似类——相似性比等价性提供了更精细的划分。这幅图显示了一些矩阵等价类被细分为相似类。

为了理解相似关系,我们将研究相似类。我们用与研究行等价和矩阵等价关系相同的方式来解决这个问题,即为相似类的代表[1]找到一个规范形式,称为约当形式。有了这个规范形式,我们可以通过检查两个矩阵是否简化为相同的代表来判断它们是否相似。我们还看到了行等价和矩阵等价,一个规范形式可以让我们洞察到同一类成员的相似之处(例如,两个大小相同的矩阵是矩阵等价的当且仅当它们具有相同的秩)。

练习

[edit | edit source]
问题 1

对于

检查

建议所有读者完成此练习。
问题 2

例 1.3表明与零矩阵相似的唯一矩阵是它本身,与单位矩阵相似的唯一矩阵是它本身。

  1. 证明矩阵,同样,也仅与其本身相似。
  2. 形式为的矩阵,其中是标量,是否仅与其本身相似?
  3. 对角矩阵是否仅与其本身相似?
问题 3

证明这些矩阵不相似。

问题 4

考虑变换 ,由 描述。

  1. ,其中
  2. ,其中
  3. 求矩阵 使得
建议所有读者完成此练习。
问题 5

以这种方式展示一个非平凡的相似关系:令 通过以下方式作用

选择两个基底,并分别以它们为基底表示 ,分别得到 。然后计算 ,以便将基底从 转换到 ,然后再转换回来。

问题 6

用映射的概念解释 示例 1.3

建议所有读者完成此练习。
问题 7

是否存在两个相似矩阵 ,而 不相似?(Halmos 1958

建议所有读者完成此练习。
问题 8

证明如果两个矩阵相似并且其中一个可逆,那么另一个矩阵也是可逆的。

建议所有读者完成此练习。
问题 9

证明相似是一个等价关系。

问题 10

考虑一个矩阵,它相对于某个 表示关于 轴的反射变换,在 中。同样地,考虑一个矩阵,它相对于某个 表示关于 轴的反射变换。这两个矩阵一定相似吗?

问题 11

证明相似性保持行列式和秩。反之成立吗?

问题 12

是否存在一个矩阵等价类,其中只包含一个矩阵相似类?是否存在一个矩阵等价类,其中包含无穷多个矩阵相似类?

问题 13

两个不同的对角矩阵可以属于同一个相似类吗?

建议所有读者完成此练习。
问题 14

证明如果两个矩阵相似,那么当 时,它们的 次方也相似。如果 呢?

建议所有读者完成此练习。
问题 15

为多项式 。证明,如果 相似,则

问题 16

列出所有 矩阵的等价类。同时列出相似类,并描述每个矩阵等价类中包含的相似类。

问题 17

相似性是否保持加法?

问题 18

证明,如果 是相似矩阵,则 也是相似矩阵。

解答

参考资料

[编辑 | 编辑源代码]
  • Halmos, Paul P. (1958), 有限维向量空间 (第二版), 范诺斯特兰德.
线性代数
 ← 复数表示 相似性的定义和例子 对角化 → 
  1. 关于代表的更多信息见附录。
华夏公益教科书