度量空间的定义与极限