欧几里得空间,希尔伯特空间,巴拿赫空间或者是拓扑空间都属于函数空间。函数空间 = 元素 + 规则 ,即一个函数空间由 元素 与 元素所满足的规则 定义,而要明白这些函数空间的定义首先得从距离,范数,内积,完备性等基本概念说起。
一.距离
说到距离,我们首先想到的是点与点之间的距离,除此之外还有向量之间的距离,曲线之间的距离,函数之间的距离…。这儿谈到 距离 的定义是一种泛指的概念。点与点之间的距离 与 距离 就类似于苹果与水果之间的关系。距离 这个概念的作用主要用于衡量同一空间不同元素之间的差异情况,从这个出发点我们可以得到关于距离的一些属性:
1)元素之间的距离大于等于0,若距离等于0则为相同元素。
2)元素A到B之间的距离等于元素B到A之间的距离。
3)元素之间的距离满足三角不等式。
二.范数
范数 是比 距离 限制条件更多的一个概念。为了形象地解释范数的概念,这儿在二维平面进行说明。
在定义了 距离 这个概念之后,我们便可以描述二维平面上两个点之间的 距离 ,此时这个空间称作 度量空间 。但目前的条件没有办法描述一个点的“长度” ,因为缺少了 零点 。而范数定义之后此空间便多了一个零点,可以联想我们熟悉的平面直角坐标系,二维平面中范数可以看做是平面中的点到零点的距离。拥有范数的空间称作赋范空间,因为范数的概念是在距离的概念上加了新的限制,则赋范空间一定是度量空间。
定义范数和距离一样也要满足一些要求:
(1)非负性:||x||≥0;
(2)||ax||=|a| ||x||,即里面的数乘可以提出来;
(3)三角不等式:||x||+||y||≤||x+y||。
我们依然可以任意定义范数,只要满足以上三条。
三.线性
线性这个概念可以说是很熟悉了,即为加法与乘法的结合。若一个空间为线性空间,只要我们知道了此空间的所有基,便可以用加法与数乘表示这一空间所有的元素,如二维平面中能用X轴的单位向量与Y轴的单位向量表示此平面的任意向量。
四.内积
内积又称点积或者数量积,在高中学习向量的点乘运算时便接触到这一概念。在有了前面的定义之后的空间总觉得与我们最熟悉的空间还差点什么,没错,就是角度。在引入内积之后的空间便有了角度的概念。X XX与Y YY的内积用符号(X,Y) (X,Y)(X,Y)表示,内积的结果同样是为实数。内积是在范数的概念上加了更多限制条件,即内积空间一定为赋范空间。
目前为止便完成了本文的大部分内容,有限维内积空间便是我们最熟悉的欧几里得空间。
五.完备性
完备的意义我们可以这样理解,那就是在一个空间上我们定义了极限,但是不论你怎么取极限,它的极限的值都不会跑出这个空间,那么这个空间就是完备空间。
5.1 线性完备赋范空间称作===>巴拿赫空间
5.2 线性完备内积空间称===>希尔伯特空间,任何一个希尔伯特空间都是巴拿赫空间
5.3 有限维线性内积空间称作===>欧几里得空间
只有加法和数乘就是线性空间。定义了距离的线性空间就是线性度量空间。再更具体一点定义了范数,就是赋范空间。再多定义一个内积,就是内积空间。那希尔伯特空间呢,就是再多定义一个完备性
线性空间(向量空间)–> 度量空间 –> 赋范向量空间 –> 内积空间 –完备的–> 希尔伯特空间 。
欧几里德空间是希尔伯特空间的一个重要特例(有限维度)。
拓扑空间————没有距离;