度量空间，赋范空间

无论是度量（distance）还是范数（norm），都是企图将任意的一个集合，通过定义关系，进而降维到我们熟知的实数空间进行研究。

度量空间

给定一个集合，原本是无序且元素之间是没有关系的，而度量（距离）给其定义了2元关系。
如果对于集合的元素，定义任何两个元素之间有距离，那么这个集合就是度量空间。这个距离的具体定义是：距离是一个实函数，其自变量就是集合中的任意两个元素，那么这个实函数定义的时候并不给出具体公式，而是给出实函数满足的性质，就是

• 非负性（两个元素相等的时候，距离为0），
• 对称性，
• 三角不等式
  也就这3个性质。

赋范空间

范数是一定定是定义在线性空间上的，因为范数的三角形不等式需要有元素和，而和封闭是线性空间的一个重要性质。
首先赋范线性空间第一是线性空间，一提到线性空间，马上明白这是一个定义了加法和数乘的集合，而赋范线性空间是定义了范数的线性空间，那么范数怎样定义的呢？具体是一个元素对应的实函数，具有非负性，一个元素的范数为0的充要条件是元素为0，齐次性以及三角不等式。

只要线性空间的元素满足上面的性质的实函数就称为该元素的范数。我们关注对应的三角不等式是：$||x+y||\le ||x||+||y||$ 。

我们比较距离和范数可以发现，距离指的是两个元素之间的关系，而范数指的是一个元素本身的性质。另外范数的三角不等式中 $||x+y||\le ||x||+||y||$ 之所以成立是因为赋范线性空间中定义了两个元素的相加，因此 $x+y$ 是有意义的，但是在度量空间中， 其没有意义，因为度量空间没有定义任意两个元素之间的运算。

距离、范数和测度都是定义在一个集合上的元素对应的实数，只不过定义测度的时候，其元素一定是集类中的集合，也就是一个集合对应一个实数，而距离和范数没有这个要求。

线性空间+范数=赋范空间；

https://zhuanlan.zhihu.com/p/42381836

Banach 空间

赋范空间+完备=Banach 空间

https://zhuanlan.zhihu.com/p/87785242

Hibert 空间

完备内积空间， 而内积空间是 在向量空间（当集合的元素都是向量时）中定义 的内积，则为Hibert.
https://blog.csdn.net/jiangxguang/article/details/108979227