简介:矩阵分析期末试题资料对应重庆邮电大学研究生课程考卷,面向准备期末复习、需要对照真题梳理考点的高年级本科生与研究生。压缩包内共1个PDF文件,约170KB,含3页八大题、满分100分的试卷及分题解答,已有275人学习。内容覆盖线性空间R^{2×2}的基与过渡矩阵、矩阵1范数和无穷范数、线性变换的矩阵表示及核与值域、行列因子/不变因子/初等因子与Jordan标准型、正定Hermite矩阵与内积验证、满秩分解、正规矩阵谱分解,以及幂等矩阵Jordan块和Hermite矩阵性质的证明。读者可据此熟悉题型分布、核对计算步骤、整理证明思路,用于期末冲刺与查漏补缺。
1. 矩阵分析期末卷:八道大题、100 分,真正的分水岭在三类题
矩阵分析期末试题最容易让人误判的地方,是八道大题分值 12 与 14 交替排布,看着平均,好像每道题都值得花一样的时间。真坐到考场里你会发现,拉开差距的只有三类:基与过渡矩阵这种纯考定义的题、λ-矩阵三因子加 Jordan 标准型这种纯考流程的题、以及幂等矩阵这种纯考推理的压轴题。剩下的范数计算、核与值域、满秩分解,属于步骤写对就落分的送分位。这张卷子闭卷、八大题、满分 100,面向的是修完线性代数后续课程的研究生,考的不是技巧密度,而是你能不能在十几分钟里把课本定义变成一行行有采分点的式子。想稳在 80 分以上,先把这三类题的模板背到能默写,再去补细节。
2. 分值地图:八道大题、12 与 14 分交替,模块归属先搞清楚
很多人拿到卷子从第一题按顺序做,做到第四题 λ-矩阵卡住,时间就崩了。正确的做法是先看清分值结构:哪几道是计算流水线题,哪几道是必须写推理链的证明题,然后决定先做谁。这张卷子的分布其实很规整,八个题基本把课程主干全覆盖了一遍,没有偏题怪题,但每道题内部都有两到三问,问与问之间的难度差很大。
2.1 八道题的分值分布与模块归属
| 题号 | 分值 | 核心考点 | 所属模块 | 拿分难度 |
|---|---|---|---|---|
| 一 | 12 | 基的判定、过渡矩阵 | 线性空间 | 中 |
| 二 | 12 | 矩阵范数、向量范数 | 范数理论 | 低 |
| 三 | 12 | 线性变换的矩阵、核与值域 | 线性变换 | 低 |
| 四 | 14 | 行列因子、不变因子、初等因子、Jordan 标准型 | λ-矩阵 | 中 |
| 五 | 12 | 正定 Hermite 判定、内积公理验证 | 内积空间 | 中 |
| 六 | 12 | 满秩分解 | 矩阵分解 | 低 |
| 七 | 12 | 正规矩阵证明、谱分解 | 内积空间 | 中高 |
| 八 | 14 | 幂等矩阵、酉对角化、行列式不等式 | 综合证明 | 高 |
按模块归并:线性空间加线性变换 24 分,范数 12 分,λ-矩阵与 Jordan 14 分,内积与 Hermite 共 24 分,矩阵分解 12 分,综合证明 14 分。计算型题目合计约 62 分,证明型约 38 分。这个比例意味着,即使第七、第八两题的证明只写出前一两步,只要前面六题的计算流程一步不落,及格线是稳的;反过来,计算题错一个符号,就是 12 分整块掉。
还有一个隐藏规律:题号越靠后,单题内部的问与问越独立。第四题的两问、第五题的两问、第八题的三问,前一问的结论通常就是后一问的台阶。所以哪怕第一问不会,第二问照样可以按套路往下写,阅卷时按问给分,不会因为前面空着就整题归零。
2.2 题干动词就是采分点
这张卷子的题干只有三种动词,对应的答题结构完全不同,混着写就是白丢分。
第一种是「证明」。证明题的采分点是逻辑连接词,不是结论。写「因为 α1 到 α4 线性无关,且 R^{2×2} 是 4 维空间,所以它们构成基」,这三句话就是三个点。只写「显然构成基」,多半一分没有。证明题还有个固定开头:先把要证的对象的定义写出来,比如「设 k1α1+k2α2+k3α3+k4α4=0」,再往下推。
第二种是「求」。求值题的采分点是中间过程的可检验性。求过渡矩阵,必须出现你把四个矩阵按某个基展开成坐标的那一步;求 Jordan 标准型,必须出现不变因子或初等因子的计算痕迹。只写一个结果矩阵,阅卷人无法判断你是算出来的还是猜的。
第三种是「验证」。验证题的采分点是逐条对照。第五题第二问要求验证 (X,Y)=Y^H A X 是内积,就必须把共轭对称性、对第二变元的线性、正定性三条分开写,每条单独成段。三条挤成一句「由 A 正定可知是内积」,这是最容易失分的一种写法。
提示:答题册上每道题先写「解」或「证明」,再标小问号 (1)(2),中间不要跳步。闭卷考试里,步骤分往往比结果分更值钱。
2.3 真题演练:第一题的基与过渡矩阵
第一题给了 R^{2×2} 里的四个矩阵 α1 到 α4,以及标准基 β1 到 β4(就是四个矩阵单位 E11、E12、E21、E22),要求两件事:证明 α 组是基,求 β 组到 α 组的过渡矩阵。
第一问的标准做法是把矩阵拉直成坐标向量。设 β1=E11,β2=E12,β3=E21,β4=E22,那么 α1 在 β 下的坐标就是把它的四个元素按位置排好,例如 α1 = 0·E11 + 1·E12 + 1·E21 + 1·E22,坐标是 (0,1,1,1)^T。四个 α 各给一个坐标向量,按列拼成 4×4 矩阵 C,则 (α1,α2,α3,α4)=(β1,β2,β3,β4)C。只要 det C ≠ 0,四个向量线性无关,而 R^{2×2} 的维数正好是 4,线性无关的四个向量就是基。第一问到此收口。
第二问的答案就是这个 C 本身。过渡矩阵的定义是从旧基到新基的坐标变换矩阵,写成矩阵等式就是 (新基)=(旧基)·C,C 的第 j 列是新基第 j 个向量在旧基下的坐标。所以只要第一问的 C 写对了,第二问不用重算。
这里踩坑的人特别多,方向一反就全错。判断方向的笨办法:过渡矩阵一定是「旧基乘它等于新基」,不是「新基乘它等于旧基」。如果你写出来的是 C 的逆,说明你把两个基的角色调换了。
3. 高频考点攻坚:范数、线性变换、正定 Hermite 的过程分怎么拿满
第二、第三、第五这三道题加起来 36 分,是整张卷子里最不该丢的部分。它们的共同点是算法完全固定,不依赖任何灵感,只要记住「看行还是看列」「代哪组基」「验证哪几条公理」,就是照着流程走。偏偏这类题失分最多,原因几乎都不是不会,而是符号和方向上的粗心。
3.1 矩阵范数与向量范数:‖A‖₁ 看列、‖A‖∞ 看行
先把四组定义摆清楚,这是第二题的全部弹药。矩阵的 1-范数是列绝对值之和的最大值,矩阵的 ∞-范数是行绝对值之和的最大值;向量的 1-范数是所有分量绝对值相加,向量的 ∞-范数是分量绝对值的最大值。四组定义里,矩阵看行和列,向量看整体和单个,正好交叉。
| 对象 | 1-范数 | ∞-范数 |
|---|---|---|
| 矩阵 A | 各列元素绝对值之和的最大值 max_j Σ_i |a_ij| | 各行元素绝对值之和的最大值 max_i Σ_j |a_ij| |
| 向量 x | 所有分量绝对值之和 Σ|x_i| | 分量绝对值的最大值 max|x_i| |
复矩阵有一个必踩的坑:绝对值是模,不是丢掉虚部。|2i| = 2,|5i| = 5,|-1+2i| = √5。把 |2i| 当成 2i 或者当成 1,是这类题最常见的翻车方式。
3.2 真题演练:第二题的范数计算全过程
第二题给的 A 是一个 2×3 复矩阵,第一行 (0, 2i, 5i),第二行 (0, 2i, -1),向量 x=(1,1,1)^T。按上面的定义逐列、逐行算。
写的时候建议在草稿上列两行数:列和依次是 0+0=0、2+2=4、5+1=6,取最大得 ‖A‖₁=6;行和依次是 0+2+5=7、0+2+1=3,取最大得 ‖A‖∞=7。答题册上把这两个求和式子写出来,比只写答案稳得多。
第二问先算 Ax。A 乘 (1,1,1)^T 就是把三列加起来,第一行得 7i,第二行得 -1+2i,所以 Ax=(7i, -1+2i)^T。再套向量范数:‖Ax‖₁ = |7i| + |-1+2i| = 7+√5,‖Ax‖∞ = max(7, √5) = 7。
注意这一步的角色切换:算 ‖A‖ 时用的是行列和,算 ‖Ax‖ 时用的是向量范数,同一个符号在不同对象上含义完全不同。题目把两个问放在一起,考的就是你会不会混。
3.3 线性变换的矩阵表示与核、值域
第三题给 𝒜(x,y,z)=(x+y−z, y+z, x+2y),第一问求自然基下的矩阵,第二问求核与值域。这类题有个三行口诀:矩阵的列是基向量的像,核是解齐次方程,值域是列空间。
第一问逐个代基向量。𝒜(e1)=(1,0,1),𝒜(e2)=(1,1,2),𝒜(e3)=(−1,1,0),把三个像按列排,得到
A = [[1, 1, −1], [0, 1, 1], [1, 2, 0]]
注意是把像当列填进去,不是当行填进去。填成转置是这道题最高频的错误,而且后面求核和值域会一路错到底。
第二问求核,解 Ax=0。对 A 做行初等变换,第一行不动,第三行减第一行得 (0,1,1),于是方程组化成 x+y−z=0、y+z=0,取 z 为自由未知量,得 y=−z、x=2z,核就是 span{(2,−1,1)^T},维数 1。求值域,取列空间的极大无关组;由秩定理 dim Ker + dim Im = 3,已知核维数为 1,值域维数必为 2,取前两列 (1,0,1)^T 与 (1,1,2)^T 即可,第三列可由它们线性表出。
写答案的时候两件事不能省:核要写出基向量并注明维数,值域同样要写出基并注明维数。只写「核为 {(2,−1,1)}」不给维数,往往被判表述不完整。
3.4 正定 Hermite 与内积四公理
第五题第一问要证 A 是正定 Hermite 矩阵,题目已经把提示给了:用顺序主子式。这条路分两步走,先验 Hermite,再验正定,两步的判据完全不同,混在一起写就乱。
验证 Hermite,只需检查 a_ij 与 a_ji 互为共轭,对角线元素是实数。这一步三行内能写完,但必须写,因为它是后面所有结论的前提。验证正定,算三个顺序主子式,全部大于零即可。算的时候复数行列式要老老实实展开,别心算,i·(−i)=1 这种地方最容易出错符号。
第二问验证 (X,Y)=Y^H A X 是 C³ 上的内积,必须三条分开写:
- 共轭对称性:(Y,X)=X^H A Y = conj(Y^H A^H X) = conj(Y^H A X),这里用到 A^H=A;
- 对第二变元的线性:(X, kY+lZ) = (kY+lZ)^H A X = k̄(Y,X)+l̄(Z,X),注意共轭位置;
- 正定性:(X,X)=X^H A X ≥ 0,且等号仅在 X=0 时成立,依据正是第一问证出的 A 正定。
注意:第三条必须引用第一问的结论,这是命题人设计两问的用意。不引用而从定义重新证一遍,等于放弃第一问的分。
4. 进阶考点:λ-矩阵三因子、Jordan 标准型与两类分解的固定流程
第四、第六、第七、第八这四道题共 52 分,是决定能不能上 85 的地方。它们看着抽象,其实每一道都有固定流水线:第四题是从特征矩阵到初等因子再到 Jordan 块;第六题是从行最简形到满秩分解;第七题是从 A^H A=AA^H 到谱分解;第八题是从极小多项式到对角化。把流水线的每一步命名清楚,就是答案。
4.1 行列因子、不变因子、初等因子:一条链走到底
第四题给的 A 是上三角矩阵,对角元全是 2,第一行有非对角元。求三因子的顺序不能乱:
先写特征矩阵 λI−A,再算行列式因子 D_k(全部 k 阶子式的首一最大公因式),然后用 d_k = D_k / D_{k−1} 求不变因子,最后把不变因子中非常数的部分分解成一次因式的幂,得到初等因子。
对这道题,D4 就是特征多项式 (λ−2)^4。D1 是全部一阶子式(也就是全部元素)的首一最大公因式,因为矩阵里有 −1 这样的常数元素,所以 D1=1。D2、D3 依次取到 (λ−2)²、(λ−2)³。于是不变因子是 1、λ−2、λ−2、λ−2,初等因子只有一个 λ−2,重数 3。
这里的关键判断:不变因子必须满足整除链 d1 | d2 | d3 | d4,写出来是 1 | λ−2 | λ−2 | λ−2,符合。如果算出来的不变因子不满足整除关系,一定是行列式因子算错了,这就是自查的后悔药。
4.2 初等因子拼 Jordan 块:块的阶数看幂次,块的个数看几何重数
拿到初等因子之后,Jordan 标准型的拼装规则是:每个初等因子 (λ−λ0)^m 对应一个 m 阶 Jordan 块,同一个特征值的块数等于它的几何重数,也就是 n − rank(A−λ0 I)。
这道题初等因子是 λ−2 出现三次,每次都是一次幂,所以应该是三个一阶块,也就是对角阵 diag(2,2,2,2)。想确认这个结论,去算 rank(A−2I):第一行变成 (0,1,0,−1),其余三行全零,秩为 1,几何重数 4−1=3,正好三个块,每个块一阶。结论对上了。
这一步是最容易只写结果不写验证的地方。阅卷时,能写出「A−2I 的秩为 1,故有三个一阶块」的人,和只写「Jordan 标准型为 diag(2,2,2,2)」的人,得分档次不一样。
4.3 满秩分解与谱分解:两个不同方向的套路
第六题的满秩分解,流程是三步:对 A 做行初等变换化到行最简形;取行最简形的主元所在列对应 A 中的列组成 B;取行最简形的前 r 个非零行组成 C,则 A=BC。
这道题的 A 是 4×5,第 2 列恰好是第 1 列的相反数,化简后第二、四行都能被第一行线性表出,秩 r=2。行最简形有两行非零行,主元在第 1、3 列,所以 B 取 A 的第 1、3 列,是 4×2;C 就是行最简形的两行,是 2×5。验算 B 乘 C 的第一行能不能还原 A 的第一行,是三十秒内能做完的自查。
第七题的谱分解方向完全相反,不是拆成两个因子,而是拆成若干个投影矩阵的加权和。步骤是:先由 A^H A=AA^H 证明正规;求特征值 λ1、λ2、λ3;对每个特征值求特征子空间;正规矩阵的不同特征子空间互相正交,所以在各子空间内取标准正交基;把每个子空间的投影矩阵 Pi 写出来,最后 A=Σλi Pi,且满足 PiPj=0(i≠j)、ΣPi=E。
写谱分解最关键的一句是交代正交性。正规矩阵的特征子空间两两正交,这句话不写,后面的 Pi 就不成立。
4.4 幂等矩阵那道压轴:三问一条主线
第八题三问都围绕 A²=A、rank(A)=r<n 展开,主线是「极小多项式无重根,所以可对角化」。
第一问证 Jordan 块全为一阶:由 A²=A 得 A²−A=0,所以极小多项式整除 λ²−λ=λ(λ−1),它没有重根,因此 A 可对角化,每个 Jordan 块都是一阶;再代回去,特征值 λ 必须满足 λ²=λ,所以只能是 0 或 1。用秩的论证也成立:若存在二阶块,rank(A²) 会严格小于 rank(A),与 A²=A 矛盾。
第二问在 Hermite 的条件下加强结论:Hermite 矩阵酉相似于实对角阵,对角元是特征值,只能是 0 和 1,其中 1 的个数等于 rank(A)=r,重排特征值顺序即得 U^H A U = diag(E_r, 0),E_r 是 r 阶单位阵。
第三问算行列式:A+E 的特征值是 2(r 个)和 1(n−r 个),所以 |A+E| = 2^r。因为 r<n 且通常 r≥1,故 2^r>1。这里要留意一个边界:如果题目允许 r=0,则 A=0,|A+E|=1,不等式取不到严格大于。答题时补一句「r=0 时 A 为零矩阵,结论取等号,故本题默认 r≥1」,反而是加分项。
5. 常见错误:五处年年有人翻车的地方
这一章是全篇最该反复看的部分。下面五条不是知识盲点,而是「明明会,却写错」的失分点,每一条都按「错在哪、为什么错、怎么答对」拆开写。
5.1 过渡矩阵方向写反
错在哪:把从 β 到 α 的过渡矩阵写成了 C 的逆,或者干脆把 α 的坐标向量按行拼。
为什么错:过渡矩阵的定义式是 (新基)=(旧基)·C,C 的列是新基向量在旧基下的坐标。写成 C^{-1},本质上是把新旧基的角色调换了,方向自然反。
怎么答对:写答案前先默念一遍定义式,在草稿上写出 (α1,…,α4)=(β1,…,β4)C 这个等式,确认 C 乘在右边、旧基在左边,再落笔。如果时间够,随手验算第一个列向量是否能还原 α1,三十秒就能排掉方向错误。
5.2 矩阵范数看错行列,复元素当实数取绝对值
错在哪:算 ‖A‖₁ 时去数行和,算 ‖A‖∞ 时去数列和;含虚数的元素直接抄成虚部数字。
为什么错:1-范数对应列,∞-范数对应行,这个对应关系没有逻辑可推,只能记。复数取模和取绝对值是两件事,|2i|=2 而不是 2i。
怎么答对:动笔前在 A 的右侧写一列「行和」,在下方写一行「列和」,两处都算出来再取最大值,用位置提醒自己别混。含 i 的元素一律先算模再相加。
5.3 不变因子和初等因子混为一谈
错在哪:把初等因子直接当成不变因子写下去,或者求完 D_k 就停手,不写不变因子。
为什么错:不变因子是行列式因子逐级相除得到的,满足整除链;初等因子是把不变因子中非常数的部分拆成一次因式幂。前者是一个多项式序列,后者是一堆带重数的因子,形式上根本不是一类东西。
怎么答对:答题册上三样东西分开写:D1 到 D4 一行,d1 到 d4 一行,初等因子一行。写完检查整除链 d1|d2|…|dn 是否成立,不成立就回去重算 D_k。
5.4 内积验证只写「显然」,公理不逐条
错在哪:把共轭对称性、线性、正定性挤成一句话,直接说「由 A 正定知是内积」。
为什么错:验证题的采分点就是分条。阅卷人按三条给分,写成一句话只能拿其中一条的分,剩下两条算未作答。
怎么答对:三条各起一行,每条开头写公理名,中间写推导,结尾写「故成立」。正定性那一条务必引用前一小问已经证出的 A 正定,这是命题人设置两问的用意。
5.5 幂等矩阵的边界情形漏掉
错在哪:证 |A+E|>1 时直接写 2^r>1,不讨论 r 的取值;或者把「特征值只能是 0 和 1」写成「特征值就是 0 和 1」。
为什么错:r=0 时 A 是零矩阵,|A+E
本文还有配套的精品资源,点击获取