3.1 度量空间与压缩映射