后向稳定与可靠验收

从一个必须算清的问题开始

本节不先背名词。我们要完成：同时报告残差、后向误差、条件数和精度界。先列已知对象属于哪个空间、维数是多少、选了什么基、未知量是什么，再判断目标是求解、证明、分解、逼近还是稳定性诊断。数学对象和问题类型没有写清，任何公式都可能被误用。（任务锚：math-02-xiandai/u11/l07/后向稳定与可靠验收/problem。）

和前后内容怎样连接

前一节已经留下可复用的方程、基、分解或误差界。 本节连接说明是：收束数值性；下一章综合选择模型与算法。请把“上一节交付物→本节新增操作→下一节输入”画成三格箭头；这样《后向稳定与可靠验收》不会变成孤立术语。本章主题为《数值线性代数与稳定性》，每一步都必须保留空间、映射和坐标表示之间的区别。（连接锚：math-02-xiandai/u11/l07/后向稳定与可靠验收/bridge。）

核心公式与条件

$$(A+\Delta A)\hat{x}=b+\Delta b$$

逐个解释符号的定义域、陪域、矩阵尺寸、基和量词。等式成立需要哪些条件，要写在公式旁边：方阵、可逆、满秩、对称、正定、标准正交或误差独立都不能由题目气氛自动获得。只会抄公式而不能给一个满足条件的例子和一个破坏条件的反例，等于还不会使用。（公式锚：math-02-xiandai/u11/l07/后向稳定与可靠验收/formula。）

老师带你逐步做本课例题

针对“同时报告残差、后向误差、条件数和精度界”，第一步把文字写成向量、矩阵或线性映射；第二步检查尺寸和结构；第三步选择消元、换基、正交投影、谱分解或SVD；第四步保留至少三行中间式；第五步代回原问题；第六步用维数、秩、迹、行列式、正交性、残差或条件数做独立反查。最后不用原话复述，而是说明结果在几何上意味着方向、维数、体积、距离还是敏感性。（推导锚：math-02-xiandai/u11/l07/后向稳定与可靠验收/worked-example。）

为什么这一步成立

把计算中的关键等号还原成定义或定理。若使用消元，说明初等行变换为何保持解集；若使用基，证明无关且生成；若使用投影，证明残差正交；若使用特征分解，确认独立特征向量足够；若使用最小二乘或SVD，说明最优性所采用的范数。证明不是把等号排成长队，而是让每一步都有合法依据。（证明锚：math-02-xiandai/u11/l07/后向稳定与可靠验收/proof。）

本节最危险的失败边界

小残差在病态问题上仍可能对应很大的前向误差。请构造最小反例，逐行指出错误解第一次偏离的位置；再修正条件重算。边界不是课后“注意事项”，而是定理的一部分。尤其要警惕把行等价当相似、把坐标当向量、把小残差当小误差、把相关性当独立以及在秩亏矩阵上强行求逆。（反例锚：math-02-xiandai/u11/l07/后向稳定与可靠验收/counterexample。）

手算与程序互相验收

手算负责揭示结构，程序负责覆盖更多输入。程序题从标准输入读取矩阵或向量，至少四组测试覆盖普通、奇异、零值和边界情况。输出一个数字不够：还要检查Ax-b残差、Q^TQ-I、A-PDP^-1、A-UΣV^T或相对后向误差。数值算法返回成功不代表数学问题条件良好。（计算锚：math-02-xiandai/u11/l07/后向稳定与可靠验收/computation。）

随课四题的严格标准

单选检查定理条件，多选检查证据链，计算题必须写中间式，证明题按10分量表验收：对象与条件2分、关键推导3分、计算或几何解释2分、反例2分、记号与维数1分。只报答案、只背口诀或只贴软件输出不能证明掌握《后向稳定与可靠验收》。（练习锚：math-02-xiandai/u11/l07/后向稳定与可靠验收/practice。）

本课笔记怎样整理

为《后向稳定与可靠验收》单独留一页：左栏写定义和 (A+\Delta A)\hat x=b+\Delta b 的条件，中栏完整重算“同时报告残差、后向误差、条件数和精度界”，右栏保存失败边界“小残差在病态问题上仍可能对应很大的前向误差”及最小反例。页末再写一句与前后课的联系“收束数值性；下一章综合选择模型与算法”。一周后更换矩阵尺寸、基或参数重做；还能从定义恢复推导，才说明知识已经迁移而非记住版式。（笔记锚：math-02-xiandai/u11/l07/后向稳定与可靠验收/notes。）

交给下一节

闭卷回答：本节对象在哪个空间？核心关系怎样推出？例题哪一步使用了关键条件？撤掉哪个条件会失败？如何用另一不变量反查？最后把本节产出的解集、基、映射矩阵、正交分解、谱信息或误差界交给下一节。五问能重建才算学会。（交接锚：math-02-xiandai/u11/l07/后向稳定与可靠验收/handoff。）