rbf(机器学习--支持向量机（六）径向基核函数（RBF）详解)

前面讲解了什么是核函数，以及有效核函数的要求，到这里基本上就结束了，很多博客也是如此，但是呢这些只是理解支持向量机的原理，如何使用它讲解的却很少，尤其是如何选择核函数更没有人讲，不讲也是有原因的，因为核函数的选择没有统一的定论，这需要使用人根据不同场合或者不同问题选择核函数，选择的标准也没有好的指导方法，一般都是尝试使用，所以选择核函数就需要看使用者的经验了，研究者们也在一直研究这种方法，这方面的研究称为核工程，因为核函数不仅仅使用在支持向量机中，只要满足多维数据的內积即可使用核函数进行解决，因此核函数可以和很多算法结合，能产生意想不到的效果，，但是核函数因为太过庞大，我在这里只是引导的讲解一下，以后有时间专门开一个栏目专讲核函数的选择，在这里只简单的讲解一下核函数，同时深入讲解径向基核函数，通过讲解这一个核函数，希望大家可以通过这种方法去学习如何选择核函数，当然最后我会把sklearn的核函数的api接口也讲解一下，虽然还没使用过，但是当理解径向基核函数后，还是可以很容易使用的，好，废话不多说了，下面就开始进入正题：

在讲径向基核函数之前，先给大家讲解一下，核函数构造方法：

为了利⽤核替换，我们需要能够构造合法的核函数。⼀种⽅法是选择⼀个特征空间映射 ϕ(x) ，然后使⽤这个映射寻找对应的核，这⾥，⼀维空间的核函数被定义为：

其中 ϕ i (x) 是基函数。

上图从对应的基函数集合构建核函数的例⼦。在每⼀列中，下图给出了由上面公式定义的核函数 k(x,x ′ ) ，它是 x 的函数， x ′ 的值⽤红⾊叉号表⽰，⽽上图给出了对应的基函数，分别是多项式基函数（左列）、⾼斯基函数（中列）、 logistic sigmoid 基函数（右列）。

另⼀种⽅法是直接构造核函数。在这种情况下，我们必须确保我们核函数是合法的，即它对应于某个（可能是⽆穷维）特征空间的标量积。作为⼀个简单的例⼦，考虑下⾯的核函数：

如果我们取⼆维输⼊空间 x = (x 1 ,x 2 ) 的特殊情况，那么我们可以展开这⼀项，于是得到对应的⾮线性特征映射：

我们看到特征映射的形式为，因此这个特征映射由所有的⼆阶项组成，每个⼆阶项有⼀个具体的系数。但是，更⼀般地，我们需要找到⼀种更简单的⽅法检验⼀个函数是否是⼀个合法的核函数，⽽不需要显⽰地构造函数 ϕ(x) 。核函数 k(x,x ′ ) 是⼀个合法的核函数的充分必要条件是 Gram 矩阵（元素由 k(x n ,x m ) 给出）在所有的集合 {x n } 的选择下都是半正定的。注意，⼀个半正定的矩阵与元素全部⾮负的矩阵不同。
构造新的核函数的⼀个强⼤的⽅法是使⽤简单的核函数作为基本的模块来构造。可以使⽤下⾯的性质来完成这件事。
给定合法的核 k 1 (x,x ′ ) 和 k 2 (x,x ′ ) ，下⾯的新核也是合法的：

通过上面核函数的性质就可以构造出不同的核函数了，但是最好还是验证一下是否是有效的核函数，即核矩阵是对称的半正定矩阵，下面简单证明一下径向基核函数是有效的，然后再详解径向基核函数的来源和应用：

这个经常被称为⾼斯核。但是注意，在我们现在的讨论中，它不表⽰概率密度，因此归⼀化系数被省略了。这是⼀个合法的核，理由如下。我们把平⽅项展开：

从而：

通过上面的性质以及线性核的合法性，即可看到⾼斯核是⼀个合法的核。注意，对应于⾼斯核的特征向量有⽆穷的维数。那么你可以在此基础继续变化构造适合自己的核函数：

⾼斯核并不局限于使⽤欧⼏⾥得距离。如果我们使⽤公式|x-x‘|中的核替换，将 x T x ′ 替换为⼀个⾮线性核 κ(x,x ′ ) ，我们有

核观点的⼀个重要的贡献是可以扩展到符号化的输⼊，⽽不是简单的实数向量。核函数可以定义在多种对象上，例如图⽚、集合、字符串、⽂本⽂档。例如，考虑⼀个固定的集合，定义⼀个⾮向量空间，这个空间由这个集合的所有可能的⼦集构成。如果 A 1 和 A 2 是两个这样的⼦集，那么核的⼀个简单的选择可以是：

其中 A 1 ∩ A 2 表⽰集合 A 1 和 A 2 的交集， |A| 表⽰ A 的元素的数量。这是⼀个合法的核，因为可以证明它对应于⼀个特征空间中的⼀个内积。

当然还有其他的方法构造核函数例如从⼀个概率⽣成式模型开始构造，有兴趣的同学可以研究一下.

下面就详解什么是径向基核函数，将对他的由来和使用进行全面阐释：

理解RBF网络的工作原理可从两种不同的观点出发：①当用RBF网络解决非线性映射问题时，用函数逼近与内插的观点来解释，对于其中存在的不适定(illposed）问题，可用正则化理论来解决；②当用RBF网络解决复杂的模式分类任务时，用模式可分性观点来理解比较方便，其潜在合理性基于Cover关于模式可分的定理。下面阐述基于函数逼近与内插观点的工作原理。
1963年Davis提出高维空间的多变量插值理论。径向基函数技术则是20世纪80年代后期，Powell在解决“多变量有限点严格（精确）插值问题”时引人的，目前径向基函数已成为数值分析研究中的一个重要领域。
考虑一个由N维输人空间到一维输出空间的映射。设N维空间有P个输人向量平，P=1，2，....，P，它们在输出空间相应的目标值为，P对输人一输出样本构成了训练样本集。插值的目的是寻找一个非线性映射函数F(X),使其满足下述插值条件：

式子中，函数F描述了一个插值曲面，所谓严格插值或精确插值，是一种完全内插，即该插值曲面必须通过所有训练数据点。

那么到底什么是差值，在这里简单的解释一下，就是通过训练集数据，我找到一个曲面，这个曲面可以完全覆盖这些训练点，那么找到这个曲面后就可以通过这个曲面取寻找其他的值了，下面画个图给大家看看：

画图不是很好啊，意思差不多，就是我通过一些数据样本点，每个样本都有目标值，通映射高维空间去找到一个曲面F(x),这个曲面需要经过所有的数据，一旦这个曲面确定以后，我就可以通过这个曲面去生成更多的数据目标值，就是这个意思了，好，我们继续往下：

采用径向基函数技术解决插值问题的方法是，选择P个基函数个训练数据，各基函数的形式为：

式中，基函数为非线性函数，训练数据点是的中心。基函数以输人空间的点x与中心的距离作为函数的自变量。由于距离是径向同性的，故函数被称为径向基函数。基于径向基函数技术的差值函数定义为基函数的线性组合：

在这里需要解释一下这是范数，在平面几何的向量来说就是模，然而一旦维度很高就不知道是什么东西了，可能是衡量距离的一个东西，那么这个代表什么意思呢？简单来说就是一个圆而已，在二维平面，就是圆心，x就是数据了，这个数据距离圆心的距离，因为和数据的位置和大小无关，只和到圆心的半径有关，况且同一半径圆上的点到圆心是相等的因此取名为径向，代入映射函数就是径向基函数了，我们看看径向基函数有什么特点：

将（1）式的插值条件代入上式，得到P个关于未知系数,的线性方程组：

令则上述方程组可改写为：

令表示元素的PxP阶矩阵，和分别表示系数向量和期望输出向量，（5）式还可以写成下面的向量形式：

式中，称为插值矩阵，若为可逆矩阵，就可以从（6）式中解出系数向量，即：

通过上面大家可以看到为了使所有数据都在曲面还需要系数调节，此时求出系数向量就求出了整个的映射函数了，下面在看看几个特殊的映射函数:

(1)高斯径向基函数

横轴就是到中心的距离用半径r表示，如上图，我们发现当距离等于0时，径向基函数等于1，距离越远衰减越快，其中高斯径向基的参数在支持向量机中被称为到达率或者说函数跌落到零的速度。红色=1，蓝色=5，绿色=0.5，我们发现到达率越小其越窄。

（2）反演S型函数

这个和径向基类似，只是极值为0.5.前面乘上系数就好了，红色=1，蓝色=5，绿色=0.5

（3）拟多二次函数

红色=1，蓝色=5，绿色=0.5,横轴为距离r。

径向基函数就讲完了，后面就是如何使用径向基函数进行机器学习分类呢？在这里以sklearn为例进行讲解：

核函数 可以是以下任何形式：:

线性: $langle x, x' angle$ .

多项式: $(gamma langle x, x' angle + r)^d$ . $d$ 是关键词 , $r$ 指定。

rbf: $exp(-gamma |x-x'|^2)$ . $gamma$ 是关键词 , 必须大于 0。

sigmoid ( $anh(gamma langle x,x' angle + r)$ ), 其中 $r$ 指定。