一、简介

​ 从计算的角度，该方法叫$KernelTrick$：避免一步一步先把φ(x)求出，再把内积求出来，而是一步到位，直接把样本点带进核方法就可以把内积求出来。减少计算量

​ 从思想的角度，该方法叫$KernelMethod$：把一个低维空间的非线性问题转化到高维空间的线性问题，利用核函数的性质来求解。

​ 该部分最重要的叫做$KernelFunction$，它的来历就是因为在我们做分类问题时，例如非线性的不可分给我们带来了一些困境，我们可以使用高维转换进而使用$KernelFunction$去解决它，又或者是对偶表示带来内积，如果你是高维空间，那么φ(x)就很难求，如果我们先去找到一个核函数，就能直接求出内积（核函数蕴含了一个非线性转换以及非线性转换后的一个内积）

​ 接下来我们就详细的介绍一下核方法涉及到的一些知识点。

二、线性不可分问题

有时线性可分的数据夹杂一点噪声，可以通过改进算法来实现分类，比如感知机的口袋算法和支持向量机的软间隔。但是有时候数据往往完全不是线性可分的，比如下面这种情况：

在异或问题中数据往往不是线性可分的，但通过将数据映射到高维空间后就可以实现线性可分。可以认为高维空间中的数据比低维空间的数据更易线性可分。对于异或问题，我们可以通过寻找一个映射$\varphi (x)$将低维空间中的数据$x$映射成高维空间中的$z$来实现数据的线性可分，例如：

$\underset{二维}{x=(x_1,x_2)}\stackrel{\varphi (x)}{\to }\underset{三维}{z=(x_1,x_2,(x_1-x_2{)}^2)}$

然后在新的空间中，该数据就可以实现线性可分：

三、核方法的引出

映射到高维空间以后出现的问题是计算复杂度的加大，例如在支持向量机的求解过程中求解的优化问题可以转换为如下的优化问题：

$$\{\begin{array}{c}\underset{\lambda }{\min }\frac{1}{2}{\sum }_{i=1}^N{\sum }_{j=1}^N{\lambda }_i{\lambda }_j{y}_i{y}_j{x}_i^T{x}_j-{\sum }_{i=1}^N{\lambda }_i,i=1,2,\cdots ,N\\ {\lambda }_i\ge 0,i=1,2,\cdots ,N\end{array}$$

将数据映射到高维空间后也就需要求解以下优化问题：

$$\{\begin{array}{c}\underset{\lambda }{\min }\frac{1}{2}{\sum }_{i=1}^N{\sum }_{j=1}^N{\lambda }_i{\lambda }_j{y}_i{y}_j\varphi (x_i{)}^T\varphi (x_j)-{\sum }_{i=1}^N{\lambda }_i,i=1,2,\cdots ,N\\ {\lambda }_i\ge 0,i=1,2,\cdots ,N\end{array}$$

将数据拓展到高维的方法可以用来解决完全非线性的问题：

线性可分	允许一点点错误	严格非线性
PLA	Pocket Algorithm	$\varphi (x)$+PLA
Hard-Margin SVM	Soft-Margin SVM	$\varphi (x)$+Hard-Margin SVM(Kernel SVM)

然而在上面的方法中如果先将 $\varphi \left(x_i\right)$ 与 $\varphi \left(x_j\right)$ 计算出来然后再做点积，由于维度特别高加之得到 $\varphi \left(x_i\right)$ 与 $\varphi \left(x_j\right)$ 也需要计算量，因此计算量是相当大的，因此就有了核方法。
通过使用核函数我们可以直接得到 $\varphi \left(x_i\right)$ 与 $\varphi \left(x_j\right)$ 的内积，正定核函数定义如下:

$$\begin{gathered} \forall x,x^{\prime }\in \mathcal{X},\exists \varphi \in \mathcal{H}:x\mapsto z,\text{ s.t. }K\left(x,x^{\prime }\right)=\varphi {\left(x_i\right)}^T\varphi \left(x_j\right)=⟨\varphi \left(x_i\right),\varphi \left(x_j\right)⟩\text{, } \\ 则称K\left(x,x^{\prime }\right)是一个正定核函数。 \end{gathered}$$

其中 $\mathcal{H}$ 是$HilbertSpace$（完备的可能是无限维的被陚予内积的线性空间），如果去掉内积这个条件我们简单地称为核函数。
Hilbert空间定义:

• 完备指的是对极限是封闭的，例如有一个序列$\{k_n\}$是Hilbert空间的一个元素，那么$\underset{n->\infty }{\lim }{k}_n=K\in \mathcal{H}$

• 被赋予内积代表空间中的元素满足以下性质:

$$\{\begin{array}{l}\text{ 对称性: }<f,g>=<g,f>\\ \text{ 正定性: }<f,f>\ge 0,“=“\iff f=0\\ \text{ 线性: }⟨r_1{f}_1+r_2{f}_2,g>=r_1<f_1,g>+r_2<f_2,g>\end{array}$$

• 线性空间即向量空间

因为支持向量机的求解只用到内积运算，所以使用核函数会大大简化运算量。

四、正定核函数的证明

正定核函数还有另外一个定义：

如果核函数满足以下两条性质：
①对称性
②正定性
则称核函数$K(x,z)$为正定核函数。

这个定义也就是正定核函数的充要条件，其中两条性质分别指的是：

①对称性$\iff K(x,z)=K(z,x)$;
②正定性$\iff$任取$N$个元素$x_1,x_2,\cdots ,x_N\in \mathcal{X}$,对应的$GrammatrixK=[K(x_i,x_j)]$是半正定的。

证明$K(x,z)=\varphi (x{)}^T\varphi (z)\iff$对称性+矩阵$K$半正定：

①$\Rightarrow$:
首先证明对称性

$$\begin{gathered} K(x,z)=<\varphi (x),\varphi (z)> \\ K(z,x)=<\varphi (z),\varphi (x)> \\ 又内积具有对称性，即<\varphi (x),\varphi (z)>=<\varphi (z),\varphi (x)> \\ \therefore K(x,z)=K(z,x) \\ \therefore K(x,z)满足对称性 \end{gathered}$$

然后证明

PS：先说明一下证明矩阵半正定的两种方法：

①特征值$\ge 0$
②$\forall \alpha \in {\mathbb{R}}^n,{\alpha }^{T}A\alpha \ge 0$

$$\begin{gathered} 欲证Grammatrix:K=[K(x_i,x_j){]}_{N\times N}半正定 \\ 即证：\forall \alpha \in {\mathbb{R}}^n,{\alpha }^{T}K\alpha \ge 0 \\ \because {\alpha }^{T}K={\left(\begin{array}{cccc}{\alpha }_1& {\alpha }_2& \cdots & {\alpha }_N\end{array}\right)}_{1\times N}{\left[\begin{array}{cccc}{a}_{11}& a_{12}& \cdots & a_{1N}\\ a_{21}& a_{22}& \cdots & a_{2N}\\ ⋮& ⋮& \ddots & ⋮\\ a_{N1}& a_{N2}& \cdots & a_{NN}\end{array}\right]}_{N\times N}{\left(\begin{array}{c}{\alpha }_1\\ {\alpha }_2\\ ⋮\\ {\alpha }_N\end{array}\right)}_{N\times 1} \\ =\sum _{i=1}^N\sum _{j=1}^N{\alpha }_i{\alpha }_j{K}_{ij} \\ =\sum _{i=1}^N\sum _{j=1}^N{\alpha }_i{\alpha }_j<\varphi (x_i),\varphi (x_j)> \\ =\sum _{i=1}^N\sum _{j=1}^N{\alpha }_i{\alpha }_j\varphi (x_i{)}^T\varphi (x_j) \\ =\sum _{i=1}^N{\alpha }_i\varphi (x_i{)}^T\sum _{j=1}^N{\alpha }_j\varphi (x_j) \\ ={\left[\begin{array}{c}{\sum }_{i=1}^N{\alpha }_i\varphi (x_i)\end{array}\right]}^T\sum _{j=1}^N{\alpha }_j\varphi (x_j) \\ =<\sum _{i=1}^N{\alpha }_i\varphi (x_i),\sum _{j=1}^N{\alpha }_j\varphi (x_j)> \\ ={\Vert \sum _{i=1}^N{\alpha }_i\varphi (x_i)\Vert }^2\ge 0 \\ \therefore K是半正定的。 \end{gathered}$$

②$\Leftarrow$:

$$\begin{gathered} 对K进⾏特征分解，对于对称矩阵K=V\Lambda V^T，那么令\varphi (x_i)=\sqrt{{\lambda }_i}{V}_i， \\ 其中V_i是特征向量，于是就构造了K(x,z)=\sqrt{{\lambda }_i{\lambda }_j}{V}_i^T{V}_j。 \end{gathered}$$

得证。

“开启掘金成长之旅！这是我参与「掘金日新计划 · 2 月更文挑战」的第 3 天，点击查看活动详情”