在本节中,我们将重点关注推论 2.4的属性。
("Eigen" 是德语,意思是 "特征" 或 "独特";有些作者称这些为特征值和向量。没有作者称它们为 "独特的"。)
这个例子说明了为什么“非-
”出现在定义中。不允许
作为特征向量将消除平凡特征值。
- 备注 3.6
虽然从映射到矩阵的这种扩展是显而易见的,但有一点必须说明。映射的特征值也是表示该映射的矩阵的特征值,因此相似矩阵具有相同的特征值。但特征向量则不同——相似矩阵不一定具有相同的特征向量。
例如,再次考虑变换
,由
给出。它具有一个特征值为
,与形式为
的特征向量相关联,其中
。如果我们用
来表示 

然后
是
的特征值,与这些特征向量相关联。

另一方面,将
相对于
表示给出

并且
与特征值
相关联的特征向量是这些。

因此,相似矩阵可以具有不同的特征向量。
这里是对正在发生的事情的非正式描述。底层转换将特征向量
乘以 2。但当表示变换的矩阵为
时,它“假设”列向量是关于
的表示。相比之下,
“假设”列向量是关于
的表示。因此,每个矩阵乘以 2 的向量看起来都不一样。
下一个例子说明了寻找特征向量和特征值的常用方法。
问题 11 检查变换的特征多项式是定义良好的,也就是说,任何基的选择都产生相同的多项式。
- 引理 3.10
非平凡向量空间上的线性变换至少有一个特征值。
- 证明
特征多项式的任何根都是特征值。在复数域上,任何一阶或更高阶的多项式都具有根。(这就是本章我们使用复数作为标量的原因。)
注意以上例子中特征向量集合的熟悉形式。
- 例 3.16
关于标准基,此矩阵

表示投影。

与特征值
相关的特征空间及其与特征值
相关的特征空间很容易找到。

根据引理,如果两个特征向量
和
与同一个特征值相关联,则这两个向量的任何线性组合也是与该特征值相关联的特征向量。但是,如果两个特征向量
和
与不同的特征值相关联,则它们的和
不一定与任何一个特征值相关。事实上,恰恰相反。如果特征值不同,则特征向量线性无关。
- 定理 3.17
对于映射或矩阵的任何一组不同的特征值,其对应的特征向量集合(每个特征值对应一个特征向量)是线性无关的。
- 证明
我们将使用关于特征值数量的归纳法。如果没有特征值或只有一个特征值,则对应的特征向量集合为空集或仅包含一个非零成员的单元素集合,在任何情况下,它们都是线性无关的。
为进行归纳,假设该定理对任何包含
个不同特征值的集合成立,假设
是不同的特征值,并设
是对应的特征向量。如果
,则用
乘以显示方程的两边,将映射或矩阵应用于显示方程的两边,然后将第一个结果从第二个结果中减去,我们将得到以下结果。

归纳假设现在适用:
。因此,由于所有特征值都是不同的,
都是
。最后,现在
必须是
因为我们只剩下方程
。
- 推论 3.19
一个
矩阵,具有
个不同的特征值是可对角化的。
- 本练习建议所有读者完成。
- 问题 2
对于每个矩阵,求特征方程,以及特征值和相应的特征向量。
-
-
- 问题 3
求该矩阵的特征方程,以及特征值和相应的特征向量。提示:特征值为复数。

- 问题 4
求该矩阵的特征多项式、特征值和相应的特征向量。

- 本练习建议所有读者完成。
- 问题 5
对于每个矩阵,求特征方程,以及特征值和相应的特征向量。
-
-
- 本练习建议所有读者完成。
- 问题 6
设
为

求其特征值和相应的特征向量。
- 问题 7
找到该映射的特征值和特征向量
.

- 本练习建议所有读者完成。
- 问题 8
求微分算子的特征值和相关特征向量
.
- 问题 9
- 证明
三角矩阵(上三角或下三角)的特征值是其对角线上的元素。
- 本练习建议所有读者完成。
- 问题 10
求
矩阵的特征多项式公式。
- 本练习建议所有读者完成。
- 问题 12
- 任何非零向量在任何非平凡向量空间中都可以是特征向量吗?也就是说,给定一个非零向量
来自非平凡向量空间
,是否存在变换
和一个标量
使得
? - 给定一个标量
,任何非零向量在任何非平凡向量空间中都可以是与特征值
相关的特征向量吗?
- 本练习建议所有读者完成。
- 本练习建议所有读者完成。
- 本练习建议所有读者完成。
- 本练习建议所有读者完成。
- 问题 20
证明具有实数项和奇数行数的方阵至少有一个实特征值。
- 问题 21
对角化。

解答
- Morrison, Clarence C. (proposer) (1967), "Quickie", Mathematics Magazine, 40 (4): 232.
- Strang, Gilbert (1980), Linear Algebra and its Applications (Second ed.), Harcourt Brace Jovanovich.