度量空间中的每一个收敛点列都是柯西点列
出自:泛涵分析