函数空间

欧几里得空间，希尔伯特空间，巴拿赫空间或者是拓扑空间都属于函数空间。函数空间 = 元素 + 规则 ，即一个函数空间由 元素 与 元素所满足的规则 定义，而要明白这些函数空间的定义首先得从 距离 ， 范数 ， 内积 ， 完备性 等基本概念说起。

一.距离

说到距离，我们首先想到的是点与点之间的距离，除此之外还有向量之间的距离，曲线之间的距离，函数之间的距离…。这儿谈到 距离 的定义是一种泛指的概念。 点与点之间的距离 与 距离 就类似于苹果与水果之间的关系。 距离 这个概念的作用主要用于衡量同一空间不同元素之间的差异情况，从这个出发点我们可以得到关于距离的一些属性：

满足以上三条属性即可称作元素之间的距离，其正式定义如下

设X是一个非空集合，任给一对这一集合的元素X,YX,Y X , Y 。都给定一个实数 d(X,Y)d(X,Y) d ( X , Y ) 与之对应，并且满足

则称d(X,Y)d(X,Y) d ( X , Y )是元素X,Y之间的距离

二.范数

范数 是比 距离 限制条件更多的一个概念。为了形象地解释范数的概念，这儿在二维平面进行说明。 在定义了 距离 这个概念之后，我们便可以描述二维平面上两个点之间的 距离 ，此时这个空间称作 度量空间 。但目前的条件没有办法描述一个点的“长度” ，因为缺少了 零点 。而范数定义之后此空间便多了一个零点，可以联想我们熟悉的平面直角坐标系，二维平面中范数可以看做是平面中的点到 零点 的距离。拥有范数的空间称作 赋范空间 ，用符号∣∣X∣∣||X||∣∣ X ∣∣表示元素XX X 的范数。因为 范数 的概念是在 距离 的概念上加了新的限制，则 赋范空间 一定是 度量空间 。我们可以用范数定义距离：d(X,Y)=∣∣X−Y∣∣d(X,Y)=||X-Y|| d ( X , Y )=∣∣ X − Y ∣∣ 总结：元素XX X 的范数∣∣X∣∣||X||∣∣ X ∣∣可简单看做XX X 到零点的近距离。

三.线性

线性这个概念可以说是很熟悉了，即为加法与乘法的结合。若一个空间为线性空间，只要我们知道了此空间的所有基，便可以用加法与数乘表示这一空间所有的元素，如二维平面中能用X轴的单位向量与Y轴的单位向量表示此平面的任意向量。

四.内积

内积又称点积或者数量积，在高中学习向量的点乘运算时便接触到这一概念。在有了前面的定义之后的空间总觉得与我们最熟悉的空间还差点什么，没错，就是角度。在引入内积之后的空间便有了角度的概念。XX X 与YY Y 的内积用符号(X,Y)(X,Y)( X , Y )表示，内积的结果同样是为实数。内积是在范数的概念上加了更多限制条件，即 内积空间 一定为 赋范空间 ，同样的，可以用内积定义范数如下：∣∣X∣∣2=(X,X)||X||^2 = (X,X)∣∣ X ∣∣2=( X , X ) 目前为止便完成了本文的大部分内容，有限维内积空间便是我们最熟悉的欧几里得空间。

五.完备性

完备性这个概念的历史渊源比较深厚，作为非数学专业的工科生我也不太明白完备性的具体含义，简单来说对集合中的元素取极限不超出此空间便称其具有完备性。 2018-10-22****更正： 最近学了一点泛函，对完备性有了新的理解。完备性是在极限的基础上衍生的概念。例如在有理数集上的一个序列{1，1.4，1.41，1.414，1.4142…}，可知此序列极限为2–√\sqrt{2}2​，而2–√\sqrt{2}2​为无理数，不属于有理数集，即有理数集不具备完备性。

有了以上的概念理解众多迷糊人的空间便容易得多了

摘自Linear and Nonlinear Functional Analysis with Applications符号表

次数不高于n的实多项式空间

实多项式空间

次数不高于n的实多项式空间在闭区间上的子空间

实多项式空间在闭区间上的子空间

闭区间上的复系数多项式空间

次数小于n的实2π周期三角多项式空间

实2π周期三角多项式空间

次数小于n的复2π周期多项式空间

复2π周期多项式空间

拓扑空间X到拓扑空间Y的连续映射集

拓扑空间X上的连续函数空间

闭区间上的连续函数空间

2π周期的连续函数空间

赋范空间的开子集到赋范空间Y的m次连续可微映射空间

赋范空间的开子集的m次连续可微函数空间

n维实线性空间的有界开子集上，对任意的阶数小于m的多重指标，对应于指标的导数连续的函数空间

空间上定义的上界范数

闭区间上m次连续可微函数空间

---