SVM 是是一种二分类模型，基本模型是的定义在特征空间上的间隔最大的线性分类器，SVM的学习策略就是间隔最大化。

1. 分类的边缘间隔（Margin）

1.1 分类器

以逻辑回归为例，$h_{\theta }(x)=g({\theta }^{T}x)=\frac{1}{1+e^{-{\theta }^{T}x}}$，特征组合经过 sigmoid 函数被映射到 $[0,1]$ 之间。
对于二分类问题，即可被视为概率， { p ( y = 1 ∣ x ; θ ) = h θ ( x ) , p ( y = 0 ∣ x ; θ ) = 1 − h θ ( x ) \displaystyle \left\{

\right. {p(y=1∣x;θ)=hθ​(x),p(y=0∣x;θ)=1−hθ​(x)​。
此时，当对样本进行分类时，则可视为 l a b e l ( x ) = { 1 , i f    h θ ( x ) > 0.5 , 0 , o t h e r w i s e \displaystyle label(x)=\left\{

1,0,ifhθ(x)>0.5,otherwise$$\begin{array}{rlr}1,& & if{h}_{\theta }(x)>0.5,\\ 0,& & otherwise\end{array}$$

\right. label(x)={1,0,​​ifhθ​(x)>0.5,otherwise​

sigmoid 函数图像如上图所示，即当 ${\theta }^{T}x$ 越大时， ${\theta }^{T}x>>0$ ，$h_{\theta }(x)$越趋近于 1，则将样本 $label(x)=1$ 有更高的可信度；

同样的， 当 ${\theta }^{T}x$ 越小时， ${\theta }^{T}x$ <<0，$h_{\theta }(x)$越趋近于 0，则将样本 $label(x)=0$ 有更高的可信度。

此时，即可视为 l a b e l ( x ) = { 1 , i f    θ T x > > 0 0 , θ T x < < 0 \displaystyle label(x)=\left\{

\right. label(x)={1,0,​​ifθTx>>0θTx<<0​，可以以此作为目标函数来进行分类。

1.2 图示的边缘间隔

如上图所示，三个分类边界超平面：$H_1,H_2,H_3$，其中，$H_1$ 不能实现完全分类； $H_2$ 可以，但分割面与最近的数据点只有很小的间隔，如果测试数据有一些噪声的话可能就会被 $H_2$ 错误分类(即对噪声敏感、泛化能力弱)，可信度不好；$H_3$ 以较大间隔将它们分开，这样就能容忍测试数据的一些噪声而正确分类，是一个泛化能力不错的分类器，可信度较好。

对于线性支持向量机来说，数据点若是 $p$ 维向量，我们用 $p-1$ 维的超平面来分开这些点。但是可能有许多超平面可以把数据分类。最佳超平面的一个合理选择就是以最大间隔把两个类分开的超平面。因此，SVM选择能够使离超平面最近的数据点的到超平面距离最大的超平面。

2. 函数间隔和几何间隔

2.1 分类器公式化

标签 y ∈ { − 1 , 1 } y\in\{-1,1\} y∈{−1,1}，分类器 h ω , b ( x ) = g ( ω T x + b ) = { 1 , i f    ω T x + b ≥ 0 − 1 , ω T x + b < 0 \displaystyle h_{\omega,b}(x)=g(\omega^Tx+b)=\left\{

\right. hω,b​(x)=g(ωTx+b)={1,−1,​​ifωTx+b≥0ωTx+b<0​

2.2 函数间隔（geometric margins ）

给定一个训练样本 $(x^{(i)},y^{(i)})$，定义该样本相对于决策边界 $(\omega ,b)$ 的函数间隔为 ${\gamma }^{(i)}=y^{(i)}({\omega }^T{x}^{(i)}+b)$。

注意到，若要保证分类结果可信，需使得函数间隔 ${\gamma }^{(i)}$ 是一个大的正数，因为

{ i f    y ( i ) = 1 , 为 保 证 分 类 结 果 正 确 且 可 信 ， 需 使 ω T x ( i ) + b > 0 i f    y ( i ) = − 1 , 为 保 证 分 类 结 果 正 确 且 可 信 ， 需 使 ω T x ( i ) + b < 0 \displaystyle \left\{

\right. {ify(i)=1,ify(i)=−1,​​为保证分类结果正确且可信，需使ωTx(i)+b>0为保证分类结果正确且可信，需使ωTx(i)+b<0​

因此，一个大的函数间隔代表正确且可信的分类结果。但是，注意到，如果令 $\omega =2\omega ;b=2b$，此时，分类结果不变，但是函数间隔却增大了2倍，这个变化是无意义的。

给定训练集 S = { ( x ( i ) , y ( i ) ) ; i = 1 , ⋯   , n } S=\{(x^{(i)},y^{(i)});i=1,\cdots,n\} S={(x(i),y(i));i=1,⋯,n}，将该训练集的函数间隔定义为所有训练样本中函数间隔最小的函数间隔，

即 $\gamma =mi{n}_{i=1,\cdots ,n}{\gamma }^{(i)}$

2.3 几何间隔（geometric margins）

如上图所示，

• 分类面为 $(\omega ,b)$，$\omega$ 为分类面的正交向量。
• 点 A 代表 标签 $y^{(i)}=1$ 的训练样本 $x^{(i)}$， 它到分类面的距离 ${\gamma }^{(i)}$ 由线段 AB 给出。
• $\frac{\omega }{||\omega ||}$ 是和 $\omega$ 同方向的单位长度向量，点 A 代表向量 $x^{(i)}$ ，因此，可得点 B 为 $x^{(i)}-{\gamma }^{(i)}\cdot \frac{\omega }{||\omega ||}$。
• 点B在决策边界$({\omega }^{T}x+b=0)$上，因此有 ${\omega }^T(x^{(i)}-{\gamma }^{(i)}\cdot \frac{\omega }{||\omega ||})+b=0$；
• 可解得， ${\gamma }^{(i)}=\frac{{\omega }^T{x}^{(i)}+b}{||\omega ||}=(\frac{\omega }{||\omega ||}{)}^T{x}^{(i)}+\frac{b}{||\omega ||}$。
• 定义样本 $(x^{(i)},y^{(i)})$ 关于分类面 $(\omega ,b)$ 的 几何间隔 为 ${\gamma }^{(i)}=y^{(i)}\cdot [(\frac{\omega }{||\omega ||}{)}^T{x}^{(i)}+\frac{b}{||\omega ||}]$。

注意，当 $||\omega ||=1$ 时，几何间隔和函数间隔相同。而 几何间隔具有参数的尺度缩放不变性。如，令 $\omega =2\omega ;b=2b$，几何间隔仍不变。

给定训练集 S = { ( x ( i ) , y ( i ) ) ; i = 1 , ⋯   , n } S=\{(x^{(i)},y^{(i)});i=1,\cdots,n\} S={(x(i),y(i));i=1,⋯,n}，将该训练集的几何间隔定义为所有训练样本中几何间隔最小的几何间隔，

即 $\gamma =mi{n}_{i=1,\cdots ,n}{\gamma }^{(i)}$

3. 最优间隔分类器——硬间隔（optimal margin classifier）

为使分类器的结果是正确的，且具有可信度，不仅需要使得分类面可以将正负样本分开，且需使得正负训练样本之间有一定的间隙，即几何间隔。

3.1 数学描述

假定训练集是线性可分的，存在一个可以将正负样本分开的分类面的超平面集合，要从该集合中找到最优分类面，即最大化 几何间隔。可以将其视为优化问题，即
$$\begin{gathered} ma{x}_{\gamma ,\omega ,b}\gamma \\ st.y^{(i)}({\omega }^T{x}^{(i)}+b)\ge \gamma ,i=1,\cdots ,n \\ ||\omega ||=1 \end{gathered}$$
即最大化 $\gamma$，使得训练集中每个样本的函数间隔至少是 $\gamma$， $||\omega ||=1$ 确保函数间隔等于几何间隔，
即保证了所有的几何间隔大于等于 $\gamma$。

3.2 求解

3.2.1 问题转化

上述问题是一个优化问题，但是其约束条件 $||\omega ||=1$ 是非凸问题，不能使用标准的解决凸优化的问题求解。将其转换为：
$$\begin{gathered} \underset{\hat{\gamma },\omega ,b}{\max }\frac{\hat{\gamma }}{||\omega ||} \\ st.y^{(i)}({\omega }^T{x}^{(i)}+b)\ge \hat{\gamma },i=1,\cdots ,n \end{gathered}$$
即转换为最大化 $\frac{\hat{\gamma }}{||\omega ||}$，几何间隔和函数间隔通过 $\gamma =\frac{\hat{\gamma }}{||\omega ||}$联系起来。但是，目标函数 $\frac{\gamma }{||\omega ||}$ 依然是非凸函数。

注意到，对 $\omega ,b$ 参数的尺度缩放不影响最终结果。因此，若对 $\omega ,b$ 进行尺度缩放，使得他们对应的训练集的函数间隔 $\hat{\gamma }=1$。

此时，目标函数则变为 最大化 $\frac{\hat{\gamma }}{||\omega ||}=\frac{1}{||\omega ||}$，这相当于最小化 $||\omega |{|}^2$，此时，优化问题变为：
$$\begin{gathered} \underset{\omega ,b}{\min }\frac{1}{2}||\omega |{|}^2 \\ st.y^{(i)}({\omega }^T{x}^{(i)}+b)\ge 1,i=1,\cdots ,n \end{gathered}$$
此时，该问题变为一个凸二次目标函数，同时约束只有线性约束。它的解就是 最优间隔分类器。

3.2.2 拉格朗日对偶求解方法（The optimal margin classifier）

3.2.2.1 原问题与对偶问题

3.2.2.2 KKT条件

3.2.3 求解

为利用拉格朗日方法求解，这里将原问题转化为：
$$\begin{gathered} \underset{\omega ,b}{\min }\frac{1}{2}||\omega |{|}^2 \\ st.g_i(\omega )=-y^{(i)}({\omega }^T{x}^{(i)}+b)+1\le 0,i=1,\cdots ,n \end{gathered}$$

而KKT的互补松弛条件，即当训练集中有样本点的函数间隔明确等于 1 时（此时对应着 $g_i(\omega )=0$）。如下图所示，最大分隔边界的超平面如实线所示。间隔最小的点事距离决策面最近的点。此处有三个点（两个正样本，一个负样本），虚线穿过这三个点与决策面平行。${\alpha }_i$ 分别对应着这三个训练样本点。这三个样本点就是 支持向量。

实际问题中支持向量的个数远小于训练集的样本数。在决定最佳分类面时只有支持向量起作用，而其他数据点并不起作用。