超平面的法向量与距离公式

 

---

1、超平面一般表示形式

在n维空间中，设任意点坐标为
$$x=[x^{(1)},x^{(2)},...x^{(n)}{]}^T\in R^n$$

设超平面参数
$$w=[w^{(1)},w^{(2)},...w^{(n)}{]}^T\in R^n$$

$$b\in R$$

则超平面方程可表示为
$$w^{T}x+b=0\text{\hspace{1em}(1)}$$

 

---

2、超平面的法向量

超平面的法向量满足：超平面中任意向量都与该法向量垂直。设超平面上的两个点为$x_1$和$x_2$，分别满足：
$$w^T{x}_1+b=0\text{\hspace{1em}(2)}$$

$$w^T{x}_2+b=0\text{\hspace{1em}(3)}$$

两式相减，可得
$$w^T(x_1-x_2)=0\text{\hspace{1em}(4)}$$

记 $\mathbf{v}=(x_1-x_2)$，由于$x_1$和$x_2$是任取的，故 $\mathbf{v}$ 表示超平面上的任意向量。这时我们可以发现，式$(4)$的含义恰好是：平面上任意一个向量都与 $w$ 相互垂直，因此 $w$ 就是超平面$w^{T}x+b=0$的一个法向量。
 

---

3、点到超平面的距离

记超平面外一点为 $x_0$ ，记点 $x_3$ 在超平面$w^T\cdot x+b=0$上的投影点为 $x_0^{\prime }$，满足：
$$w^T\cdot x_0^{\prime }+b=0\text{\hspace{1em}(5)}$$

则有向量 $\mathbf{u}=(x_0-x_0^{\prime })$ 与平面$w^{T}x+b=0$的法向量$\mathbf{w}$互相平行，则两者的数量积：
$$w^T(x_0-x_0^{\prime })=w\cdot (x_0-x_0^{\prime })=|w|\ast |x_0-x_0^{\prime }|\ast cos(0or\pi )=\pm |w|\ast d\text{\hspace{1em}(6)}$$

其中 $d=|x_0-x_0^{\prime }|$ 即为待求的点到超平面间的距离。

另一方面，根据式$(5)$消去可得

$$w^T(x_0-x_0^{\prime })=w^T{x}_0-w^T{x}_0^{\prime }=w^T{x}_0-(-b)=w^T{x}_0+b\text{\hspace{1em}(7)}$$

结合$(6)(7)$，考虑到 $d\ge 0$，可得
$$d=\frac{|w^T{x}_0+b|}{|w|}\text{\hspace{1em}(8)}$$

这里上式中的 $|w|$ 表示 $w$ 的模长，模长作为绝对值概念的推广，在欧式空间中，模长常常称为L2范数（也称为Euclidean范数或者Frobenius范数）：
$$||w|{|}_F=\sqrt{(w^{(1)}{)}^2+(w^{(2)}{)}^2+...+(w^{(n)}{)}^2}$$

所以，$d$ 的表达式即为：
$$d=\frac{|w^T{x}_0+b|}{||w|{|}_F}\text{\hspace{1em}(9)}$$

这样来看，平面直角坐标系下的点到直线距离公式便是上式的一个特例。
 

---

4、平行超平面之间的距离公式

趁热打铁，继续推导平行超平面间的距离公式，设两个不重合的平行超平面分别为：
$$w_1^{T}x+b_1=0$$

$$w_2^{T}x+b_2=0$$

由于两个超平面互相平行，因此由 $2$ 中对法向量的讨论可知，两个超平面的法向量互相平行，我们取两个互相重合的法向量，即
$$w=w_1=w_2$$

则可得
$$w^{T}x+b_1=0\text{\hspace{1em}(10)}$$

$$w^{T}x+b_2=0\text{\hspace{1em}(11)}$$

设 $P(x_0)$ 为平面1上的一个点，即满足：
$$w^T{x}_0+b_1=0\text{\hspace{1em}(12)}$$

则根据点到超平面的距离公式可得点 $P(x_0)$ 到超平面2的距离 $d$ 满足：
$$d=\frac{|w^T{x}_0+b_2|}{||x_0|{|}_F}=\frac{|-b_1+b_2|}{||w|{|}_F}$$

上式最后一步用到了式$(12)$。最后我们得到了平行超平面之间的距离公式为
$$d=\frac{|b_2-b_1|}{||w|{|}_F}\text{\hspace{1em}(13)}$$