范数与距离
距离的概念
给定一个集合
V
V
V,在
V
V
V上定义一种新的运算:距离
:
V
×
V
→
R
,
∀
x
,
y
∈
V
,
V \times V \rightarrow R,\forall x,y \in V,
V×V→R,∀x,y∈V,在
R
R
R中都有唯一的元素
δ
\delta
δ与之对应,称为
x
,
y
x,y
x,y之间的距离。
满足的性质:
- d ( x , y ) ⩾ 0 , ∀ x , y ∈ V d(x,y)\geqslant0,\forall x,y \in V d(x,y)⩾0,∀x,y∈V且 d ( x , y ) = 0 ⇔ x = y d(x,y)=0\Leftrightarrow x=y d(x,y)=0⇔x=y(非负性)
- d ( x , y ) ⩽ d ( x , y ) + d ( y , z ) d(x,y)\leqslant d(x,y)+d(y,z) d(x,y)⩽d(x,y)+d(y,z)(三角不等式)
- d ( x , y ) = d ( y , x ) d(x,y)=d(y,x) d(x,y)=d(y,x)(自反性)
范数的概念
设
V
V
V是一个实线性空间,对应的数域为
R
R
R,在其上定义范数
运算
∥
⋅
∥
:
V
→
R
,
\Vert·\Vert:V \rightarrow R,
∥⋅∥:V→R,即
∀
x
∈
V
,
\forall x \in V,
∀x∈V,在
R
R
R中都有唯一的元素
δ
\delta
δ与之对应,称之为x的范数,记为
∥
x
∥
\Vert x\Vert
∥x∥。
满足的性质:
- ∥ x ∥ ⩾ 0 \Vert x\Vert \geqslant 0 ∥x∥⩾0且 ∥ x ∥ = 0 ⇔ x = 0 \Vert x\Vert = 0 \Leftrightarrow x=0 ∥x∥=0⇔x=0(非负性)
- ∥ a x ∥ = ∣ a ∣ ∥ x ∥ , a ∈ R \Vert ax\Vert = \vert a\vert \Vert x \Vert, a\in R ∥ax∥=∣a∣∥x∥,a∈R(齐次性)
- ∥ x + y ∥ ⩽ ∥ x ∥ + ∥ y ∥ , x , y ∈ V \Vert x+y\Vert \leqslant \Vert x\Vert + \Vert y\Vert, x,y\in V ∥x+y∥⩽∥x∥+∥y∥,x,y∈V(三角不等式)
向量范数与矩阵范数的理解
我们都知道,函数与几何图形往往是有对应的关系,这个很好想象,特别是在三维以下的空间内,函数是几何图像的数学概括,而几何图像是函数的高度形象化,比如一个函数对应几何空间上若干点组成的图形。但当函数与几何超出三维空间时,就难以获得较好的想象,于是就有了映射的概念。
映射表达的就是一个集合通过某种关系转为另外一个集合
。通常数学书是先说映射,然后再讨论函数,这是因为函数是映射的一个特例。为了更好的在数学上表达这种映射关系,(这里特指线性关系)于是就引进了矩阵
。这里的矩阵就是表征上述空间映射的线性关系。而通过向量来表示上述映射中所说的这个集合,而我们通常所说的基,就是这个集合的最一般关系。于是,我们可以这样理解,一个集合(向量),通过一种映射关系(矩阵),得到另外一个集合(另外一个向量)。
向量的范数,就是表示这个原有集合的大小。
矩阵的范数,就是表示这个变化过程的大小的一个度量。
范数的分类
1.L-P范数
L-P范数不是一个范数,而是一组范数:
L p = ∥ x ∥ p = ∑ i = 1 n x i P , p x = ( x 1 , x 2 , . . . , x n ) L_p=\Vert x\Vert_p=\sqrt[p]{\sum\limits_{i=1}\limits^{n}x^P_i,}x=(x_1,x_2,...,x_n) Lp=∥x∥p=pi=1∑nxiP,x=(x1,x2,...,xn)
随着P的变化,范数也有着不同的变化,如下图为P从无穷到0变化的时候,三维空间中倒原点的距离(范数)为1的点构成的图形的变化情况。
2.L0范数
当P=0时,也就是L0范数,由上面可知,L0范数并不是一个真正的范数,它主要被用来度量向量中非零元素的个数
。用上面的L-P定义可以得到的L-0的定义为:
∥ x ∥ 0 = ∑ i = 1 n x i 0 0 \Vert x\Vert_0=\sqrt[0]{\sum\limits^{n}\limits_{i=1}x^0_i} ∥x∥0=0i=1∑nxi0
3.L1范数
表示向量
x
x
x中非零元素的绝对值之和
。
∥ x ∥ 1 = ∑ i = 1 n ∣ x i ∣ \Vert x\Vert_1=\sum\limits^{n}\limits_{i=1}\vert x_i\vert ∥x∥1=i=1∑n∣xi∣
4.L2范数
表示向量元素的平方和再开平方。L2范数又称Euclidean范数或者Frobenius范数.
∥ x ∥ 2 = ∑ i = 1 n x i 2 \Vert x\Vert_2=\sqrt{\sum\limits^{n}\limits_{i=1}x^2_i} ∥x∥2=i=1∑nxi2
距离的分类
1.欧氏距离——对应L2范数
最常见的两点之间或多点之间的距离表示法
,又称之为欧几里得度量
,它定义于欧几里得空间中。如点
x
=
(
x
1
,
.
.
.
,
x
n
)
x = (x1,...,x_n)
x=(x1,...,xn) 和 $y = (y1,…,y_n) $之间的欧氏距离:
d ( x , y ) = ( x 1 − y 1 ) 2 + ( x 2 − y 2 ) 2 + . . . + ( x n − y n ) 2 = ∑ i = 1 n ( x i − y i ) 2 d(x,y)=\sqrt{(x_1-y_1)^2+(x_2-y_2)^2+...+(x_n-y_n)^2}=\sqrt{\sum\limits^{n}\limits_{i=1}(x_i-y_i)^2} d(x,y)=(x1−y1)2+(x2−y2)2+...+(xn−yn)2=i=1∑n(xi−yi)2(n表示维度)
2.曼哈顿距离——对应L1范数
曼哈顿距离对应L1-范数,也就是在欧几里得空间的固定直角坐标系上两点所形成的线段对轴产生的投影的距离总和
。例如在平面上,坐标
(
x
1
,
y
1
)
(x1, y1)
(x1,y1)的点
P
1
P1
P1与坐标
(
x
2
,
y
2
)
(x2, y2)
(x2,y2)的点
P
2
P2
P2的曼哈顿距离为
∣
x
1
−
x
2
∣
+
∣
y
1
−
y
2
∣
\vert x_1-x_2 \vert+\vert y_1-y_2\vert
∣x1−x2∣+∣y1−y2∣
通俗来讲,想象你在曼哈顿要从一个十字路口开车到另外一个十字路口,驾驶距离是两点间的直线距离吗?显然不是,除非你能穿越大楼。而实际驾驶距离就是这个“曼哈顿距离”
,此即曼哈顿距离名称的来源, 同时,曼哈顿距离也称为城市街区距离.
n维向量 a ( x 11 , x 22 , . . . , x 1 n ) a(x_{11},x_{22},...,x_{1n}) a(x11,x22,...,x1n)与 b ( x 21 , x 22 , . . . , x 2 n ) b(x_{21},x_{22},...,x_{2n}) b(x21,x22,...,x2n)间的曼哈顿距离:
d 12 = ∑ k = 1 n ∣ x 1 k − x 2 k ∣ d_{12}=\sum\limits^{n}\limits_{k=1}\vert x_{1k}-x_{2k}\vert d12=k=1∑n∣x1k−x2k∣
转载/参考:https://blog.csdn.net/jack_20/article/details/72896459
https://www.cnblogs.com/wt869054461/p/5935961.html