统计学习方法与实战——统计学习方法之感知机

感知机

- - 感知机
  - 三要素分析
  - 模型
  - 策略
  - - 损失函数选择
  - 算法
  - - 原始形式
    - 对偶形式
  - 相关问题
- 例子
- - iris数据集分类实战
  - - 数据集查看
  - 显示结果
  - sklearn 实战感知机
- 习题解答
- - 习题2.1
  - 解题步骤
  - 反证法
- 习题2.2
- 习题2.3
- - 凸壳
  - 线性可分
  - 线性可分证明凸壳不相交
  - 证明充分性：凸壳不相交\Rightarrow⇒线性可分
  - - 证明步骤

、

感知机

感知机是根据输入实例的特征向量 $x$ 对其进行二㺯分尖的线性分光模型:
$f(x)=\operatorname{sign}(w \cdot x+b)$
感知机模型对应于输入空间 (特征空间) 中的分离超平面 $\cdot x+b=0$ 。
感知机学习的策略是极小化损失函数:
$\min _{w, b} L(w, b)=-\sum_{x_{i} \in M} y_{i}\left(w \cdot x_{i}+b\right)$
损失函数对应于误分类点到分离超平面的总距离。
感知机学习算法是基于随机梯度下降法的对损失函数的最优化算法，有原始形式和对偶形式。算法简单且易于实现。原始形式中，首先任意选取一个超平面，然后用梯度下降法不断极小化目标函数。在这个过程中一次随机选取一个误分类点使其梯度下降。
$\leqslant\left(\frac{R}{\gamma}\right)^{2}$
当训练数据集线性可分时，感知机学习算法存在无穷多个解，其解由于不同的初值或不同的迭代顺序而可能有所不同。
一分类模菖
$\begin{aligned} &f(x)=\operatorname{sign}(w \cdot x+b) \\ &\operatorname{sign}(x)= \begin{cases}+1, & x \geqslant 0 \\ -1, & x<0\end{cases} \end{aligned}$
给定训练集:
$T=\left\{\left(x_{1}, y_{1}\right),\left(x_{2}, y_{2}\right), \cdots,\left(x_{N}, y_{N}\right)\right\}$
定义感知机的损失函数
$b)=-\sum_{x_{i} \in M} y_{i}\left(w \cdot x_{i}+b\right)$
算法
随机梯度下降法 Stochastic Gradient Descent
随机抽取一个点使其梯度下降。
$\begin{aligned} &w=w+\eta y_{i} x_{i} \\ &b=b+\eta y_{i} \end{aligned}$
当实例点被误分类，即位于分离超平面的错误侧，则调整 $w, b$ 的值，使分离超平面向该无分类点的一侧移动，直至误分类点被正确分类

三要素分析

模型

输入空间： $\mathcal X\sube \bf R^n$

输出空间： $\mathcal Y={+1,-1}$

决策函数： $(w\cdot x+b)$

策略

确定学习策略就是定义**(经验)**损失函数并将损失函数最小化。

注意这里提到了经验，所以学习是base在训练数据集上的操作

损失函数选择

损失函数的一个自然选择是误分类点的总数，但是，这样的损失函数不是参数 $w, b$ 的连续可导函数，不易优化

损失函数的另一个选择是误分类点到超平面 $S$ 的总距离，这是感知机所采用的

感知机学习的经验风险函数(损失函数)
$L(w,b)=-\sum_{x_i\in M}y_i(w\cdot x_i+b)$
其中 $M$ 是误分类点的集合

给定训练数据集 $T$ ，损失函数 $L (w, b)$ 是 $w$ 和 $b$ 的连续可导函数

算法

原始形式

输入： $T=\left\{\left(x_{1}, y_{1}\right),\left(x_{2}, y_{2}\right), \ldots,\left(x_{N}, y_{N}\right)\right\}$
$x_{i} \in \mathcal{X}=\mathbf{R}^{\mathbf{n}}, \mathbf{y}_{\mathbf{i}} \in \mathcal{Y}=\{-1,+1\}, i=1,2, \ldots, \mathcal{N} ; 0<\eta \leqslant 1$

输出： $w,b;f(x)=sign(w\cdot x+b)$

选取初值 $w_0,b_0$

训练集中选取数据 $x_i,y_i)$

如果 $y_i(w\cdot x_i+b)\leqslant 0$
$\leftarrow w+\eta y_{i} x_{i}$
$\leftarrow b+\eta y_{i}$

转至(2)，直至训练集中没有误分类点

注意这个原始形式中的迭代公式，可以对 $x$ 补1，将 $w$ 和 $b$ 合并在一起，合在一起的这个叫做扩充权重向量，书上有提到。

对偶形式

对偶形式的基本思想是将 $w$ 和 $b$ 表示为实例 $x_i$ 和标记 $y_i$ 的线性组合的形式，通过求解其系数而求得 $w$ 和 $b$ 。
算法流程：

输入： $T=\left\{\left(x_{1}, y_{1}\right),\left(x_{2}, y_{2}\right), \ldots,\left(x_{N}, y_{N}\right)\right\}$
$x_{i} \in \mathcal{X}=\mathbf{R}^{\mathbf{n}}, \mathbf{y}_{\mathbf{i}} \in \mathcal{Y}=\{-1,+1\}, i=1,2, \ldots, \mathcal{N} ; 0<\eta \leqslant 1$

输出：
$\begin{aligned} \alpha, b ; f(x) &=\operatorname{sign}\left(\sum_{j=1}^{N} \alpha_{j} y_{j} x_{j} \cdot x+b\right) \\ \alpha >&=\left(\alpha_{1}, \alpha_{2}, \cdots, \alpha_{N}\right)^{T} \end{aligned}$

$\alpha \leftarrow 0,b\leftarrow 0$

训练集中选取数据 $x_i,y_i)$

如果 $y_i\left(\sum_{j=1}^N\alpha_jy_jx_j\cdot x+b\right) \leqslant 0$

$\alpha_i\leftarrow \alpha_i+\eta \nonumber\\ b\leftarrow b+\eta y_i$

转至(2)，直至训练集中没有误分类点

Gram matrix

对偶形式中，训练实例仅以内积的形式出现。

为了方便可预先将训练集中的实例间的内积计算出来并以矩阵的形式存储，这个矩阵就是所谓的Gram矩阵

$G=\left[x_{i} \cdot x_{j}\right]_{N \times N}$

例子

iris数据集分类实战

数据集查看

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

#  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()
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!'
perceptron = Model()
perceptron.fit(X, y)

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()

显示结果

在这里插入图片描述

sklearn 实战感知机

import sklearn
from sklearn.linear_model import Perceptron
clf = Perceptron(fit_intercept=True, 
                 max_iter=1000, 
                 shuffle=True)
clf.fit(X, y)
print(clf.coef_)
# 截距 Constants in decision function.
print(clf.intercept_)
# 画布大小
plt.figure(figsize=(10,10))

# 中文标题
plt.rcParams['font.sans-serif']=['SimHei']
plt.rcParams['axes.unicode_minus'] = False
plt.title('鸢尾花线性数据示例')

plt.scatter(data[:50, 0], data[:50, 1], c='b', label='Iris-setosa',)
plt.scatter(data[50:100, 0], data[50:100, 1], c='orange', label='Iris-versicolor')

# 画感知机的线
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.legend()  # 显示图例
plt.grid(False)  # 不显示网格
plt.xlabel('sepal length')
plt.ylabel('sepal width')
plt.legend()

在这里插入图片描述

在上图中，有一个位于左下角的蓝点没有被正确分类，这是因为 SKlearn 的 Perceptron 实例中有一个tol参数。

tol 参数规定了如果本次迭代的损失和上次迭代的损失之差小于一个特定值时，停止迭代。所以我们需要设置 tol=None 使之可以继续迭代：

clf = Perceptron(fit_intercept=True, 
                 max_iter=1000,
                 tol=None,
                 shuffle=True)
clf.fit(X, y)

# 画布大小
plt.figure(figsize=(10,10))

# 中文标题
plt.rcParams['font.sans-serif']=['SimHei']
plt.rcParams['axes.unicode_minus'] = False
plt.title('鸢尾花线性数据示例')

plt.scatter(data[:50, 0], data[:50, 1], c='b', label='Iris-setosa',)
plt.scatter(data[50:100, 0], data[50:100, 1], c='orange', label='Iris-versicolor')

# 画感知机的线
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.legend()  # 显示图例
plt.grid(False)  # 不显示网格
plt.xlabel('sepal length')
plt.ylabel('sepal width')
plt.legend()

在这里插入图片描述

习题解答

习题2.1

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

列出异或函数(XOR)的输入和输出；
使用图例法证明异或问题是线性不可分的；
使用反证法证明感知机无法表示异或。

解题步骤

异或函数(XOR)的输入和输出
对于异或函数(XOR)，全部的输入与对应的输出如下：
$\begin{array}{|c|c|c|} \hline x_{1} & x_{2} & y=x_{1} \oplus x_{2} \\ \hline 0 & 0 & -1 \\ \hline 0 & 1 & 1 \\ \hline 1 & 0 & 1 \\ \hline 1 & 1 & -1 \\ \hline \end{array}$

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

# 使用Dataframe表示异或的输入与输出数据
x1 = [0, 0, 1, 1]
x2 = [0, 1, 0, 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()
# 获取正类别（y=1）的数据
positive = data.loc[data['y'] == 1]
# 获取负类别（y=-1）的数据
negative = data.loc[data['y'] == -1]

# 绘制数据图
# 绘制坐标轴
plt.xlim(-0.5, 1.5)
plt.ylim(-0.5, 1.5)
plt.xticks([-0.5, 0, 1, 1.5])
plt.yticks([-0.5, 0, 1, 1.5])
# 添加坐标轴文字
plt.xlabel("x1")
plt.ylabel("x2")
# 绘制正、负样本点
plt.plot(positive['x1'], positive['x2'], "ro")
plt.plot(negative['x1'], negative['x2'], "bx")
# 添加图示
plt.legend(['Positive', 'Negative'])
plt.show()

在这里插入图片描述
从上图可以看出，无法使用一条直线将两类样本分开，所以异或问题是线性不可分的

下一步，使用感知机模型进行测试w，b

from sklearn.linear_model import Perceptron
import numpy as np

# 构造异或问题的训练数据集
X_train = np.array([[1, 1], [1, 0], [0, 1], [0, 0]])
y = np.array([-1, 1, 1, -1])

# 使用sklearn的Perceptron类构建感知机模型
perceptron_model = Perceptron()
# 进行模型训练
perceptron_model.fit(X_train, y)

# 打印模型参数
print("感知机模型的参数：w=", perceptron_model.coef_[
      0], "b=", perceptron_model.intercept_[0])

感知机模型的参数：w= [0. 0.] b= 0.0

反证法

$f(x)=\operatorname{sign}(w \cdot x+b)$
$\operatorname{sign}(x)= \begin{cases}+1, & x \geqslant 0 \\ -1, & x<0\end{cases}$

假设咸知机模型可以表示异或问题，即满足异或函数(XOR)输入与输出的情况（见第 $1 步$ )。假设 $x$ 向量只有两个维度 $x_{1}, x_{2}$ :

根据 $x_{1}=0, x_{2}=0, f(x)=-1$ ，则 $\cdot x+b<0$ ，可得 $b < 0$ ；
根据 $x_{1}=0, x_{2}=1, f(x)=1$ ，则 $w_{2}+b>0$ ，结合 $b < 0$ ，可得 $w_{2}>-b>0$ ;
根据 $x_{1}=1, x_{2}=0, f(x)=1$ , 则 $w_{1}+b>0$ ，结合 $b < 0$ ，可得 $w_{1}>-b>0$ ;
根据 $x_{1}=1, x_{2}=1$ ，并结合 $w_{1}+b>0 、 w_{2}>0$ ，则 $w_{1}+w_{2}+b>0$ ，可得 $f (x) = 1$ ，与异或条件中的 $f (x) = - 1$ 矛盾。
所以假设不成立，原命题成立，即感知机模型不能表示异或。

习题2.2

解题步骤在上面的iris数据中已经体现。

import numpy as np
from matplotlib import pyplot as plt
%matplotlib tk


class Perceptron:
    def __init__(self, X, Y, lr=0.001, plot=True):
        """
        初始化感知机
        :param X: 特征向量
        :param Y: 类别
        :param lr: 学习率
        :param plot: 是否绘制图形
        """
        self.X = X
        self.Y = Y
        self.lr = lr
        self.plot = plot
        if plot:
            self.__model_plot = self._ModelPlot(self.X, self.Y)
            self.__model_plot.open_in()

    def fit(self):
        # (1)初始化weight, b
        weight = np.zeros(self.X.shape[1])
        b = 0
        # 训练次数
        train_counts = 0
        # 分类错误标识
        mistake_flag = True
        while mistake_flag:
            # 开始前，将mistake_flag设置为False，用于判断本次循环是否有分类错误
            mistake_flag = False
            # (2)从训练集中选取x,y
            for index in range(self.X.shape[0]):
                if self.plot:
                    self.__model_plot.plot(weight, b, train_counts)
                # 损失函数
                loss = self.Y[index] * (weight @ self.X[index] + b)
                # (3)如果损失函数小于0，则该点是误分类点
                if loss <= 0:
                    # 更新weight, b
                    weight += self.lr * self.Y[index] * self.X[index]
                    b += self.lr * self.Y[index]
                    # 训练次数加1
                    train_counts += 1
                    print("Epoch {}, weight = {}, b = {}, formula: {}".format(
                        train_counts, weight, b, self.__model_plot.formula(weight, b)))
                    # 本次循环有误分类点（即分类错误），置为True
                    mistake_flag = True
                    break
        if self.plot:
            self.__model_plot.close()
        # (4)直至训练集中没有误分类点
        return weight, b

    class _ModelPlot:
        def __init__(self, X, Y):
            self.X = X
            self.Y = Y

        @staticmethod
        def open_in():
            # 打开交互模式，用于展示动态交互图
            plt.ion()

        @staticmethod
        def close():
            # 关闭交互模式，并显示最终的图形
            plt.ioff()
            plt.show()

        def plot(self, weight, b, epoch):
            plt.cla()
            # x轴表示x1
            plt.xlim(0, np.max(self.X.T[0]) + 1)
            # y轴表示x2
            plt.ylim(0, np.max(self.X.T[1]) + 1)
            # 画出散点图，并添加图示
            scatter = plt.scatter(self.X.T[0], self.X.T[1], c=self.Y)
            plt.legend(*scatter.legend_elements())
            if True in list(weight == 0):
                plt.plot(0, 0)
            else:
                x1 = -b / weight[0]
                x2 = -b / weight[1]
                # 画出分离超平面
                plt.plot([x1, 0], [0, x2])
                # 绘制公式
                text = self.formula(weight, b)
                plt.text(0.3, x2 - 0.1, text)
            plt.title('Epoch %d' % epoch)
            plt.pause(0.01)

        @staticmethod
        def formula(weight, b):
            text = 'x1 ' if weight[0] == 1 else '%d*x1 ' % weight[0]
            text += '+ x2 ' if weight[1] == 1 else (
                '+ %d*x2 ' % weight[1] if weight[1] > 0 else '- %d*x2 ' % -weight[1])
            text += '= 0' if b == 0 else ('+ %d = 0' %
                                          b if b > 0 else '- %d = 0' % -b)
            return text

X = np.array([[3, 3], [4, 3], [1, 1]])
Y = np.array([1, 1, -1])
model = Perceptron(X, Y, lr=1)
weight, b = model.fit()

在这里插入图片描述

习题2.3

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

写出凸壳和线性可分的定义
证明必要性：线性可分\Rightarrow⇒凸壳不相交
证明充分性：凸壳不相交\Rightarrow⇒线性可分

凸壳

设集合 $\subset R^{n}$ ，是由 $R^{n}$ 中的 $k$ 个点所组成的集合，即 $S=\left\{x_{1}, x_{2}, \cdots, x_{k}\right\}$ 。定义 $S$ 的凸壳 $\operatorname{conv}(S)$ 为:
$\operatorname{conv}(S)=\left\{x=\sum_{i=1}^{k} \lambda_{i} x_{i} \mid \sum_{i=1}^{k} \lambda_{i}=1, \lambda_{i} \geqslant 0, i=1,2, \cdots, k\right\}$

线性可分

给定一个数据集
$T=\left\{\left(x_{1}, y_{1}\right),\left(x_{2}, y_{2}\right), \cdots,\left(x_{n}, y_{n}\right)\right\}$
其中 $x_{i} \in \mathcal{X}=R_{n}, y_{i} \in \mathcal{Y}=\{+1,-1\}, i=1,2, \cdots, n$ ，如果存在某个超平面 $S$
$\cdot x+b=0$
能够将数据集的正实例点和负实例点完全正确划分到超平面的两侧，即对所有 $y_{i}=+1$ 的实例 $i$ ，有 $\cdot x_{i}+b>0$ ，对 $y_{i}=-1$ 的实例 $i$ ，有 $\cdot x_{i}+b<0$ ，则称数据集 $T$ 为线性可分数据集，否则称数据集 $T$ 线性不可分。

线性可分证明凸壳不相交

证明思路（反证法）：

假设原命题不成立：样本集线性可分，正实例点所构成的凸壳与负实例点所构成的凸壳相交
条件推理
发现矛盾，得出原命题成立

假设原命题不成立:
设数据集 $T$ 中的正例点集为 $S_{+} ， S_{+}$ 的凸壳为 $\operatorname{conv}\left(S_{+}\right)$ ，负实例点集为 $S_{-} ， S_{-}$ 的凸壳为 $\operatorname{conv}\left(S_{-}\right)$ 。
假设样本集线性可分，正实例点所构成的凸壳与负实例点所构成的凸壳相交，即存在某个元素 $s$ ，同时满足 $\in \operatorname{conv}\left(S_{+}\right)$ 和 $\in \operatorname{conv}\left(S_{-}\right)$ 。
条件推理:
若数据集 $T$ 是线性可分的，根据线性可分的定义，则存在一个超平面能够将 $S_{+}$ 和 $S_{-}$ 完全分离:
$\cdot x+b=0$
对于所有的正例点 $x_{i}$ ，有
$\cdot x_{i}+b=\varepsilon_{i}>0, \quad i=1,2, \cdots,\left|S_{+}\right|$
根据凸壳的定义，对于 $\operatorname{conv}\left(S_{+}\right)$ 中的元素 $s_{+}$ ，有
$\begin{aligned} w \cdot s_{+}+b &=w \cdot\left(\sum_{i=1}^{\left|S_{+}\right|} \lambda_{i} x_{i}\right)+b \\ &=\left(\sum_{i=1}^{\left|S_{+}\right|} \lambda_{i}\left(\varepsilon_{i}-b\right)\right)+b \\ &=\sum_{i=1}^{\left|S_{+}\right|} \lambda_{i} \varepsilon_{i}-\left(b \sum_{i=1}^{\left|S_{+}\right|} \lambda_{i}\right)+b \quad\left(\because \sum_{i=1}^{\left|S_{+}\right|} \lambda_{i}=1\right) \\ &=\sum_{i=1}^{\left|S_{+}\right|} \lambda_{i} \varepsilon_{i} \end{aligned}$
因此 $\cdot s_{+}+b=\sum_{i=1}^{\left|S_{+}\right|} \lambda_{i} \varepsilon_{i}>0$ 。
同理对于 $S_{-}$ 中的元素 $s_{-}$ ，有 $\cdot s_{-}+b=\sum_{i=1}^{\left|S_{-}\right|} \lambda_{i} \varepsilon_{i}<0$
找出矛盾，得出原命题成立:
根据条件推理，当 $\in \operatorname{conv}\left(S_{+}\right)$ 有 $\cdot s+b=\sum_{i=1}^{\left|S_{+}\right|} \lambda_{i} \varepsilon_{i}>0$ ，当 $\in \operatorname{conv}\left(S_{-}\right)$ 有 $\cdot s+b=\sum_{i=1}^{\left|S_{-}\right|} \lambda_{i} \varepsilon_{i}<0$ ，既 $s$ 不可能同时满足若 $\in \operatorname{conv}\left(S_{+}\right)$ 和 $\in \operatorname{conv}\left(S_{-}\right)$ ，这与假设命题矛盾。
因此，原命题成立，当样本线性可分时， $\operatorname{conv}\left(S_{+}\right)$ 和 $\operatorname{conv}\left(S_{-}\right)$ 必不相交。必要性得证。

证明充分性：凸壳不相交\Rightarrow⇒线性可分

证明思路：

根据凸壳不相交，找到一个超平面
证明这个超平面可将两个互不相交的凸壳分隔开（反证法）
上述超平面可以将凸壳分隔开，则样本集满足线性可分

证明步骤

根据凸壳不相交，找到一个超平面:
设数据集 $T$ 中的正例点集为 $S_{+} ， S_{+}$ 的凸壳为 $\operatorname{conv}\left(S_{+}\right)$ ，负实例点集为 $S_{-} ， S_{-}$ 的凸壳为 $\operatorname{conv}\left(S_{-}\right)$ ，且conv $\left(S_{+}\right)$ 与 $\operatorname{conv}\left(S_{-}\right)$ 不相交。
定义两个点 $x_{1}, x_{2}$ 的距离为
$\operatorname{dist}\left(x_{1}, x_{2}\right)=\left\|x_{1}-x_{2}\right\|_{2}$
定义 $\operatorname{conv}\left(S_{+}\right) 、 \operatorname{conv}\left(S_{-}\right)$ 的距离是，分别处于两个凸壳集合中的点的距离最小值:
$\operatorname{dist}\left(\operatorname{conv}\left(S_{+}\right), \operatorname{conv}\left(S_{-}\right)\right)=\min \left\|s_{+}-s_{-}\right\|_{2} \quad s_{+} \in \operatorname{conv}\left(S_{+}\right), s_{-} \in \operatorname{conv}\left(S_{-}\right)$
记最小值点分别为 $x_{+}, x_{-}$ ，即：
$\operatorname{dist}\left(\operatorname{conv}\left(S_{+}\right), \operatorname{conv}\left(S_{-}\right)\right)=\operatorname{dist}\left(x_{+}, x_{-}\right) \quad x_{+} \in \operatorname{conv}\left(S_{+}\right), x_{-} \in \operatorname{conv}\left(S_{-}\right)$
定义以 $\left(x_{+}, x_{-}\right)$ 为法线，且过两点中点的超平面为 $\mid w, b)=0$ , 则参数为:
$\begin{aligned} f(x \mid w, b) &=\left(x_{+}-x_{-}\right)^{T}\left(x-\frac{x_{+}+x_{-}}{2}\right) \\ \left\{\begin{aligned} w &=\left(x_{+}-x_{-}\right)^{T} \\ b &=-\frac{1}{2}\left(\left\|x_{+}\right\|_{2}^{2}-\left\|x_{-}\right\|_{2}^{2}\right) \end{aligned}\right. \end{aligned}$
证明这个超平面可将两个互不相交的凸壳分隔开 (反证法)
若某个超平面可将两个互不相交的凸壳分隔开，则 $\geq 0, x \in \operatorname{conv}\left(S_{+}\right)$ 且 $\leq 0, x \in \operatorname{conv}\left(S_{-}\right)$ 。
$\begin{aligned} f(x) &=\left(x_{+}-x_{-}\right)^{T}\left(x-\frac{x_{+}+x_{-}}{2}\right) \\ &=\left(x_{+}-x_{-}\right)^{T}\left(x+x_{+}-x_{+}-\frac{x_{+}+x_{-}}{2}\right) \\ &=\left(x_{+}-x_{-}\right)^{T}\left(x-x_{+}+\frac{x_{+}-x_{-}}{2}\right) \\ &=\left(x_{+}-x_{-}\right)^{T}\left(x-x_{+}\right)+\frac{\left\|x_{+}-x_{-}\right\|_{2}^{2}}{2} \end{aligned}$
假设原命题不成立：当 $\in \operatorname{conv}\left(S_{+}\right)$ 时，假设 $f (x) < 0$ ，则有:
$\left(x_{+}-x_{-}\right)^{T}\left(x-x_{+}\right)<0$
设点 $u=x_{+}+t\left(x-x_{+}\right), t \in[0,1]$ ，即 $u$ 在 $x_{+}$ 和 $x$ 的线段上。根据凸壳定义, $\in \operatorname{conv}\left(S_{+}\right)$ 。则 $u$ 和 $x_{-}$ 距离的平方为:
$\begin{aligned} g(t) &=\left\|u-x_{-}\right\|_{2}{ }^{2} \\ &=\left\|x_{+}+t\left(x-x_{+}\right)-x_{-}\right\|_{2}{ }^{2} \end{aligned}$

求解 $u$ 和 $x_{-}$ 距离的最小值, 对上式求导:
$\begin{aligned} g^{\prime}(t) &=2\left(x_{+}+t\left(x-x_{+}\right)-x_{-}\right)\left(x-x_{+}\right) \\ &=2\left(x_{+}-x_{-}\right)^{T}\left(x-x_{+}\right)+t\left\|x-x_{+}\right\|_{2}{ }^{2} \end{aligned}$
根据假设，在 $t = 0$ 时，得 $g^{\prime}(t)<0$ 。在当 $t$ 足够接近于 0 时 (导函数在 0 处的极限值为负，则存在邻域函数递减)，即 $g (t) < g (0)$ 。
$\therefore$ 存在一点 $u$ ，使得它到 $x_{-}$ 的距离，比定义的凸壳距离 $\operatorname{dist}\left(x_{+}, x_{-}\right)$ 还小。产生矛盾。
故原命题成立，即 $\geq 0, x \in \operatorname{conv}\left(S_{+}\right)$ 。同理，可证 $\leq 0, x \in \operatorname{conv}\left(S_{-}\right)$ 。则可以找到一个超平面将两个互不相交的凸壳分隔开。
3. 上述超平面可以将凸壳分隔开，则样本集满足线性可分
根据凸壳定义，数据集 $T$ 中正例点 $s_{+} \in \operatorname{conv}\left(S_{+}\right) ，$ 负例点 $s_{-} \in \operatorname{conv}\left(S_{-}\right)$ 。上述超平面可以将正例点集 $S_{+}$ 和负例点集 $S_{-}$ 两个凸壳分隔开，则可以使样本集线性可分。充分性得证。