以下是对图片中Eckart-Young-Mirsky 定理（谱范数版本）的完整、透彻讲解。图片展示的是该定理在2-范数（谱范数）下的形式，即矩阵的最佳低秩逼近问题。我会先陈述定理，然后逐部分解释图片中的内容，并将所有公式用标准的 LaTeX 格式重新呈现，便于阅读。
定理陈述
设是一个矩阵，其奇异值分解（SVD）为
,
其中 p=min(m,n) ，奇异值满足 σ1≥σ2≥⋯≥σp≥0 ，U 和 V 的列分别是左、右奇异向量（单位正交）。
Eckart-Young-Mirsky 定理（谱范数版本）：
,
并且最小值由截断 SVD 达到：
这里的是谱范数（算子范数），即矩阵的最大奇异值。
图片内容逐部分解释
1. SVD 分解与截断逼近（上界）
图片左侧写出了矩阵的完整 SVD：
截断前 R 项得到低秩逼近：
误差计算（上界证明）：
用矩阵形式写成：
这是一个对角矩阵（除前 R 行/列全零外），乘以酉矩阵 U 和不改变奇异值。因此误差矩阵的奇异值恰好是
，最大奇异值是
，故谱范数
这证明了上界：存在一个秩至多 R R R 的矩阵使逼近误差等于。
2. 下界证明（关键部分，图片右下黄色框）
要证明定理的完备性，还需说明任何秩 ≤ R 的矩阵 A′ 都满足
图片用一个极小化问题巧妙地给出了下界：
考虑子空间（由前 R+1 个右奇异向量张成），维度为 R+1
对任意秩 ≤ R 的矩阵 B （这里用 B 表示任意的 A′ ），由秩-零度定理，B 的像空间维度 ≤ R ，因此限制到 S 上的的像维度 ≤ R ，从而其核维度
于是存在单位向量 x∈S ，，使得 Bx=0
此时
因此谱范数
关键是：对任意这样的 B ，总存在这样的 x∈S ，，使上式成立。要得到对所有 B 都成立的统一下界，我们取最坏情况，即
在单位球面上的最小值：
任意 x∈S ，可写成
，
，则
图片中正是求这个最小值：
约束
由于，目标函数在单位球上的最小值在“最弱方向”取得：取
，其余
，得到最小值
.
因此，对任意 B （秩 ≤ R ），总有
这就证明了下界。
总结
- 上界：截断 SVD 给出误差恰好
。
- 下界：利用前 R+1 个右奇异向量张成的子空间和秩-零度定理，证明任何低秩逼近误差至少
。
两者结合，截断 SVD 正是谱范数意义下最佳的秩 ≤ R 逼近，误差精确为第 R+1 个奇异值。
（注：存在另一个版本用 Frobenius 范数，此时最佳误差是
，证明更直接，但图片展示的是谱范数版本。）
这个证明非常经典且精炼，子空间维数比秩多 1 是关键，使得总能找到一个方向被低秩矩阵“抹平”，而在该方向上 A 的增益至少是。
