美文网首页
奇异值分解

奇异值分解

作者: 单调不减 | 来源:发表于2019-06-19 15:32 被阅读0次

奇异值分解我写过一个简短的理解,记录于https://www.jianshu.com/p/8c7dac32620f
这次又写一遍完全是因为《统计学习方法》的奇异值分解讲得太详细了,占了25页的篇幅,且大致翻看后面章节后发现奇异值分解的应用很多,因此决定对奇异值分解再重新学习一遍。

1、奇异值分解的定义与基本性质

任意一个m\times n矩阵,都可以表示为三个矩阵的乘积(因子分解)形式:

A=U\Sigma V^T

其中Um阶正交矩阵、\Sigma是由降序排列的非负的对角线元素组成的m\times n矩形对角阵、Vn阶正交矩阵。即这三个矩阵满足:

UU^T=I

VV^T=I

\Sigma=diag(\sigma_1,\sigma_2,\dots,\sigma_p)

\sigma_1\geq \sigma_2\geq \dots \geq \sigma_p\geq 0

p=\min(m,n)

U\Sigma V^T称为矩阵A的奇异值分解(singular value decomposition,SVD)。

奇异值分解基本定理:若A为一个m\times n实矩阵,A\in R^{m\times n},则A的奇异值分解存在。

证明:

证明是构造性的,对给定矩阵,不妨设m\geq n

(1)确定V\Sigma

矩阵Am\times n实矩阵,则A^T An阶实对称矩阵,因而A^T A的特征值都是实数,且存在一n阶正交实矩阵V实现A^T A的对角化,使得V^T (A^T A)V=\Lambda,其中\Lambdan阶对角矩阵,其对角线元素由A^T A的特征值组成,且A^T A的特征值都是非负的。事实上,令\lambdaA^T A的一个特征值,x是对应的特征向量,则:

||Ax||^2=x^T A^T Ax=\lambda x^T x=\lambda ||x||^2

于是:

\lambda=\frac{||Ax||^2}{||x||^2}\geq 0

假设正交矩阵V的列的排列使得对应特征值形成降序排列:

\lambda_1\geq \lambda_2\geq \dots\geq \lambda_n\geq 0

计算特征值平方根(实际就是矩阵A的奇异值):

\sigma_i=\sqrt{\lambda_i},\quad i=1,2,\dots,n

设矩阵A的秩为r,则矩阵A^T A的秩也为r(通过证明Ax=0A^T Ax=0同解即可证明)。由于A^T A是对称矩阵,它的秩等于正的特征值的个数(因为A^T A和与其相似的对角矩阵\Lambda秩相等,而\Lambda对角元素是A^T A的特征值)。所以:

\lambda_1\geq \lambda_2\geq \dots\geq \lambda_r\geq 0,\quad \lambda_{r+1}=\dots=\lambda_n=0

从而:

\sigma_1\geq \sigma_2\geq \dots\geq \sigma_r\geq 0,\quad \sigma_{r+1}=\dots=\sigma_n=0

令:

V_1=[v_1\quad v_2\quad \dots \quad v_r]\quad V_2=[v_{r+1}\quad v_{r+2}\quad \dots \quad v_n]

其中V_1为正特征值对应的特征向量组成的矩阵,V_2则为0特征值对应的特征向量组成的矩阵。从而V可以写成:

V=[V_1\quad V_2]

这就是矩阵A的奇异值分解中的正交矩阵V

令:

\Sigma_1=\left\{ \begin{matrix} \sigma_1 & & &\\ & \sigma_2 & &\\ & & \dots & \\ & & & \sigma_r \end{matrix} \right\}

于是m\times n矩阵对角矩阵\Sigma可以表示为:

\Sigma=\left\{ \begin{matrix} \Sigma_1&0\\ 0&0 \end{matrix} \right\}

这就是矩阵A奇异值分解中的\Sigma

(2)确定U

令:

u_j=\frac{1}{\sigma_j}Av_j,\quad i=1,2,\dots,r

U_1=[u_1\quad u_2\quad \dots\quad u_r]

则有:

AV_1=U_1\Sigma_1

U_1的列向量构成了一组标准正交基,因为:

\begin{aligned} u_i^T u_j&=(\frac{1}{\sigma_i}v_i^T A^T)(\frac{1}{\sigma_j}Av_j)\\ &=\frac{1}{\sigma_i \sigma_j}v_i^T(A^T Av_j)\\ &=\frac{1}{\sigma_i \sigma_j}v_i^T(\sigma_j^2 v_j)\\ &=\frac{\sigma_j}{\sigma_i}v_i^T v_j\\ &=\delta_{ij},\quad i=1,2,\dots,r,\quad j=1,2,\dots,r \end{aligned}

因为i\neq j时,v_iv_j正交。故有:

\begin{equation} \delta_{ij}=\left\{ \begin{array}{rcl} 1 & & {i=j}\\ 0 & & {i\neq j} \end{array} \right. \end{equation}

所以U_1的列向量构成了一组标准正交基。

若将A看成从R^nR^m的线性变换,则A的列空间和A的值域R(A)相同。因此u_1,u_2,\dots,u_r也是R(A)的一组标准正交基。因为N(A^T)=R(A)^\perp(即A^T的零空间和R(A)的正交补相同),故N(A^T)的维数为m-r

\{u_{r+1},u_{r+2},\dots,u_m\}N(A^T)的一组标准正交基,并令:

U_2=[u_{r+1}\quad u_{r+2}\quad \dots \quad u_m]

U=[U_1\quad U_2]

u_1,u_2,\dots,u_m构成了R^m的一组标准正交基。因此U就是A的奇异值分解中的m阶正交矩阵。

(3)证明A=U\Sigma V^T

\begin{aligned} U\Sigma V^T&=[U_1\quad U_2]\lgroup{ \begin{matrix} \Sigma_1&0\\ 0&0 \end{matrix} \rgroup}\lgroup{ \begin{matrix} V_1^T\\ V_2^T \end{matrix} \rgroup}\\ &=U_1\Sigma_1 V_1^T\\ &=AV_1V_1^T\\ &=A \end{aligned}

至此证明了矩阵A存在奇异值分解。

2、紧奇异值分解与截断奇异值分解

上述定理给出的奇异值分解A=U\Sigma V^T称为矩阵的完全奇异值分解。实际常用的是奇异值分解的紧凑形式和截断形式。紧奇异值分解是与原始矩阵等秩的奇异值分解,截断奇异值分解是比原始矩阵低秩的奇异值分解。

紧奇异值分解定义

设有m\times n实矩阵A,其秩为rank(A)=r\leq\min(m,n),则称U_r\Sigma_r V_r^TA的紧奇异值分解:

A=U_r\Sigma_r V_r^T

U_rm\times r矩阵,由完全奇异值分解中U的前r列得到,V_rn\times r矩阵,由完全奇异值分解中V的前r列得到,\Sigma_rr阶对角矩阵,由完全奇异值分解中\Sigma的前r个对角线元素得到。

截断奇异值分解定义:

设有m\times n实矩阵A,其秩为rank(A)=r,且0<k<r,则称U_k\Sigma_k V_k^TA的截断奇异值分解:

A\approx U_k\Sigma_k V_k^T

U_km\times k矩阵,由完全奇异值分解中U的前k列得到,V_kn\times k矩阵,由完全奇异值分解中V的前k列得到,\Sigma_kk阶对角矩阵,由完全奇异值分解中\Sigma的前k个对角线元素得到。

注意,紧奇异值分解完全还原原矩阵,截断奇异值分解近似还原原矩阵。因此在对矩阵数据进行压缩时,紧奇异值分解对应无损压缩,截断奇异值分解对应有损压缩。

3、几何解释

从线性变换的角度理解奇异值分解,m\times n矩阵表示从n维空间R^nm维空间R^m的一个线性变换:

T:x\rightarrow Ax

x\in R^nAx\in R^mxAx分别是各自空间的向量。线性变换可以分解为三个简单的变换:一个坐标系的旋转或反射变换、一个坐标轴的缩放变换、另一个坐标系的旋转或反射变换。这就是奇异值分解的几何解释。

上图来自《统计学习方法》。我们可以很直观地看到奇异值分解的几何意义。

4、奇异值分解的计算

其实奇异值分解的计算过程已经蕴含在奇异值分解基本定理中了,对给定m\times n矩阵A,计算过程如下:

(1)计算A^T A的特征值\lambda_i和对应的特征值向量。

(2)将特征向量单位化,得到单位特征向量v_1,v_2,\dots,v_n构成n阶正交矩阵V

V=[v_1\quad v_2\quad\dots\quad v_n]

(3)计算A的奇异值:

\sigma_i=\sqrt{\lambda_i}

构造m\times n矩阵\Sigma,主对角线元素为奇异值,其余元素为0

(4)对Ar个正奇异值,令:

u_j=\frac{1}{\sigma_j}Av_j,\quad j=1,2,\dots,r

得到:

U_1=[u_1\quad u_2\quad\dots\quad u_r]

A^T零空间的一组标准正交基\{u_{r+1},u_{r+2},\dots,u_m\},令:

U_2=[u_{r+1}\quad u_{r+2}\quad\dots\quad u_m]

则:

U=[U_1\quad U_2]

5、奇异值分解于矩阵近似

这部分内容是我没有接触过的,我以前只知道SVD和PCA类似,都可以做降维(其实PCA是SVD的特殊情形),但并没有从矩阵近似和压缩的角度看待过SVD。这一部分内容证明了一个结论:奇异值分解是在平方损失意义下对矩阵的最优近似。

首先定义矩阵的平方损失函数(也称为弗罗贝尼乌斯范数):

设矩阵A\in R^{m\times n}A=[a_{ij}]_{m\times n},定义矩阵A的平方损失函数为:

||A||_F=(\sum_{i=1}^m\sum_{j=1}^n (a_{ij})^2)^{\frac{1}{2}}

下面证明一个结论:

||A||_F=(\sigma_1^2+\sigma_2^2+\dots+\sigma_n^2)^{\frac{1}{2}}

证明:

一般地,若Qm阶正交矩阵,则:

||QA||_F=||A||_F

这是因为:

\begin{aligned}||QA||_F^2&=||(Qa_1,Qa_2,\dots,Qa_n)||_F^2\\ &=\sum_{i=1}^n||Qa_i||^2=\sum_{i=1}^n||a_i||^2=||A||_F^2 \end{aligned}

同理,若Pn阶正交矩阵,则:

||AP||_F=||A||_F

因此:

||A||_F=||U\Sigma V^T||_F=||\Sigma||_F

即:

||A||_F=(\sigma_1^2+\sigma_2^2+\dots+\sigma_n^2)^{\frac{1}{2}}

有了上述结论,我们接下来证明奇异值分解是在平方损失意义下对矩阵的最优近似。

定理1 设矩阵A\in R^{m\times n}rank(A)=r,设MR^{m\times n}中所有秩不超过k的矩阵集合,0<k<r,则存在一个秩为k的矩阵X\in M,使得:

||A-X||_F=\min_{S\in M}||A-S||_F

称矩阵X为矩阵A在平方误差下的最优近似。

定理2 设矩阵A\in R^{m\times n}rank(A)=r,有奇异值分解A=U\Sigma V^T,并设MR^{m\times n}中所有秩不超过k的矩阵的集合,0<k<r,若秩为k的矩阵X\in M满足:

||A-X||_F=\min_{S\in M}||A-S||_F

则:

||A-X||_F=(\sigma_{k+1}^2+\sigma_{k+2}^2+\dots+\sigma_n^2)^{\frac{1}{2}}

特别地,若A^{'}=U\Sigma^{'}V^T,其中:

\Sigma^{'}=\left\{ \begin{matrix} \sigma_1 & & & & \\ & \sigma_2 & & & \\ & & \dots & & \\ & & & \sigma_k & \\ & & & & 0& \\ & & & & & \dots& \\ & & & & & & 0& \\ \end{matrix} \right\}

则:

||A-A^{'}||_F=(\sigma_{k+1}^2+\sigma_{k+2}^2+\dots+\sigma_n^2)^{\frac{1}{2}}=\min_{S\in M}||A-S||_F

定理2的具体证明过程见《统计学习方法》。

相关文章

网友评论

      本文标题:奇异值分解

      本文链接:https://www.haomeiwen.com/subject/hrgfqctx.html