第15章 奇异值分解
覆盖矩阵、正交分解、截断SVD与紧凑SVD；用推导路径、单故障数值轨迹和结论验收门完成独立复核。
学习目标
- 能说明“第15章 奇异值分解”如何覆盖矩阵、正交分解、截断SVD与紧凑SVD，并区分原版范围、独立核验和后续扩展
- 能先预测“怎样从矩阵形状和正交性得到奇异值分解，并用重构残差验收截断？”的定义与数值路径，再用已知量、变换、残差和反例逐步复核
- 能注入“转置方向或广播错误仍产生可乘矩阵，重构对象却已改变”，用“矩阵方向、维度、秩、奇异值次序、符号约定、截断阶数与容差固定”决定接受、降级或拒绝方法结论
为什么从这个方法推演开始
SVD页先锁定矩阵方向和形状，API返回成功不证明分解对象正确。 “第15章 奇异值分解”的贯穿任务是：对一个小矩阵手算SVD结构，再比较不同截断阶数的重构误差。 动手前先写下哪个定义、矩阵、分布、目标或迭代状态会变化；运行后补理由不算预测。
本页围绕“怎样从矩阵形状和正交性得到奇异值分解，并用重构残差验收截断？”建立参考、故障与恢复路径。只有“第15章 奇异值分解”守住“矩阵方向、维度、秩、奇异值次序、符号约定、截断阶数与容差固定”并交付矩阵形状、秩、U/S/Vh、正交残差、奇异值谱、截断阶数、重构矩阵与Frobenius误差。，公式、图形或指标才构成统计学习证据。
书目、285个原版层级与版本边界
“第15章 奇异值分解”以清华大学出版社官方书页核对李航著《统计学习方法（第2版）》于2019年出版、ISBN 9787302517276和监督/无监督两篇结构，同时以出版社英文版权页确认484页及两篇主要内容，再以出版社公开完整目录逐项核对两篇、22章、256个编号节/小节和附录A-E，因此本站覆盖分母共285个正式目录层级。
“第15章 奇异值分解”未取得原书完整正文授权，只以出版社完整目录限定范围；中文解释、推导、数值实验、交互、练习与答案均为独立教学重写。“第15章 奇异值分解”按2019年第2版范围解释；当前库函数和后续研究只作独立核验，不反写原版。
本页另以技术核对 1、技术核对 2、技术核对 3核对算法原始定义、实现语义或数值工具。外部资料能验证技术事实，不能反向证明原书正文采用了本站表述。
原版目录层级与方法机制
第15章 奇异值分解
↡奇异值分解对应原版目录坐标“第15章 奇异值分解”，在“第15章 奇异值分解”中用于以正交子空间和奇异值分解、截断并重构矩阵，并受定义域、形状、目标、算法状态与版本边界约束。原版坐标 1/11。 在“第15章 奇异值分解”的坐标1中，目录项「第15章 奇异值分解」用于以正交子空间和奇异值分解、截断并重构矩阵；先冻结符号与形状，再以形状、秩、U/S/Vh、正交残差、谱与重构误差复核，出现矩阵方向或截断对象错误时撤回结论。
15.1 奇异值分解的定义与性质
↡奇异值分解的定义对应原版目录坐标“15·1 奇异值分解的定义与性质”，在“第15章 奇异值分解”中用于以正交子空间和奇异值分解、截断并重构矩阵，并受定义域、形状、目标、算法状态与版本边界约束。原版坐标 2/11。 目录项「15·1 奇异值分解的定义与性质」进入“第15章 奇异值分解”后要回答第2个方法问题：它怎样以正交子空间和奇异值分解、截断并重构矩阵、改变什么数值状态、由哪些形状、秩、U/S/Vh、正交残差、谱与重构误差证明，并如何排除矩阵方向或截断对象错误。
15.1.1 定义与定理
↡定义对应原版目录坐标“15·1·1 定义与定理”，在“第15章 奇异值分解”中用于把目录坐标转为有定义、推导、计算和验收的统计学习合同，并受定义域、形状、目标、算法状态与版本边界约束。原版坐标 3/11。 围绕“怎样从矩阵形状和正交性得到奇异值分解，并用重构残差验收截断？”，在“第15章 奇异值分解”的原版层级3把「15·1·1 定义与定理」落实为把目录坐标转为有定义、推导、计算和验收的统计学习合同；复核者先读取变量、假设、目标、更新、数值残差、评估和边界反例，不能接受只复述结论或公式名称。
15.1.2 紧奇异值分解与截断奇异值分解
↡紧奇异值分解对应原版目录坐标“15·1·2 紧奇异值分解与截断奇异值分解”，在“第15章 奇异值分解”中用于以正交子空间和奇异值分解、截断并重构矩阵，并受定义域、形状、目标、算法状态与版本边界约束。原版坐标 4/11。 对“第15章 奇异值分解”而言，目录项「15·1·2 紧奇异值分解与截断奇异值分解」的最小推演合同是以正交子空间和奇异值分解、截断并重构矩阵，第4次检查保存形状、秩、U/S/Vh、正交残差、谱与重构误差；若产生矩阵方向或截断对象错误，就返回上一步。
15.1.3 几何解释
↡几何解释对应原版目录坐标“15·1·3 几何解释”，在“第15章 奇异值分解”中用于把目录坐标转为有定义、推导、计算和验收的统计学习合同，并受定义域、形状、目标、算法状态与版本边界约束。原版坐标 5/11。 第5个正式坐标「15·1·3 几何解释」服务于覆盖矩阵、正交分解、截断SVD与紧凑SVD，需要以变量、假设、目标、更新、数值残差、评估和边界反例呈现把目录坐标转为有定义、推导、计算和验收的统计学习合同；只复述结论或公式名称会破坏“矩阵方向、维度、秩、奇异值次序、符号约定、截断阶数与容差固定”。
15.1.4 主要性质
↡主要性质对应原版目录坐标“15·1·4 主要性质”，在“第15章 奇异值分解”中用于把目录坐标转为有定义、推导、计算和验收的统计学习合同，并受定义域、形状、目标、算法状态与版本边界约束。原版坐标 6/11。 在“第15章 奇异值分解”的坐标6中，目录项「15·1·4 主要性质」用于把目录坐标转为有定义、推导、计算和验收的统计学习合同；先冻结符号与形状，再以变量、假设、目标、更新、数值残差、评估和边界反例复核，出现只复述结论或公式名称时撤回结论。
15.2 奇异值分解的计算
↡奇异值分解的计算对应原版目录坐标“15·2 奇异值分解的计算”，在“第15章 奇异值分解”中用于以正交子空间和奇异值分解、截断并重构矩阵，并受定义域、形状、目标、算法状态与版本边界约束。原版坐标 7/11。 目录项「15·2 奇异值分解的计算」进入“第15章 奇异值分解”后要回答第7个方法问题：它怎样以正交子空间和奇异值分解、截断并重构矩阵、改变什么数值状态、由哪些形状、秩、U/S/Vh、正交残差、谱与重构误差证明，并如何排除矩阵方向或截断对象错误。
15.3 奇异值分解与矩阵近似
↡奇异值分解对应原版目录坐标“15·3 奇异值分解与矩阵近似”，在“第15章 奇异值分解”中用于以正交子空间和奇异值分解、截断并重构矩阵，并受定义域、形状、目标、算法状态与版本边界约束。原版坐标 8/11。 围绕“怎样从矩阵形状和正交性得到奇异值分解，并用重构残差验收截断？”，在“第15章 奇异值分解”的原版层级8把「15·3 奇异值分解与矩阵近似」落实为以正交子空间和奇异值分解、截断并重构矩阵；复核者先读取形状、秩、U/S/Vh、正交残差、谱与重构误差，不能接受矩阵方向或截断对象错误。
15.3.1 弗罗贝尼乌斯范数
↡弗罗贝尼乌斯范数对应原版目录坐标“15·3·1 弗罗贝尼乌斯范数”，在“第15章 奇异值分解”中用于把目录坐标转为有定义、推导、计算和验收的统计学习合同，并受定义域、形状、目标、算法状态与版本边界约束。原版坐标 9/11。 对“第15章 奇异值分解”而言，目录项「15·3·1 弗罗贝尼乌斯范数」的最小推演合同是把目录坐标转为有定义、推导、计算和验收的统计学习合同，第9次检查保存变量、假设、目标、更新、数值残差、评估和边界反例；若产生只复述结论或公式名称，就返回上一步。
15.3.2 矩阵的最优近似
↡矩阵的最优近似对应原版目录坐标“15·3·2 矩阵的最优近似”，在“第15章 奇异值分解”中用于把目录坐标转为有定义、推导、计算和验收的统计学习合同，并受定义域、形状、目标、算法状态与版本边界约束。原版坐标 10/11。 第10个正式坐标「15·3·2 矩阵的最优近似」服务于覆盖矩阵、正交分解、截断SVD与紧凑SVD，需要以变量、假设、目标、更新、数值残差、评估和边界反例呈现把目录坐标转为有定义、推导、计算和验收的统计学习合同；只复述结论或公式名称会破坏“矩阵方向、维度、秩、奇异值次序、符号约定、截断阶数与容差固定”。
15.3.3 矩阵的外积展开式
↡矩阵的外积展开式对应原版目录坐标“15·3·3 矩阵的外积展开式”，在“第15章 奇异值分解”中用于把目录坐标转为有定义、推导、计算和验收的统计学习合同，并受定义域、形状、目标、算法状态与版本边界约束。原版坐标 11/11。 在“第15章 奇异值分解”的坐标11中，目录项「15·3·3 矩阵的外积展开式」用于把目录坐标转为有定义、推导、计算和验收的统计学习合同；先冻结符号与形状，再以变量、假设、目标、更新、数值残差、评估和边界反例复核，出现只复述结论或公式名称时撤回结论。
先预测，再操作三个章专属实验
1. 定义、推导与变换路径
固定“对一个小矩阵手算SVD结构，再比较不同截断阶数的重构误差。”，在参考与反例间切换，逐阶段查看“矩阵与形状、正交子空间、奇异值排序、截断重构、残差验收”的已知量、变换、结果和数值检查。
推导路径
选择案例，逐步核对已知量与变换
怎样从矩阵形状和正交性得到奇异值分解，并用重构残差验收截断？
问题设置
对一个小矩阵手算SVD结构，再比较不同截断阶数的重构误差。 固定符号、数据、初值、顺序、容差和种子。
事前预测
沿“矩阵与形状 → 正交子空间 → 奇异值排序 → 截断重构 → 残差验收”得到可复核结果。
适用边界
全过程必须满足“矩阵方向、维度、秩、奇异值次序、符号约定、截断阶数与容差固定”。
已知量
第15章 奇异值分解：声明对象、符号与适用域，冻结数据、形状和版本
变换或更新
只读取本步允许的已知量，并持续满足“矩阵方向、维度、秩、奇异值次序、符号约定、截断阶数与容差固定”
阶段结果
矩阵与形状产生形式化问题状态
数值与逻辑检查
形式化问题状态、索引和数值断言；出现“转置方向或广播错误仍产生可乘矩阵，重构对象却已改变”时停止
原版坐标：第15章 奇异值分解、15.1 奇异值分解的定义与性质、15.1.1 定义与定理、15.1.2 紧奇异值分解与截断奇异值分解、15.1.3 几何解释、15.1.4 主要性质、15.2 奇异值分解的计算、15.3 奇异值分解与矩阵近似、15.3.1 弗罗贝尼乌斯范数、15.3.2 矩阵的最优近似、15.3.3 矩阵的外积展开式
第15章 奇异值分解的可重放方法协议
| 阶段 | 允许动作 | 必留证据 | 拒绝条件 |
|---|---|---|---|
| 矩阵与形状 | 在“第15章 奇异值分解”执行矩阵与形状，只改变声明的数学或数值状态 | 符号、定义域、形状、数据与版本 | 对象或形状不可追溯 |
| 正交子空间 | 在“第15章 奇异值分解”执行正交子空间，只改变声明的数学或数值状态 | 模型、目标、约束、参数/隐变量与迭代轨迹 | 转置方向或广播错误仍产生可乘矩阵，重构对象却已改变 |
| 奇异值排序 | 在“第15章 奇异值分解”执行奇异值排序，只改变声明的数学或数值状态 | 模型、目标、约束、参数/隐变量与迭代轨迹 | 转置方向或广播错误仍产生可乘矩阵，重构对象却已改变 |
| 截断重构 | 在“第15章 奇异值分解”执行截断重构，只改变声明的数学或数值状态 | 模型、目标、约束、参数/隐变量与迭代轨迹 | 转置方向或广播错误仍产生可乘矩阵，重构对象却已改变 |
| 残差验收 | 在“第15章 奇异值分解”执行残差验收，只改变声明的数学或数值状态 | 残差、诊断、反例、适用边界与复现 | 无法重放或缺少诊断 |
unit: "slm-15"
question: "怎样从矩阵形状和正交性得到奇异值分解，并用重构残差验收截断？"
scenario: "对一个小矩阵手算SVD结构，再比较不同截断阶数的重构误差。"
stages: ["矩阵与形状", "正交子空间", "奇异值排序", "截断重构", "残差验收"]
invariant: "矩阵方向、维度、秩、奇异值次序、符号约定、截断阶数与容差固定"
fault: "转置方向或广播错误仍产生可乘矩阵，重构对象却已改变"
evidence: "矩阵形状、秩、U/S/Vh、正交残差、奇异值谱、截断阶数、重构矩阵与Frobenius误差。"
reset: restore_case_stage_trace_mode_step_gates_and_artifact该协议要求“第15章 奇异值分解”在相同符号、数据、形状、初值、顺序、容差和种子下重放。重置后若案例、阶段、轨迹模式、步骤、结论门或证据包没有回到基线，交互状态已经污染比较。
本页回顾
掌握“第15章 奇异值分解”不是背诵公式或API，而是能围绕“怎样从矩阵形状和正交性得到奇异值分解，并用重构残差验收截断？”重建定义与数值证据，并用“矩阵方向、维度、秩、奇异值次序、符号约定、截断阶数与容差固定”拒绝“转置方向或广播错误仍产生可乘矩阵，重构对象却已改变”。最终交付为矩阵形状、秩、U/S/Vh、正交残差、奇异值谱、截断阶数、重构矩阵与Frobenius误差。
练习与答案
练习
- 问题 1：方法合同。 “第15章 奇异值分解”为什么必须先冻结符号、数据、形状、初值、顺序、容差和种子？
- 问题 2：目录逐项覆盖。 怎样证明原版目录坐标已经进入机制、交互和练习？
- 问题 3：故障恢复。 怎样证明“转置方向或广播错误仍产生可乘矩阵，重构对象却已改变”已经被修正？
名词解释
名词解释
本章出现的专业名词，用大白话再讲一遍。
- 奇异值分解
检索键 slm-A 对应目录坐标「第15章 奇异值分解」；在“第15章 奇异值分解”中用于以正交子空间和奇异值分解、截断并重构矩阵，需要连接原版范围、定义、数值状态与独立证据。
- 奇异值分解的定义
检索键 slm-B 对应目录坐标「15·1 奇异值分解的定义与性质」；在“第15章 奇异值分解”中用于以正交子空间和奇异值分解、截断并重构矩阵，需要连接原版范围、定义、数值状态与独立证据。
- 定义
检索键 slm-C 对应目录坐标「15·1·1 定义与定理」；在“第15章 奇异值分解”中用于把目录坐标转为有定义、推导、计算和验收的统计学习合同，需要连接原版范围、定义、数值状态与独立证据。
- 紧奇异值分解
检索键 slm-D 对应目录坐标「15·1·2 紧奇异值分解与截断奇异值分解」；在“第15章 奇异值分解”中用于以正交子空间和奇异值分解、截断并重构矩阵，需要连接原版范围、定义、数值状态与独立证据。
- 几何解释
检索键 slm-E 对应目录坐标「15·1·3 几何解释」；在“第15章 奇异值分解”中用于把目录坐标转为有定义、推导、计算和验收的统计学习合同，需要连接原版范围、定义、数值状态与独立证据。
- 主要性质
检索键 slm-F 对应目录坐标「15·1·4 主要性质」；在“第15章 奇异值分解”中用于把目录坐标转为有定义、推导、计算和验收的统计学习合同，需要连接原版范围、定义、数值状态与独立证据。
- 奇异值分解的计算
检索键 slm-G 对应目录坐标「15·2 奇异值分解的计算」；在“第15章 奇异值分解”中用于以正交子空间和奇异值分解、截断并重构矩阵，需要连接原版范围、定义、数值状态与独立证据。
- 奇异值分解
检索键 slm-H 对应目录坐标「15·3 奇异值分解与矩阵近似」；在“第15章 奇异值分解”中用于以正交子空间和奇异值分解、截断并重构矩阵，需要连接原版范围、定义、数值状态与独立证据。
- 弗罗贝尼乌斯范数
检索键 slm-I 对应目录坐标「15·3·1 弗罗贝尼乌斯范数」；在“第15章 奇异值分解”中用于把目录坐标转为有定义、推导、计算和验收的统计学习合同，需要连接原版范围、定义、数值状态与独立证据。
- 矩阵的最优近似
检索键 slm-J 对应目录坐标「15·3·2 矩阵的最优近似」；在“第15章 奇异值分解”中用于把目录坐标转为有定义、推导、计算和验收的统计学习合同，需要连接原版范围、定义、数值状态与独立证据。
- 矩阵的外积展开式
检索键 slm-K 对应目录坐标「15·3·3 矩阵的外积展开式」；在“第15章 奇异值分解”中用于把目录坐标转为有定义、推导、计算和验收的统计学习合同，需要连接原版范围、定义、数值状态与独立证据。