在Royden的书中,专门有一大部分是用来将各种抽象空间的。这些抽象空间在实分析以及泛函中都有着重要的作用,因此我就整理一下书中的内容,记个笔记。
先总体梳理一下脉络。总的来说,我认为有两条线,两条线互相交织,产生了各个空间。这两条线的起点分别是度量空间和线性空间,之后的空间都可以由这两者发展而来。将度量空间和线性空间结合在一起,我们得到了赋范线性空间,巴拿赫空间则是完备的赋范线性空间。在赋范线性空间上引入内积,我们得到了内积空间,而希尔伯特空间则是完备的内积空间。通过对度量空间的空集等性质进行抽象,我们得到了拓扑空间。而将拓扑空间与线性空间结合在一起,我们则可以得到拓扑线性空间(topological linear space),而拓扑线性空间又可以进一步衍生出各种空间。下面是一张我的手绘图。
![854804d5f0ea589bf9195d0df451417f.png](https://i-blog.csdnimg.cn/blog_migrate/32dc61ec876adaa154863e5911b338c8.jpeg)
首先谈下度量空间。度量空间起源于生活中一个很重要的概念,那就是距离。物体间的距离是我们经常想要研究的问题,大到星体,小到原子等微小粒子,而度量空间就是对这些问题的一个抽象。对于物体,由于我们想要研究的是物体之间的距离,物体的形状等自身的性质就不是那么的重要,我们就可以忽略掉这些,将物体视为集合中的一个元素。而距离则是用于表示两个物体间的远近,是存在于两个物体之间的一种关系,我们就可以对集合中的每一对元素指定一个数字,这个数字就代表两个物体之间的距离。需要注意的是,在现实生活中,距离都是有米、厘米之类的单位,而度量空间中则不存在这些单位,所有的距离都是实数。实际上,距离单位主要是提供了一个比较距离的基准,而实数中的1则天然的可以担当这个责任。最终,我们可以得到如下对度量空间的定义:
定义一:假设
-
,当且仅当
时等号成立;
-
;
-