统计学习方法笔记（李航）———第二章（感知机）

感知机（perceptron）是Rosenblatt在60年代提出的第一个机器学习模型。尽管比较简单，而且有局限性，但它是后续学习“支持向量机”的基础。本章有两个值得注意的地方：一是对偶形式的理解，二是算法收敛性的理解，这些地方都能和“支持向量机”联系起来。

一、模型的数学形式与图像表示

1. 数学形式
   感知机模型非常简单，输入空间（特征空间) 为 $\mathcal{X}\subseteq R^n,$ 输出空间为 Y = { + 1 , − 1 } \mathscr{Y}=\{+1,-1\} Y={+1,−1}
   决策函数为 $f(x)=\mathrm{sign}(w\cdot x+b),$ 其中 $w\in R^n,b$ 为常数
   符号函数 $\mathrm{sign}(x)=\{\begin{array}{ll}+1,& x⩾0\\ -1,& x<0\end{array}$
2. 图像表示
   

上图为 $\mathcal{X}\subseteq R^2$ 时的模型图像。图中的直线为 $w\cdot x+b=0$, 即 $w_1{x}^{(1)}+w_2{x}^{(2)}+b=0$ 。注意不要和直线函数 $\mathrm{y}=\mathrm{a}\mathrm{x}+\mathrm{b}$ 混淆, $,$ 因为上图是三维图像在二 维平面上的表示，其输出为离散值, 因此用 “圆点” 和 “交叉” 表示。

感知机的作用是在输入空间中找到一个 “分离超平面" （在上图退化为直线$wX+b=0$），将 “线性 可分” 数据集一分为二，此超平面又称 “分界面”

下面看看如何表示输入空间中任一点 $x_0$ 到超平面 $w\cdot x+b=0$ 的距离：

先看输入空间为平面的情况, 其中点 $x_0$ 位于直线法向量 $w$ 的另一侧（图中红点），设 $x_0$ 在 直线上的投影为 $x,\Vert x_0-x\Vert$ 记作 $D$

$x_0=x-D\frac{w}{\Vert w\Vert },$ 两边同时点乘$w$

$w\cdot x_0=w\cdot x-D\frac{w\cdot w}{\Vert w\Vert }=w\cdot x-D\frac{\Vert w{\Vert }^2}{\Vert w\Vert },$ 由于 $w\cdot x+b=0$

$w\cdot x_0+b=-D\Vert w\Vert$ 即 $D=-\frac{w\cdot x_0+b}{\Vert w\Vert }$

因此图中 $x=(0,0{)}^T$ 到 $w\cdot x+b=0$ 的距离为 $D_0=-\frac{b}{\Vert w\Vert }$

在不考虑点与法向量位置的情况下, 也可以记作 $D=\frac{|w\cdot x_0+b|}{\Vert w\Vert }$

3. 线性可分与线性不可分

以上述二维的输入空间为例，线性可分的数据集是十分罕见的，只要稍微加入一个“异常点”，例如图中的红色“圆点”，就无法用线性模型进行分类了。

更有甚者，不同类型的点以椭圆或三次曲线为边界都是有可能的，这样的数据集都是“非线性可分的”。

对于非线性可分数据集的分类问题，我们在第7章“支持向量机（SVM）”进行深入讨论。

二、策略与算法

1. 风险函数

如何验证样本点 $\left(x_i,y_i\right)$ 是否分类正确? 对于某分离超平面 $w\cdot x+b=0$
分类正确： $y_i\left(w\cdot x_i+b\right)>0$

设超平面S的误分类点集合为M，则误分类点到超平面的总距离为（误分类点需增加负号表示距 离 $)-\frac{1}{\Vert w\Vert }{\sum }_{x_i\in M}{y}_i\left(w\cdot x_i+b\right),$ 我们的目标是使得误分类点总距离最小, 由于 $\Vert w\Vert$ 为常 数, 对求最小值没有影响, 因此不考虑 $\frac{1}{\Vert w\Vert }$

于是将感知机 “经验风险函数" \quad 定义为 $L(w,b)=-{\sum }_{x_i\in M}{y}_i\left(w\cdot x_i+b\right)$

2. 算法 Nabla算子

$\nabla ={\left(\frac{\partial }{\partial x},\frac{\partial }{\partial y},\frac{\partial }{\partial z}\right)}^T,$ 相当于求 “梯度”

${\nabla }_w=\frac{\partial }{\partial w}{\nabla }_b=\frac{\partial }{\partial b}$

注意: 由于 $w\in R^n,$ 因此

${\nabla }_w=\frac{\partial }{\partial w}={\left(\frac{\partial }{\partial w_1},\frac{\partial }{\partial w_2},\dots \frac{\partial }{\partial w_n}\right)}^T$

设误分类点的集合M固定, 经验风险函数的梯度为

${\nabla }_{w}L(w,b)=-{\sum }_{x_i\in M}{y}_i{x}_i$

${\nabla }_{b}L(w,b)=-{\sum }_{x_i\in M}{y}_i$

算法的原始形式：

对于训练集T, 输入空间 (特征空间) 为 $\mathcal{X}\subseteq R^n,$ 输出空间为 Y = { + 1 , − 1 } \mathscr{Y}=\{+1,-1\} Y={+1,−1}, 学习率 为 $\eta (0\le \eta \le 1),$ 感知机模型 $f(x)=\mathrm{sign}(w\cdot x+b)$

(1) 选取初值 $w_0,b_0$
(2) 在训练集中选取一个数据 $\left(x_i,y_i\right)$
(3) 如果 $y_i\left(w\cdot x_i+b\right)\le 0,$ 即分类错误, 则将参数更新为
$$\begin{array}{c}w\leftarrow w+\eta y_i{x}_i\\ b\leftarrow b+\eta y_i\end{array}$$
(4) 转至 (2) 直至训练集中没有误分类点

算法的对偶形式
关于为什么要有对偶形式可以参考：如何理解感知机学习算法的对偶形式？希望能解答大家疑惑。

对偶形式的目的是，将参数 w和b 表示为 $x_i$ 和 $y_i$ 的线性组合, 即
$$\begin{array}{rl}w& =\sum _{i=1}^N{\alpha }_i{y}_i{x}_i\\ b& =\sum _{i=1}^N{\alpha }_i{y}_i\end{array}$$
注意（关于对偶形式的理解）：

此时参数 $w$ 和 $b($ 共n+1个变量) 被 ${\alpha }_1,{\alpha }_2,\dots {\alpha }_N($ 共N个变量) 取代。当n+1>N时, 对 偶模型的复杂度变低了，实现了对 “参数空间” 的降维。

另外, 在SVM中 $\alpha$ 是参数 $w$ 和 $b$ 的约束条件, 如果建立起 $\alpha$ 与参数 $w$ 和 $b$ 的线性关系, 则可以将多重极值转化为单重极值求解。这可以说是SVM的关键一步。

感知机的对偶模型: $f(x)=\mathrm{sign}\left({\sum }_{j=1}^N{\alpha }_i{y}_i{x}_i\cdot x+b\right)$

步骤：

(1) $\alpha \leftarrow 0,b\leftarrow 0$ 即 ${\alpha }_1,{\alpha }_2,\dots {\alpha }_N$ 均为0

(2) 在训练集中选取数据 $\left(x_i,y_i\right)$

(3) 如果 $y_i\left({\sum }_{j=1}^N{\alpha }_i{y}_i{x}_i\cdot x_j+b\right)\le 0,$ 或 $y_i\left[{\sum }_{j=1}^N{\alpha }_i{y}_i\left(x_i\cdot x_j+1\right)\right]\le 0$
其中 $x_i\cdot x_j$ 为一个实数, 可预先在Gram矩阵中算好 (对应 $G_{ij}$ ) 。因此判别式至取决于
${\alpha }_1,{\alpha }_2,\dots {\alpha }_N$
通过上述判别式发现训练集中第i个点为 “误分类" ，则更新对应的系数 ${\alpha }_i$
$$\begin{array}{l}{\alpha }_i\leftarrow {\alpha }_i+\eta \\ b\leftarrow b+\eta y_i\end{array}$$
(4) 转至 (2) 直到没有误分类点

(5) 求w 和 $\mathrm{b},$ 得到原始模型 $f(x)=\mathrm{sign}(w\cdot x+b)$
$$\begin{array}{rl}w& =\sum _{i=1}^N{\alpha }_i{y}_i{x}_i\\ b& =\sum _{i=1}^N{\alpha }_i{y}_i\end{array}$$

三、算法收签性

书中定理2.1（Novikoff) 证明了“线性可分" 数据集在感知机算法作用下的收剑性, 书中已给出 十分详细的推导过程。我们看看如何理解最后的结论：

$$k\le {\left(\frac{R}{\gamma }\right)}^2$$
其中， $k$ 为误分类次数, 即感知机算法的迭代次数。上式给出了迭代次数的上界。

$\gamma$ 和 $R$ 表示什么?

γ = min ⁡ i { y i ( w o p t ⋅ x i + b o p t ) } , \gamma=\min _{i}\left\{y_{i}\left(w_{o p t} \cdot x_{i}+b_{o p t}\right)\right\}, γ=mini​{yi​(wopt​⋅xi​+bopt​)}, 由于 $w_{opt}\cdot x+b_{opt}=0$ 为已知 “分界面” $,$

因此$y_i\left(w_{opt}\cdot x_i+b_{opt}\right)=\left|w_{opt}\cdot x_i+b_{opt}\right|=\frac{|w_{opt}\cdot x_i+b_{opt}|}{\Vert w_{opt}\Vert },$ 根据点到超平面的距
离公式, $\gamma$ 实际上是数据点 $x_i$ 到 “分界面" 的最短距离。

$R={\max }_{1\le i\le N}\Vert {\hat{x}}_i\Vert ,$ 表示离原点最远的数据点 $x_i$ 的距离。

$R$ 表示数据越分散, 找到 “分界面" 的难度越大, 需要的迭代次数就越多; 而 $\gamma$ 则表示, 离 “分界面” 最近的点对于迭代次数影响最大, 也就是数据集里最重要的点, 此结论推广后形成了 “支持向量” 的概念。

四、code实例

拿出 iris 数据集中两个分类的数据和[sepal length，sepal width]作为特征

import pandas as pd
import numpy as np
from sklearn.datasets import load_iris
import matplotlib.pyplot as plt
%matplotlib inline

# load data
iris = load_iris()
df = pd.DataFrame(iris.data, columns=iris.feature_names)
df['label'] = iris.target

df.columns = [
    'sepal length', 'sepal width', 'petal length', 'petal width', 'label'
]
df.label.value_counts()
'''
2    50
1    50
0    50
Name: label, dtype: int64
'''

plt.scatter(df[:50]['sepal length'], df[:50]['sepal width'], label='0')
plt.scatter(df[50:100]['sepal length'], df[50:100]['sepal width'], label='1')
plt.xlabel('sepal length')
plt.ylabel('sepal width')
plt.legend()

data = np.array(df.iloc[:100, [0, 1, -1]])

X, y = data[:,:-1], data[:,-1]

y = np.array([1 if i == 1 else -1 for i in y])

感知机

# 数据线性可分，二分类数据
# 此处为一元一次线性方程
class Model:
    def __init__(self):
        self.w = np.ones(len(data[0]) - 1, dtype=np.float32)
        self.b = 0
        self.l_rate = 0.1
        # self.data = data

    def sign(self, x, w, b):
        y = np.dot(x, w) + b
        return y

    # 随机梯度下降法
    def fit(self, X_train, y_train):
        is_wrong = False
        while not is_wrong:
            wrong_count = 0
            for d in range(len(X_train)):
                X = X_train[d]
                y = y_train[d]
                if y * self.sign(X, self.w, self.b) <= 0:
                    self.w = self.w + self.l_rate * np.dot(y, X)
                    self.b = self.b + self.l_rate * y
                    wrong_count += 1
            if wrong_count == 0:
                is_wrong = True
        return 'Perceptron Model!'

    def score(self):
        pass

perceptron = Model()
perceptron.fit(X, y)
#'Perceptron Model!'

x_points = np.linspace(4, 7, 10)
y_ = -(perceptron.w[0] * x_points + perceptron.b) / perceptron.w[1]
plt.plot(x_points, y_)

plt.plot(data[:50, 0], data[:50, 1], 'bo', color='blue', label='0')
plt.plot(data[50:100, 0], data[50:100, 1], 'bo', color='orange', label='1')
plt.xlabel('sepal length')
plt.ylabel('sepal width')
plt.legend()

scikit-learn 实例

from sklearn.linear_model import Perceptron

clf = Perceptron(fit_intercept=False, max_iter=1000, shuffle=False)
clf.fit(X, y)
'''
Perceptron(alpha=0.0001, class_weight=None, early_stopping=False, eta0=1.0,
           fit_intercept=False, max_iter=1000, n_iter_no_change=5, n_jobs=None,
           penalty=None, random_state=0, shuffle=False, tol=0.001,
           validation_fraction=0.1, verbose=0, warm_start=False)
'''

# Weights assigned to the features.
print(clf.coef_)
#[[ 16.3 -24.2]]

# 截距 Constants in decision function.
print(clf.intercept_)
#[0.]

x_ponits = np.arange(4, 8)
y_ = -(clf.coef_[0][0]*x_ponits + clf.intercept_)/clf.coef_[0][1]
plt.plot(x_ponits, y_)

plt.plot(data[:50, 0], data[:50, 1], 'bo', color='blue', label='0')
plt.plot(data[50:100, 0], data[50:100, 1], 'bo', color='orange', label='1')
plt.xlabel('sepal length')
plt.ylabel('sepal width')
plt.legend()

习题

习题2.1
 Minsky 与 Papert 指出：感知机因为是线性模型，所以不能表示复杂的函数，如异或 (XOR)。验证感知机为什么不能表示异或。

解答：

对于异或函数XOR，全部的输入与对应的输出如下：

$$\begin{array}{ccc}{\mathrm{x}}^{(1)}& {\mathrm{x}}^{(2)}& \mathrm{y}\\ 1& 1& -1\\ 1& -1& 1\\ -1& 1& 1\\ -1& -1& -1\end{array}$$

import matplotlib.pyplot as plt
import numpy as np
import pandas as pd

x1 = [1, 1, -1, -1]
x2 = [1, -1, 1, -1]
y = [-1, 1, 1, -1]
x1 = np.array(x1)
x2 = np.array(x2)
y = np.array(y)
data = np.c_[x1, x2, y]
data = pd.DataFrame(data, index=None, columns=['x1', 'x2', 'y'])
data.head()

positive = data.loc[data['y'] == 1]
negative = data.loc[data['y'] == -1]

plt.xlim(-2, 2)
plt.ylim(-2, 2)
plt.xticks([-2, -1, 0, 1, 2])
plt.yticks([-2, -1, 0, 1, 2])
plt.xlabel("x1")
plt.ylabel("x2")
plt.plot(positive['x1'], positive['x2'], "ro")
plt.plot(negative['x1'], negative['x2'], "gx")
plt.show()

显然感知机无法使用一条直线将两类样本划分，异或问题是线性不可分的。

习题2.2
  模仿例题 2.1，构建从训练数据求解感知机模型的例子

from sklearn.linear_model import Perceptron
import numpy as np

X_train = np.array([[3, 3], [4, 3], [1, 1]])
y = np.array([1, 1, -1])

perceptron_model = Perceptron()
perceptron_model.fit(X_train, y)
print("w:", perceptron_model.coef_, "\nb:", perceptron_model.intercept_, "\n")

result = perceptron_model.predict(X_train)
print(result)
'''
w: [[1. 0.]] 
b: [-2.] 

[ 1  1 -1]
'''

习题2.3

证明以下定理：样本集线性可分的充分必要条件是正实例点所构成的凸壳与负实例点所构成的凸壳互不相交。

解答：

• 第1步：首先给出凸壳与线性可分的定义，定义如下：

凸壳

定义1：设集合S $\subset {\mathrm{R}}^{\mathrm{n}},$ 是由R ${}^{\mathrm{n}}$ 中的k个点所组成的集合, 即S = { x 1 , x 2 , ⋯   , x k } ∘ =\left\{\mathrm{x}_{1}, \mathrm{x}_{2}, \cdots, \mathrm{x}_{\mathrm{k}}\right\}_{\circ} ={x1​,x2​,⋯,xk​}∘​ 定义S的凸壳conv $(\mathrm{S})$ 为 :
$$\mathrm{conv}(\mathrm{S})=\left\{\mathrm{x}=\sum _{\mathrm{i}=1}^{\mathrm{k}}{\lambda }_{\mathrm{i}}{\mathrm{x}}_{\mathrm{i}}\mid \sum _{\mathrm{i}=1}^{\mathrm{k}}{\lambda }_{\mathrm{i}}=1,{\lambda }_{\mathrm{i}}⩾0,\mathrm{i}=1,2,\cdots ,\mathrm{k}\right\}$$
说明：凸壳是一个集合, 对于所有可能的 ${\lambda }_{\mathrm{i}},\mathrm{i}=1,2,\cdots ,\mathrm{k}$ 只要满足 ${\sum }_{i=1}^{\mathrm{k}}{\lambda }_{\mathrm{i}}=1,$ 那么 $\mathrm{x}={\sum }_{\mathrm{i}=1}^{\mathrm{k}}$ 即为凸壳中的元素, \quad 凸壳可以用二维的图形表
示如下：

线性可分
定义2：给定一个数据集
T = { ( x 1 , y 1 ) , ( x 2 , y 2 ) , ⋯   , ( x n , y n ) } \mathrm{T}=\left\{\left(\mathrm{x}_{1}, \mathrm{y}_{1}\right),\left(\mathrm{x}_{2}, \mathrm{y}_{2}\right), \cdots,\left(\mathrm{x}_{\mathrm{n}}, \mathrm{y}_{\mathrm{n}}\right)\right\} T={(x1​,y1​),(x2​,y2​),⋯,(xn​,yn​)}
其中 x i ∈ X = R n , y i ∈ Y = { + 1 , − 1 } , i = 1 , 2 , ⋯   , n , \mathrm{x}_{\mathrm{i}} \in \mathcal{X}=\mathrm{R}_{\mathrm{n}}, \mathrm{y}_{\mathrm{i}} \in \mathcal{Y}=\{+1,-1\}, \mathrm{i}=1,2, \cdots, \mathrm{n}, xi​∈X=Rn​,yi​∈Y={+1,−1},i=1,2,⋯,n, 如果存在某个超平面S $:\mathrm{w}\cdot \mathrm{x}+\mathrm{b}=0,$ 能够将数据集的正实例点和负实例点完全正确划分到超平面的两侧,即对所有的正实例点即$y_i=+1$的实例i，有$w\cdot x_i+b>0$ ，对所有的负实例点即$y_i=-1y$的实例i，有$w\cdot x_i+b<0$，则称数据集T线性可分, 否则称数据集T 线性不可分。

• 第2步：证明必要性：线性可分书=>凸壳不相交

假设数据集T 中的正例点集为$S_{+}$,$S_{+}$的凸壳为conv $\left({\mathrm{S}}_{+}\right),$ 负实例点集为$S_{-}$, $S_{-}$ 的凸壳为conv $\left({\mathrm{S}}_{-}\right),$ 若T 是线性可分的, 则存在一个超平 面:
$$\mathrm{w}\cdot \mathrm{x}+\mathrm{b}=0$$
能够将$S_{+}$和$S_{-}$完全分离。假设对于所有的正例点$x_i$，有:
$$\mathrm{w}\cdot {\mathrm{x}}_{\mathrm{i}}+\mathrm{b}={\epsilon }_{\mathrm{i}}$$
易知 ${\epsilon }_{\mathrm{i}}>0,\mathrm{i}=1,2,\cdots ,{\left|{\mathrm{S}}_{+}\right|}_{\circ }$ 若conv $\left({\mathrm{S}}_{+}\right)$ 和conv $\left({\mathrm{S}}_{-}\right)$ 相交, 即存在某个元素s, 同时满足 $\mathrm{s}\in \mathrm{conv}\left({\mathrm{S}}_{+}\right)$ 和s $\in \mathrm{conv}{\left({\mathrm{S}}_{-}\right)}_{\bullet }$ 对于$\mathrm{conv}\left({\mathrm{S}}_{+}\right)$ 中的元素 ${\mathrm{s}}^{+}$ 有
$$\mathrm{w}\cdot {\mathrm{s}}^{+}=\mathrm{w}\cdot \sum _{\mathrm{i}=1}^{\mathrm{k}}{\lambda }_{\mathrm{i}}{\mathrm{x}}_{\mathrm{i}}=\sum _{\mathrm{i}=1}^{\mathrm{k}}{\lambda }_{\mathrm{i}}\left({\epsilon }_{\mathrm{i}}-\mathrm{b}\right)=\sum _{\mathrm{i}=1}^{\mathrm{k}}{\lambda }_{\mathrm{i}}{\epsilon }_{\mathrm{i}}-\mathrm{b}$$

因此w・ ${\mathrm{s}}^{+}+\mathrm{b}={\sum }_{\mathrm{i}=1}^{\mathrm{k}}{\lambda }_{\mathrm{i}}{\epsilon }_{\mathrm{i}}>0,$ 同理对于S_中的元素 ${\mathrm{s}}^{-}$ 有w・s ${}^{-}+\mathrm{b}={\sum }_{\mathrm{i}=1}^{\mathrm{k}}{\lambda }_{\mathrm{i}}{\epsilon }_{\mathrm{i}}<0$

由于s $\in \mathrm{conv}\left({\mathrm{S}}_{+}\right)$ 且s $\in \mathrm{conv}\left({\mathrm{S}}_{-}\right),$ 则w $\cdot \mathrm{s}+\mathrm{b}={\sum }_{\mathrm{i}=1}^{\mathrm{k}}{\lambda }_{\mathrm{i}}{\epsilon }_{\mathrm{i}}>0$ 且w・s $+\mathrm{b}={\sum }_{\mathrm{i}=1}^{\mathrm{k}}{\lambda }_{\mathrm{i}}{\epsilon }_{\mathrm{i}}<0,$ 可推出矛盾。

因此, $\mathrm{conv}\left({\mathrm{S}}_{+}\right)$ 和conv $\left({\mathrm{S}}_{-}\right)$ 必不相交。从而必要性得证。

• 第3步:证明充分性=>凸壳不相交刃线性可分

假设数据集T 中的正例点集为S ${}_{+},{\mathrm{S}}_{+}$ 的凸壳为conv $\left({\mathrm{S}}_{+}\right),$ 负实例点集为S ${}_{-},{\mathrm{S}}_{-}$ 的凸壳为 $\mathrm{conv}\left({\mathrm{S}}_{-}\right),$ 且conv $\left({\mathrm{S}}_{+}\right)$ 与Conv $\left({\mathrm{S}}_{-}\right)$ 不相交。 定义两个点x_, x2的距离为
$$\mathrm{dist}\left({\mathrm{x}}_1,{\mathrm{x}}_2\right)={\Vert {\mathrm{x}}_1-{\mathrm{x}}_2\Vert }_2=\sqrt{{\left({\mathrm{x}}_1-{\mathrm{x}}_2\right)}^2}$$
定义conv $\left({\mathrm{S}}_{+}\right)$ 和conv $\left({\mathrm{S}}_{-}\right)$ 距离为
$$\mathrm{dist}\left(\mathrm{conv}\left({\mathrm{S}}_{+}\right),\mathrm{conv}\left({\mathrm{S}}_{-}\right)\right)=\min \Vert {\mathrm{s}}_{+}-{\mathrm{s}}_{-}\Vert ,{\mathrm{s}}_{+}\in \mathrm{conv}\left({\mathrm{S}}_{+}\right),{\mathrm{s}}_{-}\in \mathrm{conv}\left({\mathrm{S}}_{-}\right)$$
设 ${\mathrm{x}}_{+}\in \mathrm{conv}\left({\mathrm{S}}_{+}\right),{\mathrm{x}}_{-}\in \mathrm{conv}\left({\mathrm{S}}_{-}\right)$ 且dist $\left({\mathrm{x}}_{+},{\mathrm{x}}_{-}\right)=\mathrm{dist}{\left(\mathrm{conv}\left({\mathrm{S}}_{+}\right),\mathrm{conv}\left({\mathrm{S}}_{-}\right)\right)}_{\circ }$ 则对于任意正例点x有dist $\left(\mathrm{x},{\mathrm{x}}_{-}\right)⩾\mathrm{dist}\left({\mathrm{x}}_{+},{\mathrm{x}}_{-}\right)$

同理, 对所有的负例点x有dist $\left(\mathrm{x},{\mathrm{x}}_{+}\right)⩾\mathrm{dist}(\mathrm{x},\mathrm{x})$ 。 存在超平面
$$\mathrm{w}\cdot \mathrm{x}+\mathrm{b}=0$$
其中
$$w=x_{+}+x_{-}$$

$$\begin{array}{c}\mathrm{b}=-\frac{{\mathrm{x}}_{+}\cdot {\mathrm{x}}_{+}-{\mathrm{x}}_{-}\cdot {\mathrm{x}}_{-}}{2}\cdot \mathrm{x}\end{array}$$
则对于所有的正例点x (易知$x・x_{+}+\mathrm{b}>0,$ 因此若 ${\mathrm{x}}_{+}$ 属于正例点, $,$ 则令 ${\mathrm{x}}_{+}\ne \mathrm{x})$
$$\begin{array}{rl}\mathrm{w}\cdot \mathrm{x}+\mathrm{b}& =\left({\mathrm{x}}_{+}-{\mathrm{x}}_{-}\right)\cdot \mathrm{x}-\frac{{\mathrm{x}}_{+}\cdot {\mathrm{x}}_{+}-{\mathrm{x}}_{-}-{\mathrm{x}}_{-}}{2}\\ & ={\mathrm{x}}_{+}\cdot \mathrm{x}-{\mathrm{x}}_{-}\cdot \mathrm{x}-\frac{{\mathrm{x}}_{+}\cdot {\mathrm{x}}_{+}-{\mathrm{x}}_{-}-{\mathrm{x}}_{-}}{2}\\ & =\frac{\Vert {\mathrm{x}}_{-}-\mathrm{x}{\Vert }_2^2-{\Vert {\mathrm{x}}_{+}-\mathrm{x}\Vert }_2^2}{2}\\ & =\frac{\mathrm{dist}{\left(\mathrm{x},{\mathrm{x}}_{-}\right)}^2-\mathrm{dist}{\left(\mathrm{x},{\mathrm{x}}_{+}\right)}^2}{2}\end{array}$$
若dist $\left(\mathrm{x},{\mathrm{x}}_{-}\right)⩽\mathrm{dist}\left(\mathrm{x},{\mathrm{x}}_{+}\right)($ 即线性不可分 $),$ 则dist $\left(\mathrm{x},{\mathrm{x}}_{-}\right)⩽\mathrm{dist}\left(\mathrm{x},{\mathrm{x}}_{+}\right)⩽\mathrm{dist}\left(\mathrm{x},{\mathrm{x}}_{+}\right),$ 那么dist $\left(\mathrm{conv}\left({\mathrm{S}}_{+}\right),\mathrm{conv}\left({\mathrm{S}}_{-}\right)\right)<$
$\mathrm{dist}\left({\mathrm{x}}_{+},{\mathrm{x}}_{-}\right),$ 推出矛盾, 因此dist $\left(\mathrm{x},{\mathrm{x}}_{-}\right)>\mathrm{dist}\left(\mathrm{x},{\mathrm{x}}_{+}\right),$ 即线性可分, 充分性得证。

补充：用反证法证明dist $(\mathrm{x},\mathrm{x})>\mathrm{dist}\left(\mathrm{x},{\mathrm{x}}_{+}\right)$

证明：假设dist $(\mathrm{x},{\mathrm{x}}_{-})⩽\mathrm{dist}\left(\mathrm{x},{\mathrm{x}}_{+}\right)$ 则存在
$$\begin{array}{c}\mathrm{t}=\frac{\left({\mathrm{x}}_{-}-{\mathrm{x}}_{+}\right)\cdot \left(\mathrm{x}-{\mathrm{x}}_{+}\right)}{{\Vert \mathrm{x}-{\mathrm{x}}_{+}\Vert }_2^2}\\ \text{ 令 }{\mathrm{x}}^{\prime }=\mathrm{t}\mathrm{x}+(1-\mathrm{t}){\mathrm{x}}_{+},\text{则 }\left({\mathrm{x}}_{-}-{\mathrm{x}}^{\prime }\right)\cdot \left({\mathrm{x}}_{+}-\mathrm{x}\right)=0\end{array}$$

易知t $⩽1,$ 先证明t $>0:$ 可以将x, ${\mathrm{x}}_{+},{\mathrm{x}}_{-}$ 看做为空间中的三个不同的点, 三条边的长度分别为dist $\left(\mathrm{x},{\mathrm{x}}_{+}\right),\mathrm{dist}\left(\mathrm{x},{\mathrm{x}}_{-}\right),\mathrm{dist}\left({\mathrm{x}}_{+},{\mathrm{x}}_{-}\right)$

如上面可知dist $\left(\mathrm{x},{\mathrm{x}}_{+}\right)⩾\mathrm{dist}\left(\mathrm{x},{\mathrm{x}}_{-}\right)⩾\mathrm{dist}\left({\mathrm{x}}_{-},{\mathrm{x}}_{+}\right)$

根据三角形的大边对应大角这一特性, 很容易可以看出x_ $-\mathrm{x}$ 与 ${\mathrm{x}}_{+}-{\mathrm{x}}_{-}$ 之间的夹角小于90度, 因此t $>0$ 。 那么 $\mathrm{dist}\left({\mathrm{x}}^{\prime },{\mathrm{x}}_{-}\right)<$ $\mathrm{dist}\left({\mathrm{x}}_{+},{\mathrm{x}}_{-}\right),$ 又因为x ${}^{\prime }$ 必在conv $\left({\mathrm{S}}_{+}\right)$ 内部, 故推出矛盾, 所以dist $\left(\mathrm{x},{\mathrm{x}}_{-}\right)>\mathrm{dist}\left(\mathrm{x},{\mathrm{x}}_{+}\right)$

参考自：
黄海广博士
datawhale