向量与特征向量:构造、矩阵幂与秩一结构
从向量等式中凑出特征值与特征向量,系统整理矩阵幂作用、递推模型、外积矩阵和零特征值的典型题法。
向量与特征向量:构造、矩阵幂与秩一结构
看到 、 或外积矩阵时,优先把已知式相加减,或让矩阵右乘相关向量,直接凑出 。
来源:邂逅遗憾《26 考研数学思维课·线性代数手稿》,第三章“向量”3.9 节,PDF 第 141—147 页(纸质页码第 135—141 页)。本文按知识逻辑重排,完整保留例 3.38—3.42、2000 年数一真题、例 3.36 的回顾以及资料所给解答。
验算:使用本地 MATLAB R2024b 与 Symbolic Math Toolbox 核验了特征值、矩阵幂、递推闭式及向量回代;一般性结论仍以文中的解析推导为准。
一、由两个向量等式凑特征向量
见到
时,可将两个式子相加或相减,尝试凑出特征值和特征向量的定义式
例 3.38
设 为三阶矩阵, 为三维列向量。已知 线性无关,且
记
若 ,则 。
因为 线性无关,所以
由
可知 有两个特征值
又
故 的另一个特征值为
因此
从而
二、计算 :把向量拆成特征向量的线性组合
若要求 ,则条件反射想到把 拆成矩阵 的特征向量的线性组合。若
则
例 3.39
设 为三阶实对称矩阵, 的每行元素之和均为 ,且
则
因为 的每行元素之和均为 ,所以
因此 是 的特征值,
是对应于特征值 的一个特征向量。于是 至少有一个线性无关的解向量,故
又因为
所以 ,从而 的线性无关解向量个数为
因此, 至少为 的二重特征值。又因为 是 的特征值,所以 的三个特征值为
设对应于特征值 的特征向量为 。实对称矩阵属于不同特征值的特征向量相互正交,因此
可取
是矩阵 对应于特征值 的两个线性无关的特征向量。将目标向量表示为
于是,对正整数 ,
原资料补充:这类题也可以先计算 ,再计算 ,但多数情况下计算量很大。若题目已经要求先求 ,则直接使用已求出的 更合适,无须再把向量拆成特征向量的线性组合。
三、递推模型中的特征向量与矩阵幂
例 3.40(2000 年数一真题)
某试验性生产线每年一月份进行熟练工与非熟练工的人数统计,然后将 熟练工支援其他生产部门,其缺额由招收新的非熟练工补齐。新、老非熟练工经过培训及实践至年终考核有 成为熟练工。
设第 年一月份统计的熟练工和非熟练工所占百分比分别为 和 ,记成向量
- 求 与 的关系式,并写成矩阵形式
- 验证 是 的两个线性无关的特征向量,并求出相应的特征值;
- 当 时,求
第 年 1 月份的熟练工由第 年 1 月份的熟练工的 加上第 年补齐缺额后的非熟练工的 组成,第 年 1 月份的非熟练工由第 年补齐缺额后的非熟练工的 组成。
而第 年补齐缺额后的非熟练工由两部分组成:一部分来自 1 月份转去其他部门的 熟练工的缺额,另一部分来自当年 1 月份的非熟练工。于是
写成矩阵形式为
记
分别计算 :
因此, 是 的两个特征向量,分别对应特征值 和 。由于 属于不同特征值,故它们线性无关。或者计算
也可知 线性无关。
第(3)问有两种方法。
法一:相似对角化。 由于
故
由第(2)问可知,记
可得
所以
计算得
代入可得
因此
法二:拆成特征向量的线性组合。 由第(2)问可知, 线性无关,故 是二维列向量空间的一组基。于是存在 ,使得
解得
由于
故
四、外积矩阵:优先右乘相关向量
见到
时,条件反射般想到右乘 或 ,凑出特征值和特征向量的定义式。
例 3.41(2013 年数一、数二、数三真题)
设二次型
记
- 证明二次型 对应的矩阵为 ;
- 若 正交且均为单位向量,证明 在正交变换下的标准形为
令 。由于
也有对应的表达式,故
又因为 是对称矩阵,所以二次型 对应的矩阵为
若 正交且均为单位向量,则
从而
于是 为 的特征值。又
故 为该矩阵的特征值。因此,该矩阵的全部特征值为 ,二次型在正交变换下的标准形为
交叉说明:例 3.41 也收录于《矩阵秩的核心结论、证明与典型应用》,这里按本节“外积矩阵右乘相关向量”的思路保留完整题解。
例 3.42
设 为 3 维单位列向量,且
则以下命题正确的为( )。
- 可以相似对角化;
- 是 的特征向量;
- 是 的特征向量;
- 的特征值为 。
由 正交且均为单位向量,得
于是
因此
因为非零向量 正交,所以 线性无关,进而
故 是对应于特征值 的特征向量, 是对应于特征值 的特征向量。
又
所以 ,即 是 的特征值。 的三个特征值为
因此 有 3 个不同的特征值,可以相似对角化。命题 1、2、3、4 均正确。
五、外积恒等式与向量组秩的上界
设列向量 满足
则向量组 的秩最大可能为( )。
- (A);
- (B);
- (C);
- (D)。
取 为非零向量,,则
此时向量组 的秩为 ,从而正面说明其秩最大可能不小于 。
下面证明向量组 的秩不可能为 。
不妨设 线性无关,且
代入
并整理可得
在式(1)两端分别右乘 ,并整理可得
由于 线性无关,故式(2)、(3)中 的系数均为零。于是
从而
由此可得
即 线性相关,矛盾。因此向量组 的秩不可能为 。
下面证明向量组 的秩不可能为 。
若向量组 的秩为 ,则 线性无关, 均不是零向量。在原等式两端同时右乘 ,可得
由于 为非零向量,,故式(4)中 的系数不全为零,从而 线性相关,矛盾。因此向量组 的秩不可能为 。
综上所述,向量组 的秩最大可能为 ,应选 B。
六、列向量表示关系与零特征值
的非零解一定是特征值 对应的特征向量。
这一结论有两种理解角度:
- ,符合特征值和特征向量的定义式;
- 和 同解。
例 3.36(2017 年数二真题,回顾)
设三阶矩阵
有 3 个不同的特征值,且
- 证明 ;
- 若 ,求方程组 的通解。
第(1)问,法一: 由于 有 3 个不同的特征值 ,故 相似于对角矩阵,且至多仅有一个零特征值。因此相似对角矩阵的秩至少为 ,于是
又因为 ,所以 线性相关,。由于
故 有一个特征值为零。因此
第(1)问,法二: 由 知
于是, 是 的一个特征值, 是 的属于特征值 的一个特征向量。其余同法一。
第(2)问: 考虑 。由于 ,故 的基础解系中只包含一个向量。又因为
所以 是该齐次线性方程组的一个基础解系。
由于
即
故 是 的一个特解。因此
注:对于可对角化矩阵,其秩等于非零特征值的个数;但对于一般矩阵,该结论不一定成立。例如
只有一个非零特征值,但 。
交叉说明:本题已在《方程组解的包含与同解:行向量判据、增广矩阵与典型题》中收录;这里按原资料 3.9.4 的回顾顺序再次完整保留。
七、考场速记
- 看到 、,优先把两式相加减,凑 。
- 计算 ,优先将 拆成特征向量的线性组合。
- 递推问题先写状态转移矩阵,再用相似对角化或特征向量分解求矩阵幂。
- 看到 、 等外积结构,优先右乘 或 。
- 的非零解,就是特征值 对应的特征向量。
- 实对称矩阵属于不同特征值的特征向量正交。
Discussion
Comments
Share questions, corrections, or extra notes about this post.