低秩近似之路（二）：SVD

Author: [苏剑林]

Link: [https://zhuanlan.zhihu.com/p/2957340022]

最佳排版请看原博客：

低秩近似之路（二）：SVD - 科学空间|Scientific Spaces (opens new window)上一篇文章中我们介绍了“https://kexue.fm/archives/10366 (opens new window)”，它关系到给定矩阵$\mathit{M}$ $\mathit{A}$（或$\mathit{B}$）时优化目标$\Vert \mathit{A}\mathit{B}-\mathit{M}{\Vert }_F^2$ 最优解。这篇文章我们来关注$\mathit{A},\mathit{B}$ 不给出时的最优解，即

${\text{argmin}}_{\mathit{A},\mathit{B}}\Vert \mathit{A}\mathit{B}-\mathit{M}{\Vert }_F^2$

其中$\mathit{A}\in {\mathbb{R}}^{n\times r},\mathit{B}\in {\mathbb{R}}^{r\times m},\mathit{M}\in {\mathbb{R}}^{n\times m},r<min(n,m)$。说白了，这就是要寻找矩阵$\mathit{M}$ “最优$r$ 近似（秩不超过$r$ 最优近似）”。而要解决这个问题，就需要请出大名鼎鼎的“SVD（奇异值分解）”了。虽然本系列把伪逆作为开篇，但它的“名声”远不如SVD，听过甚至用过SVD但没听说过伪逆的应该大有人在，包括笔者也是先了解SVD后才看到伪逆。

接下来，我们将围绕着矩阵的最优低秩近似来展开介绍SVD。

结论初探

对于任意矩阵$\mathit{M}\in {\mathbb{R}}^{n\times m}$，都可以找到如下形式的奇异值分解（SVD，Singular Value Decomposition）：

$\mathit{M}=\mathit{U}\mathbf{\Sigma }{\mathit{V}}^{\mathrm{\top }}$ 其中$\mathit{U}\in {\mathbb{R}}^{n\times n},\mathit{V}\in {\mathbb{R}}^{m\times m}$ 是正交矩阵，$\mathbf{\Sigma }\in {\mathbb{R}}^{n\times m}$ 非负对角矩阵： ${\mathbf{\Sigma }}_{i,j}=\{\begin{array}{rlr}& {\sigma }_i,& i=j\\ & 0,& i\ne j\end{array}$

对角线元素默认从大到小排序，即${\sigma }_1\ge {\sigma }_2\ge {\sigma }_3\ge \cdots \ge 0$，这些对角线元素就称为奇异值（Singular Value）。从数值计算角度看，我们可以只保留$\mathbf{\Sigma }$ 非零元素，将$\mathit{U},\mathbf{\Sigma },\mathit{V}$ 大小降低到$n\times r,r\times r,m\times r$（$r$ $\mathit{M}$ 秩），保留完整的正交矩阵则更便于理论分析。

SVD对于复矩阵同样成立，但需要将正交矩阵改为酉矩阵，转置改为共轭转置，但这里我们主要聚焦于跟机器学习关系更为密切的实矩阵结果。SVD的基础理论包括存在性、计算方法以及它与最优低秩近似的联系等，这些内容笔者后面都会给出自己的理解。

在二维平面下，SVD有非常直观的几何意义。二维的正交矩阵主要就是旋转（还有反射，但几何直观的话可以不那么严谨），所以$\mathit{M}\mathit{x}=\mathit{U}\mathbf{\Sigma }{\mathit{V}}^{\mathrm{\top }}\mathit{x}$ 味着任何对（列）向量$x$ 线性变换，都可以分解为旋转、拉伸、旋转三个步骤，如下图所示：

一些应用

不管是理论分析还是数值计算，SVD都有非常广泛的应用，其背后的原理之一是常用的矩阵/向量范数对正交变换具有不变性，所以SVD左右两个正交矩阵夹着中间一个对角矩阵的特点，往往能用来将很多矩阵相关的优化目标转换为等价的非负对角矩阵特例，起到简化问题的作用。

伪逆通解

以伪逆为例，当$\mathit{A}\in {\mathbb{R}}^{n\times r}$ 秩为$r$ ，我们有

${\mathit{A}}^{†}={\text{argmin}}_{\mathit{B}\in {\mathbb{R}}^{r\times n}}\Vert \mathit{A}\mathit{B}-{\mathit{I}}_n{\Vert }_F^2$

上一篇文章我们通过求导得出了${\mathit{A}}^{†}$ 表达式，然后又花了一些心思推广到$\mathit{A}$ 秩小于$r$ 情形。但如果引入SVD的话，那么问题就简化得多了。我们可以将$\mathit{A}$ 解为$\mathit{U}\mathbf{\Sigma }{\mathit{V}}^{\mathrm{\top }}$，然后将$\mathit{B}$ 示成$\mathit{V}\mathit{Z}{\mathit{U}}^{\mathrm{\top }}$，注意我们没有规定$\mathit{Z}$ 对角阵，所以$\mathit{B}=\mathit{V}\mathit{Z}{\mathit{U}}^{\mathrm{\top }}$ 是可以做到的，于是

$\begin{array}{rl}\underset{\mathit{B}}{min}\Vert \mathit{A}\mathit{B}-{\mathit{I}}_n{\Vert }_F^2=& \underset{\mathit{Z}}{min}\Vert \mathit{U}\mathbf{\Sigma }{\mathit{V}}^{\mathrm{\top }}\mathit{V}\mathit{Z}{\mathit{U}}^{\mathrm{\top }}-{\mathit{I}}_n{\Vert }_F^2\\ =& \underset{\mathit{Z}}{min}\Vert \mathit{U}(\mathbf{\Sigma }\mathit{Z}-{\mathit{I}}_n){\mathit{U}}^{\mathrm{\top }}{\Vert }_F^2\\ =& \underset{\mathit{Z}}{min}\Vert \mathbf{\Sigma }\mathit{Z}-{\mathit{I}}_n{\Vert }_F^2\end{array}$

最后一个等号是基于我们上一篇文章证明过的结论“正交变换不改变$F$ 数”，这样我们就将问题简化成对角阵$\mathbf{\Sigma }$ 伪逆了。接着我们可以用分块矩阵的形式将$\mathbf{\Sigma }\mathit{Z}-{\mathit{I}}_n$ 示为

$\begin{array}{rl}\mathbf{\Sigma }\mathit{Z}-{\mathit{I}}_n=& \left(\begin{array}{c}{\mathbf{\Sigma }}_{[:r,:r]}\\ {\mathbf{0}}_{(n-r)\times r}\end{array}\right)\left(\begin{array}{cc}{\mathit{Z}}_{[:r,:r]}& {\mathit{Z}}_{[:r,r:]}\end{array}\right)-\left(\begin{array}{cc}{\mathit{I}}_r& {\mathbf{0}}_{r\times (n-r)}\\ {\mathbf{0}}_{(n-r)\times r}& {\mathit{I}}_{n-r}\end{array}\right)\\ =& \left(\begin{array}{cc}{\mathbf{\Sigma }}_{[:r,:r]}{\mathit{Z}}_{[:r,:r]}-{\mathit{I}}_r& {\mathbf{\Sigma }}_{[:r,:r]}{\mathit{Z}}_{[:r,r:]}\\ {\mathbf{0}}_{(n-r)\times r}& -{\mathit{I}}_{n-r}\end{array}\right)\end{array}$

这里的切片就按照Python数组的规则来理解。从最后的形式可以看出，要使得$\mathbf{\Sigma }\mathit{Z}-{\mathit{I}}_n$ $F$ 数最小，唯一解是${\mathit{Z}}_{[:r,:r]}={\mathbf{\Sigma }}_{[:r,:r]}^{-1}$，${\mathit{Z}}_{[:r,r:]}={\mathbf{0}}_{r\times (n-r)}$，说白了，$\mathit{Z}$ 是将${\mathbf{\Sigma }}^{\mathrm{\top }}$ 非零元素都取倒数然后转置，我们将它记为${\mathbf{\Sigma }}^{†}$，于是在SVD下就有

$\mathit{A}=\mathit{U}\mathbf{\Sigma }{\mathit{V}}^{\mathrm{\top }}\Rightarrow {\mathit{A}}^{†}=\mathit{V}{\mathbf{\Sigma }}^{†}{\mathit{U}}^{\mathrm{\top }}$

可以进一步证明这个结果也适用于秩小于$r$ $\mathit{A}$，所以它是一个通用的形式，一些教程也直接将它作为伪逆的定义。此外，我们也可以观察到这个形式不区分左伪逆和右伪逆，这表明同一个矩阵的左伪逆和右伪逆是相等的，因此在说伪逆的时候不用特别区分左右。

矩阵范数

利用正交变换不改变$F$ 数的结论，我们还可以得到

$\Vert \mathit{M}{\Vert }_F^2=\Vert \mathit{U}\mathbf{\Sigma }{\mathit{V}}^{\mathrm{\top }}{\Vert }_F^2=\Vert \mathbf{\Sigma }{\Vert }_F^2=\sum _{i=1}^{min(n,m)}{\sigma }_i^2$

也就是说奇异值的平方和等于$F$ 数的平方。除了$F$ 数外，SVD也可以用来计算“谱范数”。上一篇文章我们提到，$F$ 数只是矩阵范数的一种，另一种常用的矩阵范数是基于向量的范数诱导出来的谱范数，它定义为：

$\Vert \mathit{M}{\Vert }_2=\underset{\Vert \mathit{x}\Vert =1}{max}\Vert \mathit{M}\mathit{x}\Vert$

注意等号右端出现的范数都是向量的范数（模长，$2$-范数），因此上述定义是明确的。由于它是向量的$2$-范数所诱导出来的，所以它也称为矩阵的$2$-范数。数值上，矩阵的谱范数等于它的最大奇异值，即$\Vert \mathit{M}{\Vert }_2={\sigma }_1$。要证明这一点，只需要将$\mathit{M}$ SVD为$\mathit{U}\mathbf{\Sigma }{\mathit{V}}^{\mathrm{\top }}$，然后代入谱范数的定义

$\underset{\Vert \mathit{x}\Vert =1}{max}\Vert \mathit{M}\mathit{x}\Vert =\underset{\Vert \mathit{x}\Vert =1}{max}\Vert \mathit{U}\mathbf{\Sigma }({\mathit{V}}^{\mathrm{\top }}\mathit{x})\Vert =\underset{\Vert \mathit{y}\Vert =1}{max}\Vert \mathbf{\Sigma }\mathit{y}\Vert$

第二个等号正是利用了正交矩阵不改变向量范数的特点。现在我们相当于将问题简化成为对角阵$\mathbf{\Sigma }$ 谱范数，这个比较简单，设$\mathit{y}=(y_1,y_2,\cdots ,y_m)$，那么

$\Vert \mathbf{\Sigma }\mathit{y}{\Vert }^2=\sum _{i=1}^m{\sigma }_i^2{y}_i^2\le \sum _{i=1}^m{\sigma }_1^2{y}_i^2={\sigma }_1^2\sum _{i=1}^m{y}_i^2={\sigma }_1^2$

所以$\Vert \mathbf{\Sigma }\mathit{y}\Vert$ 超过${\sigma }_1$，并且$\mathit{y}=(1,0,\cdots ,0)$ 取到等号，因此$\Vert \mathit{M}{\Vert }_2={\sigma }_1$。对比$F$ 数的结果，我们还可以发现恒成立$\Vert \mathit{M}{\Vert }_2\le \Vert \mathit{M}{\Vert }_F$。

低秩近似

最后我们再回到本文的主题最优低秩近似，也就是目标$\text{(???)}$。将$\mathit{M}$ 解为$\mathit{U}\mathbf{\Sigma }{\mathit{V}}^{\mathrm{\top }}$，那么我们就可以写出

$\begin{array}{rl}\Vert \mathit{A}\mathit{B}-\mathit{M}{\Vert }_F^2=& \Vert \mathit{U}{\mathit{U}}^{\mathrm{\top }}\mathit{A}\mathit{B}\mathit{V}{\mathit{V}}^{\mathrm{\top }}-\mathit{U}\mathbf{\Sigma }{\mathit{V}}^{\mathrm{\top }}{\Vert }_F^2\\ =& \Vert \mathit{U}({\mathit{U}}^{\mathrm{\top }}\mathit{A}\mathit{B}\mathit{V}-\mathbf{\Sigma }){\mathit{V}}^{\mathrm{\top }}{\Vert }_F^2\\ =& \Vert {\mathit{U}}^{\mathrm{\top }}\mathit{A}\mathit{B}\mathit{V}-\mathbf{\Sigma }{\Vert }_F^2\end{array}$

注意${\mathit{U}}^{\mathrm{\top }}\mathit{A}\mathit{B}\mathit{V}$ 可以代表任意秩不超过$r$ 矩阵，所以通过SVD我们将矩阵$\mathit{M}$ 最优$r$ 近似简化成了非负对角阵$\mathbf{\Sigma }$ 最优$r$ 近似。

在https://kexue.fm/archives/10226 (opens new window)中我们用同样思路求解过一个类似的优化问题：

${\text{argmin}}_{\mathit{A},\mathit{B}}\Vert \mathit{A}{\mathit{A}}^{\mathrm{\top }}\mathit{M}+\mathit{M}{\mathit{B}}^{\mathrm{\top }}\mathit{B}-\mathit{M}{\Vert }_F^2$

利用SVD和正交变换不改变$F$ 数，可以得到

$\begin{array}{rl}& \Vert \mathit{A}{\mathit{A}}^{\mathrm{\top }}\mathit{M}+\mathit{M}{\mathit{B}}^{\mathrm{\top }}\mathit{B}-\mathit{M}{\Vert }_F^2\\ =& \Vert \mathit{A}{\mathit{A}}^{\mathrm{\top }}\mathit{U}\mathbf{\Sigma }{\mathit{V}}^{\mathrm{\top }}+\mathit{U}\mathbf{\Sigma }{\mathit{V}}^{\mathrm{\top }}{\mathit{B}}^{\mathrm{\top }}\mathit{B}-\mathit{U}\mathbf{\Sigma }{\mathit{V}}^{\mathrm{\top }}{\Vert }_F^2\\ =& \Vert \mathit{U}{\mathit{U}}^{\mathrm{\top }}\mathit{A}{\mathit{A}}^{\mathrm{\top }}\mathit{U}\mathbf{\Sigma }{\mathit{V}}^{\mathrm{\top }}+\mathit{U}\mathbf{\Sigma }{\mathit{V}}^{\mathrm{\top }}{\mathit{B}}^{\mathrm{\top }}\mathit{B}\mathit{V}{\mathit{V}}^{\mathrm{\top }}-\mathit{U}\mathbf{\Sigma }{\mathit{V}}^{\mathrm{\top }}{\Vert }_F^2\\ =& \Vert \mathit{U}[({\mathit{U}}^{\mathrm{\top }}\mathit{A})({\mathit{U}}^{\mathrm{\top }}\mathit{A}{)}^{\mathrm{\top }}\mathbf{\Sigma }+\mathbf{\Sigma }(\mathit{B}\mathit{V}{)}^{\mathrm{\top }}(\mathit{B}\mathit{V})-\mathbf{\Sigma }]{\mathit{V}}^{\mathrm{\top }}{\Vert }_F^2\\ =& \Vert ({\mathit{U}}^{\mathrm{\top }}\mathit{A})({\mathit{U}}^{\mathrm{\top }}\mathit{A}{)}^{\mathrm{\top }}\mathbf{\Sigma }+\mathbf{\Sigma }(\mathit{B}\mathit{V}{)}^{\mathrm{\top }}(\mathit{B}\mathit{V})-\mathbf{\Sigma }{\Vert }_F^2\end{array}$

这就将原本一般矩阵$\mathit{M}$ 优化问题转化为$\mathit{M}$ 非负对角阵的特例，降低了分析难度。注意如果$\mathit{A},\mathit{B}$ 秩不超过$r$，那么$\mathit{A}{\mathit{A}}^{\mathrm{\top }}\mathit{M}+\mathit{M}{\mathit{B}}^{\mathrm{\top }}\mathit{B}$ 秩顶多为$2r$（假设$2r<min(n,m)$），所以原始问题也是在求$\mathit{M}$ 最优$2r$ 近似，转化为非负对角阵后就是求非负对角阵的最优$2r$ 近似，跟前一个问题本质上是一样的。

理论基础

肯定了SVD的作用后，我们就需要补充一些理论证明了。首先要确保SVD的存在性，其次要找出至少一种计算方案，这样SVD的各种应用才算是切实可行的，接下来我们将用同一个过程把这两个问题一起解决掉。

谱之定理

在此之前，我们需要先引入一个“谱定理”，它既可以说是SVD的特例，也可以说是SVD的基础：

谱定理 对于任意实对称矩阵$\mathit{M}\in {\mathbb{R}}^{n\times n}$，都存在谱分解（也称特征值分解） $\mathit{M}=\mathit{U}\mathbf{\Lambda }{\mathit{U}}^{\mathrm{\top }}$ 其中$\mathit{U},\mathbf{\Lambda }\in {\mathbb{R}}^{n\times n}$，$\mathit{U}$ 正交矩阵，$\mathbf{\Lambda }=\text{diag}({\lambda }_1,\cdots ,{\lambda }_n)$ 对角矩阵。

说白了，谱定理就是断言任何实对称矩阵都可以被正交矩阵对角化，这基于如下两点性质：

1、实对称矩阵的特征值和特征向量都是实的； 2、实对称矩阵不同特征值对应的特征向量是正交的。

这两点性质的证明其实很简单，这里就不展开了。基于这两点我们可以立马得出，如果实对称矩阵$\mathit{M}$ $n$ 不同的特征值，那么谱定理成立：

$\begin{array}{r}\mathit{M}{\mathit{u}}_1={\lambda }_1{\mathit{u}}_1\\ \mathit{M}{\mathit{u}}_2={\lambda }_2{\mathit{u}}_2\\ ⋮\\ \mathit{M}{\mathit{u}}_n={\lambda }_n{\mathit{u}}_n\end{array}\Rightarrow \mathit{M}\underset{\mathit{U}}{\underbrace{({\mathit{u}}_1,{\mathit{u}}_2,\cdots ,{\mathit{u}}_n)}}=\underset{\mathit{U}}{\underbrace{({\mathit{u}}_1,{\mathit{u}}_2,\cdots ,{\mathit{u}}_n)}}\underset{\mathbf{\Lambda }}{\underbrace{\left(\begin{array}{cccc}{\lambda }_1& 0& \cdots & 0\\ 0& {\lambda }_2& \cdots & 0\\ ⋮& ⋮& \ddots & ⋮\\ 0& 0& \cdots & {\lambda }_n\end{array}\right)}}$

其中${\lambda }_1,{\lambda }_2,\cdots ,{\lambda }_n$ 特征值，${\mathit{u}}_1,{\mathit{u}}_2,\cdots ,{\mathit{u}}_n$ 对应的单位特征（列）向量，写成矩阵乘法形式就是$\mathit{M}\mathit{U}=\mathit{U}\mathbf{\Lambda }$，所以$\mathit{M}=\mathit{U}\mathbf{\Lambda }{\mathit{U}}^{\mathrm{\top }}$。证明的难点是如何拓展到有相等特征值的情形，但在思考完整的证明之前，我们可以先从一个不严谨的角度感受一下，这个不等特征值的结果是一定可以推广到一般情形的。

为什么这样说呢？从数值角度看，两个实数绝对相等的概率几乎为零，所以根本不需要考虑特征值相等的情形；用更数学的话说，那就是特征值不等的实矩阵在全体实矩阵中稠密，所以我们总可以找到一簇矩阵${\mathit{M}}_{ϵ}$，当$ϵ>0$ 它的特征值两两不等，当$ϵ\to 0$ 它等于$\mathit{M}$。这样一来，每个${\mathit{M}}_{ϵ}$ 们都可以分解为${\mathit{U}}_{ϵ}{\mathbf{\Lambda }}_{ϵ}{\mathit{U}}_{ϵ}^{\mathrm{\top }}$，取$ϵ\to 0$ 得到$\mathit{M}$ 谱分解。

数学归纳

不幸的是，上面这段话只能作为一个直观但不严谨的理解方式，因为将这段话转化为严格的证明还是很困难的。事实上，严格证明谱定理的最简单方法可能是数学归纳法，即在任意$n-1$ 实对称方阵都可以谱分解的假设上，我们证明$\mathit{M}$ 可以谱分解。

证明的关键思路是将$\mathit{M}$ 解为某个特征向量及其$n-1$ 正交子空间，从而可以应用归纳假设。具体来说，设${\lambda }_1$ $\mathit{M}$ 一个非零特征值，${\mathit{u}}_1$ 对应的单位特征向量，那么有$\mathit{M}{\mathit{u}}_1={\lambda }_1{\mathit{u}}_1$，我们可以补充$n-1$ 跟${\mathit{u}}_1$ 交的单位向量$\mathit{Q}=({\mathit{q}}_2,\cdots ,{\mathit{q}}_n)$，使得$({\mathit{u}}_1,{\mathit{q}}_2,\cdots ,{\mathit{q}}_n)=({\mathit{u}}_1,\mathit{Q})$ 为一个正交矩阵。现在我们考虑

$({\mathit{u}}_1,\mathit{Q}{)}^{\mathrm{\top }}\mathit{M}({\mathit{u}}_1,\mathit{Q})=\left(\begin{array}{cc}{\mathit{u}}_1^{\mathrm{\top }}\mathit{M}{\mathit{u}}_1& {\mathit{u}}_1^{\mathrm{\top }}\mathit{M}\mathit{Q}\\ {\mathit{Q}}^{\mathrm{\top }}\mathit{M}{\mathit{u}}_1& {\mathit{Q}}^{\mathrm{\top }}\mathit{M}\mathit{Q}\end{array}\right)=\left(\begin{array}{cc}{\lambda }_1& {\mathbf{0}}_{1\times (n-1)}\\ {\mathbf{0}}_{(n-1)\times 1}& {\mathit{Q}}^{\mathrm{\top }}\mathit{M}\mathit{Q}\end{array}\right)$

注意到${\mathit{Q}}^{\mathrm{\top }}\mathit{M}\mathit{Q}$ 一个$n-1$ 方阵，并且很明显是一个实对称矩阵，所以根据假设它可以谱分解为$\mathit{V}{\mathbf{\Lambda }}_2{\mathit{V}}^{\mathrm{\top }}$，这里$\mathit{V}$ $n-1$ 正交矩阵，${\mathbf{\Lambda }}_2$ $n-1$ 对角阵，那么我们有$(\mathit{Q}\mathit{V}{)}^{\mathrm{\top }}\mathit{M}\mathit{Q}\mathit{V}={\mathbf{\Lambda }}_2$。根据这个结果，我们考虑$\mathit{U}=({\mathit{u}}_1,\mathit{Q}\mathit{V})$，可以验证它也是一个正交矩阵，并且

${\mathit{U}}^{\mathrm{\top }}\mathit{M}\mathit{U}=({\mathit{u}}_1,\mathit{Q}\mathit{V}{)}^{\mathrm{\top }}\mathit{M}({\mathit{u}}_1,\mathit{Q}\mathit{V})=\left(\begin{array}{cc}{\lambda }_1& {\mathbf{0}}_{1\times (n-1)}\\ {\mathbf{0}}_{(n-1)\times 1}& {\mathbf{\Lambda }}_2\end{array}\right)$

也就是说$\mathit{U}$ 是可以将$\mathit{M}$ 角化的正交矩阵，所以$\mathit{M}$ 以完成谱分解，这就完成了数学归纳法最关键的一步。

奇异分解

至此，所有准备工作都已经就绪，我们可以正式证明SVD的存在性，并给出一个实际计算的方案。

上一节我们引入了谱分解，不难发现它跟SVD的相似性，但也有两点明显区别：1、谱分解只适用于实对称矩阵，SVD适用于任意实矩阵；2、SVD的对角阵$\mathbf{\Sigma }$ 非负的，但谱分解的$\mathbf{\Lambda }$ 未必。那么，它们具体联系是什么呢？容易验证，如果$\mathit{M}$ SVD为$\mathit{U}\mathbf{\Sigma }{\mathit{V}}^{\mathrm{\top }}$，那么

$\begin{array}{r}\mathit{M}{\mathit{M}}^{\mathrm{\top }}=\mathit{U}\mathbf{\Sigma }{\mathit{V}}^{\mathrm{\top }}\mathit{V}{\mathbf{\Sigma }}^{\mathrm{\top }}{\mathit{U}}^{\mathrm{\top }}=\mathit{U}\mathbf{\Sigma }{\mathbf{\Sigma }}^{\mathrm{\top }}{\mathit{U}}^{\mathrm{\top }}\\ {\mathit{M}}^{\mathrm{\top }}\mathit{M}=\mathit{V}{\mathbf{\Sigma }}^{\mathrm{\top }}{\mathit{U}}^{\mathrm{\top }}\mathit{U}\mathbf{\Sigma }{\mathit{V}}^{\mathrm{\top }}=\mathit{V}{\mathbf{\Sigma }}^{\mathrm{\top }}\mathbf{\Sigma }{\mathit{V}}^{\mathrm{\top }}\end{array}$

注意到$\mathbf{\Sigma }{\mathbf{\Sigma }}^{\mathrm{\top }}$ ${\mathbf{\Sigma }}^{\mathrm{\top }}\mathbf{\Sigma }$ 是对角阵，所以这意味着$\mathit{M}{\mathit{M}}^{\mathrm{\top }}$ ${\mathit{M}}^{\mathrm{\top }}\mathit{M}$ 谱分解分别是$\mathit{U}{\mathbf{\Sigma }}^2{\mathit{U}}^{\mathrm{\top }}$ $\mathit{V}{\mathbf{\Sigma }}^2{\mathit{V}}^{\mathrm{\top }}$。这看起来将$\mathit{M}{\mathit{M}}^{\mathrm{\top }}$、${\mathit{M}}^{\mathrm{\top }}\mathit{M}$ 别做谱分解就可以得到$\mathit{M}$ SVD了？确实没错，这可以作为SVD的一种计算方式，但我们无法直接通过它证明这样得出的$\mathit{U},\mathbf{\Sigma },\mathit{V}$ 足$\mathit{M}=\mathit{U}\mathbf{\Sigma }{\mathit{V}}^{\mathrm{\top }}$。

解决问题的关键是只对$\mathit{M}{\mathit{M}}^{\mathrm{\top }}$ ${\mathit{M}}^{\mathrm{\top }}\mathit{M}$ 一做谱分解，然后通过另外的方法构造另一侧的正交矩阵。不失一般性，我们设$\mathit{M}$ 秩为$r\le m$，考虑对${\mathit{M}}^{\mathrm{\top }}\mathit{M}$ 谱分解为$\mathit{V}\mathbf{\Lambda }{\mathit{V}}^{\mathrm{\top }}$，注意${\mathit{M}}^{\mathrm{\top }}\mathit{M}$ 一个半正定矩阵，所以$\mathbf{\Lambda }$ 非负的，并且假设对角线元素已经从大到小排列，秩$r$ 味着只有前$r$ ${\lambda }_i$ 大于0的，我们定义

${\mathbf{\Sigma }}_{[:r,:r]}=({\mathbf{\Lambda }}_{[:r,:r]}{)}^{1/2},{\mathit{U}}_{[:n,:r]}=\mathit{M}{\mathit{V}}_{[:m,:r]}{\mathbf{\Sigma }}_{[:r,:r]}^{-1}$

可以验证

$\begin{array}{rl}{\mathit{U}}_{[:n,:r]}^{\mathrm{\top }}{\mathit{U}}_{[:n,:r]}=& {\mathbf{\Sigma }}_{[:r,:r]}^{-1}{\mathit{V}}_{[:m,:r]}^{\mathrm{\top }}{\mathit{M}}^{\mathrm{\top }}\mathit{M}{\mathit{V}}_{[:m,:r]}{\mathbf{\Sigma }}_{[:r,:r]}^{-1}\\ =& {\mathbf{\Sigma }}_{[:r,:r]}^{-1}{\mathit{V}}_{[:m,:r]}^{\mathrm{\top }}\mathit{V}\mathbf{\Lambda }{\mathit{V}}^{\mathrm{\top }}{\mathit{V}}_{[:m,:r]}{\mathbf{\Sigma }}_{[:r,:r]}^{-1}\\ =& {\mathbf{\Sigma }}_{[:r,:r]}^{-1}{\mathit{I}}_{[:r,:m]}\mathbf{\Lambda }{\mathit{I}}_{[:m,:r]}{\mathbf{\Sigma }}_{[:r,:r]}^{-1}\\ =& {\mathbf{\Sigma }}_{[:r,:r]}^{-1}{\mathbf{\Lambda }}_{[:r,:r]}{\mathbf{\Sigma }}_{[:r,:r]}^{-1}\\ =& {\mathit{I}}_r\end{array}$

这里约定切片的优先级高于转置、求逆等矩阵运算，即${\mathit{U}}_{[:n,:r]}^{\mathrm{\top }}=({\mathit{U}}_{[:n,:r]}{)}^{\mathrm{\top }}$、${\mathbf{\Sigma }}_{[:r,:r]}^{-1}=({\mathbf{\Sigma }}_{[:r,:r]}{)}^{-1}$ 。上述结果表明${\mathit{U}}_{[:n,:r]}$ 正交矩阵的一部份。接着我们有

${\mathit{U}}_{[:n,:r]}{\mathbf{\Sigma }}_{[:r,:r]}{\mathit{V}}_{[:m,:r]}^{\mathrm{\top }}=\mathit{M}{\mathit{V}}_{[:m,:r]}{\mathbf{\Sigma }}_{[:r,:r]}^{-1}{\mathbf{\Sigma }}_{[:r,:r]}{\mathit{V}}_{[:m,:r]}^{\mathrm{\top }}=\mathit{M}{\mathit{V}}_{[:m,:r]}{\mathit{V}}_{[:m,:r]}^{\mathrm{\top }}$

注意$\mathit{M}\mathit{V}{\mathit{V}}^{\mathrm{\top }}=\mathit{M}$ 恒成立的，而${\mathit{V}}_{[:m,:r]}$ $\mathit{V}$ 前$r$ ，根据${\mathit{M}}^{\mathrm{\top }}\mathit{M}=\mathit{V}\mathbf{\Lambda }{\mathit{V}}^{\mathrm{\top }}$ 们有可以写出$(\mathit{M}\mathit{V}{)}^{\mathrm{\top }}\mathit{M}\mathit{V}=\mathbf{\Lambda }$，我们记$\mathit{V}=({\mathit{v}}_1,{\mathit{v}}_2,\cdots ,{\mathit{v}}_m)$，那么就有$\Vert \mathit{M}{\mathit{v}}_i{\Vert }^2={\lambda }_i$，由于秩$r$ 设定，所以当$i>r$ ${\lambda }_i=0$，这意味着此时的$\mathit{M}{\mathit{v}}_i$ 际上是一个零向量，所以

$\begin{array}{rl}\mathit{M}=\mathit{M}\mathit{V}{\mathit{V}}^{\mathrm{\top }}=& (\mathit{M}{\mathit{V}}_{[:m,:r]},\mathit{M}{\mathit{V}}_{[:m,r:]})\left(\begin{array}{c}{\mathit{V}}_{[:m,:r]}^{\mathrm{\top }}\\ {\mathit{V}}_{[:m,r:]}^{\mathrm{\top }}\end{array}\right)\\ =& (\mathit{M}{\mathit{V}}_{[:m,:r]},{\mathbf{0}}_{m\times (m-r)})\left(\begin{array}{c}{\mathit{V}}_{[:m,:r]}^{\mathrm{\top }}\\ {\mathit{V}}_{[:m,r:]}^{\mathrm{\top }}\end{array}\right)\\ =& \mathit{M}{\mathit{V}}_{[:m,:r]}{\mathit{V}}_{[:m,:r]}^{\mathrm{\top }}\end{array}$

这表明${\mathit{U}}_{[:n,:r]}{\mathbf{\Sigma }}_{[:r,:r]}{\mathit{V}}_{[:m,:r]}^{\mathrm{\top }}=\mathit{M}$，再结合${\mathit{U}}_{[:n,:r]}$ 正交矩阵的一部分这一事实，我们已经得到了$\mathit{M}$ SVD的关键部分，我们只需要将${\mathbf{\Sigma }}_{[:r,:r]}$ 零成$n\times m$ 小的$\mathbf{\Sigma }$，将${\mathit{U}}_{[:n,:r]}$ 全为$n\times m$ 正交矩阵$\mathit{U}$，那么就得到完整的SVD形式$\mathit{M}=\mathit{U}\mathbf{\Sigma }{\mathit{V}}^{\mathrm{\top }}$。

近似定理

最后，别忘了我们的最终目标是开始的优化问题$\text{(???)}$。有了SVD后，我们就可以给出答案了：

如果$\mathit{M}\in {\mathbb{R}}^{n\times m}$ SVD为$\mathit{U}\mathbf{\Sigma }{\mathit{V}}^{\mathrm{\top }}$，那么$\mathit{M}$ 最优$r$ 近似为${\mathit{U}}_{[:n,:r]}{\mathbf{\Sigma }}_{[:r,:r]}{\mathit{V}}_{[:m,:r]}^{\mathrm{\top }}$。

这称为“Eckart-Young-Mirsky定理”。在介绍SVD应用的“https://zhuanlan.zhihu.com/p/2957340022/edit#低秩近似 (opens new window)”一节中，我们表明通过SVD可以将一般矩阵的最优$r$ 近似问题简化为非负对角阵的$r$ 近似，所以“Eckart-Young-Mirsky定理”相当于说非负对角阵的最优$r$ 近似就是只保留对角线最大的$r$ 元素的矩阵。

可能有读者认为“这难道不是显然成立吗？”，但事实是虽然结论很符合直觉，但它确实不是显然成立的。下面我们就聚焦于求解：

$\underset{\mathit{A},\mathit{B}}{min}\Vert \mathit{A}\mathit{B}-\mathbf{\Sigma }{\Vert }_F^2$

其中$\mathit{A}\in {\mathbb{R}}^{n\times r},\mathit{B}\in {\mathbb{R}}^{r\times m},\mathbf{\Sigma }\in {\mathbb{R}}^{n\times m},r<min(n,m)$。如果给定$\mathit{A}$ 话，$\mathit{B}$ 最优解我们在上一篇文章中已经求出，结果是${\mathit{A}}^{†}\mathbf{\Sigma }$，所以我们有

$\underset{\mathit{A},\mathit{B}}{min}\Vert \mathit{A}\mathit{B}-\mathbf{\Sigma }{\Vert }_F^2=\underset{\mathit{A}}{min}\Vert (\mathit{A}{\mathit{A}}^{†}-{\mathit{I}}_n)\mathbf{\Sigma }{\Vert }_F^2$

设矩阵$\mathit{A}$ SVD为${\mathit{U}}_{\mathit{A}}{\mathbf{\Sigma }}_{\mathit{A}}{\mathit{V}}_{\mathit{A}}^{\mathrm{\top }}$，那么${\mathit{A}}^{†}={\mathit{V}}_{\mathit{A}}{\mathbf{\Sigma }}_{\mathit{A}}^{†}{\mathit{U}}_{\mathit{A}}^{\mathrm{\top }}$，以及

$\begin{array}{rl}\Vert (\mathit{A}{\mathit{A}}^{†}-{\mathit{I}}_n)\mathbf{\Sigma }{\Vert }_F^2=& \Vert ({\mathit{U}}_{\mathit{A}}{\mathbf{\Sigma }}_{\mathit{A}}{\mathit{V}}_{\mathit{A}}^{\mathrm{\top }}{\mathit{V}}_{\mathit{A}}{\mathbf{\Sigma }}_{\mathit{A}}^{†}{\mathit{U}}_{\mathit{A}}^{\mathrm{\top }}-{\mathit{I}}_n)\mathbf{\Sigma }{\Vert }_F^2\\ =& \Vert ({\mathit{U}}_{\mathit{A}}{\mathbf{\Sigma }}_{\mathit{A}}{\mathbf{\Sigma }}_{\mathit{A}}^{†}{\mathit{U}}_{\mathit{A}}^{\mathrm{\top }}-{\mathit{I}}_n)\mathbf{\Sigma }{\Vert }_F^2\\ =& \Vert {\mathit{U}}_{\mathit{A}}({\mathbf{\Sigma }}_{\mathit{A}}{\mathbf{\Sigma }}_{\mathit{A}}^{†}-{\mathit{I}}_n){\mathit{U}}_{\mathit{A}}^{\mathrm{\top }}\mathbf{\Sigma }{\Vert }_F^2\\ =& \Vert ({\mathbf{\Sigma }}_{\mathit{A}}{\mathbf{\Sigma }}_{\mathit{A}}^{†}-{\mathit{I}}_n){\mathit{U}}_{\mathit{A}}^{\mathrm{\top }}\mathbf{\Sigma }{\Vert }_F^2\end{array}$

由伪逆的计算公式知${\mathbf{\Sigma }}_{\mathit{A}}{\mathbf{\Sigma }}_{\mathit{A}}^{†}$ 一个对角阵，并且对角线上前$r_{\mathit{A}}$ 元素为1（$r_{\mathit{A}}\le r$ $\mathit{A}$ 秩），其余都是0，所以$({\mathbf{\Sigma }}_{\mathit{A}}{\mathbf{\Sigma }}_{\mathit{A}}^{†}-{\mathit{I}}_n){\mathit{U}}_{\mathit{A}}^{\mathrm{\top }}$ 当于只保留正交矩阵${\mathit{U}}_{\mathit{A}}^{\mathrm{\top }}$ 后$k=n-r_{\mathit{A}}$ ，所以最终可以简化成

$\underset{\mathit{A}}{min}\Vert (\mathit{A}{\mathit{A}}^{†}-{\mathit{I}}_n)\mathbf{\Sigma }{\Vert }_F^2=\underset{k,\mathit{U}}{min}\Vert \mathit{U}\mathbf{\Sigma }{\Vert }_F^2\text{s.t.}k\ge n-r,\mathit{U}\in {\mathbb{R}}^{k\times n},\mathit{U}{\mathit{U}}^{\mathrm{\top }}={\mathit{I}}_k$

现在根据$F$ 数定义可以写出

$\Vert \mathit{U}\mathbf{\Sigma }{\Vert }_F^2=\sum _{i=1}^k\sum _{j=1}^n{u}_{i,j}^2{\sigma }_j^2=\sum _{j=1}^n{\sigma }_j^2\underset{w_j}{\underbrace{\sum _{i=1}^k{u}_{i,j}^2}}=\sum _{j=1}^n{\sigma }_j^2{w}_j$

注意到$0\le w_j\le 1$，以及$w_1+w_2+\cdots +w_n=k$，在此约束下最右端的最小值只能是最小的$k$ ${\sigma }_j^2$ 和，又因为${\sigma }_j$ 经从大到小排好序，所以

$\underset{k,\mathit{U}}{min}\Vert \mathit{U}\mathbf{\Sigma }{\Vert }_F^2=\underset{k}{min}\sum _{j=n-k+1}^n{\sigma }_j^2=\sum _{j=r+1}^n{\sigma }_j^2$

也就是说，$\mathbf{\Sigma }$ 它的最优$r$ 近似的误差（$F$ 数平方）是$\sum _{j=r+1}^n{\sigma }_j^2$，这正好是保留对角线最大的$r$ 元素后所产生的误差，所以我们证明了“非负对角阵的最优$r$ 近似就是只保留对角线最大的$r$ 元素的矩阵”。当然，这只能说是一个解，我们没有否定多解的可能性。

值得指出的是，Eckart-Young-Mirsky定理不仅对$F$ 数成立，还对谱范数成立，谱范数的证明实际上还简单一点，这里就不展开了，有兴趣的读者自行参考维基百科“https://en.wikipedia.org/wiki/Low-rank_approximation (opens new window)”条目。

文章小结

本文的主角是声名显赫的SVD（奇异值分解），想必不少读者已经对它有所了解。在这篇文章中，我们主要围绕着SVD与低秩近似的相关内容进行展开，对SVD的存在性、计算以及与低秩近似的联系等理论内容给出了尽可能简单的证明过程。