的，则它必然是度量。特别是，如果向量空间的拓扑是豪斯多夫的并且可定义自可数的半范数族，则它是可度量的。
一致连续.类似于在拓扑空间之间保持拓扑性质的连续函数，在一致空间之间的一致连续函数保持一致性质。带有一致映射的一致空间形成了范畴。在一致空间之间的同构叫做一致同构。一致连续函数被定义为其周围的逆像还是周围的函数，或等价的说，一致覆盖的逆像还是一致覆盖的函数。所有一致连续函数都关于引发的拓扑是连续的。
完备性.推广完备度量空间的概念，你也可以定义一