l2空间的完备性_从度量空间、线性空间到希尔伯特空间

在Royden的书中，专门有一大部分是用来将各种抽象空间的。这些抽象空间在实分析以及泛函中都有着重要的作用，因此我就整理一下书中的内容，记个笔记。

先总体梳理一下脉络。总的来说，我认为有两条线，两条线互相交织，产生了各个空间。这两条线的起点分别是度量空间和线性空间，之后的空间都可以由这两者发展而来。将度量空间和线性空间结合在一起，我们得到了赋范线性空间，巴拿赫空间则是完备的赋范线性空间。在赋范线性空间上引入内积，我们得到了内积空间，而希尔伯特空间则是完备的内积空间。通过对度量空间的空集等性质进行抽象，我们得到了拓扑空间。而将拓扑空间与线性空间结合在一起，我们则可以得到拓扑线性空间（topological linear space），而拓扑线性空间又可以进一步衍生出各种空间。下面是一张我的手绘图。

首先谈下度量空间。度量空间起源于生活中一个很重要的概念，那就是距离。物体间的距离是我们经常想要研究的问题，大到星体，小到原子等微小粒子，而度量空间就是对这些问题的一个抽象。对于物体，由于我们想要研究的是物体之间的距离，物体的形状等自身的性质就不是那么的重要，我们就可以忽略掉这些，将物体视为集合中的一个元素。而距离则是用于表示两个物体间的远近，是存在于两个物体之间的一种关系，我们就可以对集合中的每一对元素指定一个数字，这个数字就代表两个物体之间的距离。需要注意的是，在现实生活中，距离都是有米、厘米之类的单位，而度量空间中则不存在这些单位，所有的距离都是实数。实际上，距离单位主要是提供了一个比较距离的基准，而实数中的1则天然的可以担当这个责任。最终，我们可以得到如下对度量空间的定义：

定义一：假设

是一个非空集合，而metric

是一个

的函数，且对于任意的

具有以下性质：

1. ，当且仅当
   时等号成立；
2. ；