设d(x,y)为空间X上的距离,证明 也是X上的距离
设B是度量空间X中闭集,证明必有一列开集O1,O2,...,On,...包含B,而且
设C∞[a,b]上无限次可微函数的全体,定义 证明C∞[a,b]按d(f,g)成度量空间