希尔伯特空间的科普

度量空间

　　极限是数学分析中的基本概念之一。实数列的收敛，函数列的均匀收敛，在平面区域中复变函数列的内闭均匀收敛等等各种极限概念，都可以统一在下面要介绍的度量空间内按距离收敛的概念之中。分析数学方面各个学科都是以某种函数空间为对象而研究在这种空间上的某种数学运算的。

定义

　　设$R$是一个非空的集，假如对于$R$中任意一对元素$x$，$y$，都给定一个实数$\rho(x,y)$与它们对应，而且适合如下的条件：
（1）$\rho(x,y)>=0$，又$\rho(x,y)=0$的充要条件是$x=y$；
（2）成立三角不等式：

$$\rho(x,y)\leq\rho(x,z)+\rho(y,z)\;\;(z\in R)$$
那么称 $\rho(x,y)$是两点 $x$， $y$之间的距离，又称 $R$按照距离 $\rho(x,y)$成为度量空间或者距离空间，记为 $(R,\rho)$，或者简单地记作 $R$。 $R$中的元素成为点。
由性质(1)与(2)可以推出，距离还具有对称性，即在性质二中将z取x：对 $R$中任意的 $x$， $y$，成立着：
（3） $\rho(x,y)=\rho(y,x)$。
在假设(1)的前提下，下面的不等式(4)是与三角不等式(2)等价的。
（4）对任何 $x,y,z\in R$，
$$|\rho(x,y)-\rho(y,z)|\leq\rho(x,z).$$
　　度量空间