关于度量空间基本点列是收敛点列
出自:泛涵分析