SVD分解理论

谁都会走 提交于 2020-01-11 03:58:47

##矩阵SVD分解的理论基础

首先,我们先说明什么是矩阵的奇异值分解(single value decomposition),简称SVD。

给定一个矩阵ARm×nA \in R^{m \times n}, 设它的秩为r,则它具有以下的分解形式
Am×n=Um×mΣm×nVn×nTA_{m \times n} = U_{m \times m} \Sigma_{m \times n} V_{n \times n}^T
其中,U是正交矩阵,其列向量是AATAA^T的单位特征向量,V 也是正交矩阵,其列向量是对应的ATAA^TA的单位特征向量,Σ\Sigma具有下述的形式
Σ=(Σ1OOO)\Sigma = \left( \begin{array}{cc} \Sigma_1 & O \\ O & O\end{array} \right)
Σ1=diag(σ1,σ2,,σr)\Sigma_1 = diag(\sigma_1,\sigma_2,\ldots,\sigma_r),r是矩阵A的秩,σi(i=1,2,,r)\sigma_i(i=1,2,\ldots,r) 是矩阵AATAA^T (或ATAA^TA)的非零特征值的正平方根,也叫做A的\textbf{奇异值},当然A还可能包括零奇异值。
在我们知道了什么是SVD后,接下来看一下SVD是怎么来的,在开始之前我们先介绍一下矩阵的四个基本子空间的基本性质。

###四个基本子空间
设矩阵ARm×nA \in R^{m \times n},秩rank(A) = r,
A的行空间 R(AT)R(A^T) 为A 的行向量张成集合,
A的列空间 R(A)为A 的列向量的张成集合,
A的的零空间 N(A)为满足Ax = 0 的所有x 组成的集合,
ATA^T零空间N(AT)N(A^T) 为满足ATy=0A^Ty = 0的所有y 组成的集合。
\par 四个基本子空间的维数分别为dim(R(A)) = r,dim(R(AT)R(A^T)) = r,dim(N(A)) = n-r,dim(N(AT)N(A^T)) = m - r,而且R(A)N(AT)R(A) \perp N(A^T)R(AT)N(A)R(A^T) \perp N(A)

####有关特征值的结论

  • AATAA^TATAA^TA具有相同的非零特征值,而且所有特征值均大于等于0
  • $A = U \land U^T A为对称矩阵A的特征值分解(对称性保证特征向量正交),\land$是对角线元素A的特征值的对角矩阵,U的列向量为对应的A的特征向量。
  • rank(A) = r,则ATAA^TA的正特征值有r个

##SVD的由来

在矩阵A的行空间,我们选择一组标准正交基v1,v2,,vrv_1,v_2,\ldots,v_r,经过A 变换,得到列空间的r个元素u1,u2,,uru_1,u_2,\ldots,u_r,我们希望变换后的u1,u2,,uru_1,u_2,\ldots,u_r也是正交的,所以我们在行空间选择的标准正交基就不能是任意的,它需要满足使得变换后的u1,u2,,uru_1,u_2,\ldots,u_r也正交。写成矩阵形式
A[v1,v2,,vr]=[u1,u2,,ur]A[v_1,v_2,\ldots,v_r] = [u_1,u_2,\ldots,u_r]
我们把u1,u2,,uru_1,u_2,\ldots,u_r单位化,设其长度分别为σ1,σ2,,σr\sigma_1,\sigma_2,\ldots,\sigma_r,并记单位化后的向量重新记为u1,u2,,uru_1,u_2,\ldots,u_r,则
A[v1,v2,,vr]=[σ1u1,σ2u2,,σrur]=[u1,u2,,ur][σ10000σ200000000σr]A[v_1,v_2,\ldots,v_r] = [\sigma_1 u_1,\sigma_2 u_2,\ldots,\sigma_r u_r] = [u_1,u_2,\ldots,u_r]\left[ \begin{array}{cccc} \sigma_1 & 0 & 0 & 0 \\ 0 & \sigma_2 & 0 & 0 \\ 0 & 0 & \ldots & 0 \\ 0 & 0 & 0 & \sigma_r \end{array} \right]
我们把零空间也考虑进来,记A的零空间的一组标准正交基vr+1,vr+2,,vnv_{r+1},v_{r+2},\ldots,v_nATA^T的零空间的一组标准正交基为ur+1,ur+2,,unu_{r+1},u_{r+2},\ldots,u_n,则
A[v1,v2,,vrvr+1,vr+2,,vn]=[σ1u1,σ2u2,,σrur,0,0,,0]A[v_1,v_2,\ldots,v_r,v_{r+1},v_{r+2},\ldots,v_n] = [\sigma_1 u_1,\sigma_2 u_2,\ldots,\sigma_r u_r,0,0,\ldots,0]
=[u1,u2,,ur,ur+1,ur+2,,um][σ10000σ200000000σrO] = [u_1,u_2,\ldots,u_r,u_{r+1},u_{r+2},\ldots,u_m]\left[ \begin{array}{ccccc} \sigma_1 & 0 & 0 & 0 & \quad \\ 0 & \sigma_2 & 0 & 0 & \quad \\ 0 & 0 & \ldots & 0 & \quad \\ 0 & 0 & 0 & \sigma_r & \quad \\ \quad & \quad & \quad & \quad & \textbf{O} \end{array} \right]
写成矩阵形式如下
KaTeX parse error: Undefined control sequence: \mbox at position 14: AV = U\Sigma,\̲m̲b̲o̲x̲{即,}A = U \Sigm…
什么样的U,V,Σ\Sigma满足上面的要求呢?我们需要解出来。
首先,左乘ATA^T,我们得到,
ATA=VΣTUTUΣVT=VΣTΣVTA^TA = V \Sigma^TU^TU\Sigma V^T = V \Sigma^T \Sigma V^T
由对称矩阵的特征值分解,我们可以知道,Σ\Sigma中的σ1,σ2,,σr\sigma_1,\sigma_2,\ldots,\sigma_rATAA^TA的非零(即正)特征值的正平方根,也是做A正
奇异值,的正V 的列向量取对应的特征向量。
然后,右乘ATA^T,我们得到,
AAT=UΣVTVΣTUT=UΣΣTUTAA^T = U\Sigma V^TV \Sigma^TU^T = U \Sigma \Sigma^T U^T
由对称矩阵的特征值分解,我们可以知道,Σ\Sigma中的σ1,σ2,,σr\sigma_1,\sigma_2,\ldots,\sigma_rAATAA^T的非零(即正)特征值正平方根,U的列向量取对应的特征向量。
由于AATAA^TATAA^TA具有相同的非零特征值,而且所有特征值均大于等于0,所以上述结论是成立的。

####再看SVD

从上面的推导我们可以看出,

  • V的前r列组成R(AT)R(A^T)的标准正交基
  • U的前r列组成R(A)R(A)的标准正交基
  • V的后n-r列组成N(A)的标准正交基
  • U的后m-r列组成N(AT)N(A^T)的标准正交基

我们把矩阵A的SVD展开

\begin{eqnarray*}
A & = & U \Sigma V^T \ & = & [u_1,u_2,\ldots,u_r,u_{r+1},u_{r+2},\ldots,u_m] \left[ \begin{array}{ccccc}
\sigma_1 & 0 & 0 & 0 & \quad \
0 & \sigma_2 & 0 & 0 & \quad \
0 & 0 & \ldots & 0 & \quad \
0 & 0 & 0 & \sigma_r & \quad \
\quad & \quad & \quad & \quad & \textbf{O}
\end{array} \right][v_1,v_2,\ldots,v_r,v_{r+1},v_{r+2},\ldots,v_n]^T \
& = & \sigma_1 u_1v_1^T + \sigma_2 u_1v_1^T + \ldots + \sigma_r u_1v_1^T \
& = & \sum_{i=1}^r \sigma_i u_iv_i^T
\end{eqnarray*}

求矩阵A = (4433)\left( \begin{array}{cc} 4 & 4 \\ -3 & 3 \end{array} \right)的奇异值分解。

ATA=(257725)A^TA = \left( \begin{array}{cc} 25 & 7 \\ 7 & 25 \end{array} \right),特征值λ1=32,λ2=18,\lambda_1 = 32, \lambda_2 = 18,对应的单位正交向量分别为(1212)\left( \begin{array}{c} \frac{1}{\sqrt{2}} \\ \frac{1}{\sqrt{2}} \end{array} \right),
(1212)\left( \begin{array}{c} \frac{1}{\sqrt{2}} \\ \frac{-1}{\sqrt{2}} \end{array} \right)
所以 V = (12121212)\left( \begin{array}{cc} \frac{1}{\sqrt{2}} & \frac{1}{\sqrt{2}} \\ \frac{1}{\sqrt{2}} & \frac{-1}{\sqrt{2}} \end{array} \right),
Σ=(320018)\Sigma = \left( \begin{array}{cc} \sqrt{32} & 0 \\ 0 & \sqrt{18} \end{array} \right).

AV=(820062)AV = \left( \begin{array}{cc} \frac{8}{\sqrt{2}} & 0 \\ 0 & \frac{-6}{\sqrt{2}} \end{array} \right).

因此U=(821320062118)=(1001)U = \left( \begin{array}{cc} \frac{8}{\sqrt{2}}\frac{1}{\sqrt{32}} & 0 \\ 0 & \frac{-6}{\sqrt{2}}\frac{1}{\sqrt{18}} \end{array} \right) = \left( \begin{array}{cc} 1 & 0 \\ 0 & -1 \end{array} \right)

所以A=(1001)(320018)(12121212)A = \left( \begin{array}{cc} 1 & 0 \\ 0 & -1 \end{array} \right)\left( \begin{array}{cc} \sqrt{32} & 0 \\ 0 & \sqrt{18} \end{array} \right)\left( \begin{array}{cc} \frac{1}{\sqrt{2}} & \frac{1}{\sqrt{2}} \\ \frac{1}{\sqrt{2}} & \frac{-1}{\sqrt{2}} \end{array} \right).

易学教程内所有资源均来自网络或用户发布的内容,如有违反法律规定的内容欢迎反馈
该文章没有解决你所遇到的问题?点击提问,说说你的问题,让更多的人一起探讨吧!