Cyan's Blog

Search

Search IconIcon to open search

MIT_18.065-Part_9-Singular Value Decomposition-SVD

Last updated Nov 14, 2021 Edit Source

# Singular Value Decomposition

2021-11-14

Tags: #Math/LinearAlgebra #SVD

Singular-Value-Decomposition|5001

# Basic Concepts

在最棒的情况下, 我们的矩阵是一个实对称矩阵$S$: 它有实特征值和正交的特征向量. 根据 谱定理, 我们能够将这个矩阵分解成以下形式: $$S=Q\Lambda Q^T$$

但是在很多情况下, 我们的特征空间并没有那么大, 所以我们需要将上述分解进行一些推广. SVD便是一种优美的推广形式:

$$A=U\Sigma V^T$$

Singular_value_decomposition2

# SVD的两种形式

这样的话有许多"没用的部分": $\Sigma$里面有很多零, 并且U, V里面有许多零空间里面的向量(后面会解释). 4003

$$A_{m\times n}=U_{m\times r}\Sigma_{r\times r}V^T_{r\times n}$$ 其中$r$是矩阵$A$的秩 这是$\Sigma$是一个对角矩阵了, 并且$V, U$只包含"有用的特征向量"了

# Proof

# 预备部分

关于特征值的一个结论 关于秩的一个结论 $S=A^TA$至少是半正定的, 所以它的特征值一定是非负的

# 正式开始

4

证明和矩阵$A^TA$与$AA^T$有着紧密的联系:

根据对称矩阵的 谱定理这个良好的性质, 我们可以得到下面的这两个分解: $$\begin{aligned} &A^\mathrm{T} A= V \Sigma_1 V^{\mathrm{T}} \\ &A A^\mathrm{T}=U \Sigma_2 U^{\mathrm{T}} \end{aligned}$$

如果我们假设SVD这个分解是成立的, 那么我们可以得到如下分解: $$\begin{aligned} &A^\mathrm{T} A=(V \Sigma^\mathrm{T} U^\mathrm{T})(U \Sigma V^\mathrm{T}) = V \Sigma^2 V^\mathrm{T} \\ &A A^\mathrm{T}=(U \Sigma V^\mathrm{T})(V \Sigma^\mathrm{T} U^\mathrm{T})=U \Sigma^2 U^\mathrm{T} \end{aligned}$$ 可以猜想, 上下两个等式的$V,U,\Sigma$ 都是对应的, 后面我们将会证明这是成立的, 即:

我们下一步将证明$A$将这两组正交向量$U,V$一一联系起来, 即: $$A v_{k}=\sigma_{k} u_{k}$$

观察我们上面的猜想, 我们假设$\sigma_{k}=\sqrt{\lambda_{k}}$, 选择$A^TA$单位正交的一组特征向量$v_1, \cdots v_r$

如果我们证明的是缩减形式的SVD, 那么证明已经结束了, 如果证明的是一般形式的SVD, 那么需要将矩阵$U, V$补全:

因为核空间$Null(A)$和$Row(A)$相互正交, ${v_1, \cdots v_r}\subset Row(A)$, $Null(A^T)$和$Col(A)$相互正交, ${u_1, \cdots u_r}\subset Col(A)$, 所以补足后的正交向量依然相互正交.

这样, 我们就证明了SVD.

# 不同的视角

# 视角一

这个视频的开头部分演示了这个视角:

# 视角二

# 视角三

The eigenvectors give $AX = XA$. But $AV = U\Sigma$: needs two sets of singular vectors.

# 视角 3.5

5 上面这个视频的重点是:$AA^T$, $A^TA$是有实际含义的: Correlation Matrix

# 视角四

# 视角五

Sum of Rank 1 Matrices: Different Importance

下面这个演示也是这个视角, 这是PCA里面的主要视角 SVD Intuition

# Example

A Fancy Example of SVD

# More Illustrations

SVD Intuition


  1. Singular value decomposition - Wikipedia ↩︎

  2. Singular value - Wikipedia ↩︎

  3. Podcast: Gilbert Strang’s Feeling about Singular Value Decomposition - YouTube ↩︎

  4. What is the Singular Value Decomposition? - YouTube: https://youtu.be/CpD9XlTu3ys?t=182 ↩︎

  5. Singular Value Decomposition (SVD): Dominant Correlations - YouTube: https://www.youtube.com/watch?v=WmDnaoY2Ivs&list=PLMrJAkhIeNNSVjnsviglFoY2nXildDCcv&index=4 ↩︎