再生希尔伯特空间与核函数讲解
文章目录
空间
空间的概念就是 空间 = 集合 + 结构
线性空间/向量空间(Linear Space/Vector Space)
线性空间就是 线性空间 = 集合 + 线性结构
,而其中的线性结构就是 线性结构 = 加法 + 数乘
简单说线性空间就是一系列向量的集合并且只满足加法和标量乘(向量的相乘)操作的集合。
加法运算:首先设一个集合 V V V,在集合 V V V中定义元素的加法运算: ∀ x , y ∈ V \forall x,y\in V ∀x,y∈V,在 V V V中都有唯一的一个元素 γ \gamma γ与之对应,称为 x 与 y x与y x与y的和,即 x + y x+y x+y.
数乘运算:数乘就是用一个数字去乘,这个数字的来源就是一个数域 F F F, ∀ a ∈ F , x ∈ V , \forall a \in F, x \in V, ∀a∈F,x∈V,在 V V V中都有唯一的元素 δ \delta δ与之对应,称为 a 与 x a与x a与x的数量乘积
除了运算,以上的两种运算还要满足下面的八种性质:
加法
- x + ( y + z ) = ( x + y ) + z x+(y+z) = (x+y)+z x+(y+z)=(x+y)+z
- x + y = y + x x+y = y+x x+y=y+x
- 存在一个元素 0 ∈ V 0\in V 0∈V,使得 x + 0 = x x+0 = x x+0=x, ∀ x ∈ V \forall x \in V ∀x∈V
- ∀ x ∈ V \forall x \in V ∀x∈V,存在一个元素 − x ∈ V -x\in V −x∈V,使得 x + ( − x ) = 0 x+(-x) = 0 x+(−x)=0.
数乘
- 1 x = x 1x = x 1x=x
- ( a b ) x = a ( b x ) (ab)x=a(bx) (ab)x=a(bx)
二者都有:
- ( a + b ) x = a x + b x (a+b)x=ax+bx (a+b)x=ax+bx
- a ( x + y ) = a x + a y a(x+y)=ax+ay a(x+y)=ax+ay
满足以上条件,则称V是数域F上的线性空间或者向量空间,V中的元素称为向量
。
度量空间
度量空间 = 集合 + 拓扑结构
给定一个集合 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 , d ) (V,d) (V,d)为度量空间或者距离空间,其中V的元素称为点
。
赋范线性空间/范数向量空间
赋范线性空间 = 线性空间 + 范数
:就是给线性空间穿上拓扑结构的外衣。
设 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(三角不等式)
则称 ( V , ∥ ⋅ ∥ ) (V,\Vert ·\Vert) (V,∥⋅∥)为赋范线性空间
。
如果我们使用范数来定义距离,即令 d ( x , y ) = ∥ x − y ∥ d(x,y)=\Vert x-y\Vert d(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 ) = ∥ x − z ∥ = ∥ x − y + y − z ∥ ⩽ ∥ x − y ∥ + ∥ y − z ∥ = d ( x , y ) + d ( y , z ) d(x,y) = \Vert x-z \Vert = \Vert x-y+y-z\Vert \leqslant \Vert x-y\Vert+\Vert y-z\Vert=d(x,y)+d(y,z) d(x,y)=∥x−z∥=∥x−y+y−z∥⩽∥x−y∥+∥y−z∥=d(x,y)+d(y,z)
所以d是V上的距离, ( V , d ) (V,d) (V,d)是度量空间
,赋范线性空间V也具有拓扑结构。
距离与范数的关系
距离是空间中任意两点 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,