综合自测卷 · 补充篇(100 分 · 建议 100 分钟)
本页属“补充篇 · 数值线性代数工具箱”,不是课堂第 2 章;课堂第 2 章见线性方程组的解法。
闭卷、计时、独立完成——查书或看解答做出来的分数没有意义。做完先按文末评分标准自评,再按漏点定位表回查。范围:第二章 2.1–2.8 与数值实验。本卷题目全部为新增(与习题集、考场模拟卷不重叠),覆盖同样的知识点。
时间分配建议:第一部分 分钟(每题约 分钟,写「判断 + 一句话理由」)→ 第二部分 分钟 → 第三部分 分钟(每题约 分钟,手算题宁慢勿跳步)→ 第四部分 分钟(每题约 分钟,写清四件套)→ 留最后 分钟检查第一部分有没有只写对错的题。
- 判断必须带机制词:写「错」不给分,写「错,因为范数为 只保证『标准』,正交要逐个验证内积」才拿满。常用机制词:平行四边形恒等式、列满秩、
cond平方、正交性损失量级、对称 + 幂等、截断阈值。 - 公式要说前提:正态方程要写「 列满秩」;QR 唯一要写「 对角元全为正」;系数扰动界要写「」。
- 手算题先摆中间量、报误差要注明范数:、、残差、 都要落在卷面上(只给最终答案最多得 分);「能信几位」要说清是 还是 量级。
- 开放题四件套:方案 / 理由 / 失败判据 / 验证计划,缺一项扣 分(第四部分每题 分)。
第一部分 · 概念判断(10 题 × 3 分 = 30 分)
判断对错,并给出一句话理由或反例。只写「对 / 错」不得分。
1. 若 中三个向量两两不同、范数都为 ,则它们构成 的一组标准正交基。
解答
2. 向量 满足平行四边形恒等式,因此可以用它定义正交、投影与 SVD。
3. 设 、,则 ,且 、。
解答
3. 对。 这就是秩定理(行秩=列秩)与两个维数公式:、、(定理 2.2.1)。给分:判断 分,写出 与两个 得 分。
4. 设长方阵 ()满足 ,则必有 。
5. 实矩阵 满足 ,则 是某个子空间上的正交投影矩阵。
解答
5. 错。 正交投影要求对称 + 幂等;只幂等的是斜投影,其余项不垂直于子空间。反例 : 但 (2.2.6 错误 5)。
6. 最小二乘解总是存在;当 列满秩时它唯一,并可由正态方程 解出。
解答
6. 对。 存在性: 总可正交分解为 与 , 的原像即最小二乘解;唯一性等价于 列满秩(此时 非奇异);正态方程正是 的代数写法(定理 2.2.6)。
7. 经典 Gram–Schmidt(CGS)与修正 Gram–Schmidt(MGS)数学上等价,因此浮点下算出的 也相同。
解答
7. 错。 精确算术下两者结果相同,浮点下差一个 :CGS 的正交性损失是 、MGS 是 。实测 时 CGS 的 (完全不正交),MGS 为 ,Householder 为 (2.3.3 实测表)。
8. 对任意非奇异方阵 与任意矩阵范数,都有 ,且 。
解答
8. 错(两处都不严谨)。 ① 次可乘性只给出 ,一般不是等式(、 时 、左端 、右端 )。② 需要 ,即算子范数;F-范数下只有 (定理 2.4.1)。
9. 求解器报告的残差很小(例如 )就说明解的前向误差也很小。
10. (a) 对任何实方阵都有 ;(b) 对任何矩阵都有 。
解答
10. (a) 错、(b) 对。 (a) 奇异值总非负、共 个,特征值可负可复;反例 : 而 。(b) 对:取特征向量 得 ,取最大即得 (2.5.1 三者关系框)。给分:(a)(b) 各 分。
第二部分 · 填空与简答(5 题 × 4 分 = 20 分)
11. 判断 是否为 的标准正交基;若是,写出 在这组基下的坐标,并核对 Parseval 恒等式。
解答
11. 是标准正交基。 逐个验证(这是唯一正确的流程): 范数:、、;三个两两正交的非零向量线性无关(定理 2.1.3),故是标准正交基。 坐标(内积即可):、、。 Parseval 核对: ✓。给分:正交性核实 分(漏查任一对扣 )、坐标 分、Parseval 分。
12. 用 Givens 旋转把 化为 :写出 、、 与旋转矩阵 ,验证 ,并说明计算 时为什么必须用 hypot。
解答
13. 对 、初值 :做一步幂法(先乘 、再单位化),写出 ,并用 Rayleigh 商给出 的估计;与真主特征值比较,指出理论误差量级 是多少。
解答
13. ,,故 。 , 真特征值 ,故 ,估计误差 。理论量级:,Rayleigh 商误差 ——与实测 同量级(若改用 一阶估计,误差量级是 ,同样精度要多花一倍步数)(定理 2.5.3)。给分: 分、Rayleigh 商 分、量级说明 分。
14. 对 写出全部 Gerschgorin 行圆盘与列圆盘,给出由两个并集取交集得到的最紧围栏,并说明为什么 非奇异。
解答
14. 行圆盘(第 行非对角绝对值和为半径):
| 中心 | 半径 | 区间 | |
|---|---|---|---|
| 1 | |||
| 2 | |||
| 3 |
列圆盘(半径换成该列非对角绝对值和):第 列 ;第 列 ;第 列 。 最紧围栏:行并集 ,列并集 ,取交集得 结构信息:行圆盘里 与其余两个不相交,故其中恰含 个特征值; 与 连通,该连通区恰含 个特征值(定理 2.5.2 包含性与连通性条款)。 非奇异: 严格对角占优(、、),故 不属于任何圆盘、 可逆(数值核对:特征值 ,全部落在 内 ✓)。给分:行圆盘 分、列圆盘 分、交集 分、非奇异依据 分。
15. 某对称正定矩阵在 2-范数下 ,双精度下 : (1) 解 时大约丢几位有效数字、还剩几位(按双精度约有 位计)? (2) 若把同一问题改写成最小二乘并用正态方程求解,等效问题的条件数变成多少、还剩几位?(提示:。) (3) 条件数大到什么量级时,双精度任何算法都救不了?
解答
第三部分 · 推导计算(3 题 × 10 分 = 30 分)
16.(10 分) 设
(1) 求 与四个基本子空间的一组基(列空间的基必须取 的原始列),并核对两对正交补(基对基核对即可); (2) 记 为 的前两列,求到 上的正交投影矩阵 ,并验证 、、; (3) 求 在 上的正交投影、相应的最小二乘解 、残差 与 ,并核对 。
第 16 题答案与评分要点
(1) 行关系:(核对: ✓),故 。
| 子空间 | 维数 | 一组基 | 取法 |
|---|---|---|---|
| 主元列(第 列)的原始列 | |||
| 行关系 | |||
| 原始前两行(化简后的非零行亦可) | |||
| 解 、 |
正交性核对(): ✓; ✓; ✓; ✓。 (): ✓; ✓。
(2) , 验证: ✓(矩阵对称); ✓; ✓(另外 ,特征值为 )。
(3) 最小二乘解由 给出,: 核对 : ✓(另外两列由前两列线性组合而来,故同样为零)。勾股核对:、、和 ✓。
评分:(1) 分( ;四个基各 ;两对正交性核对 );(2) 分( 与逆 、 、三条性质 );(3) 分( 、 、 、 核对 )。用行变换后的列当列空间基,(1) 该基不得分(行变换不保持列空间)。
17.(10 分) 设
(1) 手算 Gram–Schmidt 正交化,写出 (列标准正交)与 (上三角、对角元为正,保留根号形式); (2) 用 QR 解最小二乘:写出 ,回代 求出 ,再给出投影 、残差 、,并核对 ; (3) 用正态方程 重算 ,与 (2) 对照; (4) 若 换成条件数 的病态 Vandermonde 设计矩阵(,相容右端),说明两条路线的误差量级与数字,并指出「何时必须弃用正态方程」。
第 17 题答案与评分要点
18.(10 分) 设
(1) 求 的特征值与 的奇异值 ,写出 的两列; (2) 由 求出 ,并用外积形式核算 (写出两项各自的结果); (3) 写出秩 截断 ,验证 与 (Eckart–Young); (4) 由此读出 、、、,并按 预测「用双精度解 会丢几位有效数字」。
第 18 题答案与评分要点
(1) 特征方程 ,故 : 特征向量: 时 ,取 ; 时 ,取 , (核对: 正交、、 ✓。)
(2) (两列正交、范数 ,故是正交阵;注意不同库可能给出整体差一个符号的解)。 外积核算: 两者相加 ✓。
(3) ,于是 两条算法都该写出来: ① 由 Eckart–Young 直接读出 ;② 独立核对: 是秩 矩阵,秩 矩阵 的 2-范数 ,故 ✓ —— 两者一致。Frobenius 版: ✓(只残留一个非零奇异值)。
(4) 丢失位数 ,即几乎不丢位数(剩约 位)—— 是良态。
评分:(1) 与特征值 分、奇异值 分、 分;(2) 分(两列各 )、外积核算 分;(3) 与外积 分、两条 Eckart–Young 等式 分;(4) 四个量与位数预测 分。把 写成 (本题 指 的 ,或 的 )该小题不得分。
第四部分 · 开放论述(2 题 × 10 分 = 20 分)
19.(10 分) 你拿到一个实测矩阵 (每列一个特征、每行一个样本,含测量噪声),下游任务同时需要压缩存储、去噪、降维三件事。请给出: (1) 技术方案:用哪个工具、给出核心公式与复杂度,并说明为什么不用另外两个候选(列主元 QR、正态方程); (2) 截断点 的确定流程:给出至少三条可操作判据(含阈值怎么取); (3) 至少三条失败判据(必须可测量); (4) 验证计划(含与理论对账的项)。
第 19 题参考答案与评分要点
(1) 方案:SVD 截断(np.linalg.svd / 随机化 SVD),核心公式
复杂度约 ( 规模完全可承受;再大就用随机化 SVD)。
为什么不用另外两个:① 列主元 QR 能给出秩估计与一组正交基,但基不按「能量」排序,无法直接给出「最优 项截断」——Eckart–Young 保证最优的是截断 SVD;② 正态方程面对的是最小二乘求解问题,而这里要做的是低秩分解,且形成 会把条件数平方、还要额外算 的特征值分解。
关键前提:做「降维 / 方差解释」之前必须先中心化(),否则第一主方向会指向均值方向,所谓的「解释方差」根本不是方差。
(2) 的确定流程(三条判据,取交集/先到先得)
① 噪声水平判据:, 噪声幅度 ——这是实践中最常用的(低噪场景等价于「谱的断层」判据)。不要用 matrix_rank 的默认阈值 :它只适合「精确矩阵数值降秩」(实测同一矩阵默认判秩 、按噪声水平只有 )。
② 能量判据:取最小的 使 (工程常用;图像压缩里对应 PSNR 目标)。
③ 拐点判据:画 对 的曲线,取曲线陡降段之后的平台起始处为 ——谱断层说明「断层后是噪声子空间」。
④ 交叉验证(下游任务)作为兜底: 变化 而下游指标不变,说明选得稳。
(3) 失败判据(≥3,可测量)
① 用未截断的伪逆 / 求逆得到下游结果时,输出范数比输入大 量级()→ 说明噪声被放大,必须截断(未截断伪逆会放大 )。
② 截断后残差能量比 明显大于噪声水平(例如噪声 而残差 )→ 取得太小,把信号也砍了。
③ 增大到某处后验证损失(或下游指标)先变好再变坏,且坏的那段对应 已低于噪声水平 → 把噪声方向当成了信号方向。
④ svd 返回值里出现 的非零「奇异值」却把它当真 ⇒ 数值秩判断被机器精度污染;或 时任何双精度结论都不可用。
(4) 验证计划
① 理论对账:直接核对 与 (应当精确到机器精度);
② 构造对照:用指定谱(如指数衰减)合成矩阵,检查实测误差曲线与理论曲线重合,并随机生成若干秩 矩阵证明它们的误差都 (Eckart–Young 的下界);
③ 中心化核账:验证 ( 为样本协方差)与方差解释比之和为 ;
④ 技术路线对照:svd 与 eigh(X_cᵀX_c) 的结果比对——数值上应当一致,但在病态情形 路线会明显更差(这是「不要在 上做特征值分解」的活证据);
⑤ 固定随机种子,报告 谱、、能量占比、残差与下游指标四组数字,便于复现。
评分:(1) 分(工具 + 公式 、两条排除理由各 、中心化前提 );(2) 分(三条判据各 ,须含阈值取法);(3) 分(三条可测量判据);(4) 分(至少两条对账项)。中心化没提,(1) 上限 分。
20.(10 分) 某团队求解 ( 为 阶稀疏非对称矩阵),求解器返回「相对残差 」,于是在报告里写下结论「解精确到 15 位有效数字」。请: (1) 判断这句话是否成立,写出正确的误差估计式,并逐项说明每个因子怎么得到; (2) 给出可执行的三步诊断流程(不许显式求逆); (3) 至少三条可测量的失败判据; (4) 验证计划(含「构造已知真解」的做法与多算法对照)。
第 20 题参考答案与评分要点
(1) 结论不成立。 正确的关系是 即「能信几位」由 决定,而不是由残差本身决定。各项来源:
- :求解器直接给出(后向误差,算法稳定的证据);
- :不需求逆也能估——用
cond(A,1)/cond(A,inf)(基于 LU 的逆估计,,LAPACKgecon)或 的估计;报告时必须注明用的哪个范数( 数值可差 倍量级,但「丢几位」的结论一致); - 丢失位数 ,本例若 ,则 :解只剩约 位,与「精确到 15 位」相差甚远。 一句话:求解器保证的是「某个邻近问题的精确解」(后向稳定),用户要的是「自家问题的近似解」(前向误差),两者之间隔着条件数(1.2.6、定理 2.4.4)。
(2) 三步诊断(不求逆)
① 估条件数:np.linalg.cond(A, np.inf)(或 1-范数版、或让 LAPACK 返回逆范数估计),得到 的量级;同时做行均衡化(各行除以该行绝对值和或最大元)后再估一次——若两次数值差 倍以上,原报告里的「病态」有一半是单位没选好。
② 算判据:比较 与目标精度(例如要求相对误差 ):若该乘积远大于目标,则问题本身就给不出这么准的解,换算法无效(病态是问题的属性);若乘积达标,则可放心使用残差结论。
③ 可选加固:把参数、矩阵按需做迭代精化(用双精度算残差 ,再解 、令 ),或提高工作精度(float128 / double-double / MPFR);若 ,只能重述问题(正则化 / 换配方 / 换模型)。
(3) 失败判据(≥3,可测量) ① 超过目标精度 倍以上 → 「15 位」的结论作废(本判据直接推翻原报告)。 ② 构造已知真解 (取 ,令 )后用同一求解器求解,实测相对误差 (例如预测 而实测 )→ 说明还有别的问题:算法不稳定、矩阵输入有误或残差计算方式不一致。 ③ 换三种算法(直接法 / 迭代法 / 高精度参考)得到的解相互差异大于预测误差 倍 → 至少两种实现中有一种不可靠,先查残差与主元。 ④ 行均衡化前后 相差 倍以上 → 报告里的病态判断建立在缩放不良之上,先修单位再谈精度。 ⑤ 停机判据用「相邻迭代差」时,若 长期 → 迭代矩阵谱半径过于接近 ,步数不可预测,报告里的精度不可信(呼应第一章 1.3.5 的收敛判据)。
(4) 验证计划
① 构造已知真解:取 ,算 ,再用待测求解器求解,报「实测相对误差 / 」的比值(稳定在这个比值的常数倍内,说明界是紧的);
② 多算法对照:直接法(LU + 主元)、迭代法(预条件 GMRES)、高精度参考(float128 或迭代精化到收敛)三条路线互相验证;差异超预期就回到 ① 找原因;
③ 条件数敏感性扫描:把 从 扫到 (例如用 Hilbert 或 Vandermonde 族),画「实测误差 vs 」曲线,验证两者同量级、并标出误差超过 的临界点;
④ 报告规范核对:结果一行必须含「值 + 残差 + 的量级与所用范数 + 预计可靠位数」;缺范数注明的报告按不合格处理(范数影响误差界的常数,见 1.3.6)。
评分:(1) 分(判断 、估计式 、两个因子的来源 );(2) 分(三步各 ,须可执行);(3) 分(三条可测量);(4) 分(构造真解 + 多算法对照)。不注明范数、或把残差直接当误差,(1) 得 分。
评分标准
| 部分 | 题量 | 分值 | 给分要点 |
|---|---|---|---|
| 一 · 概念判断 | 10 | 30 | 判断 分 + 理由 / 反例 分;只写对错得 分 |
| 二 · 填空与简答 | 5 | 20 | 结果正确 分 + 关键说明 分;中间量缺失扣 分 |
| 三 · 推导计算 | 3 | 30 | 中间量 / 公式 分 + 链条完整 分 + 核对与收口 分;只写结论最多 分 |
| 四 · 开放论述 | 2 | 20 | 方案具体 分 + 判据可测量 分 + 验证计划 分 |
段位换算: 优秀(能讲清「哪个工具、为什么、代价多少」); 良好(能独立走完 QR / SVD 全流程); 及格(公式会算、条件记不牢); 回到 2.8 的八个陷阱逐条对照,再重做习题集同型题。自评纪律:① 判断理由必须包含机制词(平行四边形恒等式、列满秩、对称 + 幂等、 平方、正交性损失量级、截断阈值),否则按半对给 分;② 手算题凡是跳过 自检或不写中间量的,从收口里扣 分;③ 概念题把「 很小的良态问题」与「算法要不要换」混为一谈的,按概念性错误处理(该题理由不得分)。
漏点定位表
| 错题 | 回去读 | 立刻补做 |
|---|---|---|
| 1、2、11 | 2.1.2、例 2.1.2、定理 2.1.4 | 习题 A1、回忆卡 A2/B2 |
| 3、4、5、16 | 2.2.1、2.2.3 指纹框、定理 2.2.5 | 习题 A2、习题 B3 |
| 6、7、8、9、15、17、20 | 2.3.3 实测表、定理 2.3.5、2.4.2 判据表、2.4.4、2.4.6 错误 1–4 | 习题 A3、习题 C2、习题 B5、习题 D1 |
| 10、13、14 | 2.5.1 三者关系框、定理 2.5.2、定理 2.5.3 | 习题 C4、习题 C6 |
| 12、18、19 | 2.3.5、2.6.1、定理 2.6.4、2.6.4 思考(数值秩)、2.7.3 实验三 | 习题 C1、习题 C5、习题 D4 |