译者注:
本文的目的是让读者能够通过必要的数学证明来详细了解主成分分析。
在现实世界的数据分析任务中,我们面对的数据通常较为复杂,例如多维数据。我们绘制数据并希望从中找到各种模式,或者使用数据来训练机器学习模型。一种看待维度(dimensions)的方法是假设你有一个数据点 xxx,如果我们把这个数据点想象成一个物理对象,那么维度就是仅仅是一个视图(译者注:这里的视图应该是和三视图中的视图是一个概念)的基础(basis of view),就像从横轴或者纵轴观察数据时的位置。
随着数据维度的增长,可视化数据的难度和数据计算量也随之增长。所以,如何减少数据维度?
break1
首先来理解一些术语:
方差(Variance):它是数据离散程度的一个度量方法。数学上来说,就是数据与其平均值的误差平方和的平均。我们使用如下的公式来计算方差 var(x)var(x)var(x):
var(x)=Σ(xi−xˉ)2Nvar(x) = \frac{\Sigma(x_i-\bar{x})^2}{N}var(x)=NΣ(xi−xˉ)2
协方差(Covariance):它衡量两组有序数据中相应元素在同一方向上移动的程度(译者注:或者通俗的来讲,就是表示两个变量的变化趋势)。两个变量 xxx 和 yyy 的协方差 cov(x,y)cov(x,y)cov(x,y) 可以如下计算:
cov(x,y)=Σ(xi−xˉ)(yi−yˉ)Ncov(x,y) = \frac{\Sigma(x_i-\bar{x})(y_i-\bar{y})}{N}cov(x,y)=NΣ(xi−xˉ)(yi−yˉ)
其中,xix_ixi 是 xxx 在第 iii 个维度的值(译者注:注意和 Python 中的多维列表中的「维」做区分,数学上来说,这里的 xxx 只是一个向量),xˉ\bar{x}xˉ 和 yˉ\bar{y}yˉ 是相应的平均值。
协方差的一种理解方式是两个数据集是如何相关关联的。
正协方差意味着 XXX 和 YYY 是正相关的,即 XXX 增长 YYY 也增长。负协方差则意味着完全相反的关系。然而协方差为零意味着 XXX 和 YYY 不相关。
Continue break1
现在让我们来考虑一下数据分析的需求。
由于我们想要找到数据中的模式,所以我们希望数据分布在每个维度上。同时,我们也希望各个维度之间是独立的。这样的话如果数据在某些 nnn 维表示中具有高协方差时,我们可以用这些 nnn 维的线性组合来替代原来的维度。现在数据就变成仅仅依赖于这 nnn 维的线性组合了。
那么,主成分分析(PCA)是干什么的?
PCA 试图寻找一组新的维度(或者叫一组基础视图),使得所有维度都是正交的(所以线性无关),并根据数据在他们上面的方差进行排序。这就意味着越重要的成分越会排在前面(越重要 = 更大方差/数据分布更广)
PCA 的步骤如下:
为了理解 PCA 的详细计算过程,你需要对特征向量(eigen vectors)和特征值(eigen values)有所了解,你可以参考这个对特征值和特征向量的直观解释。
确保在继续阅读之前你已经理解了特征向量和特征值。
[Covariancematrix]⋅[Eigenvector]=[eigenvalue]⋅[Eigenvector][Covariance matrix] \cdot [Eigenvector] = [eigenvalue] \cdot [Eigenvector][Covariancematrix]⋅[Eigenvector]=[eigenvalue]⋅[Eigenvector]
假设我们已经了解了方差和协方差,然后我们来看下协方差矩阵是什么样的:
[VaCa,bCa,cCa,dCa,eCa,bVbCb,cCb,dCb,eCa,cCb,cVcCc,dCc,eCa,dCb,dCc,dVdCd,eCa,eCb,eCc,eCd,eVe]\begin{bmatrix} V_a & C_{a,b} & C_{a,c} & C_{a,d} & C_{a,e} \\ C_{a,b} & V_b & C_{b,c} & C_{b,d} & C_{b,e} \\ C_{a,c} & C_{b,c} & V_c & C_{c,d} & C_{c,e} \\ C_{a,d} & C_{b,d} & C_{c,d} & V_d & C_{d,e} \\ C_{a,e} & C_{b,e} & C_{c,e} & C_{d,e} & V_e \\ \end{bmatrix}⎣⎢⎢⎢⎢⎡VaCa,bCa,cCa,dCa,eCa,bVbCb,cCb,dCb,eCa,cCb,cVcCc,dCc,eCa,dCb,dCc,dVdCd,eCa,eCb,eCc,eCd,eVe⎦⎥⎥⎥⎥⎤
上面的矩阵即是一个 5 维数据集的协方差矩阵(译者注:原文说是 4 维,我觉得有可能笔误,我这里更正为 5 维),a、b、c、d 和 e。其中 VaV_aVa 表示在 a 维度上的方差,Ca,bC_{a,b}Ca,b 表示 a 与 b 之间的协方差。
如果我们有一个 m×nm \times nm×n 的矩阵,也就是说有 nnn 个数据点,每个数据点 mmm 维(译者注:这是原文的说法,暂且将数据点理解为样本,我个人觉得,一般是以行表示样本,列表示特征,而这里的说法正好相反),然后协方差矩阵可以如下计算:
Cx=1n−1(X−Xˉ)(X−Xˉ)TC_x = \frac{1}{n-1}(X-\bar{X})(X-\bar{X})^TCx=n−11(X−Xˉ)(X−Xˉ)T
其中 XTX^TXT 是 XXX 的转置。
需要注意的是,协方差矩阵包括:
而且,协方差矩阵是对称的。正如我们之前说的那样,我们希望数据分布的更广,即它应该在某个维度上具有高方差。我们也想要去除相关性高的维度,即维度之间的协方差应该为 0(他们应该是线性无关的)。因此,我们的协方差矩阵应该具有:
我们称之为对角阵(diagonal matrix)。
所以我们必须变换原始数据点,才能使得他们的协方差矩阵为对角阵。把一个矩阵变换为对角阵的过程称为对角化(diagonalization)。
在进行 PCA 之前记得归一化(normalize)你的数据,因为如果我们使用不同尺度的数据(即这里的特征),我们会得到误导性的成分。如果特征尺度不同,那么我们也可以简单地使用相关性矩阵而不是协方差矩阵。为了简化这篇文章,我假设我们已经归一化了数据。
让我们来定义一下 PCA 的目标:
让我们来理解一下我所说的投影误差。假设我们要把一个 2 维数据变换成 1 维。所以我们就需要找到一条直线然后把数据点投影到上面(一条直线就是 1 维的)。我们可以找到很多条直线,让我们来看下其中两种:
假设洋红色(magenta)线就是我们的新维度。
如果你看到了红色线(连接蓝色点的投影和洋红色线),那么这每个数据点到直线的垂直距离就是投影误差。所有数据点的误差的和就是总投影误差(译者注:这里每个数据点的误差可以是绝对值形式或者平方误差形式)。
我们的新数据点就是原始蓝色数据点的投影(红点)。正如我们所看到的,我们将 2 维数据投影到 1 维空间,从而将他们变换成 1 维数据。那条洋红色的线被称为主轴(principal axis)。由于我们是投影到一个维度,所有我们只有一个主轴。
很明显,我们选择的第二条直线就比较好,因为
上面提到的两点是有联系的,即如果我们最小化重建误差,那么方差也会增大。
为什么?
到现在为止我们做的有:
现在我们要变换原始数据点,使得变换后的数据协方差矩阵为对角阵。那么如何做呢?
Y=PXY=PXY=PX
其中,XXX 为原始数据集,YYY 为变换后的数据集。
为了简便,我们忽略平均项并且假设数据已经中心化(be centered),即 X=(X−Xˉ)X = (X - \bar{X})X=(X−Xˉ),那么
Cx=1nXXTCy=1nYYT=1n(PX)(PX)T=1nPXXTPT=P(1nXXT)PT=PCxPT\begin{aligned} C_x &= \frac{1}{n}XX^T \\ C_y &= \frac{1}{n}YY^T \\ &= \frac{1}{n}(PX)(PX)^T \\ &= \frac{1}{n}PXX^TP^T \\ &= P(\frac{1}{n}XX^T)P^T \\ &= PC_xP^T \end{aligned} CxCy=n1XXT=n1YYT=n1(PX)(PX)T=n1PXXTPT=P(n1XXT)PT=PCxPT
这就是其中的原理:如果我们能找到 CxC_xCx 的特征向量矩阵并且用其作为矩阵 PPP(PPP 用于将 XXX 变换为 YYY,看上面的公式),那么 CyC_yCy(变换后数据的协方差) 就是对角阵。所以 YYY 就是新的变换后的数据点。
现在,如果我们想要将数据变换为 kkk 维,那么我们可以选择矩阵 CxC_xCx 的前 kkk 个特征向量(根据特征值降序排列)组成一个矩阵,这就是矩阵 PPP。
如果我们有 mmm 维的 nnn 个原始数据点,那么 X:m×nX:m \times nX:m×n P:k×mP:k \times mP:k×m Y=PX:(k×m)(m×n)=(k×n)Y=PX:(k \times m)(m \times n)=(k \times n)Y=PX:(k×m)(m×n)=(k×n) 所以,我们变换后的矩阵将是 nnn 个数据点 kkk 维。
但是为什么这个原理有效呢?
证明:
首先让我们来看一些定理:
有了这些定理,我们可以说:
一个对称阵可以通过其正交特征向量进行对角化。正交规范向量(orthonormal vectors)只是规范化的正交向量(orthogonal vectors)。
译者注:关于 orthonormal vectors 和 orthogonal vectors 的区别可参见 6.3 Orthogonal and orthonormal vectors - UCL,我摘抄部分如下:
Definition. We say that 2 vectors are orthogonal if they are perpendicular to each other. i.e. the dot product of the two vectors is zero. Definition. A set of vectors S is orthonormal if every vector in S has magnitude 1 and the set of vectors are mutually orthogonal.
Cy=PCxPT=P(EDE)PT=P(PTDP)PT=(PPT)D(PPT)=(PP−1)D(PP−1)CY=D\begin{aligned} C_y &= PC_xP^T \\\\ &= P(E^DE)P^T \\\\ &= P(P^TDP)P^T \\\\ &= (PP^T)D(PP^T) \\\\ &= (PP^{-1})D(PP^{-1}) \\\\ C_Y &= D \end{aligned}CyCY=PCxPT=P(EDE)PT=P(PTDP)PT=(PPT)D(PPT)=(PP−1)D(PP−1)=D
很明显是 PPP 对角化了 CyC_yCy。这就是 PCA 的目标,我们可以使用矩阵 PPP 和 CyC_yCy 来总结 PCA 的结果。
总结:
[new data]k×n=[top k eigenvectors]k×m[original data]m×n[\text{new data}]_{k\times n} = [\text{top $k$ eigenvectors}]_{k \times m}[\text{original data}]_{m \times n}[new data]k×n=[top k eigenvectors]k×m[original data]m×n
Note:PCA 是一种分析方法。你可以使用 SVD 做 PCA,或者使用特征分解(就像我们这里做的一样)做 PCA,或者使用其他方法做 PCA。SVD 只是另一种数值方法。所以不要混淆 PCA 和 SVD 这两个术语。但是有时我们会因为性能因素选择 SVD 而不是特征分解或者其他方法(这个不用关心),我们会在接下来的文章中探索 SVD。
译者注:关于 SVD,有兴趣的话可以参考我写的另一篇文章:奇异值分解 SVD 的数学解释。